review closure and strict checks. Linux and complete release acceptance remain
separate required gates.
## Semantic review in progress
The validated `semantic-keyed.arcadia` fixture opens in Traceability and exposes
the Navigation message review. Members/rows can browse OA and SA origin Record
fields separately, choose their nested latitude fields and stage the exact pair.
Take Operational shows proposed `latitude_deg + 0.25`, one decision, three
reference pairs and zero additional changes. A completed checkpoint contains this
pending semantic workflow and Take decision; `.local/native-qa/semantic-before-crash.json`
preserves it. The trial process was then forcibly stopped, leaving the executable
unlocked for the routing build. Restore/Apply/source-oracle comparison is next.
Several immediate captures during heavy compilation preceded the app's next paint;
fresh captures showed the intended picker menus. This was not an empty-choice
defect. Native dialogs also sometimes needed focus and input retried after a fresh
observation; folder navigation completed fixture opening. These observations do
not justify changes to model or field-picker semantics.
## Recovered semantic review and Save-as history finding
Updated routing binary SHA256 `70069D6CBBE1917E1597794B3E190FF9CF23664D458F794B3270DDBE6EE683A2` launched as isolated PID7580. Home recovered the pending Annotation review, retaining one Take decision and three explicit reference pairs. Regenerated validated preview showed `latitude_deg + 0.25`; Apply succeeded with zero additional changes. Save as `.local/native-qa/semantic-accepted.arcadia` exactly matched the independent after-take source oracle (SHA256 `9AB573C92BE66E3BAE659DD826923BA6066979B1651EDDA7BD469056632CD77E`), including comments, typed history, sibling value and order. Checkpoint retired after Save.
Native history check found a production defect: changing the entry basename through Save as creates an extra Document transaction. First Undo only restores the prior entry name; saving it preserves after-take content and clears redo through another entry rename. Second Undo reached the real semantic transaction and saved exact initial source (SHA256 `49214BE2CA9C8BB6195C3B39737C053847021839F70F0BB2921D35A1FBD2AC83`). Root assigned non-history Save-as adoption/preflight correction and meaningful history tests to state_contract. One-step Undo/Redo after renamed Save remains unaccepted until rebuilt native recheck. Current Linux runtime is prepared and checksum verified but has not booted.
## Binding rejection, crash recovery and repair accepted
On routing binary70069D6C, the paired Rendezvous binding was explicitly staged. Candidate `SA Rendezvous extra local` rejected with `duplicate_lifeline_binding: Scenario-use lifeline bindings are one-to-one.` Apply was disabled. Switching Reference pairs / Properties retained the decision and error. A completed checkpoint preserved the exact after-Take accepted source and invalid local UUID; forensic copy `binding-invalid-before-crash.json`.
Forced stop of isolated PID7580 and restart PID796 recovered the same candidate, presence and two reference pairs, regenerated the same error and kept Apply disabled. Repair to `SA Rendezvous alternate` produced a valid preview and zero additional changes. Native Apply + Save as into a new folder retaining the entry basename matched the complete after-repair oracle exactly (SHA256 `E3CE0347746584F503B825A8B6BD23A7EEBF0827940112EF8F36D500C1D0A043`). One Undo + Save matched after-Take exactly; Redo + Save matched after-repair. Saved copies are under `.local/native-qa/binding`.
A new UI finding is clipped Use pair / Remove pair controls on Reference pairs at the normal1440x900 window. Semantic worker constrained the panel widths; rebuilt native inspection remains. The debug gnullvm executable needs `.local/toolchain/env.ps1` PATH during launch: a launch without it exited before a window with no app log. Packaged GNU runtime dependency closure must be checked explicitly; this does not change prior successful toolchain-environment runtime evidence.
## State-view routing and pending behavior checkpoint
Routing binary70069D6C opened the saved state fixture directly from Home/Recents into Behavior, exact machine and diagram selected with state tools. Explicit Architecture remained reachable with an empty architecture view, and selecting the saved state view there routed back correctly. At1100x700, toolbar/inspector remained usable, zoomed Exit action selected its StateAction relation, direct State placement into Main region created one state/placement, and one Undo restored the original14elements/10relations and clean document. The initial fixture file is unchanged.
Right-clicking the Internal row opened Edit transition. Authored name `Unfinished timed refresh` with a checked new timed trigger and empty expression retained the existing trigger/effect/guard, showed the required-expression message and disabled Apply. The form scrolls at1100x700. Completed checkpoint `behavior-before-crash.json` contains exact unchanged accepted fixture plus the authored pending behavior draft. Isolated process796 was forcibly stopped for rebuild/recovery testing; no native GUI is currently running.
## Reverse ordered review and transient Windows journal failure
On the same D402 reference-padding binary, at1100×700, opened semantic-ordered-reverse.arcadia and explicitly selected System changes in Operational. Added Request/Energize/Verify OA→SA reference pairs (plus existing owner pair). Chose both Verify step addresses and Take System. Native refused ambiguous insertion with the expected unique-anchor error. Set final Steps order, moved Verify once before Energize, retaining Request and Local self-test, then applied two decisions atomically with zero extra impacts.
Save As to .local/native-qa/ordered-reverse-result.arcadia initially failed before publishing its journal. Accepted model remained dirty, output absent. A retry to the same filename succeeded. Full saved source is byte-exact against semantic-ordered-reverse.after-order.arcadia, SHA25698020E048AC01F285C6AD8C10CE22BEF05E193B5BA0F5558BE1FB26A7BF82620. One Ctrl+Z restored three steps; Save initially hit the same failure while preserving prior accepted disk bytes, then succeeded on retry. Undo source matches pristine byte-exact, SHA2562B7C3694623BBEA3E36DCC6F674D4ADCD91E23C8E1005DED21E5A69648A048E5 (copy ordered-reverse-undo.arcadia). Ctrl+Shift+Z survived Save; final Save restored exact accepted hash. Recovery JSON count zero. Actual reverse Apply, retention after failed Save, Undo and Redo pass; failure-free save reliability does not yet pass.
Independent public-core reproduction got18successful/2failed fresh saves with Windows Access is denied (os error5) at journal-directory publication. Plain/canonical/forward-slash path probes rule out the initial slash hypothesis. Source fix retries only transient Windows5/32/33 errors with a390ms total bound and checks for competing journal ownership before each attempt. This fix and full footer-error tooltip are source-only, awaiting tests and new native build. Existing native binary has no retry. Native window now maximized2245×1232, Traceability, saved reverse result; process8908/window853042 unchanged.
Frozen GUI `.local/native-qa/bin-source6/arcadia-studio.exe`, SHA256 `5D0734D9BD6A87CCCA8FFC8C007962AEAC573ACB82E2974211FA857E93C18A72`, built with server after strict all-target Clippy. Isolated appdata and system-only PATH; libunwind.dll alongside. Initial process2452; controlled crash/restart process10236, window456983644. This binary precedes later Child/Incident and source5-checkpoint upgrades.
Opened semantic-batch.arcadia through native file dialog. Normal Minimum120 correctly rejects against Maximum100. Opening Emergency trace retains Normal draft; Emergency Maximum `-` stays invalid. Excluding Emergency keeps its raw input, and changing Normal Minimum to5 produces a valid included preview. Reopening excluded Emergency preserves `-`, inclusion=false, and enabled Apply for the valid included row. All retained-row selectors, inclusion, error, input and Apply controls fit at1440×900 and supported1100×700 content dimensions (captures1442×932 /1102×732).
Checkpoint `c33eb911-7792-4f95-ad6f-f0676a733d21` captured both rows exactly; copied `.local/native-qa/batch-before-crash.json`. Forced exit then Home Recover restores included Minimum5 and excluded invalid Maximum`-`, with a valid combined preview. Found misleading recovered add-trace label “Deleted reference” for a live trace; source correction and its focused test subsequently passed in the92-test semantic run, but native recheck of that label requires the next build. Input150 needed refocus/retry once when the first tool text entry left the field blank; the confirmed second entry produced150. No application defect is inferred from that isolated input event.
Included repaired Emergency Maximum150 and set Normal Minimum120, then applied once. Save as `.local/native-qa/source6-batch-result.arcadia` matched the independent final source exactly: SHA256 `D3315BBA762395205AE761E6E64029E8B4070C15A1299C6114075581DB7B0974`. One Undo then Save matched the initial source exactly: `5E1F433E04621424EDAC43E53411624059E873F88DD531BFDB39093953485ED7`; copied source6-batch-undo.arcadia. Redo after Save, followed by Save, restored the final hash exactly. All three saves succeeded first attempt; checkpoints retired; stderr remained empty. These source oracles include both trace observations and unchanged source records/comments, not merely a displayed numeric value. Dense views, CM direct authoring, latest attachments and source5 checkpoint native acceptance remain separate gates.
process9716/window5702656: original10 includes05, copy9 excludes05, and the copy's
new count reads9 shown /33 omitted. This verifies saved-view reopening and the
count on that binary. It precedes the newly prepared diagram-inspector follow fix
and Artifact implementation. The inspector correction has six focused tests in
`app/diagram_selection_tests.rs`, and those tests passed in the later full 518-test desktop run. Strict all-target
workspace Clippy also passed (`.local/source6-artifacts-final-clippy3.log`). Rebuilt
native acceptance remains pending; automated results do not close this native finding.
## Latest automated artifact evidence — native gate remains open
The later full desktop suite passed **518/518** in `.local/source6-artifact-inspector-desktop-tests2.log`. The artifact picker’s fresh-editor falsifier exposed an artifact-ID/owner-layer classification error; after correction its six-test filter passed in `.local/source6-artifacts-final-tests2.log`. Strict all-target workspace Clippy then passed in `.local/source6-artifacts-final-clippy3.log`. This automated evidence covers the implemented artifact lifecycle and the inspector correction; it does not establish native acceptance of either.
Artifact move, source-attachment-absence deletion and counterpart-creation fixtures, direct-core requests, exact source/JSON oracles and the reproducible generator are preserved under [`fixtures/release1-native/artifacts`](fixtures/release1-native/artifacts/README.md). Artifact native acceptance remains pending. The source-6 batch and dense-view native observations above retain their exact earlier-binary scope.
AB6ECD62 GUI process2540 at1100x700 opened the tracked schema5 semantic-ordered-scenario.arcadia. Import reported5→6 with0semanticdefaults/0interfaceallocations/0unresolvedvalueaddresses. Explicitly added Requeststart, Energize and Verifyinterlock OA→SA reference pairs. Members/rows Orderedsteps staged the exact Verifyinterlock occurrence pair; TakeOperational rejected with the expected no-unique-unchanged-anchor message and disabled Apply.
Reviewfinalorder→Setfinalvalue preserved the local self-test and appended Verifyinterlock. One Up placed it between Localself-test and Energize. Validated preview showed0additionalchanges and enabled Apply. One Apply followed by SaveAs .local/native-qa/source6-ordered-scenario-result.arcadia matched the complete original direct-core after oracle with only the format-header token changed5→6. One Undo/Save matched the similarly header-upgraded initial oracle; one Redo/Save restored the complete after oracle. No normalization of identifiers, fields, whitespace or history was performed. All3saves firstattempt; recoveryJSON0; no new stderr.
Both picker columns, explicit reference pairs, order rows/UpDown, error and footer actions were usable at1100x700. This extends exact native ordered review to the Scenario owner variant; Branchsteps/Fragmentbranches remain separate pending variants. No new crash/recovery cycle was executed for this variant. Clean AltF4 followed final saved state.