Registry · Definition V.D332 tau-effective formalized

V.D332 — Density-Sector Observable Scorecard

Comprehensive density-regime scorecard: 8 observables. ω_m +17 ppm, r_d −1292 ppm, BAO D_V/r_d ≤1201 ppm (mean 1145), S₈=0.757 (−0.1σ KiDS), Ω_Λ −433 ppm, H₀ −120 ppm, two-path 1717 ppm. All sub-1300 ppm or survey-consistent. Zero free params.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.DensitySectorClosure