Registry · Definition
IV.D162
tau-effective
formalized
IV.D162 — τ-Holonomy sector
A tau-holonomy sector S consists at each finite stage n of a finite configuration space C_n (NF-enumerable), a finite admissible subset C_n^{adm} (polarity/boundary-coherent), a defect functional V_n to alpha-Idx, and surjective refinement projections.