Registry · Proposition V.P186 tau-effective not_applicable

V.P186 — Density-Sector Sub-1300 ppm Consistency

Every ω_m-sensitive observable sub-1300 ppm at NNLO: ω_m +17, r_d −1292, BAO ≤1201, S₈ 0.2σ from KiDS/HSC. Density-sector closure complements peaks-sector closure (Wave 40). Pareto barrier prevents simultaneous sub-200 both sectors. Boltzmann solver needed for physical operating point.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: