Registry · Theorem
IV.T77
tau-effective
formalized
IV.T77 — No ontic running --- strong sector
No ontic running in the strong sector: alpha_s^* = kappa(C;3) is independent of all regime selectors (same element of H_partial), but different regime readouts can give different numerical values, reproducing the apparent energy-dependent alpha_s(mu).