Registry · Definition V.D247 tau-effective formalized

V.D247 — τ-Native Baryon Density ω_b from η_B

Baryon density parameter ω_b = Ω_b h² = 0.02209 derived from η_B = α·ι_τ¹⁵·(5/6) via the standard conversion ω_b = m_p·η_B·n_γ/ρ_crit. At −12334 ppm (−1.2%) from Planck 2018 value 0.02237±0.00015. No free parameters beyond ι_τ and T_CMB.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Depended on by (8)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.baryon_density_structural