Registry · Proposition V.P176 tau-effective formalized

V.P176 — Error Cancellation Preserved at NLO

Structural error cancellation preserved at NLO: ω_b undershoot (−12334 ppm) compensates ω_m overshoot (+46427 ppm NLO) through sound horizon–distance trade-off. Cancellation from Friedmann integral geometry, not tuning.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.nlo_zero_params