From Local Correction to Global Logical Verification: Two-Stage Machine Learning Decoding for Surface Codes | Synapse