diff --git a/harness/release-semantic-integration.md b/harness/release-semantic-integration.md new file mode 100644 index 00000000..23159e79 --- /dev/null +++ b/harness/release-semantic-integration.md @@ -0,0 +1,90 @@ +# 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`: + +```powershell +$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: + +```powershell +$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.