Registry · Theorem V.T106 tau-effective formalized

V.T106 — Flatness from Compactness

Spatial curvature Omega_k = 0 exactly in tau, as a structural result: the fiber T^2 is a compact torus with zero Gaussian curvature, and the chart-level readout inherits this flatness. This requires no fine-tuning or inflationary epoch -- it is a geometric consequence of toroidal fiber structure.

Book V Part 6 Ch. 47

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.InflationRegime

Symbol: Tau.BookV.Cosmology.FlatnessFromCompactness