Registry · Proposition V.P162 tau-effective not_applicable

V.P162 — f·σ₈ Comparison Table

f·σ₈(z) at z=0.3,0.5,0.7,1.0: τ systematically ~3% below ΛCDM from combined holonomy suppression and w₀>−1. z-independent offset = holonomy signature.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM