Registry · Definition IV.D264 tau-effective formalized

IV.D264 — Generator--Sector Correspondence

The Generator-Sector Correspondence is the canonical transfer map Phi : G_0 -> G_1 sending each kernel generator at E0 to its E1 sector instantiation: alpha -> D (Gravity), pi -> A (Weak), gamma -> B (EM), eta -> C (Strong), omega -> omega_H (Higgs). The 4+1 structure is forced by Object Closure (K6).

Book IV Part 1 Ch. 6

Lean Formalization

Module: TauLib.BookIV.Arena.FiveSectors

Symbol: Tau.BookIV.Arena.GeneratorsectorCorrespondence