Mixed CLI Windows evidence
Source f10490b13bb3332ff60c2372d554e276f6f44959; baseline bab6f96a5b05b37f2b5d67a430aed0f67d783e73.
Source is published and ref-verified on codex/analysis-mixed-cli-956atf-20260925.
The existing integrated Windows prerelease is unchanged.
arcadia check-mixed ROOT [--json] now loads and validates complete explicit-ID
source8 projects with ordinary and typed analysis declarations. It preserves
input files and original diagnostic locations. This is a developer CLI
checkpoint; mixed editing and application integration remain unfinished.
At this source, Windows checks pass 302 core tests, 98 selected integration tests, three doctests, strict core/CLI Clippy and five direct executable trials. All eleven prior named core stack controls pass. Formatting reports only the same inherited eight differences in five untouched files.
Build, run and verify
Use Rust/Cargo 1.98.1 and a working Windows gnullvm toolchain; this run used
LLVM-MinGW 20260908. Set CARGO_BUILD_JOBS=1 and CARGO_INCREMENTAL=0.
With the dependencies available locally, run from the source checkout:
cargo build --locked --offline -p oa-cli --bin arcadia
cargo run --locked --offline -p oa-cli --bin arcadia -- check-mixed path/to/main.arcadia --json
cargo test --locked --offline -p oa-core --lib -- --test-threads=1
cargo test --locked --offline -p oa-core --test mixed_source_files -- --test-threads=1
cargo test --locked --offline -p oa-cli --test mixed_cli -- --test-threads=1
cargo test --locked --offline -p oa-cli --test source_cli -- --test-threads=1
cargo test --locked --offline -p oa-core --doc -- --test-threads=1
cargo clippy --locked --offline -p oa-core -p oa-cli --all-targets -- -D warnings
The packet's receipts preserve exact commands, filters and inputs for the other
integration suites. Its gates/ fixtures supply the three-file checked and
unresolved-reference examples, and launchers/ preserves the actual CLI byte
oracles. See docs/source-cli.md at the source commit for report/exit semantics.
Archive: 1,448,804 bytes, 192 members, SHA256 00a6cefedb5a921283c1e00c1e2564cda774ffc2c9723a47bd8c09e477240c03.
Runtime readback: MIXED-CLI-RUNTIME-READBACK.json, SHA256 1b02b0eb3870cbc4074542467ef527acb7b13e9956674115484ebc82d3a5d97b.
Read RUNTIME-REVIEW.md for reconciled outcomes and limitations; this packager only preserves data.
The packet retains all six initial f232482 Cargo receipts, thirty final Cargo receipts, and five actual CLI invocations (ordinary JSON check/rename, mixed valid/invalid JSON and human output).
Initial source_cli completed ten passes and two stale schema-target expectation failures; mixed_cli passed six with an import-shadowing warning. Initial manifests omitted the alarm fixture. Those records are preserved unchanged; the final 567-input manifest includes that exact fixture.
The final successor to f232482 corrects only those test expectations/import and records their history. Source patches and the original alarm fixture are included.
The inherited formatting refusal remains raw evidence. The final doctest recorder
passes with the two exact compile-fail name mappings documented by the prior
public-read checkpoint; it does not apply generic name normalization.
No mixed editing/save/history, GUI, universal depth128, atomic filesystem snapshot or Linux qualification is claimed. Discovery and complete validation use separate bounded passes; logical producer accounting is not an all-heap bound.
Cargo receipt index
| Receipt | Source | Exit | Recorded verification refusals |
|---|---|---|---|
mixed-cli-cli-build-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-clippy-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-doc-list-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-doc-suite-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-fmt-f10490b-1.result.json |
f10490b |
1 | 0 |
mixed-cli-focused-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-full-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-list-mixed_cli-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-list-mixed_cli-f232482-1.result.json |
f232482 |
0 | 0 |
mixed-cli-integration-list-mixed_source8_read-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-list-mixed_source_files-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-list-mixed_source_files-f232482-1.result.json |
f232482 |
0 | 0 |
mixed-cli-integration-list-r3_migration-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-list-review_regressions-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-list-source7_contract-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-list-source_cli-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-list-source_cli-f232482-1.result.json |
f232482 |
0 | 0 |
mixed-cli-integration-list-source_files-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-list-source_identity_updates-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-list-source_nested_updates-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-list-source_project-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-suite-mixed_cli-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-suite-mixed_cli-f232482-1.result.json |
f232482 |
0 | 0 |
mixed-cli-integration-suite-mixed_source8_read-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-suite-mixed_source_files-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-suite-mixed_source_files-f232482-1.result.json |
f232482 |
0 | 0 |
mixed-cli-integration-suite-r3_migration-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-suite-review_regressions-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-suite-source7_contract-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-suite-source_cli-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-suite-source_cli-f232482-1.result.json |
f232482 |
101 | 2 |
mixed-cli-integration-suite-source_files-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-suite-source_identity_updates-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-suite-source_nested_updates-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-integration-suite-source_project-f10490b-1.result.json |
f10490b |
0 | 0 |
mixed-cli-list-f10490b-1.result.json |
f10490b |
0 | 0 |
Actual CLI receipt index
| Receipt | Source | Exit |
|---|---|---|
mixed-cli-actual-unresolved-json-f10490b-1.cli.json |
f10490b |
1 |
mixed-cli-actual-valid-human-f10490b-1.cli.json |
f10490b |
0 |
mixed-cli-actual-valid-json-f10490b-1.cli.json |
f10490b |
0 |
mixed-cli-ordinary-check-f10490b-1.cli.json |
f10490b |
0 |
mixed-cli-ordinary-rename-alias-f10490b-1.cli.json |
f10490b |
0 |
Exact member lengths, SHA256 values and local/Git origins are in manifest.json. Review mirrors are byte-identical to archived reviews/ members. No executables or prior archive copies are included.
The baseline archive is referenced by SHA256 1c20b7bffdaee9b1139b0e922d4366f6ac739f8567040e8f4723dc19e3974656; selected logs/receipts and ordinary CLI fixture bytes are copied directly from it.