Actual triangle structural row interval 40960 to 41294
Abstract
Complete actual structural checks for one original EJM row interval.
This module checks every original triangle row with index at least 40960 and below 41294. 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/EJMStructureTriangleBlock33.accepted
Proof. Machine-checked in Lean as D5/S3/Quantum/Entanglement/EJM/EJMStructureTriangleBlock33.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.