de-johannes/FirstDistinction: FD v130 (ad38227)

First Distinction ad38227 Machine-verified derivation of spacetime structure from pure type theory. Zero-Parameter Predictions | Quantity | Value | Source | |----------|-------|--------| | Spatial dimensions | d = 3 | K₄ Laplacian eigenvalue multiplicity | | Lorentz signature | (−,+,+,+) | Drift irreversibility | | Einstein coupling | κ = 8 | dim × χ = 4 × 2 | | Fine structure | α⁻¹ = 137.036 | Operad arities | | Cosmic age | τ = 13.7 Gyr | N = 5 × 4¹⁰⁰ | Changes since v129 Remove redundant Agda comments (ad38227) Fix CI: FD-minimal → FD-Minimal (455ed3b) Fix case: FD-minimal → FD-Minimal (8372f21) Fix CI: agda --latex --safe --without-K, use existing latex/agda.sty (82ab9a3) Verify: agda --safe --without-K --no-libraries FirstDistinction.lagda.tex