Registry · Definition V.D297 tau-effective formalized

V.D297 — σ₈ τ-Native

σ₈^(τ) = σ₈^(CMB)·f_supp = 0.811×0.913 = 0.741. S₈^(τ) = 0.741·√(0.3151/0.3) = 0.760. Aligns with weak lensing (DES Y3, KiDS-1000, HSC-Y3), not CMB-derived S₈=0.832.

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.Sigma8TauNative