Registry · Theorem
IV.T82
tau-effective
formalized
IV.T82 — Generator adequacy and minimality
The nine elements of the canonical generator set generate the entire boundary holonomy algebra H_partial[omega], and no proper subset suffices; every polynomial expression in these nine generators yields a physical observable, establishing both adequacy and minimality.