Registry · Theorem V.T197 tau-effective formalized

V.T197 — Full CMB Pipeline with Structural h

Wave 11: upgraded from skeleton to formalized. Full zero-parameter Friedmann pipeline: 6 stages from single ι_τ + T_CMB. M3h+h_τ: ℓ₁=220.63 (+2863 ppm). Error cancellation formalized: ω_b undershoot compensates ω_m overshoot structurally.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (5)

Depended on by (8)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.full_pipeline_structural