Proof-or-Stop: Don’t Trust the Agent, Trust the Evidence

Proof-or-Stop Lifecycle Control 要求 reviewed、tested、DONE、ready-to-merge 等生命周期状态必须有新鲜、绑定当前源码状态且可机械验证的证据。方法的核心是用证据门控状态转换，避免 agent 只用自然语言声明工作完成。它把 coding agent 管理问题转化为证据缓存、来源追踪和状态机设计问题。