Registry · Definition IV.D02 tau-effective formalized

IV.D02 — EM Sector at E₁

B-sector instantiation: γ-generator, self-coupling κ(B;2) = ι_τ², χ₊-dominant polarity, depth 2. Physical: photon transport, Maxwell equations, fine structure constant.

Book IV Part 1 Ch. 1

Dependency Graph

Depends on (2)

IV.D01 III.D13

Depended on by (27)

IV.D07 IV.D08 IV.D131 IV.D82 IV.D83 IV.D85 IV.D98 IV.P03 IV.T62 IV.T102 IV.T114 IV.T72 IV.T142 IV.L9 IV.P109 IV.P131 IV.P135 IV.P146 IV.P150 IV.T96 IV.P183 IV.T220 IV.T221 IV.P262 IV.P283 IV.P321 IV.P384

Lean Formalization

Module: TauLib.BookIV.Sectors.SectorParameters

Symbol: Tau.BookIV.Sectors.em_sector