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.

Book IV Part 5 Ch. 40

Lean Formalization

Module: TauLib.BookIV.Strong.GapMetaTheorem

Symbol: Tau.BookIV.Strong.HolonomySector