Registry · Definition
IV.D192
tau-effective
formalized
IV.D192 — Boundary-first normalization
A physical quantity Q satisfies boundary-first normalization if Q = eval composed with chi composed with omega-germ, factoring through the profinite omega-germ limit, a boundary character (tail-invariant endomorphism), and evaluation to tau-Idx.