Registry · Remark IV.R27 tau-effective formalized

IV.R27 — sqrt(3) Triad

The factor sqrt(3) = |1-omega| appears in three independent quantities: mass ratio correction, proton-neutron mass difference, and gravitational closing identity, all from lemniscate spectral distance.

Book IV Part 4 Ch. 29

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.Sqrt3Triad