Registry · Proposition V.P138 tau-effective formalized

V.P138 — CMB-S4/PTOLEMY/DESI Falsification Suite

Six falsification targets: (1) CMB-S4 r=ι_τ⁴=0.01357 at ~14σ (derived, τ-effective); (2) N_eff=3 vs 3.044 at ~1.5σ; (3) DESI/Euclid Σm_ν=0.089 eV at ~4.5σ; (4) KATRIN m_β~20 meV (below sensitivity); (5) PTOLEMY: 3 Majorana, NH — IH falsifies; (6) DESI P(k) ΔP/P=−5.1% at ~3σ. All derived from ι_τ with zero free parameters. Most falsifiable: r (CMB-S4) and Σm_ν (DESI/Euclid).

Book V Part 6 Ch. 56

Dependency Graph

Depends on (3)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.falsification_suite_8b