Registry · Definition IV.D12 tau-effective formalized

IV.D12 — Particle Kind

Particle classification: Ontic (persistent T² defect bundle), Radiation (null S¹ transport), Virtual (intermediate exchange). Neutron = first ontic particle.

Book IV Part 2 Ch. 3

Dependency Graph

Depended on by (1)

IV.D20

Lean Formalization

Module: TauLib.BookIV.Physics.QuantityFramework

Symbol: Tau.BookIV.Physics.ParticleKind