Registry · Definition
IV.D326
tau-effective
formalized
IV.D326 — Readout Functor
The readout functor R_mu maps internal categorical objects (Layer 1, H_partial[omega]) to operational measurement procedures (Layer 2). Single anchor (m_n), 4 exact SI constants (c, h, e, k_B).
Book IV
Part 8
Ch. 68