R12 S9.2 Global Anchor Closure Development Result

Decision: rejected on the sole fresh development read

Confirmation: unopened and permanently ineligible for S9.2 v1

Slurm job: 693890, evc25, completed 0:0 in 59m39s

Frozen identity

All mirrored result artifacts hash-match Newton. Development/confirmation access is exactly 1/0. The confirmation split was not opened.

Result

The assessment passes 21/43 gates: 14/31 inherited and 7/12 S9.2-specific. This is not a threshold miss. It fails every primary exactness, depth, causal, root, and treatment-over-control gate.

Failure localization

Treatment state/answer accuracy by depth is:

The treatment predicts card count almost perfectly (2,047/2,048) and modulus perfectly, but predicts the complete (m,c,d) count tuple and root spans on only 340/2,048. Its success set is exactly the depth-eight stratum. The positive- orbit-only arm has the same pattern. In contrast, removing occurrence-class messages restores 2,019/2,048 exact graphs and uniformly high state accuracy across every depth (98.24%--99.71%).

The evidence therefore rejects the S9.2 hypothesis. Global interval Viterbi is mechanically correct, but the class-message logits it optimizes encode a training-cardinality shortcut. The finite grammar turns that shortcut into an irrevocable maximum-depth assignment. It destroys a same-logit local decision that was already 99.512% exact. The layout arm's 26.562% exact graph score also demonstrates substantial positional recoverability in this board.

The failure is not in the frozen S7/S8 executor, graph semantics, or recurrent state transition. Every one of the 340 valid treatment graphs is exact, and all 340 execute to exact state and answer. Operation recoding, class reindexing, relation-storage reindexing, state, and answer are bit-identical on all 340 eligible rows. The failure is selection before graph construction.

Scientific disposition

1. Close S9.2 v1. Do not rescore, retune, or open confirmation.
2. Retain the no-class/local decoder only as a bounded compiler diagnostic. It does not become a promoted result because the preregistered treatment failed and the layout control is high.
3. Retire parser-only anchor optimization as the active reasoning frontier.
4. Use same-layout semantic counterfactuals and stronger grammar firewalls in any future language compiler claim.
5. Move the primary effort to a model-owned state experiment that deletes source access after compilation and causally tests recurrent state transport, tied update, query consumption, and halt.

This result narrows the problem: Shohin's frozen features can support nearly exact bounded parsing when the harmful class-message path is removed, but S9.2 does not create reasoning and does not improve the compiler.