Registry · Theorem V.T215 tau-effective skeleton

V.T215 — Dark Sector Consistency Theorem

Dark sector consistency: the τ-framework explains rotation curves, gravitational lensing, the SN Ia Hubble diagram, CMB power spectrum, and BAO distances with ONE parameter set derived from ι_τ = 2/(π+e): Ω_Λ=0.6849, Ω_m=0.3151, h=0.6735, r=ι_τ⁴=0.014, Σm_ν=0.089 eV, M_eff/M_p=6.65. No free parameters beyond the 9 axioms on 5 generators.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (6)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.darkSectorConsistency