AI 代码上线前，真正的瓶颈不在"写"而在"验"

codigger 团队复盘约 31 万行 AI 辅助代码实践，提出架构门禁、独立契约加变异测试、运行时验证的三层验收体系，让 AI 生成结果可验证、可阻断、可回滚。核心纪律是把规格、验证、实现分离：业务契约冻结为只读依据，再用 PIT（Pitest）变异测试判断 AI 生成的测试是否真正覆盖契约；运行时则在灰度阶段用行为断言观察业务副作用与幂等条件，只信任真实流量下的行为证据。