Registry · Remark IV.R425 tau-effective not_applicable

IV.R425 — Why σ-Equivariance Fails for Current Masses

Two effects break σ-equivariance for quarks: (1) confinement mixing via κ(C;n) destroys Z/3Z democratic structure, (2) running masses at μ=2 GeV incorporate QCD corrections scrambling bare τ³ mode spectrum. Restoring Q=2/3 requires confinement-corrected masses or τ-native mass scale.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Particles.QuarkMasses

Symbol: Tau.BookIV.Particles.sigma_equivariance_failure