Registry · Theorem V.T192 tau-effective formalized

V.T192 — First Peak from Holonomy Matter Fraction

First acoustic peak ℓ₁ = 220.6 at +2840 ppm (+0.28%) from Planck 220.0±0.5, using ch45 holonomy matter fraction ω_m/ω_b = 1+(1−ι_τ)/ι_τ². The Friedmann integral chain: ι_τ → ω_b,ω_m → r_s,d_A → θ_* → ℓ_A → ℓ₁. Zero free parameters beyond ι_τ and T_CMB. Better agreement than ΛCDM readout control (+0.68%).

Book V Part 6 Ch. 56

Dependency Graph

Depends on (3)

Depended on by (10)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.first_peak_holonomy_thm