Registry · Theorem V.T257 tau-effective formalized

V.T257 — First Peak NLO at +69 ppm

ℓ₁(NLO) = 220.02 at +69 ppm (was +2840 ppm). 97.6% improvement from δ_h = ι_τ/W₅(3). NLO increases ω_m further from Planck but enhances Friedmann integral error cancellation. Zero free parameters.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (8)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.FirstPeakNLO