Registry · Definition V.D322 tau-effective formalized

V.D322 — Peak-Ratio Phase-Shift Space

Bashinsky-Seljak phase-shift NLO: δφ_n = −δφ₀·(n−1)^α with δφ₀ = ι_τ/(2·W₃(4)) and α≈0.82. Root cause: z_eq(τ)=3583 vs Planck 3427 (+4.5%) from ω_m NLO excess.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.PeakRatioNLO