R12 ER-TT Fresh Board Receipt

Protocol: R12-ER-TT-v1-board

Decision: admit the board for score-bearing source implementation. No training seed, H100 run, development read, or confirmation read exists.

Provenance

The board lives at artifacts/r12/er_relation_tensor_board_1209366536012979338/ locally. A second complete build under /tmp was byte-identical for all four files.

Immutable files

confirmation.jsonl is mode 0600. Development and confirmation access counters are 0/0.

Gate result

All fifteen preregistered gates pass:

• 13,024 rows at each cardinality N=3,4,5,6;
• rule-count rows 17,368 / 17,368 / 17,360;
• depth rows are 4,336 or 4,344 for every depth 1–12;
• every one of 13,024 semantic families contains a non-bijective rule;
• every generated row passes independent grammar parsing, equality inference, execution, HALT, query, pointer-span, and oracle checks;
• pairwise names, semantic families, exact prompts, and word 13-grams are all zero;
• training and scored renderer cosets are disjoint;
• maximum program and line lengths are 610 and 96 bytes;
• family-deranged state exactness is 1,036/13,024 = 7.955%; and
• equality-ablated state exactness is 1,063/13,024 = 8.162%.

Boundary

This receipt establishes clean, reproducible score-bearing data only. It is not a neural result. The confirmation file remains sealed unless a separately frozen development evaluator passes every preregistered gate and authorizes one read.