#Patch 不完整

Codex 没法把 patch 收干净：6 个截停原因 + 把「完成」写成合同

Codex 半路停手——import 缺失、类型只换了一半、call site 没改全。把「done」绑到 verifier 上，不要绑到 vibe 上。