Registry · Definition IV.D398 tau-effective not_applicable

IV.D398 — Ontic Entity Criterion

An entity is ontic iff it corresponds to an E₁-admissible, σ-fixed character at finite primorial depth in the D-sector. Distinct from Ontic Closure (I.T01) which operates at E₀.

Book IV Part 8 Ch. 68

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: