FD v131 (2fc1897)

First Distinction 2fc1897

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 v130

• Trigger PDF build (2fc1897)
• Fix CI: use Ubuntu apt instead of Alpine apk for TeX Live (dfe079c)

---

Verify: agda --safe --without-K --no-libraries FirstDistinction.lagda.tex