Registry · Theorem IV.T100 tau-effective formalized

IV.T100 — No-Running Principle

No-Running Principle: for every sector X in {D, A, B, C, omega}, the self-coupling kappa(X;d) is a boundary fixed-point invariant of H_partial[omega]. It does not depend on measurement scale Q^2, renormalization scheme, or any regime-specific parameter. Coupling constants are ontic, not scale-dependent.

Book IV Part 1 Ch. 6

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Arena.FiveSectors

Symbol: Tau.BookIV.Arena.NorunningPrinciple