Registry · Proposition V.P161 tau-effective formalized

V.P161 — S₈ Tension Resolution

S₈^(τ)=0.760 aligns with WL: DES Y3 (−0.9σ), KiDS-1000 (+0.04σ), HSC-Y3 (−0.3σ). Resolves S₈ tension: τ predicts S₈ on weak lensing side, not CMB side.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.s8_wl_aligned