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.

EM Sector Verification

Summary

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.

Statement

%
\label{prop:em-sector-verification}
Let $\chi$ be a $\sigma$-fixed boundary character
at finite primorial depth~$k$.
Then the $B$-sector projection
$\pi_B(\chi) = e_+ \cdot \chi$
has finite NF depth:
$\operatorname{NF}(\pi_B(\chi))$ stabilizes at depth~$k$,
and more precisely at each prime~$p_i$
it stabilizes at depth~$i$.

Proof / Justification

No immediate manuscript proof block was extracted in this pilot run.

Source Context

• Registry source: book-03.jsonl line 114
• Manuscript source: 2nd-edition/book-iii-categorical-spectrum/02_mainmatter/part05/ch42-the-nf-addressability-theorem.tex lines 217-228

Lean / Formalization Notes

• Formalization: formalized
• Module: TauLib.BookIII.Physics.Hodge
• Name: hodge_filtration_check

Dependencies

• Canonical: III.T14, III.T13, III.D23

Related Results

Generated by later projection phases.

Related Publications

Generated by later projection phases.

Revision Notes

• 2026-04-24: Initial pilot migration.