From 0edadeebdbe159af2c16611df5fe885cd964080b Mon Sep 17 00:00:00 2001 From: "sorokin.oleg.edu" Date: Sun, 6 Sep 2026 04:29:29 +0300 Subject: [PATCH] Record R6 cross-platform tests and native data workflows --- harness/STATE.md | 66 ++++++++--------- harness/release-data-verification.md | 104 ++++++++++++++++----------- 2 files changed, 95 insertions(+), 75 deletions(-) diff --git a/harness/STATE.md b/harness/STATE.md index 8654f789..0bd2b388 100644 --- a/harness/STATE.md +++ b/harness/STATE.md @@ -76,23 +76,17 @@ Dedicated target D:/CodexBuilds/Capella2-data-target. Contract freeze is schema/ with full data payload and dictionary slices together; existing typed ports remain. See release-data-implementation.md and release-data-contract.md in that checkout. -Core is committed0b58107; source/migration1230ab8. Root API/docs are integrated -on the same working tree; desktop remains in flight and R6 is not accepted. -Core15 R6 +28workflow tests passed again after final allocation-arrow suppression. -Linux0b58107 full core307 tests passed (one explicit probe ignored by default), -with strict all-target core Clippy. Earlier13ports/14scenarios and115 source/lib -tests also passed. Desktop final257 tests and strict all-target Clippy pass; -optimized Windows desktop build b403039 passed. Its SHA256 is recorded in the R6 verification note; native acceptance remains pending. +R6 core/source/desktop are frozen at ab661f2. Full Windows607 tests and Linux610 +tests pass (one explicit benchmark ignored on each platform); strict workspace +all-target Clippy passes on both. Optimized desktop/server Linux build also passed. +Windows desktop261 tests include the bounded scenario value editor. Exact logs, +binaries and runtime evidence: release-data-verification.md. -Root41 server tests passed; a fourth R6 HTTP workflow now also passes, alongside all4 data HTTP tests and strict server Clippy. The original3 actual HTTP workflows for the published -data example, protocol/artifact identity, atomic rejected defaults, query/export, -reidentify/delete/restart, source3 bundle migration reports and old coupled3 -envelope upgrade without write/revision. Tests exposed dropped bundle reports and -rejected legitimate old source/model pairs; both root fixes passed retest. -Strict reST HTML generation and81 OpenAPI schema definitions passed. Actual frozen -server32033FFE imported the published example; its complete Project/StoredProject -responses passed served/current JSON Schema validation and obsolete shapes rejected. -Evidence: api-r6-contract and r6-server-tests-after.log under the release directory. +All4 R6 actual HTTP workflows pass, covering data protocols/artifact identity, +rejected defaults, qualified Call/Reply paths, validation locations, source edits, +reidentification, source3 migration and restart persistence. The published example's +actual server responses passed served/local OpenAPI validation; obsolete shapes +reject. Strict reST rendering and81 OpenAPI schemas passed. Independent core review found association transition closure pulling unrelated types and missing empty-enum warning; both corrected and focused tests passed. @@ -106,14 +100,24 @@ pages replaces unbounded inherited rows; recursive paths support explicit drill- and imported finite paths; same-phase styles/same-exchange reselection preserve valid drafts. Read-only follow-up found no new path/style defect. Paging resets only on actual layer/document changes; its regression failed before and passes now. -Root found another unresolved scale issue: scenario creation still enumerates every -carried field into both a dropdown and individual input rows. A bounded focused value editor is now implemented and under automated/independent review; actual native operation remains required before R6 acceptance. +The bounded scenario editor replaces whole-recursion enumeration and per-field +inputs with24-row browsing and a single focused value draft. The reply call picker +no longer filters alternative calls using values belonging to the old exchange. +Automated and independent checks pass; native scenario checks are next. -Current ownership: drawing_correctness owns desktop except root-owned guide.rs and -the dedicated Windows Cargo target. state_architecture_review independently reviews -R6 spec/API consistency; its data_view.rs ownership has ended. data_core runs an -isolated R3 typed-baseline experiment; Linux R6 core checkout is idle and verified. -Root owns API/OpenAPI/reST, docs, integration and native input. No concurrent writers. +Root exclusively operates native R6. The Windows13-object data model has saved +native bounds/default repair, a typed physical flow/field, allocation protocol +edit, allocation removal/Undo, and inherited-owner navigation. Association endpoint +labels/selectability were exercised. The1100x700 data layout has been inspected. +A separate53-object recursive-operation fixture was prepared with core APIs and +round-tripped for upcoming native scenario trials; fixture construction is not +claimed as native authoring. See the verification note for remaining gates. + +Parallel isolated work: drawing_correctness implements direct scenario gestures in +Capella2-scenario-direct. data_core owns typed semantic review core and +state_architecture_review owns source5/migration in Capella2-semantic-review. +The typed facet C design won the bounded experiment/criticism round; its production +plan and decision are recorded in that checkout. No overlapping writers or targets. 1. State evidence is committed and main fast-forwarded to a8f451e; DATA received the same evidence in c5276b1. Finish native data-authoring acceptance and bounded @@ -121,8 +125,8 @@ Root owns API/OpenAPI/reST, docs, integration and native input. No concurrent wr 2. Finish R6 core/source/desktop, integrate actual REST/schema/reST, independent semantic/correctness/UX review, Windows/Linux checks and real data authoring. 3. Implement R3 typed semantic drift/reconciliation after R6 freezes. Current - baselines/reconciliation only cover prose. Prefer historical typed-body snapshots - and finite proposals; avoid a duplicate recursive semantic schema without evidence. + baselines/reconciliation only cover prose. Use the experimentally selected typed facet review design C; the semantic + integration checkout records the full scope and source5 migration plan. 4. Complete direct scenario/process gestures, persistent coverage/filters, Home/recent/recovery, hosted desktop ETag workflows and offline guidance. 5. Fresh final requirements/domain/correctness/native UX/architecture review; full @@ -130,13 +134,11 @@ Root owns API/OpenAPI/reST, docs, integration and native input. No concurrent wr ## Environment and native ownership -Native input is paused after physical Escape; no R6 native trial has run. -Root exclusively owns native input. Latest saved Windows trial is window1706782, -ui-state-navigation-windows,49objects/28links/1 expected missing-owner warning. -Linux navigation trial3148598 closed normally, exec46107 exit0; baseline Linux -trial721472 also closed normally, exec72680 exit0. Independent Windows3672536 is -saved at1100x700. Older root drawing windows are saved. Re-inventory before input. -Protected user7210312/6228978 were absent; do not reset/save/close if they return. +The user explicitly reauthorized native testing after Escape. Root's current R6 +window1835476 uses the frozen ab661f2 binary and ui-r6-windows/model/project.arcadia; +13objects/4links/1 expected missing-SA-System warning, saved. Currently1100x700. +Original Capella is present. Older protected user7210312/6228978 were absent; +do not reset/save/close them if they return. Re-inventory before switching apps. Evidence: D:/CodexBuilds/Capella2-release1-01a06e2e. State source checkout/target: D:/CodexBuilds/Capella2-state-integration and -target. Linux source/target: diff --git a/harness/release-data-verification.md b/harness/release-data-verification.md index beb28433..103dd2c9 100644 --- a/harness/release-data-verification.md +++ b/harness/release-data-verification.md @@ -1,50 +1,68 @@ -# R6 data contracts — verification in progress +# R6 data contracts — native verification in progress -R6 is not accepted. Main remains at state-editing acceptance a8f451e. The updated -objective10134df9-bea2-4c02-a820-67b53d6b86f7 was read fully on2026-09-06; product -scope is unchanged and reasoning effort must match the delegated task. The full -first release remains incomplete. Native input is paused after physical Escape. +R6 is not accepted. Main remains at a8f451e. The full first-release goal remains +active and incomplete. User explicitly reauthorized native testing after Escape. -## Current evidence +## Frozen production and automated evidence -- Core0b58107: Linux307 tests pass, one explicitly ignored benchmark; strict - all-target core Clippy passes. Windows15 R6+28 workflows pass after final - allocation-edge filtering. Source migration/compatibility evidence is retained. -- Desktopb403039: Windows257 tests, strict all-target desktop Clippy and release - build pass. Binary D:/CodexBuilds/Capella2-data-target/release/arcadia-studio.exe, - SHA256 d4aa6ae7d36f429c0cb639cdf57e33cb8b99d158a9629c95a1510d24e406fab5. - The later bounded scenario editor is not covered by this binary. -- Optimized empty inheritance chains250/500/1000: Windows21.070/89.088/391.590ms; - Linux22.381/111.662/408.129ms. These are single-run validation measurements. -- Server41 prior tests passed. The new qualified Call/Reply workflow and all4 R6 - HTTP tests now pass with strict all-target server Clippy. Actual HTTP proves - distinct reused/inherited/recursive field paths, preserved expression whitespace, - phase/path422 with unchanged ETag/model/source/disk, source edits, enclosing-hop - and terminal/base reidentification, correlation and exact restart persistence. - Initial new-test failures were fixture misuse of untyped Port construction and - incorrect assumption that transaction errors carry structured issues. Tests now - use make_port and the documented command_rejected/detail plus validation endpoint. -- Published data example was imported into actual frozen server32033FFE. Complete - Project/StoredProject responses passed served/local OpenAPI validation; obsolete - shapes rejected. reST strict rendering and81 OpenAPI schemas passed. -- Independent spec review found one stale identity-only port-compatibility paragraph; - fixed to directional explicit ancestry and strict HTML rendering passed. No other - material R6 spec/API contradiction found in that review. +Data integration ab661f2: Windows607 and Linux610 workspace tests pass, one explicit +benchmark ignored each; strict workspace all-target Clippy passes on both. +Windows261 desktop tests include the focused bounded scenario editor; Linux release +desktop/server build passed. Logs under D:/CodexBuilds/Capella2-release1-01a06e2e: +r6-workspace-windows-ab661f2.log and r6-workspace-windows-clippy-ab661f2.log. +Linux logs in Capella2-data-linux-review/target/linux-verification: +workspace-ab661f2.log, workspace-clippy-ab661f2.log, release-ab661f2.log. -Logs are under D:/CodexBuilds/Capella2-release1-01a06e2e: -r6-http-paths-final.log, r6-http-all-data.log, r6-http-paths-clippy.log, -r6-server-tests-after.log and api-r6-contract. Linux core evidence is under -D:/CodexBuilds/Capella2-data-linux-review/target/linux-verification/report.md. +Windows frozen executable ui-r6-windows/arcadia-studio.exe SHA256 +C3ABD9E550E1AD6824DFE273EB27A3ABB35C5C0DA97C819DCB0AB2586AF5450C. +Current native window1835476, process session37598. No output observed; runtime.log +has not been created by Tee-Object (do not claim an empty log file). -## Active checks and remaining gates +All4 actual R6 HTTP tests pass with strict server Clippy: published data example, +protocol/artifact identity, rejected defaults, qualified reused/inherited/recursive +Call/Reply paths, phase/path422 with unchanged ETag/model/source/disk, source edits, +hop/terminal/base reidentification, correlation and restart persistence. Source3 +coupled/source bundle migrations report correctly and opening alone does not write. +Logs: r6-http-paths-final.log, r6-http-all-data.log, r6-http-paths-clippy.log. +Initial fixture errors (untyped Port and transaction-error envelope assumption) +were corrected before passing. Published example responses from server32033FFE +passed served/local OpenAPI validation; obsolete shapes rejected. Strict reST HTML +and81 OpenAPI schemas passed. One stale port compatibility paragraph was corrected. -The isolated Linux checkout was fast-forwarded to b403039; full workspace tests are -running in exec98587 with its dedicated data-linux-target. Initial filesystem wait -was verified as a live Cargo process in p9_client_rpc; it subsequently compiled. -Do not restart from an observation timeout. Bounded scenario editor production and -regressions are being tested by the desktop worker. Independent review found stale -values hiding an alternative reply call; its fix is included in that worker pass. +Optimized empty inheritance chains250/500/1000: Windows21.070/89.088/391.590ms; +Linux22.381/111.662/408.129ms. Single-run core validation timings, not UI latency. -Before acceptance: integrated Windows/Linux checks, native data/association/scenario -value workflows at normal/minimum sizes, source3 migration diagnostics, Save/reopen, -and closure of material review findings. No R6 visual or real-app acceptance claim. +## Personally observed Windows native workflows + +Loaded the isolated Engineering data source fixture. Its architecture view shows +nested fields, association role/multiplicity labels, self-reference navigation and +selectable endpoint labels. No selection-induced dirty state observed. + +Voltage maximum48→12 with default24 rejects when navigating; entered12 survives, +accepted summary remains0..48/default24, and a located default error is shown. +Repair default→12 applies together; Undo restores both old values, Redo restores +both new values. Created Cooling water with Material/Flow and contained Mass flow +rate Real1..1, unit kg/s, explicit default0.0. Save All wrote an included sa/types.arcadia +file with matching typed values, leaving13objects/4links/1 expected missing-System +warning. Navigation allocation changed Synchronous→Asynchronous; Monitoring's +separate Asynchronous/Read allocation is preserved. Removing Monitoring allocation +keeps Navigate; Undo restores the allocation and original checks. Followed inherited +Latitude from Located asset to Coordinate. Saved all edits. Data layout inspected +at1440x900 and1100x700; no overlapping controls observed. + +Separate ui-r6-scenario-windows/model/project.arcadia was constructed with the core +API from the saved native data, adding functional ports/exchange, correlated +Call/Reply, reused/inherited/recursive records and30 extra fields.53objects/5links +validate and source round-trip exactly. fixture-generator.rs retained as evidence; +temporary project example removed. Initial generator compile/load errors were +fixture-only and fixed using the bundle-aware loader; final build has no warnings. +This preparation is not native scenario authoring evidence. + +## Remaining acceptance gates + +Native scenario focused/path/phase/draft behavior and paging; actual saved reopen; +source3 migration diagnostics; Linux native data/scenario workflows. Closure of +material findings before R6 acceptance. Independent semantic/correctness/spec +reviews already drove fixes; final native observations may require further review. +The broader release still needs semantic reconciliation, direct scenario/process +editing, lifecycle/hosted/help work and fresh cross-disciplinary end-state review.