Registry · Remark IV.R227 tau-effective not_applicable

IV.R227 — The readout functor

The readout functor R_X(Q^2) = pr_{Q^2} o eval_X projects the boundary algebra to a specific measurement regime. What orthodox QFT interprets as running of the coupling is variation in the readout functor, not in the ontic coupling. The constant kappa(B;2) = iota_tau^2 is absolutely fixed.

Book IV Part 1 Ch. 6

Lean Formalization

Module: