Registry · Theorem V.T200 tau-effective formalized

V.T200 — Holonomy Ratio Acceleration Theorem

Holonomy Ratio Acceleration Theorem: a₀(T85)/a₀(D232) = √(κ_D/κ_B) = √((1−ι_τ)/ι_τ²) ≈ 2.378. Bare capacity acceleration (PDE restoring term) vs dressed MOND scale (baryonic matching). Same holonomy-baryon ratio governs Silk damping (ℓ_D/ℓ₁ = κ_D/κ_B, +9 ppm).

Book V Part 5 Ch. 37

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.holonomy_ratio_acceleration