Registry · Remark V.R468 tau-effective not_applicable

V.R468 — Open Problems Status — Wave 42

V.OP8 (S₈): SOLVED — NLO 0.783 (all WL), NNLO 0.757 (KiDS central). V.OP11 (BAO): SOLVED in density regime — all 5 D_V/r_d bins sub-1300 ppm, mean 1145 ppm. Density sector: 8 observables characterized, all consistent.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (3)

Lean Formalization

Module: