Registry · Remark IV.R152 tau-effective formalized

IV.R152 — Where the ontological line falls

The ontic/non-ontic distinction is not philosophical preference but a mathematical consequence of the tau^3 fibration: an entity is ontic iff it can be constructed as a mode, character, or finite composite on tau^3 = tau^1 x_f T^2; this resolves longstanding questions about the reality of the wave function, virtual particles, and spacetime.

Book IV Part 6 Ch. 51

Lean Formalization

Module: TauLib.BookIV.Particles.SpectrumComplete

Symbol: Tau.BookIV.Particles.WhereTheOntologicalLineFalls