Registry · Theorem V.T234 tau-effective formalized

V.T234 — Ω_Λ Structural Theorem

Ω_Λ = κ_D·(1+ι_τ³) = (1−ι_τ)(1+ι_τ³) ≈ 0.6849. Zero-parameter prediction. κ_D = D-sector coupling, ι_τ³ = fiber volume correction. Planck 2018: 0.6847±0.0073. Deviation: +269 ppm (+0.03σ).

Book V Part 3 Ch. 26

Dependency Graph

Depends on (3)

V.P40 V.P41 V.T68

Depended on by (12)

V.D294 V.D295 V.D298 V.P159 V.R418 V.R419 V.R424 V.R426 V.T142 V.T306 V.T321 V.T345

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DarkEnergyArtifact

Symbol: Tau.BookV.Thermodynamics.OmegaLambdaStandalone