Registry · Definition IV.D330 tau-effective formalized

IV.D330 — Structural EM Activity

Structural EM-activity function derived from two τ-rules: (1) Gravitational Orthogonality — D-sector on base τ¹ is EM-silent (base ⊥ fiber). (2) Crossing Polarity Cancellation — balanced polarity at crossing has net EM charge 0. No SM physics input.

Book IV Part 1 Ch. 2

Dependency Graph

Depends on (3)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Sectors.BoundaryFiltration

Symbol: Tau.BookIV.Sectors.BoundaryFiltration.emActiveStructural