Registry · Proposition IV.P132 tau-effective formalized

IV.P132 — Decay channels from sector admissibility

Every radioactive decay satisfies sector admissibility constraints: color neutrality preserved (total eta-holonomy trivial mod 3), baryon number conserved, electric charge conserved (total gamma-holonomy), and energy-momentum conserved; each decay type (alpha, beta, gamma) corresponds to a specific sector-transition pattern on T^2.

Book IV Part 6 Ch. 48

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Particles.HadronsNuclei

Symbol: Tau.BookIV.Particles.DecayChannelsFromSectorAdmissibility