#Patch 不完整

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

Codex 说「done」却留下断掉的 import、只换了一半的类型、没改全的 call site。把「done」绑到 AGENTS.md 里的 verifier 上，然后自己再跑一遍看 exit code。