Registry · Remark V.R453 tau-effective formalized

V.R453 — DESI σ₈ Falsification Window

τ-prediction: (f·σ₈)_τ/(f·σ₈)_Λ ≈ 0.97, z-independent. DESI DR3 + Euclid DR1 at ~1% precision → decisive. Falsified if f·σ₈ agrees with ΛCDM at <1% or shows z-dependent departure.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.DESISigma8Falsification