Registry · Definition IV.D185 tau-effective formalized

IV.D185 — Regime selector

A regime selector is a finite datum specifying a truncation depth n_0, an operational chart (coordinate choice on the readout target), a sector carrier choice, and a calibration bridge from tau-units to SI or MS-bar units.

Book IV Part 5 Ch. 42

Lean Formalization

Module: TauLib.BookIV.Strong.StrongCoupling

Symbol: Tau.BookIV.Strong.RegimeSelector