文档：给"早退"补一句定义

docs/adr/【ADR】DirectProject命令接单化-2026-09-23.md：§2 写明"早退"= 回合内任何没走到正常终态的收口点（turn/start 被拒、注入失败、panic）。 docs/technical/【实施计划】DirectProject命令接单化-2026-09-23.md：第 2 步同一处补定义。 docs/technical/【技术方案】DirectProject Codex原始历史与异常恢复-2026-09-04.md：宿主异常收场段补同一句定义。
2026-09-23 22:09:15 +08:00
parent ce668bbff3
commit cf79ac31f7
3 changed files with 7 additions and 4 deletions
@@ -40,7 +40,8 @@
 - 这一轮的**占用对象是唯一终态出口**，并且幂等：正常 / 失败 / 中断 / 取消 / 连接断开谁先到谁写；任务
  panic 或被取消时由它兜底补一条终态（保留 `host-dropped` 分类，只给"说不出原因"的这一种）。终态写出后
  占用才释放。
- 因此"接单成功 ⇔ 事件流里有开始且有结束"是结构性成立，不依赖实现者记得给每条早退路径补事件。
+- 因此"接单成功 ⇔ 事件流里有开始且有结束"是结构性成立，不依赖实现者记得给每条"接单后提前收场"
+  （早退：回合内任何没走到正常终态的收口点，比如 `turn/start` 被拒、注入失败、panic）的路径补事件。

 ### 3. 通道判据从"错误种类"改成"发生位置"

@@ -35,8 +35,9 @@
  `accept` → 落盘用户条目 → spawn 整轮。
 - 接单前的检查从 `run_..._and_emitter` 上移到命令；分流判据改成位置（接单后一律回合失败），
  `EnvironmentNotReady` 增加 `wire_kind() = "environment-not-ready"`，"调用级拒绝直通"的分支作废。
- spawn 出的任务在正常 / 失败 / 早退三条路径上都走 `AcceptedTurn::finish`；任务 panic 或被取消时
-  由占用对象的 `Drop` 兜底。
+- spawn 出的任务在正常 / 失败 / 提前收场（早退：回合内任何没走到正常终态的收口点，如 `turn/start`
+  被拒、注入失败、panic）三条路径上都走 `AcceptedTurn::finish`；任务 panic 或被取消时由占用对象的
+  `Drop` 兜底。
 - 落盘即接单：接单成功后落盘用户条目，再起 codex；落盘失败仍是接单后的回合失败（有回合事件解释）。

 ## 第 3 步：拒单返回 typed 错误（Rust + TS）——已落地
@@ -149,7 +149,8 @@ type DirectThreadEvent =
 宿主的异常收场同样靠这条事件：**接单**时登记占用对象并发出 `turn.started`，占用对象持有这一轮唯一的
 终态出口——正常 / 失败 / 中断 / 取消谁先算出来谁写终态，都写不出时由它的 `Drop` 补一条
 `status="failed"` + `failure.kind="host-dropped"`，因此"接单成功 ⇔ 事件流里有开始且有结束"是结构性
-成立的，不依赖实现者记得给每条早退路径补事件。唯一的已知边界是宿主进程被强杀（`kill -9`）：没有任何
+成立的，不依赖实现者记得给每条"接单后提前收场"（早退：回合内任何没走到正常终态的收口点，比如
+`turn/start` 被拒、注入失败、panic）的路径补事件。唯一的已知边界是宿主进程被强杀（`kill -9`）：没有任何
 `Drop` 执行，队列随进程消失，新进程的订阅 bootstrap 因此不会看到"有开始没结束"，界面不会卡在忙碌态。
 接单**之前**的失败根本不产生回合（见上一条：那是拒单），所以不存在"没有事件可解释的回合"。