Registry · Theorem V.T255 tau-effective formalized

V.T255 — Two-Path Complementarity for First Peak

M3h holonomy (ω_m=0.1470, +28162 ppm) achieves ℓ₁=220.63 at +2840 ppm via structural error cancellation; DE-closure (ω_m=0.1429, −675 ppm) gives 41× better absolute ω_m but disrupts cancellation (ℓ₁ at +6925 ppm). Anti-correlated ω_b/ω_m errors from same ι_τ constitute non-trivial consistency check.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (4)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.TwoPathComplementarity