Registry · Remark IV.R88 tau-effective not_applicable

IV.R88 — What varies

In the orthodox picture the coupling varies with energy scale; in the tau picture the readout varies. The decomposition alpha_s(mu) = kappa(C;3) * R_C(mu^2) separates the fixed ontic coupling from the scale-dependent readout functor.

Book IV Part 5 Ch. 42

Lean Formalization

Module:

Symbol: