Registry · Theorem V.T266 tau-effective formalized

V.T266 — S₈ NNLO Consistent with KiDS and HSC

S₈(τ,NNLO)=0.757 within 0.1σ of KiDS-1000 (0.759±0.024) and 0.2σ of HSC Y3 (0.763±0.033). Within 1.1σ of DES Y3 (0.776±0.017). 2.4σ from DES+KiDS combined (0.790±0.014) reflects Pareto barrier: density regime optimises ω_m at cost of lower S₈.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.s8_nnlo_within_kids