The Generator Theory of Everything: A Machine-Verified Foundation | Synapse