Registry · Definition VII.D07 tau-effective formalized

VII.D07 — Metaphysics Sector S_E

Empirical sector comprising all E₃-admissible content governed by empirical register; coherence measured by empirical adequacy.

Book VII Part 1 Ch. 5

Dependency Graph

Depended on by (1)

VII.T03

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.MetaphysicsSectorSe