Registry · Remark V.R421 tau-effective not_applicable

V.R421 — RSD Data Comparison

Current RSD (BOSS DR12, eBOSS, DESI DR1) at ~5–8% uncertainty — insufficient for ~3% τ-ΛCDM difference. DESI DR3 + Euclid at ~1–2% → decisive. Systematic 3% suppression across all z = holonomy signature.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM