Registry · Theorem
IV.T101
tau-effective
formalized
IV.T101 — Generator Adequacy
Generator Adequacy: the nine elements of the canonical generator set generate the entire boundary holonomy algebra H_partial[omega]. The proof shows sufficiency (each sector spanned by its vacuum + excitation, crossing bridged by iota_tau) and minimality (removing any generator collapses or disconnects a sector).
Book IV
Part 1
Ch. 6