Registry · Definition IV.D325 tau-effective formalized

IV.D325 — Measurement Procedure

Operational measurement procedure: the codomain of the readout functor R_mu. Specifies HOW to measure (protocol, SI unit, anchor status), not just what number results.

Book IV Part 2 Ch. 12

Dependency Graph

Depends on (2)

IV.D09 III.D13

Depended on by (2)

IV.D326 IV.P177

Lean Formalization

Module: TauLib.BookIV.Physics.ReadoutFunctor

Symbol: Tau.BookIV.Physics.MeasurementProcedure