R12 SD-CST Complete Physical-Record Front-End v1.2 Preregistration

Status: closed. Exact scientific source was frozen and pushed before seed at commit a32c881326eff4ea29ff7c4ee9482f8798894462; no output existed at that receipt. Raw post-commit beacon 16320682315740454145 yielded sole signed-safe seed 7097310278885678337 modulo 2^63. Sole job 694214 completed cleanly and passed all twelve gates. The immutable decision is retain_occurrence_head_for_fresh_board; see R12_SD_CST_COMPLETE_PHYSICAL_RECORD_BUS_V1_2_RESULT.md.

Claim class: consumed-training occurrence-role repair only. This cannot establish fresh-language generalization, native reasoning, or Shohin promotion.

1. Frozen diagnosis

V1.1's dedicated key raises minimum held-out binding exactness to 61.0% and packets to 47.45%, but initial-occurrence pointers remain effectively zero. The read-only six-slot audit then finds that every one of 48,000 top-one decisions lands in one of the six true entity spans and none lands on unrelated bytes. The residual is role/occurrence aliasing inside the shared bilinear readout.

V1.2 therefore changes only declaration readout form. It emits six role logits at every local byte through a shared LayerNorm, 384-to-1536 GELU projection, and 1536-to-6 head. The model's retained declaration-role assignment alone selects which physical record contributes those local probabilities. No deterministic span, keyword, delimiter position beyond the inherited nine-line boundary, target, state, answer, or executor output enters the forward decision.

2. Fixed parent and ownership

V1.2 reconstructs the exact joint parent and retained independent physical bus, then loads only the successful eight-tensor local-query endpoint from complete v1 checkpoint SHA-256 30b75305031b1e2f67a24f98b4907d2d65bc847310ea406d25f34c7b9611e1b4. The old declaration queries/projection remain present for parameter accounting but unused and frozen.

Only six local_occurrence_* tensors / 601,350 parameters train. Every query, record, parent, matcher, tape, executor, motor, reader, and Shohin tensor remains frozen under one excluded-state digest.

3. Exact parameter contract

No parameter may be added after source freeze. Historical contracts remain unchanged.

4. Fixed data, optimization, and gates

The pilot reads only consumed train SHA-256 b7756dbf8d4401dbc5fb897dee53f68758e27200b1ce0d2387631f2f0205ec25 with the same 12,000-semantic fit / disjoint 2,000-semantic heldout partitions, four renderer views each, two epochs / 3,000 updates, family batch eight, AdamW lr 2e-4, betas (0.9, 0.95), weight decay 0.01, 100-update warmup, cosine decay, clipping 1.0, and renderer-consistency weight 1.0. Development, confirmation, answers, states, trajectories, and executor feedback are absent.

The same absolute gates remain fixed: minimum fit packet 99%; heldout packet and initial state 95%; query, query pointer, binding pointer, initial-occurrence pointer, event pointer, kind, identity, and amount 99%; excluded state byte-identical; complete system strictly below 200M; scored access 0/0.

All gates passing yields retain_occurrence_head_for_fresh_board. Any failure yields reject_occurrence_head. A pass remains conventional compiler mechanics and only authorizes a separately committed fresh-board contract.