Registry · Remark V.R400 tau-effective not_applicable

V.R400 — BAO–CMB Pipeline Closure

BAO–CMB pipeline closure: the τ-native parameters (Ω_Λ, Ω_m, h, r_s) simultaneously satisfy the CMB power spectrum (Wave 8), the SN Ia Hubble diagram (Sprint 20D), and the BAO distance measurements (Sprint 20G). All from a single input: ι_τ = 2/(π+e).

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum