Registry · Remark V.R214 tau-effective not_applicable

V.R214 — Contrast with running couplings

In the Standard Model, couplings run with energy scale (e.g., asymptotic freedom). In tau, kappa_tau is fixed; what changes is the boundary character entering the equation. Apparent running in chart-level readouts is a projection artifact from coarse-graining the profinite structure.

Book V Part 6 Ch. 47

Lean Formalization

Module: