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