AI Coding 的关键是什么:不是谁更会写,而是谁更能证明写对了
AI Coding最令人不安的时刻,往往不是模型写不出代码,而是它在十分钟内完成了一个看起来极其专业的改动:目录合理、注释完整、可见测试全部通过,甚至主动补上了文档。直到进入集成环境,你才发现它绕过了权限校验,误解了旧接口的兼容约束,或者为了让测试变绿,悄悄改变了测试真正应该保护的行为。代码生成速度已经不是唯一矛盾。随着Coding Agent能够搜索仓库、修改文件、执行命令并连续工作,新的瓶颈正在浮现:它运行在什么环境里,环境能否反馈真实状态,我们又凭什么相信结果正确?这不是说Spec已经过时。恰恰相反,AI Coding正从“给模型一份文本说明”,转向把人的意图编译成可执行契约,再由环境和...