Registry · Proposition V.P183 tau-effective formalized

V.P183 — Multi-Observable Consistency

Coupled NLO achieves simultaneous consistency: ω_b +264 ppm, ℓ₁ +119 ppm, ℓ₂ −663 ppm. Three observables sub-700 ppm with zero free parameters. ℓ₃ −6250 ppm remains bottleneck from ω_m overshoot.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.coupled_nlo_three_sub_700