Registry · Remark V.R401 tau-effective not_applicable

V.R401 — τ-vs-ΛCDM Discriminator Table

Five decisive τ-vs-ΛCDM discriminators: (D1) r=ι_τ⁴=0.014 at 14σ by CMB-S4, (D2) Σm_ν=0.089 eV at 4.5σ by DESI, (D3) null DM direct detection, (D4) structural H₀ tension resolution, (D5) w(z) deviation at z>1 by DESI Y5/Y10.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum