拆分 Host 检查点与事件投影

将 DurableCheckpoints、RuntimeTraceProgress 和 runtime trace 投影移入 checkpoint 模块

保持 Engine 执行、Runtime reducer 和公开 Host API 边界不变

补齐拆分后的 workspace、Clippy、Rustdoc、编码与差异验证
This commit is contained in:
2026-09-09 19:49:29 +08:00
parent 69fc3d8ca0
commit 3ba935367a
5 changed files with 655 additions and 627 deletions
@@ -23,7 +23,9 @@
- [x] 拆分后 Host 80/80、Runtime control 4/4、workspace 双特性和 Clippy 通过。
- [x] `external.rs` 已承接 ExternalBackendToolExecutor 与 Codex session metadata sink;公开类型和
生命周期合同保持不变。
- [ ] Engine execution、checkpoint/trace 与 Codex/External backend 仍在根编排层,后续按风险分批拆分。
- [x] `checkpoint.rs` 已承接 DurableCheckpoints、checkpoint listener 和 runtime trace 投影;
通用 reducer helper 仍在根模块供执行与恢复共享。
- [ ] Engine execution 与 Codex server-request handler 仍在根编排层,后续按风险分批拆分。
### 当前范围与消息一致性验收(2026-09-06)
@@ -302,8 +302,10 @@ system/developer 内容固定保留,外部内容标记为不可信。先做确
- [x] `external.rs` 已承接通用 ExternalBackendToolExecutor、Codex session metadata sink 及
生命周期 helper;根模块只保留 re-export 和装配调用。Host 80/80、Runtime control 4/4、
workspace 双特性、两套 Clippy、Rustdoc、fmt、编码、依赖和 diff 门禁通过。
- [ ] `execution`、`checkpoint`、`external` 仍保留在根文件,后续拆分必须继续维持 Engine glue
不进入 Runtime 的边界。
- [x] `checkpoint.rs` 已承接 DurableCheckpoints、RuntimeTraceProgress、checkpoint listener 和
runtime trace 投影;根模块保留通用 reducer helper 及执行编排,公开 API 不变。
- [ ] `execution` 与 Codex server-request handler 仍保留在根文件,后续拆分必须继续维持
Engine glue 不进入 Runtime 的边界。
### 原始范围复核(2026-09-06)