Registry · Proposition V.P175 conjectural formalized

V.P175 — Peak Ratio Consistency Check

Peak position ratios deviate from harmonic series by neutrino phase shifts δ₂=0.201, δ₃=0.204. τ-framework predicts N_eff=3 (from H₁(τ³)≅ℤ³); Planck measures N_eff=2.99±0.17. Consistency check passed.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.neff_consistency