Registry · Proposition V.P180 tau-effective formalized

V.P180 — Peak-Ratio Self-Consistency

Phase-shift NLO preserves ℓ₁ (+69 ppm), ℓ_D (+71 ppm), κ_D/κ_B ratio, and r_d (149.04 Mpc). Runner-up κ_D/W₅(3) gives similar results confirming no fine-tuning.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (3)

V.T261 V.T257 V.D321

Depended on by (1)

V.R458

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.peak_ratio_preserves_ell1