Registry · Remark V.R395 tau-effective not_applicable

V.R395 — Bare/Dressed Discrepancy Persists

Bare/Dressed Discrepancy Persists: the two-channel formula shares deep-regime asymptotic v⁴ = GM·a₀ with V.T85. The bare/dressed discrepancy (factor √(κ_D/κ_B) ≈ 2.38 between a₀(V.T85) and a₀(V.D232)) persists. Two-channel does not resolve discrepancy but clarifies its origin: both channels use the same a₀.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves