Freiman late: late all endpoints
ProvedFreiman.late_all_endpointsfinite-certificatesfreimanhall-raylate
Validate all 162 selected endpoint records against the actual §11/§15 endpoint algorithm. Equality retains the incoming first side; reflection is strict. Every selected 7/5-shortening branch and every endpoint tail coordinate is preserved.
Preamble
import Definitions.Def_Freiman_lateGeometry import Mathlib.Tactic set_option maxRecDepth 8000 set_option maxHeartbeats 0 open Freiman
Formal statement
theorem Freiman.late_all_endpoints : lateAllEndpoints lateCatalog := by sorry
Source
Freiman report, §15, printed source pages 140–144; active lower_140_144.tex and Appendix Complete finite certificates for printed pages 140–144 (late_certificates.tex); exact late_readable_certificates.json with both original cover_*_certificate.json trees.