Registry · Definition VII.D09 tau-effective formalized

VII.D09 — Metaphysics Sector S_D

Diagrammatic sector comprising all E₃-admissible content governed by diagrammatic register; coherence measured by proof-validity.

Book VII Part 1 Ch. 5

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.MetaphysicsSectorSd