ARCADIA-Studio/harness/STATE.md

Progress Ledger — first release

Updated 2026-09-10, coordination through Gitea #92. This ledger describes the Codex-956atf checkout; external-host evidence is labeled separately. The entire previous ledger is preserved byte-for-byte. Historical dates, binaries, process IDs and stopped-session instructions in that archive are evidence history, not current status or authorization.

Current objective and source

Deliver the complete, usable OA/SA first release in PROJECT_GOAL.md, including graphical/source/REST parity, constraints/calculations, quantities/units, reusable model libraries, traceability, offline guidance and Windows/Linux release acceptance. Direct behavior/scenario authoring and reduced cognitive load remain immediate priorities. The release is incomplete.

Local branch: codex/behavior-authoring-20260910; source checkpoint aa40345281e6ae8f203063840f1766ba9ce8381c. The authoritative goal was copied byte-identically from attachment 2f1f0002-e43c-45ba-80a8-b359f05f99d0/goal-objective.md; SHA256 7C1BDBD077E31439501C04DC3613E6BE47A389704DDC3A44EF8BD9AD98EBB513. See Task Ledger for knowledge/decisions and Plan for capability acceptance. Older goal paths are superseded.

Completed work and evidence

Scope	Current evidence and limits
Reproducible local toolchain	Ignored .local/toolchain/env.ps1 selects Rust/Cargo 1.98.1 GNU/LLVM and verified LLVM-MinGW 20260908 (clang 23.1.1), with one Cargo job. First cold desktop test build completed in 58m03s; one unused import warning was corrected separately.
B1 process authoring	01bb52a includes interactive empty/ordered/explicit topology and presentation-only inferred paths; first conversion preserves ordered adjacency atomically. Source review and added boundary tests exist; current local Rust/native acceptance is pending.
B2 scenario authoring	Clicked root/operand/slot and optional lifeline feed Action/State/Reuse/Fragment adapters. Pointer-to-App, cancellation, stale-event, recovery and history tests are written, not yet locally executed.
B3 caller navigation	Bounded caller/use frames and scoped viewport restoration are implemented. External tests exposed a real same-selected-ID/visible-owner defect, detailed below; this feature is not accepted.
Architecture palette	External palette commit 7d1df4f was cherry-picked as aed40d7, retaining local invariant tests. Captured Escape, stale Submit/raw retention and bounded card fixes are source-integrated. External native results do not transfer to this checkout.
Typed stored-history F1	b6b76ef fixes nullable constructor cache discrimination; 4ecad78 fixes NotApplicable seeding by checking actual enum alternatives. Thirteen focused history tests await local execution; core validation remains authoritative.
Lifeline lifecycle B4	eb5161b adds pure local/scope-aware lifecycle projection with ten tests, declared under cfg(test) only. It is not production Scene wiring or native acceptance. Design.
Native scenario oracle	Independent checker compiled with warnings denied using completed matching core/JSON rlibs; self-check, generation and whole-baseline check passed (exit 0). The checked-in fixture has 62 elements/two sources, eight OA/SA semantic checkpoints and exact identity discrimination for history. Inputs/hashes/instructions. Studio native use remains pending.
Normative documentation	Strict Docutils 0.22.2 language HTML regeneration passed. semantic_schema.py --check --validate passed 72 source7 fixtures, 204 schemas, 14 families/90 scalar leaves. These are documentation/schema gates, not a Rust build or runtime pass.
Comparable-product study	Actual isolated Capella 7.1 scenario/activity/lifeline/LOOP creation was saved and XML inspected, then closed normally. Report. No Studio native workflow has run on this fresh host.
New requirement audit	Independent delta report establishes that current expressions/unit labels are descriptive and source includes are not maintained cross-project libraries. Separate foundational design proposals remain under investigation, not ratified or implemented.

Active work, ownership and unresolved findings

Root Codex-956atf owns this host's integration, serialized Cargo and native UI. Session 51036 completed cargo test --locked -p oa-desktop --bin arcadia-studio --no-run with exit 0 (log .local/logs/desktop-test-build.log). The executable is target/debug/deps/arcadia_studio-58e30cee1fd51a8b.exe, SHA256 95A3B78E5A61AB5E9750C2FC077138247E538D9360720A7A8E0CBB47B882ECC1, 629-test inventory. Rust implementation inputs match 8547b85; the unused palette import correction in aa40345 is later than compiler consumption and requires a fresh build for warning-free acceptance. No Studio GUI has launched here.

