Verify Before You Fix: Agentic Execution Grounding for Trustworthy Cross-Language Code Analysis | ScienceToStartup