Registry · Remark IV.R341 tau-effective formalized

IV.R341 — Why the same sqrt3

The mass ratio R, the proton-neutron splitting delta_A, and the gravitational coupling alpha_G all involve sqrt(3) = |1-omega| because each quantity couples two lobes through the crossing point of L; the Kronecker character chi_{-3} and Eisenstein integer structure make sqrt(3) a structural invariant.

Book IV Part 3 Ch. 23

Lean Formalization

Module: TauLib.BookIV.MassDerivation.BreathingModes

Symbol: Tau.BookIV.MassDerivation.WhyTheSameSqrt3