Registry · Proposition IV.P169 tau-effective formalized

IV.P169 — Beta Function as Readout Derivative

The orthodox beta function is the logarithmic derivative of the readout functor: beta(alpha_X) = kappa(X;d) * dR_mu/d(ln mu)|_X. The beta function does not describe ontological variation of the coupling but the rate of change of the readout projection.

Book IV Part 2 Ch. 14

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Calibration.RunningRegime

Symbol: Tau.BookIV.Calibration.BetaFunctionAsReadoutDerivative