Registry · Theorem V.T214 tau-effective skeleton

V.T214 — DESI Consistency Check

DESI DR1 consistency: τ-native D_V(z)/r_d and D_M(z)/r_d match Planck-ΛCDM to <0.1% at z = 0.51, 0.71, 0.93, 1.32, 2.33. The deceleration parameter q₀ = −0.527 confirms accelerating expansion consistent with BAO+SN observations.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.desiConsistency