Registry · Definition IV.D247 tau-effective formalized

IV.D247 — Generator--Sector Assignment

The canonical bijection sending alpha -> D (Gravity), pi -> A (Weak), gamma -> B (EM), eta -> C (Strong), omega -> H (Higgs). Respects the base-fiber decomposition: {alpha, pi} generate base tau^1, {gamma, eta} generate fiber T^2, omega couples base to fiber.

Book IV Part 1 Ch. 2

Lean Formalization

Module: TauLib.BookIV.Arena.CoherenceKernel

Symbol: Tau.BookIV.Arena.GeneratorsectorAssignment