Registry · Definition V.D269 tau-effective skeleton

V.D269 — τ-Native Luminosity Distance

τ-native luminosity distance: d_L(z) = (1+z)·(c/H₀)·∫₀ᶻ dz'/E(z') with E²(z) = Ω_m(1+z)³ + Ω_r(1+z)⁴ + Ω_Λ, where Ω_Λ = κ_D(1+ι_τ³) = 0.6849, Ω_m = 0.3151, h = 0.6735. Matches Planck-ΛCDM to ≤310 ppm across z=[0.01, 2.26]. Reproduces Pantheon+ SN Ia Hubble diagram to <0.5 mag at all redshifts.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.tauLuminosityDistance