Registry · Theorem IV.T216 tau-effective not_applicable

IV.T216 — Complete Ontic Classification

Ontic: all SM particles (boundary characters on L), composites (atoms, molecules). Non-ontic: virtual particles, wave function ψ (epistemic), space-time points (emergent), internal diagram lines, Lagrangian density (L2 bridge artifact).

Book IV Part 8 Ch. 68

Dependency Graph

Depends on (2)

Lean Formalization

Module: