diff --git a/AnalysisCoreSchema820260911.md b/AnalysisCoreSchema820260911.md index 1251e4e..968a247 100644 --- a/AnalysisCoreSchema820260911.md +++ b/AnalysisCoreSchema820260911.md @@ -1,31 +1,14 @@ -# Schema8 analysis core — static correction verified; codec work in progress +# Schema8 analysis core — isolated Windows evidence -Codex-956atf `/root`, 2026-09-11. The isolated static correction is committed and published as [cdebb49d894952a189b144cc52deaf444e91d343](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/commit/cdebb49d894952a189b144cc52deaf444e91d343), branch `codex/analysis-core-956atf-20260911`. Root's runnable desktop remains on schema7; this milestone is not complete analysis functionality or full transport/source/evaluator parity. +Codex-956atf /root, 2026-09-11. Candidate [847b1caa7e75bb82f6ce5193c45bcfc45973ad1a](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/commit/847b1caa7e75bb82f6ce5193c45bcfc45973ad1a) is published on `codex/analysis-core-956atf-20260911`. Root's accepted desktop remains schema7. **Linux/WSL work is paused until the user explicitly resumes it.** -## Completed Windows gates +The isolated candidate passed the actual128KiB-thread lifecycle subprocess, all6 codec tests,28 analysis tests,26 numeric tests and strict core Clippy on Windows. The subprocess driver is included in the6. Production `DEPTH_128_VALIDATED` remainsfalse; these are private candidate/development-profile gates, not complete transport or memory acceptance. -Root ran the required logical-depth128/129 and call32/33 test successfully with the ordinary Windows test stack. The corrected `analysis::` filter passed28/28 (25 analysis plus3 existing topology-analysis), numeric26/26 passed, and strict core all-target Clippy with `-D warnings` passed in3m37s. No tests were ignored or limits reduced. The selected counts overlap and do not establish a full93-test or whole-workspace pass. +Use the [Windows codec gate report and exact evidence](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/branch/codex/release1-956atf/harness/release-analysis-codec-windows-gate-20260911.md) for commands, hashes, source binding and runtime-DLL provenance limits. No loaded-module capture was taken. Source snapshots and configured stack sizes are not compiler traces or RSS limits. -Independent review found no material new correctness/resource issue in the iterative checker/admission correction and checked all three source hashes: [review342](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/1#issuecomment-342). Root reports `harness/release-analysis-core-iterative-gate-20260911.md` and `release-analysis-core-iterative-review-20260911.md` preserve exact scope. Immutable root `.local/analysis-core-iterative-gate-20260911/` retains the corrected executable SHA256 `2B4EE8BA63B20415B352E084314CC7504E778C093598B9564C6EA4F56BC921C9`,274-input manifest `28D6CEAE5C52765F5DB5CB411D7E42EDAB91359C9E351663315BC4B7F1FF2B7A`, and exact logs. Clippy log SHA256 `6FE529BBA6A761FEDACB1A3933BB86E4FB644D8CC192F57FB0F45EFA5B9ABFFF`. +- [Independent codec source review](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/branch/codex/release1-956atf/harness/release-analysis-codec-source-review-20260911.md) +- [Earlier iterative static-checker correction and preserved stack-overflow history](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/branch/codex/release1-956atf/harness/release-analysis-core-iterative-gate-20260911.md) +- [Ratified semantic decisions](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/branch/codex/release1-956atf/harness/DECISIONS.md) +- [Live dependencies and ownership](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/1#issuecomment-412) -The checker uses at most128 borrowed continuation frames and one returned type, preserving ordered operands, both branches, declaration-order Call typing and contextual empty lists. Admission precharges variable-width work before queues/scans. Structural Call-map walking remains UUID ordered; semantic checking is declaration ordered. Cardinality/work limits are not an RSS/time calibration. - -| Corrected source | SHA256 | -| --- | --- | -| analysis/typecheck.rs | 831F14346BBAE83FBDEEB744F9F29460FAB13A8315645FAA6CE94D0B60B1516F | -| analysis/tests.rs | 9FB30B28E305CB00E7C39204912F8311E96AA92D0334CE4A73FB08FADDFE83C5 | -| analysis/admission.rs | 5F85EAA868AC43C4819C98556281D8226F9C0E2A4B11E5C97CF24D855D2127AE | - -## Historical failure retained - -The initial candidate compiled warning-free in3m34s, passed16 selected tests, then aborted at depth128 with `STATUS_STACK_OVERFLOW` / `0xc00000fd`. [Failure305](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/1#issuecomment-305), original log SHA256 `84C6B63039472363412B66C7A24DE825A846518725EC9F7436C252603AEF54FC`, and original executable SHA256 `548850D3606C9B4A58859677E86A1C1813EB6E71785C529F771E04125E7A33AF` preserve the actual result. Source identified the recursive checker as the suspect; no measured native frame size or exact abort instruction was claimed. cdebb49 supersedes the former awaiting-rerun instructions, not this history. The source handoff retains the earlier b96ff393/reboot inventories. - -## Current bounded codec lease and open acceptance - -`analysis_core_resume` now owns only the next core persistence/private-codec/necessary Expr lifecycle work in `.local/analysis-core-worktree-20260911`, based on cdebb49. It is uncommitted and uncompiled. The chosen route is original-byte structural/resource preflight, typed duplicate-preserving Serde schema, bounded recursive ownership/lifecycle and capped output with same-profile reopen. Existing model-count capacities must not be silently narrowed by a new unrelated JSON entry ceiling. The independently documented decoder/lifecycle/output risks remain acceptance gates until executed. - -Root fetched stacker0.1.25 for Windows and Linux targets without compiling. The isolated lock adds only stacker0.1.25, psm0.1.32, ar_archive_writer0.5.3 and object0.39.1; existing versions did not change. This is dependency preparation, not protection or platform acceptance. Worker may not compile; root retains compiler, integration, native runtime and release ownership. Codex-9e8r6t reserves the narrow bounded syntax-only outline seam in language.rs; no parallel source8 parser implementation is underway here. - -The current source catalog/property/case/check records, exact nominal algebra, baseline/every-case/unused-branch checking, scoped parameters and commands remain as described in the source handoff. Source8 parsing/formatting, evaluator, all command/REST/CLI/GUI boundaries, maintained libraries, history/transition parity, actual stack/memory measurements and complete release acceptance remain open. - -**The user explicitly deferred all further Linux builds/checks at15:28 UTC.** Resume only when the user instructs us that WSL2 networking is resolved. No WSL/Linux execution, cache transfer, restart or network/VPN diagnosis during the deferral; Windows work continues. [Owner coordination357](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/1#issuecomment-357). \ No newline at end of file +Legacy/migration/checked-save integration, release memory measurements, mixed-shape lifecycle closure, source8 and all server/CLI/GUI transport, evaluator and maintained-library workflows remain required. The syntax-only language.rs outline seam remains with9e8r6t until coordinated handoff. Previous Wiki revisions preserve detailed historical checkpoints; current implementation facts live in the linked versioned reports.