Registry · Definition V.D82 conjectural formalized

V.D82 — Corrected Co-Rotor Coupling --- V.D10

The corrected co-rotor coupling is kappa_n = kappa_n^(tree) * (1 - c_1 * alpha) with c_1 = 3/pi approximately 0.95493, arising from three lemniscate sectors each contributing 1/pi holonomy units. The identification c_1 = 3/pi is conjectural (0.04% numerical match).

Book V Part 2 Ch. 20

Lean Formalization

Module: TauLib.BookV.GravityField.ClosingIdentity

Symbol: Tau.BookV.GravityField.CorrectedCorotorCouplingVd10