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.

Book IV Part 5 Ch. 44

Lean Formalization

Module: TauLib.BookIV.Strong.VacuumCatastrophe

Symbol: Tau.BookIV.Strong.BoundaryfirstNormalization