Registry · Theorem IV.T50 tau-effective formalized

IV.T50 — No-Running Principle for alpha_em

The tau-native coupling alpha_tau is an ontic invariant of the tau^3 arena: it does not depend on energy scale; orthodox running is a regime readout artifact.

Book IV Part 4 Ch. 29

Dependency Graph

Depends on (2)

IV.D115 IV.T09

Depended on by (5)

IV.D125 IV.P112 IV.P48 IV.R26 IV.R44

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.NorunningPrincipleForAlphaem