Registry · Proposition III.P20 tau-effective formalized

III.P20 — Sector-by-Sector Protocol

Verification for C-sector (strong), A-sector (weak), D-sector (gravity). Each uses the same schema as the EM model case, with sector-specific Label_n classification.

Book III Part 5 Ch. 42

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIII.Physics.Hodge

Symbol: spectral_hodge_check