Bridging the Procedural Code Gap: Agentic Database Migration with Execution-Grounded Validation.