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

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Arena.FiveSectors

Symbol: Tau.BookIV.Arena.GeneratorAdequacy