Registry · Remark V.R463 tau-effective not_applicable

V.R463 — Coupled NLO Status

V.OP3 PARTIAL-IMPROVED: 3/4 observables sub-700 ppm, ℓ₃ at −6250 ppm. V.OP11: r_d=145.02 Mpc at −14064 ppm. V.OP13 IMPROVED: ℓ₁ from +62 (isolated) to +119 ppm (coupled). Pareto frontier: optimal δ_h*=−0.01242 differs 7% from κ_D/57.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Lean Formalization

Module: