R12 S4 Monotone Event-Region Decoder Result
Decision
Reject S4 v4 on fresh development. Do not generate confirmation or rescore the closed board.
Monotone locality is strongly causal, but replacing frozen v1's hard event-role islands with a diffuse softmax over each complete region loses too much argument precision. Preserve the region partition and soft roster/query interfaces; restore hard model-owned event islands.
Custody
- Source/preregistration freeze: commit
0c8aa8c. - Board freeze: commit
1cf83e7. - Production seed:
3847103809226516730. - Board: 2,048 rows / 512 matched groups, depths 3--8, maximum 341 tokens.
- Data SHA-256:
3c06f58c4ade457ac5017be41afbd97fd3c23a90200430af1318af7e5a988f19. - Report SHA-256:
27b795d1eedbba65d3697d50ab8eaec5175616e4743a573c5ca5419c21aea0f4. - Safe archive SHA-256:
7443f4962f19c5a3740b85ccf0a2d38bfa52adbf5cc1ab8a08df8e69fd8bddf2. - Exact prompt, word-13-gram, nonce/name, factor, and roster-token-multiset overlap: zero against source train/development and both closed fresh boards.
- Confirmation access: zero.
Submission 693175 failed shell preflight before model or board access because of a nonexistent
parser path. Commit cb3be54 changes only that literal to the preserved frozen-v1 parser.
Replacement 693176 completed the baseline, treatment, both interventions, and assessor serially
in 62 seconds on evc24.
Fresh-board result
| Arm | Count | Roster | Query | Exact program | Exact state | Correct answer |
|---|---|---|---|---|---|---|
| Frozen S4 v1 | 100% | 93.21% strict | 93.21% strict | 1909/2048 = 93.21% | 93.21% | 93.21% |
| S4 v4 local soft regions | 100% | 2006/2048 = 97.95% | 100% | 1443/2048 = 70.46% | 83.15% | 87.06% |
| V4 + roster rotation | 100% | unchanged | 100% | 0/2048 | 2.44% | 9.67% |
| V4 + event-region rotation | 100% | unchanged | 100% | 0/2048 | 14.99% | 29.25% |
Treatment exact programs by depth are 85.76%, 73.84%, 70.59%, 65.88%, 67.65%, and 58.82% at depths 3--8. Surface accuracies stay tightly grouped from 69.34% to 71.29%, so no single renderer explains the failure. Both interventions eliminate every exact program. Locality and roster identity are therefore causal, but the regional soft distributions have a per-event precision error that compounds with chain length.
The same frozen-v1 baseline reaches 1926/2048 = 94.04% exact programs with host count and 1960/2048 = 95.70% when only intro/query boundaries are supplied. Its strict failure inventory is 83 event-component-cardinality, 51 intro-cardinality, and five entity-identity cases. This shows why v4 regressed: it solved roster/query interfaces but discarded the much sharper hard event islands already present in v1.
Baseline, treatment, assessment, and job-log SHA-256 values are respectively
df4b0ddbc20c77efd5d39bb0f2fe3286245d1c68d38bec9c642d49f346daa44e,
47604341285fb63a4fb2abce3c6db7859fa227eaef796858387c2d3ad5145985,
63f9d5db3e2db70acaf646dfeda5e6ff503b890b10abd002d76c8f00b0c68b08, and
d539d220347dbdceb0b42f2350b9e09d2617c68ae867a8b256135bd0c5de14c0. The frozen assessor records
reject_s4_v4_fresh_development.
Next constraint
A bounded v5 may retain each predicted kind region but select complete contiguous frozen
event.entity and event.literal argmax islands inside that region. Entity islands become uniform
vocabulary carriers matched to the soft roster; literal islands use their mean frozen amount logits;
the soft query remains. If a region contains duplicate islands, select by summed frozen role margin,
not a learned or score-tuned threshold. Require fresh roster and region derangements.
Claim boundary
This is fresh-development evidence over known operation atoms. It establishes a causal local decomposition, not confirmation, unseen semantics, planning, learned halt, free-form reasoning, public benchmark improvement, novelty, or model promotion.