Registry · Definition IV.D186 tau-effective formalized

IV.D186 — Regime readout map

The regime readout map Read_S[R]: H_partial -> R_R maps boundary algebra elements to real numbers in the metric of the regime's operational chart, extracting the measured value of an ontic coupling in a specific experimental context.

Book IV Part 5 Ch. 42

Lean Formalization

Module: TauLib.BookIV.Strong.StrongCoupling

Symbol: Tau.BookIV.Strong.RegimeReadoutMap