Why the Paton Foundation Locks Formally: Logic, Category Theory, and the Tier-0 → Tier-3 Spine | Synapse