From cf79ac31f716f9bd9a6c310e339238572ef78c40 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E7=8E=8B=E5=BE=B7=E5=AE=87?= Date: Wed, 23 Sep 2026 22:09:15 +0800 Subject: [PATCH] =?UTF-8?q?=E6=96=87=E6=A1=A3=EF=BC=9A=E7=BB=99"=E6=97=A9?= =?UTF-8?q?=E9=80=80"=E8=A1=A5=E4=B8=80=E5=8F=A5=E5=AE=9A=E4=B9=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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：宿主异常收场段补同一句定义。 --- docs/adr/【ADR】DirectProject命令接单化-2026-09-23.md | 3 ++- .../【实施计划】DirectProject命令接单化-2026-09-23.md | 5 +++-- ...术方案】DirectProject Codex原始历史与异常恢复-2026-09-04.md | 3 ++- 3 files changed, 7 insertions(+), 4 deletions(-) diff --git a/docs/adr/【ADR】DirectProject命令接单化-2026-09-23.md b/docs/adr/【ADR】DirectProject命令接单化-2026-09-23.md index 47cfa751c..bfc0cb830 100644 --- a/docs/adr/【ADR】DirectProject命令接单化-2026-09-23.md +++ b/docs/adr/【ADR】DirectProject命令接单化-2026-09-23.md @@ -40,7 +40,8 @@ - 这一轮的**占用对象是唯一终态出口**，并且幂等：正常 / 失败 / 中断 / 取消 / 连接断开谁先到谁写；任务 panic 或被取消时由它兜底补一条终态（保留 `host-dropped` 分类，只给"说不出原因"的这一种）。终态写出后 占用才释放。 -- 因此"接单成功 ⇔ 事件流里有开始且有结束"是结构性成立，不依赖实现者记得给每条早退路径补事件。 +- 因此"接单成功 ⇔ 事件流里有开始且有结束"是结构性成立，不依赖实现者记得给每条"接单后提前收场" + （早退：回合内任何没走到正常终态的收口点，比如 `turn/start` 被拒、注入失败、panic）的路径补事件。 ### 3. 通道判据从"错误种类"改成"发生位置" diff --git a/docs/technical/【实施计划】DirectProject命令接单化-2026-09-23.md b/docs/technical/【实施计划】DirectProject命令接单化-2026-09-23.md index c9aec3958..863a545c3 100644 --- a/docs/technical/【实施计划】DirectProject命令接单化-2026-09-23.md +++ b/docs/technical/【实施计划】DirectProject命令接单化-2026-09-23.md @@ -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）——已落地 diff --git a/docs/technical/【技术方案】DirectProject Codex原始历史与异常恢复-2026-09-04.md b/docs/technical/【技术方案】DirectProject Codex原始历史与异常恢复-2026-09-04.md index 1c50e7b6a..ebe2dfdc3 100644 --- a/docs/technical/【技术方案】DirectProject Codex原始历史与异常恢复-2026-09-04.md +++ b/docs/technical/【技术方案】DirectProject Codex原始历史与异常恢复-2026-09-04.md @@ -149,7 +149,8 @@ type DirectThreadEvent = 宿主的异常收场同样靠这条事件：**接单**时登记占用对象并发出 `turn.started`，占用对象持有这一轮唯一的 终态出口——正常 / 失败 / 中断 / 取消谁先算出来谁写终态，都写不出时由它的 `Drop` 补一条 `status="failed"` + `failure.kind="host-dropped"`，因此"接单成功 ⇔ 事件流里有开始且有结束"是结构性 -成立的，不依赖实现者记得给每条早退路径补事件。唯一的已知边界是宿主进程被强杀（`kill -9`）：没有任何 +成立的，不依赖实现者记得给每条"接单后提前收场"（早退：回合内任何没走到正常终态的收口点，比如 +`turn/start` 被拒、注入失败、panic）的路径补事件。唯一的已知边界是宿主进程被强杀（`kill -9`）：没有任何 `Drop` 执行，队列随进程消失，新进程的订阅 bootstrap 因此不会看到"有开始没结束"，界面不会卡在忙碌态。 接单**之前**的失败根本不产生回合（见上一条：那是拒单），所以不存在"没有事件可解释的回合"。