Registry · Definition IV.D194 tau-effective formalized

IV.D194 — 9-element canonical generator set

The canonical generator set of H_partial[omega] consists of nine elements in three groups: four sector vacuum idempotents (gravitational, weak, EM, strong), four gap quanta (one per sector), and the crossing generator iota_tau coupling chi_+ and chi_- at the lemniscate crossing point.

Book IV Part 6 Ch. 45

Lean Formalization

Module: TauLib.BookIV.Particles.SectorAtlas

Symbol: Tau.BookIV.Particles.9elementCanonicalGeneratorSet