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 cosmologic
What this page is
This is a public Results-lane surface for a noteworthy Physics Registry item. It is generated from the Corpus Registry triage catalogue and keeps the generic Result catalogue unchanged.
Registry evidence
- Registry item: V.T207
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book V · Part 5 · Chapter 37
Result summary
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.
Related Results surfaces
- No existing public Results surface is linked yet; this record is promoted as a standalone Registry-backed result.
Reading role
Read as a standalone Registry-backed noteworthy result.
Claim boundary
This page reports a Registry-backed internal result surface. It is not an external validation claim, a scientific consensus claim, or independent acceptance.
Curation rationale
- physics-facing terms: cosmological
- result-facing terms: resolution
- theorem/proposition-class item appears externally legible enough for standalone review
Review notes
- No additional review notes recorded.