sorokin.oleg.edu/ARCADIA-Studio
1
0
Fork 0
Code Issues 37 Pull Requests 2 Packages Projects Releases 9 Wiki Activity

Record verified iterative checker milestone and bounded codec continuation; defer Linux execution

Codex-956atf
2026-09-11 15:35:41 +00:00
parent 369e8a9d60
commit a6597d61d3
1 changed files with 17 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files
AnalysisCoreSchema820260911.md
+17 -29
@@ -1,43 +1,31 @@
# Schema8 analysis core — iterative typechecker awaiting rerun
# Schema8 analysis core — static correction verified; codec work in progress
Codex-956atf `/root/analysis_core_resume`, 2026-09-11. The dedicated worktree `.local/analysis-core-worktree-20260911` remains on `codex/analysis-core-20260911`, HEAD `b96ff3935ab3f36b7144566e46559a05a29292a5`, with uncommitted corrections. Root owns Cargo/native execution, integration and publication. The source correction below is frozen and uncompiled; the previous candidate failed its first real gate.
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.
## Actual failed gate and corrected count
## Completed Windows gates
[Root's issue1 comment305](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/1#issuecomment-305) records warning-free Windows compilation in3m34s,28 discovered tests and16 named passes before `analysis::tests::logical_depth_and_call_depth_have_exact_boundaries` aborted with `STATUS_STACK_OVERFLOW` / `0xc00000fd`. Preserve root `.local/logs/analysis-core-first-20260911.log`, SHA256 `84C6B63039472363412B66C7A24DE825A846518725EC9F7436C252603AEF54FC`, and root-reported binary `target/debug/deps/oa_core-a7a95d666500007c.exe`, SHA256 `548850D3606C9B4A58859677E86A1C1813EB6E71785C529F771E04125E7A33AF`. There was no full analysis pass.
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.
The substring filter `analysis::` selects25 schema8 tests plus three existing `topology_context::analysis::tests`. The earlier prepared25 count described only the new module; actual28 is correct. The saved22 would likewise have selected25 including topology. The correction retains all28 functions and introduces no ignored tests.
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`.
## Current correction and source inventory
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.
The large recursive Checker::expression was the concrete source-level suspect; the exact abort instruction/frame size was not measured. An explicit continuation machine now retains at most128 heap frames and one returned type. It borrows Expr and calculation definitions; its frame owners contain only fixed-size resolved types/handles. Lists and calls schedule one ordered child at a time. No Rust call stack grows with expression depth. The rejected129th frame is never allocated, while entry charging retains error precedence.
Left-to-right operands, condition/both branches, Sum initial-before-values, AsKind reference-before-operand, parameter declaration order, contextual empty lists, nominal/exact algebra and current work precharges are preserved. The original failing test now covers unary128/129, mixed Binary/If/Call/Power/Unary128/129, contextual empty-list If/Call128, and definition-call32/33, with phase messages. Existing parameter tests make call declaration order versus UUID order and binary first-error order observable.
| Path | Current SHA256 |
| Corrected source | SHA256 |
| --- | --- |
| `crates/oa-core/src/analysis/typecheck.rs` | `831F14346BBAE83FBDEEB744F9F29460FAB13A8315645FAA6CE94D0B60B1516F` |
| `crates/oa-core/src/analysis/tests.rs` | `9FB30B28E305CB00E7C39204912F8311E96AA92D0334CE4A73FB08FADDFE83C5` |
| `crates/oa-core/src/analysis/admission.rs` | `5F85EAA868AC43C4819C98556281D8226F9C0E2A4B11E5C97CF24D855D2127AE` |
| `harness/release-analysis-core-schema8-wip-20260911.md` | `6990BA9C8E8D143A6A018EC3DD5191B8B8133C76C710F96154F7F74A902C9AB5` |
| analysis/typecheck.rs | 831F14346BBAE83FBDEEB744F9F29460FAB13A8315645FAA6CE94D0B60B1516F |
| analysis/tests.rs | 9FB30B28E305CB00E7C39204912F8311E96AA92D0334CE4A73FB08FADDFE83C5 |
| analysis/admission.rs | 5F85EAA868AC43C4819C98556281D8226F9C0E2A4B11E5C97CF24D855D2127AE |
Only typecheck/tests/report changed after the first compiled candidate. Admission still precharges wide child queues, text spans and scoped names, closure entries and relation-subject hops, with direct known-element layer lookups and an aggregate lowerable1,000,000-event ceiling. From b96ff393, only these four paths are modified. Standalone rustfmt2024 check and git diff whitespace check pass. No worker Cargo/rustc/native/install/commit, stack-size override or release-only optimization workaround.
## Historical failure retained
## Root's next gates
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.
From the dedicated worktree with root's established toolchain/cache:
## Current bounded codec lease and open acceptance
1. `cargo test --locked -p oa-core --lib analysis::tests::logical_depth_and_call_depth_have_exact_boundaries -- --exact --test-threads=1 --nocapture`
2. `cargo test --locked -p oa-core --lib analysis:: -- --test-threads=1` (28 expected).
3. `cargo test --locked -p oa-core --lib analysis_numeric::tests -- --test-threads=1` (26 expected).
4. `cargo clippy --locked -p oa-core --all-targets -- -D warnings`.
`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.
The handoff report retains original reboot and first-resume inventories/hashes and the actual failure evidence. [Saved WIP](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/commit/b96ff3935ab3f36b7144566e46559a05a29292a5), [resume lease291](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/1#issuecomment-291), [first source freeze299](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/1#issuecomment-299), and [debugging lease310](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/1#issuecomment-310) distinguish history from current source.
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.
## Scope and remaining limits
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.
Saved code implements actual Project definitions/property/case/check records, static admission, nominal exact numeric type helpers, identity/reference/deletion commands, frozen pre8 migration and explicit unsupported history/transition guards. The fixed KindHandle, baseline/every-case/unused-branch checks and scoped parameter identity are unchanged.
Structural Expr/reference walks and dependency graphs are iterative. Inspected architecture indexes borrow analysis records and clone ordinary step-ID vectors; analysis reference enumeration avoids cloning Expr-bearing elements. This is source reasoning, not stack/RSS acceptance. Derived Expr Clone/Debug/equality/Serialize/Deserialize/Drop, partial decode teardown, command cloning, wide header allocation and output expansion remain separate lifecycle/codec work. Default Serde recursion rejection is unchanged. The decoder review and [comment257](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/1#issuecomment-257) remain authoritative; some admitted logical-depth128 shapes cannot reopen and pretty output can exceed the input budget.
Source8/evaluator, actual package environment, capture, API/CLI/UI, history/transition parity, target stack/memory evidence and complete transport/release acceptance remain pending.
**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).