Registry · Remark V.R420 conjectural not_applicable

V.R420 — Weak Lensing Comparison

CMB S₈=0.832 assumes ΛCDM growth without holonomy suppression. WL measures actual late-time clustering including suppression. τ produces S₈=0.760 from single ingredient f_supp. Euclid/LSST at ~1% → decisive.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM