codex exec 被别的程序起起来之后，超时到底结束了进程还是只是那一次等待、租约按线程加还是按任务加、取消之后工作区能不能信、重试会不会把对外副作用做第二遍。这些是宿主的活，不是 agent 的活。