Registry · Definition V.D13 tau-effective formalized

V.D13 — OnticParticle --- IV.D22

An ontic particle is a defect bundle p in Def(T^2) satisfying persistence (rho-invariance), unique sector decomposition p = p_B + p_C + p_omega into EM, Strong, and Higgs components, and a mass condition; it is a topologically stable boundary holonomy configuration on the fiber, not a point excitation of a quantum field.

Book V Part 0 Ch. 2

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Prologue.ExportContract

Symbol: Tau.BookV.Prologue.OnticparticleIvd22