Registry · Theorem
V.T262
tau-effective
formalized
V.T262 — Baryon Density Improvement
ω_b from −12517 to +264 ppm (97.9%). r_d from +13280 to +11539 ppm (13% reduction). r_d residual dominated by ω_m excess. Coupled (δ_η,δ_h) re-optimization needed for ℓ₁ preservation.
Book V
Part 6
Ch. 56