AI 说'我已完成'的可信度大约等于小学生说'我写完作业了'。唯一可靠的验证是：跑一段代码，退出码=0。这篇讲我如何建立 AI Agent 的机器验证体系。