Registry · Definition IV.D317 tau-effective formalized

IV.D317 — Level 0 Formula --- IV.D47

The Level 0 mass ratio R_0 = iota_tau^{-7} - sqrt(3)*iota_tau^{-2} incorporates only the leading surface correction from the three-fold lemniscate geometry, subtracting the surface breathing energy (scaled by spectral distance sqrt(3) = |1-omega_3| and torus area factor iota_tau^{-2}) from the bulk.

Book IV Part 3 Ch. 25

Lean Formalization

Module: TauLib.BookIV.MassDerivation.ElectronMass

Symbol: Tau.BookIV.MassDerivation.Level0FormulaIvd47