Registry · Definition V.D320 conjectural formalized

V.D320 — NLO Peak Positions and Structural Tension

NLO peaks: ℓ₁=220.02 (+69), ℓ₂=528.3 (−17116), ℓ₃=794.5 (−20112). Peak ratios 2.401, 3.611 unchanged. NLO improves ℓ₁ but worsens ℓ₂, ℓ₃: structural tension between acoustic scale and peak ratios.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.NLOPeakStructure