Registry · Proposition V.P182 tau-effective formalized

V.P182 — Lensing Consistency

τ-framework simultaneously consistent with gravitational lensing (V.T212), rotation curves (V.T163), cosmic distances (V.T211), and weak lensing S₈ (0.783 within 1σ of WL surveys). Holonomy affects growth, not geometry.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (2)

V.T263 V.T212

Depended on by (1)

V.R460

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.s8_within_1sigma_deskids