ARCADIA-Studio/harness/release-semantic-integration.md

Semantic integration verification

Status: verified Windows integration. Merge 332e46b, formatting correction c6db9d4. This checkpoint does not complete native acceptance, structured semantic review or the release. The lead retains overall state and native ownership.

Inputs and preserved work

Merged frozen semantic branch 6ad3cb92df21a5e67c318e31c751fc6a61555ef6 into DATA 1a07475 (combined direct process/scenario production 60d162c). Every Rust change merged automatically. Only two working-memory documents conflicted: both architectural decisions were retained; DATA's STATE.md was preserved unchanged for the lead's next overall checkpoint.

The integration contains source/schema 5 and explicit historical migration, the closed typed semantic review core, first equal-constructor acknowledgment, three REST query/preview/apply operations, current OpenAPI/reST, and scalar desktop review milestones 1–2. It preserves process continuation, direct scenario editing, stable scenario viewport, compact controls and recursive value browsing. Constructor/keyed/ordered/reset/multi-source desktop authoring remains outside the scalar milestone. No native input or external deployment was performed here.

Windows verification

Windows, Rust/Cargo 1.98.1. Exclusive target: D:/CodexBuilds/Capella2-data-target. Logs and generated check artifacts: D:/CodexBuilds/Capella2-data-target/semantic-integration.

Run from D:/CodexBuilds/Capella2-data-integration:

$env:CARGO_TARGET_DIR='D:/CodexBuilds/Capella2-data-target'
cargo test --locked --offline --workspace
cargo clippy --locked --offline --workspace --all-targets -- -D warnings
cargo build --locked --offline --workspace --release
cargo fmt --all -- --check

All gates passed. Workspace tests: 718 passed, 0 failed, 1 intentionally ignored inheritance scaling probe across 39 test summaries: 353 core, 317 desktop, 48 server. This includes the integrated scenario/process/value-browser regressions, all 11 scalar semantic desktop cases, source5 migration/writeback and real HTTP operations. Strict all-target workspace Clippy had no warnings. Optimized workspace build passed in 2m11s. Logs: workspace-tests.log, workspace-clippy.log, workspace-release.log.

The initial formatting check found only the order of two HTTP test module imports. Commit c6db9d4 applies rustfmt to that file; the repeated whole-workspace check passed (workspace-fmt-after.log). No production-code correction was necessary. The ordinary unprivileged Python launcher was denied by the local environment; the authorized scoped verification process succeeded. No blocker remains here.

Normative and actual service contracts

With existing Docutils 0.23 and JSON Schema libraries:

$env:PYTHONPATH='D:/CodexBuilds/Capella2-docutils;D:/CodexBuilds/Capella2-contract-tools'
python crates/oa-server/tests/semantic_schema.py --check
python crates/oa-server/tests/semantic_http_contract.py D:/CodexBuilds/Capella2-data-target/release/arcadia-server.exe

The closed generated catalog check passed: 13 families, 84 scalar leaves and 184 schemas match checked-in OpenAPI. The HTTP script launched the optimized service on loopback with an isolated temporary store and terminated it after verification. 184 schemas valid; 19 actual/typed values checked against served and checked-in contracts; 9 obsolete/malformed shapes rejected. It verifies import/migration, query, preview, apply, typed baselines, one-sided selectors and stale rejection. Log: actual-semantic-http.log. This is actual executable transport evidence.

Strict docs/language.rst and docs/api.rst generation passed with docutils.core.publish_file, writer_name='html5', and settings {'halt_level': 2, 'report_level': 2}. Outputs went into the evidence directory. Both generated documents exactly match tracked HTML after line-ending normalization. The full core suite also parsed the complete normative examples and exercised typed historical source/JSON, included-file writeback and reopen.

Frozen binaries and handoff

Both optimized executables are frozen in D:/CodexBuilds/Capella2-data-target/semantic-integration/freeze-c6db9d4:

• arcadia-studio.exe SHA256 38AF477646BCC7096E5C71D95D827BF24F9E7ECA1E310DCD7D4AD258ED9E55A0
• arcadia-server.exe SHA256 C420DFBC30FDA6935E306DF12C310739066389066B878F44D4470E5DD5B1529E

The directory also contains SHA256.txt. No desktop process was launched. The build target is idle and returned to the lead. Linux integrated checks, native semantic acceptance, independent scalar-review follow-ups and the structured semantic desktop milestone remain separate required work.