# 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

| Quantity | Exact count |
|---|---:|
| immutable Shohin trunk | 125,081,664 |
| complete compiler | 67,027,474 |
| trainable occurrence head | 601,350 |
| categorical motor | 19,206 |
| categorical reader | 835 |
| **complete deployed system** | **192,129,179** |
| **strict-200M headroom** | **7,870,821** |

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.