AST Visitor API 迁移，怎么证明 AI 没改坏 SQL 语义？

AST Visitor API 迁移看起来像一类适合 AI 批量生成的工程任务：节点多、模式重复、样板代码占比高。但真正的风险不在“代码能不能写出来”，而在“写完之后如何证明没有漏掉节点、重复访问字段或改变遍历顺序”。本文以一次 Visitor API 迁移为线索，介绍一套从源码扫描、运行时 trace、独立比较、失败定位，到真实 SQL 语料和覆盖率反馈逐渐形成的可执行验证体系。