Registry · Remark V.R467 tau-effective not_applicable

V.R467 — S₈ Pareto Duality

NLO S₈=0.783 (optimal combined WL) and NNLO S₈=0.757 (optimal KiDS-1000) are complementary Pareto facets. The two regimes bracket the WL survey range [0.757,0.783]. Boltzmann-level computation needed for unique prediction. Falsification: S₈>0.82 or S₈<0.72 at ≥3σ.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (3)

Lean Formalization

Module: