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).