Registry · Definition IV.D329 tau-effective formalized

IV.D329 — Generator Polarity Assignment

Polarity assignment for each generator from SectorParameters. α/γ: χ₊-dominant, π: balanced (unique), η: χ₋-dominant, ω: crossing. Used with carrier type to derive EM-activity structurally.

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.genPolarity