Registry · Proposition V.P135 conjectural formalized

V.P135 — Structural Acoustic Scale ι_τ⁻⁵ Cross-Check

ι_τ⁻⁵ = ((π+e)/2)⁵ = 215.92 vs observed ℓ₁ = 220.0 (−1.85%). Exponent −5 = −(dim(τ³)+N_lobes) = −(3+2). Captures correct scale; 1.9% gap may require NLO correction. Best NLO candidate 1/W₃(4)² = 0.04 gives 224.6 (+2.1%), overshooting. The Friedmann integral (V.T192) gives superior precision (+0.28%).

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.acoustic_scale_crosscheck_thm