Direct executable runs with --test-threads=1 passed history 13/13, pure lifecycle 10/10, topology 45/45, architecture authoring 18/18 and mounted scroll 5/5. Scenario direct tests passed 13/14 and reproduced the known caller-return assertion failure at scenario.rs:2473; do not count that filter as passing. Logs are .local/logs/history-fields-focused.log and .local/logs/focused-*.log. The full suite has not run. Gitea #97's exact integration bundle was anonymously fetched, decoded, SHA256-verified and admitted with git bundle verify; source integration and a new build follow. Source the local toolchain before later commands and keep one Cargo writer. The independent checker used completed rlibs without another Cargo writer; its evidence is separately scoped above.

Codex-9e8r6t is a separate host/team with a warm cache. It owns scenario workspace layout/B3 correction, local named behavior creation, palette and platform/packaging. Its latest reported mounted-layout slice passed 8/8 focused tests (#82); subsequent raw-draft guard, B3 owner correction and integrated seed fix await its focused gate. Its source/commit is not yet imported here. Earlier immutable integrated tests passed 615/618, exposing the seed and navigation cases; that is external evidence, not a current local suite result. Its creation module is prepared but not declared, compiled or natively accepted (#81). Packaging b98f135 is likewise not imported.

B3 diagnosis (#79): command execution may preselect an occurrence while another scenario remains visible; select(same_id) then returns without restoring the caller owner. Back/OpenUse must establish visible owner and selection together. Retarget rejection also needs a correctly established pre-Back test state. Preserve exact source/history and mounted viewport checks. External ownership includes explicit guards against tool selection silently applying a pending property draft.

Maximum-reasoning analysis/quantity and library tracks own separate proposal reports only (#83/#86). Missing calculation evaluation, dimensional/unit semantics, maintained library reuse and concrete unbounded selectors are release gaps. No broad shared core/schema changes are justified until synthesis and criticism.

Both hosts report direct Git push authentication unavailable. Anonymous fetch and authenticated Gitea MCP remain usable. Exact verified bundles are exchanged on codex/behavior-transfer-20260910; do not merge that transfer branch. Existing bundles cover 01bb52a, b6b76ef, eb5161b and incremental 4ecad78; exact hashes, prerequisites and readback are preserved in the archived ledger and Gitea #65/#76. Latest verified transfer is harness/transfers/behavior-aa40345.bundle.b64 on that branch (Gitea #92): 24,926 decoded bytes, prerequisite 4ecad78, SHA256 21B36D5016600953D95F064AE56569B6C8E7D3EA2B3B316C97222AD122FECA4F. It includes the requirements audit and removal of an unused palette import after an actual compiler warning; the build is still incomplete. Root owns subsequent transfer and integration.

Remaining gates and highest-value next actions

1. Finish the active build; diagnose actual failures. Run focused history, architecture, topology, clicked scenario, caller navigation and lifecycle tests, then relevant full suites, strict Clippy and current GUI build. Record exact tree.
2. Integrate the externally verified workspace/B3/local creation/palette/package checkpoints without overwriting ownership or treating their earlier tests as new local acceptance. Wire B4 only after coordinating actual Scene geometry.
3. Use the self-checked independent oracle to exercise current Studio at minimum/wide sizes: named creation, direct process/scenario edits, nested reuse, caller return, lifeline lifecycle, invalid/cancel/recovery, Save/Undo/Redo/reopen. Compare complete model/source and exact identities, not screenshots alone.
4. Resolve analysis/quantity/library alternatives against real engineering budgets, unit/kind failures and two-project reuse/update examples. Then implement precise shared-core/source/API/graphical contracts and large-model selection workflows.
5. Complete current teaching, transitions, semantic review, state/data, saved-view, artifact, hosted transport and migration acceptance. Historical scoped passes remain useful references, never blanket current acceptance.
6. Complete Windows/Linux build/test/native/runtime and optimized package gates, notices, provenance and clean-environment launch. WSL has no installed distro here; Linux acceptance remains open. Historical denied guest workarounds must not be retried or split to bypass review. No host restart is authorized.
7. Run fresh independent cross-disciplinary end-state review, resolve material findings and reconcile specification/help/coverage before final handoff.

Reassessment

Meaningful progress continues: concrete interaction defects have been found and corrected, the cold toolchain is advancing, exact native evaluation is prepared, and the revised semantic requirements are no longer hidden behind metadata. Passing older suites or accumulating prose would not close the user problem. Current highest information gain comes from actual build/native results and independently criticized foundational examples, while preserving existing identity, source and atomicity contracts. Replan when those results falsify a proposal.

Historical evidence access

The complete prior STATE retains exact historical binary hashes, counts, logs, process closure, bundle hashes and all report links. Links inside the byte-preserved archive retain their original harness/ context; resolve those relative report paths from harness/. Useful direct entries: source7 native, teaching, artifact native, coverage baseline, Linux gate, Linux cross-build, denied boot experiment.