Registry · Proposition III.P19 tau-effective formalized

III.P19 — EM Sector Verification

Explicit verification for the B-sector (electromagnetism): the B-projection of every σ-fixed character has finite NF depth. Model case using spectral trichotomy and Label_n stabilization.

Book III Part 5 Ch. 42

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIII.Physics.Hodge

Symbol: hodge_filtration_check