Registry · Theorem V.T207 tau-effective formalized

V.T207 — V.T85 Algebraic Resolution Theorem

V.T85 Algebraic Resolution: v_∞ = (GM_b·a₀)^(1/4) where a₀ = c²/(2ℓ_τ) is determined by algebraic chain τ-axioms → ι_τ → κ_D → ℓ_τ → a₀. The c² enters through a₀, NOT through PDE solving. Linearized capacity PDE gives v_screen << v_∞ (V.T205). Zero free parameters, one cosmological input (H₀). RMS = 0.067 dex across 20 galaxies.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (4)

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.algebraic_resolution_theorem