Registry · Remark IV.R66 tau-effective not_applicable

IV.R66 — Comparison with GUTs

GUTs predict proton decay with tau_p >= 10^34 years via leptoquark bosons; Category tau predicts absolute stability because no admissible endomorphism mixes the eta-winding classes. Observed proton decay would falsify Category tau.

Book IV Part 5 Ch. 39

Lean Formalization

Module:

Symbol: