Registry · Theorem V.T236 tau-effective formalized

V.T236 — σ₈ Suppression Theorem

σ₈^(τ) < σ₈^(CMB) because boundary holonomy suppresses late-time growth by f_supp = 1−κ_ω·ι_τ < 1. Resolves S₈ tension: CMB assumes ΛCDM growth, actual universe has holonomy suppression.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.sigma8_suppression_theorem