The Federico Maya Eternity Theorem: A Dual-Lock Proof of the Riemann Hypothesis v.29 with Supplementary Lean 4 Formalization | Synapse