Registry · Remark IV.R339 tau-effective formalized

IV.R339 — Physical interpretation of the correction

The Level 0 approximation R_0 = iota_tau^{-7} overshoots by including boundary-localized modes that become the electron upon weak-sector normalization; the correction sqrt(3)*iota_tau^{-2} subtracts these surface modes, with the minus sign meaning part of T^2 is occupied by boundary (electron) modes.

Book IV Part 3 Ch. 23

Lean Formalization

Module: TauLib.BookIV.MassDerivation.BreathingModes

Symbol: Tau.BookIV.MassDerivation.PhysicalInterpretationOfTheCorrection