Registry · Definition
IV.D151
tau-effective
formalized
IV.D151 — \mathrm{HolEnd_τ(s)
HolEnd_tau(s)[n] is the space of strong-admissible boundary endomorphisms at stage n satisfying vacuum preservation (H-i), holonomy compatibility (H-ii), and boundary coherence (H-iii) within the eta-sector of the boundary holonomy algebra.