Registry · Theorem III.T28 tau-effective formalized

III.T28 — NF-Addressability Theorem

Every σ-fixed boundary character at finite primorial depth is NF-addressable in every primitive sector. Proof by sector-by-sector verification (EM model case, then strong, weak, gravity).

Book III Part 5 Ch. 42

Dependency Graph

Depends on (5)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIII.Physics.Hodge

Symbol: nf_addressability_check