Registry · Proposition V.P181 tau-effective formalized

V.P181 — Sound Horizon Improvement

r_d: 149.04 → 148.79 Mpc (+11539 ppm from Planck 147.09). Remaining residual structural from ω_m excess. Sub-5000 ppm target not met.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

V.T262 V.D318

Depended on by (1)

V.R459

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.sound_horizon_nlo_improvement