R12 S7 Learned Cayley Law Compiler: Board Receipt
Date: 2026-07-19
Decision: admit_s7_learned_cayley_board
Source commit: b9a9414
Board seed: 4905719171551557987
Frozen training seed: 1314309421681697406
Contents
| File | Rows | SHA-256 |
|---|---|---|
generator_train.jsonl | 23 | 492fc927e8f172f05be8175b487c8e5b0ec91ede267034135bc6e80e36f0ad44 |
transformer_atomic_train.jsonl | 984 | f0a401db2df0cb641b22fea88d6b321d56612029385d0e239f8b0d654a64748c |
atomic_development.jsonl | 150 | 7263d3bfa2fa70ee35935f595b8eb9e496d77335ecdfd2945cb33f4861991af3 |
development.jsonl | 2,048 | 19baa8c3e8b4cfb441dac24f40cb069f0d00600d49ec9a163ba7f020af47e70f |
confirmation.sealed.jsonl | 2,048 | c2eb8d5c5dd285dfcb60389c3067c4842e47872d64b5233681c32c8542434bc5 |
Report SHA-256:
2a471f3bc0da129a890878c802b587417fdbc756efa84d4d449f50374c92f306.
Law custody
S6 development laws are closed and do not score S7. For each modulus, the S7 train split is the old training pool plus identity/successor anchors. The never-read S6 reserved-confirmation pool is split before row generation:
| Modulus | Train laws | S7 development laws | S7 confirmation laws | Closed S6 laws excluded |
|---|---|---|---|---|
| 5 | 11 | 3 | 3 | 3 |
| 7 | 29 | 2 | 3 | 8 |
| 11 | 66 | 11 | 12 | 21 |
Train, development, and confirmation law sets are disjoint. Every development and confirmation program uses at least two distinct laws. Development is balanced over all 18 modulus/depth cells at 113 or 114 rows each.
Hidden coordinate custody
Each modulus uses a post-commit random observed-symbol permutation. Raw permutations are learnable only from the 23 successor cells and three zero anchors; the report binds them without exposing them as model metadata:
- modulus 5 binding hash:
622b144a203299d37ac5ed5221218a3c01be61a36b87fd1260d42cb9fde42aad - modulus 7 binding hash:
5e5217244dedc14b5f3a34d6ccdd1a02e18ea8ef199b490fed81494d5c6c5eb1 - modulus 11 binding hash:
1a015f68d74ee061c2a67ac9fb7b62851d06c73340615701c8214ffa81afabbc
Generator and transformer training rows contain no slope, intercept, final state, or answer fields. Treatment receives no train-law card except what is implied by successor/zero anchors. The favorable transformer receives all 984 train-law atomic cells.
Access state
- Development accesses: 0
- Confirmation accesses: 0
- Neural checkpoints: none
- Neural scores: none
Commit all board bytes and this receipt before synchronization or submission.
The development wrapper may read only development.jsonl and
atomic_development.jsonl. The confirmation file remains sealed unless the
immutable development assessor qualifies every gate.