Registry · Definition IV.D304 tau-effective formalized

IV.D304 — Readout landscape

The readout landscape R = {R_mu}_{mu > 0} is the family of readout functors indexed by energy scale, encoding the totality of how the fixed ontic structure L_tau appears at different regimes. The landscape IS orthodox physics; each energy scale provides a definite view.

Book IV Part 2 Ch. 14

Lean Formalization

Module: TauLib.BookIV.Calibration.RunningRegime

Symbol: Tau.BookIV.Calibration.ReadoutLandscape