Registry · Definition IV.D328 tau-effective formalized

IV.D328 — Generator Carrier Assignment

Carrier assignment for each of the 5 generators in the τ³ = τ¹ ×_f T² fibration. Base τ¹: α (gravity), π (weak). Fiber T²: γ (EM), η (strong), ω (Higgs). τ-structural fact from the fibered product.

Book IV Part 1 Ch. 2

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Sectors.BoundaryFiltration

Symbol: Tau.BookIV.Sectors.BoundaryFiltration.genCarrier