Registry · Definition IV.D301 tau-effective formalized

IV.D301 — Readout Functor

The readout functor R_mu: L_tau -> L_obs(mu) sends each fixed ontic coupling kappa(X;d) to its scale-dependent apparent value alpha_X(mu). It mediates between the tau-native coupling ledger and the regime-dependent orthodox couplings at each energy scale.

Book IV Part 2 Ch. 14

Lean Formalization

Module: TauLib.BookIV.Calibration.RunningRegime

Symbol: Tau.BookIV.Calibration.ReadoutFunctor