Registry · Remark IV.R279 tau-effective formalized

IV.R279 — Asymptotic freedom revisited

In the tau-framework, asymptotic freedom means the readout factor r_C(mu) -> 1 from above as mu -> infinity: the measurement apparatus converges on the ontic coupling. The ontic kappa(C;3) = iota_tau^3/(1 - iota_tau) approx 0.0604 is fixed and never runs.

Book IV Part 2 Ch. 14

Lean Formalization

Module: TauLib.BookIV.Calibration.RunningRegime

Symbol: Tau.BookIV.Calibration.AsymptoticFreedomRevisited