Registry · Definition V.D330 tau-effective formalized

V.D330 — S₈ NNLO Density-Regime Value

S₈(τ,NNLO) = 0.757 in density regime. At NNLO Ω_m=0.3155≈Planck, f_growth→1.000, removing NLO growth enhancement. σ₈(τ,NNLO)=0.811×0.913×1.000×0.997=0.738. S₈ shifts from 0.783 (NLO) to 0.757 (NNLO), a −3.3% structural shift.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (3)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.S8NNLO