The Smithian Fold Theory of Everything: One Machine-Checked Self-Proven Theorem, Zero Axioms, Zero Free Parameters | Synapse