Registry · Remark IV.R280 tau-effective formalized

IV.R280 — Scheme dependence resolved

Scheme dependence (MS-bar vs MOM) is expected in the tau-framework: different schemes correspond to different readout functors, both projecting the same ontic coupling kappa(X;d) through different apparatus geometries. The ontic coupling is scheme-independent by construction.

Book IV Part 2 Ch. 14

Lean Formalization

Module: TauLib.BookIV.Calibration.RunningRegime

Symbol: Tau.BookIV.Calibration.SchemeDependenceResolved