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