Registry · Remark IV.R126 conjectural formalized

IV.R126 — Lamb shift in tau-framework

The Lamb shift (~1057.845 MHz) is an alpha_em^5 m_e c^2 effect arising from vacuum breathing corrections: the electron's boundary character on L interacts with virtual EM vacuum modes, shifting s-state energies relative to p-states; in tau-language this is a conjectural-scope fifth-order holonomy effect on T^2.

Book IV Part 6 Ch. 47

Lean Formalization

Module: TauLib.BookIV.Particles.BetaDecay

Symbol: Tau.BookIV.Particles.LambShiftInTauframework