Actual singleton structural row interval 0 to 1024
Abstract
Complete actual structural checks for one original EJM row interval.
This module checks every original singleton row with index at least 0 and below 1024. Each split retains all four actual values, earlier child indices, stored lower inequalities and full partial-assignment symmetry transport. Terminal rows retain exact completed events. Only kernel checkpoint boundaries change.
Theorem 1.1 (The whole original row interval passes its exact structural check).
Lean statement: D5/S3/Quantum/Entanglement/EJM/EJMStructureSingletonBlock0.accepted
Proof. Machine-checked in Lean as D5/S3/Quantum/Entanglement/EJM/EJMStructureSingletonBlock0.accepted (✓ std3). ∎
Source. Repository-derived.
Commentary.
The receipt covers the entire interval and is consumed by EJMStructureCertificates. It supplies structural checks only; terminal score bounds, complete global acceptance and nonlocality require their separate full proofs.