Registry · Proposition V.P137 tau-effective formalized

V.P137 — Free-Streaming Suppression from τ-Native Masses

Matter power spectrum suppression ΔP/P ≈ −8f_ν = −5.14% from Bond-Efstathiou-Silk formula with τ-native inputs: Σm_ν = 0.089 eV, f_ν = 0.00643 (M3h). Detectable by DESI at σ(Σm_ν) ~ 0.02 eV (~4.5σ) and Euclid at ~5-9σ. The full chain: ι_τ → m_e·ι_τ¹⁵ → σ-polarity → Σm_ν → ω_ν → f_ν → ΔP/P. No free parameters.

Book V Part 1 Ch. 9

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.free_streaming_suppression_thm