Registry · Definition
IV.D182
tau-effective
formalized
IV.D182 — The τ-strong coupling constant
The tau-strong coupling constant alpha_s^* := NF(Lift_pi^omega) in Fix(s) is the normal-form selector applied to the pi-lift omega-limit, yielding a unique element of the boundary algebra determined entirely by the strong vacuum and pi-support constraint.