Registry · Definition IV.D209 tau-effective formalized

IV.D209 — Ontic entity

An entity is ontic in Category tau if it satisfies at least one of: well-defined mode on fiber T^2 (particle), well-defined mode on base tau^1 (temporal/gravitational), well-defined crossing mode at omega = gamma cap eta (Higgs-type), or finite composite of ontic modes (hadrons, nuclei, atoms).

Book IV Part 6 Ch. 51

Lean Formalization

Module: TauLib.BookIV.Particles.SpectrumComplete

Symbol: Tau.BookIV.Particles.OnticEntity