R12 S7 Learned Cayley Law Compiler: Confirmation Preregistration
Status: freeze after development qualification and before confirmation access Mechanism changes: none Weight changes: none Board changes: none
Bound artifacts
- Frozen checkpoint SHA-256:
c26e2cb6ef54ff409b580b3828c6ace4369423cf67b11bd66d9af05c93db4607 - Development assessment SHA-256:
2ef4d5ee053d2bf599726aa8db6fa39305f4fc112c0a35af291fe6e109c8bbc4 - Required development decision:
qualify_s7_learned_cayley_for_fresh_confirmation - Sealed confirmation SHA-256:
c2eb8d5c5dd285dfcb60389c3067c4842e47872d64b5233681c32c8542434bc5 - Confirmation rows: 2,048
- Confirmation laws: 18, disjoint from the 16 development and all train laws
- Development accesses before run: one
- Confirmation accesses before run: zero
One-read protocol
The confirmation job loads the frozen checkpoint without training and evaluates
the same arms on confirmation.sealed.jsonl:
- host theorem/executor;
- learned Cayley treatment;
- frozen favorable ordinary transformer;
- frozen learned
S^2generator; - deranged law cards;
- one-witness unit completion;
- state reset;
- nonce-operation recoding.
There is no confirmation atomic file, so confirmation repeats the recurrent and causal gates but not the development-only held-out atomic gate.
Immutable confirmation gates
All must pass:
- treatment exact state at least 98%;
- treatment answers at least 98%;
- every depth exact state at least 96%;
- treatment within one point of host state and answer;
- treatment exceeds ordinary transformer by at least 40 state points;
- treatment exceeds
S^2generator by at least 60 state points; - deranged cards drop state by at least 60 points;
- one-witness unit completion drops state by at least 40 points;
- state reset drops state by at least 20 points;
- operation-nonce recoding is bit-identical;
- checkpoint, board, development assessment, training contract, and parameter hashes/counts match;
- development accesses equal one and confirmation accesses equal one after the sole read;
- complete system remains below 150M.
Passing records confirm_s7_learned_cayley_contextual_law_compilation and
promotes S7 as the strongest bounded unseen-law component. Failure records
reject_s7_learned_cayley_confirmation; no repair, second confirmation board,
rescore, or refit is permitted.