Registry · Theorem V.T206 tau-effective formalized

V.T206 — Metric-Capacity Coupling Source Theorem

Metric-Capacity Coupling Source Theorem: the c² in V.T85 enters through the acceleration scale a₀ = c²/(2ℓ_τ) = cH₀√κ_D/2, which is a METRIC quantity measuring spacetime curvature per unit screening length. The linearized capacity equation produces only v² ~ GM/r because the scalar source 4πGρ/c² strips out the metric coupling.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.metric_capacity_coupling