Refactor/整理项目对话错误相关代码 #593

Merged

k88936 merged 40 commits from refactor/turn-error-to-explicit-struct into master 2026-10-03 15:58:25 +08:00

Conversation 1 Commits 40 Files Changed 130

+5151 -4113

40 Commits

Author	SHA1	Message	Date
k88936	0e313405d6	修复：生成绑定校验不再用 prettier 改写生成文件 ... - scripts/check-generated-bindings.mjs：删掉生成后的 prettier 归一化，直接逐字节比较 ts-rs 原始输出 - .prettierignore 与 .eslintrc.cjs：四个 ts-rs 生成目录统一排除，禁止格式化工具二次改写 - .prettierrc.json：删除 contracts/generated 的 printWidth / singleQuote 覆盖 - .gitattributes：生成目录标 linguist-generated 并豁免 trailing-space，保证 git diff --check 通过 - 重新生成 AGC chat/generated 与 services/generated 的 51 个绑定，改为提交 ts-rs 原始输出（纯格式，语义不变） - docs/project-memory：记录生成绑定不再经 prettier 的口径，修正旧流程说明	2026-10-03 15:40:21 +08:00
k88936	141e59c971	Merge remote-tracking branch 'origin/master' into refactor/turn-error-to-explicit-struct	2026-10-03 14:50:04 +08:00
k88936	47da90ab84	重构：终态判定不再为控制流留兜底分支 ... - turn_completion.rs 的 turn_terminal 两处 ShouldContinue 分支由 debug_assert + 回落账本终态 / host_dropped 改为 unreachable：控制流在返修循环与终态投影处已被过滤 - 同步收紧 turn_terminal 的文档说明，明确控制流不该也不能进入终态判定	2026-10-03 14:47:28 +08:00
k88936	84cbe9b1a6	修复：封口复核的控制流不再被吞成 HostDropped ... - direct_runtime 返修循环接住 chat 侧返回的 TurnError::RepairRequired（app-server 封口复核），写回 prompt 继续一轮，流式与非流式两条分支都补上 - 删除 thread_manager/dispatch.rs 的 finish_turn_failure：它的 ShouldContinue 静默分支正是控制流漏到收口后、被 Drop 兜成 HostDropped 的入口 - 两处回合失败收口改为就地对 classify 结果显式分流：ShouldStop 写失败终态，ShouldContinue 视为上游缺陷直接 unreachable	2026-10-03 14:32:31 +08:00
k88936	6550e9a4bb	测试：补回入队被拒消息不落盘、不重放的断言 ... - home.suite.ts 的入队被拒用例恢复 persistedMessages 桩，并让历史切片返回它 - 增加断言：被拒消息不落历史条目、不被乐观渲染成用户气泡、不写本地历史 - 增加 cleanup + 重挂载断言：重进项目不重放被拒消息与拒绝文案，且不自动重试	2026-10-03 14:16:18 +08:00
k88936	3ab313a11a	修复：生成绑定校验在 Windows 上无法执行 npx.cmd ... - check-generated-bindings.mjs：run() 的 spawnSync 增加 shell: process.platform === 'win32' - Windows 上不带 shell 无法执行 .cmd/.bat（Node 修 CVE-2024-27980 后报 EINVAL），npxCommand 特意换成 npx.cmd 只把 ENOENT 换成了 EINVAL，prettier 这一步仍然跑不起来 - 与 scripts/database-backup-to-oss.mjs、lint-staged-rustfmt.mjs 等既有脚本的写法保持一致 - Linux 侧已跑 check:generated-bindings 验证；Windows 路径本机无法实测	2026-10-03 13:47:43 +08:00
k88936	6a4bcf4f31	重构：生成绑定校验不再依赖 readdirSync 的 recursive 选项 ... - check-generated-bindings.mjs：snapshot() 改用普通 fs.readdirSync(absolute) - recursive 选项要 Node 18.17 / 20.1 才有；仓库没有 engines 约束，旧版本会静默退化成只读顶层，反而削弱嵌套目录的覆盖 - 四个生成目录都是平铺的（ts-rs 的 export_to 直接落文件），去掉后行为不变，已跑 check:generated-bindings 验证	2026-10-03 13:47:21 +08:00
k88936	7fb4dabb55	修复：生成绑定校验在目录缺失时不再静默通过 ... - check-generated-bindings.mjs：snapshot() 遇到目标目录不存在时由 console.warn + 返回空 Map 改为抛出错误 - 旧实现下，若 export_to 路径被改名或生成文件被整体删除，前后快照都是空 Map，diff 报不出任何问题，校验以"0 个文件"静默通过 - 现在目录缺失会立即失败并指出是哪个目录，不再给假绿	2026-10-03 13:47:02 +08:00
k88936	d07f894bf6	修复：Bearer 引号值脱敏正则只匹配到第一个空格，密钥尾部漏出 ... - directThreadSanitize.ts：BEARER_VALUE 的引号分支由 \\.?["'] 改为 \\?["']，与同文件 SENSITIVE_ASSIGNMENT 的写法一致 - 原写法要求引号前必须有一个字面反斜杠，导致 Bearer "abc def" 走不到引号分支，退化到裸 token 分支后只遮到第一个空格，示例会输出 Bearer [redacted-secret] def" - 修正后引号内的整段值都被遮掉；JSON 转义的 \"abc def\" 仍然匹配 - 同步在 directThreadSanitize.test.ts 增加带引号 Bearer 的用例（修复前该用例失败）	2026-10-03 13:42:40 +08:00
k88936	0a16d5d574	修复：入队命令的真 Error 不再被包装，失败文案不再变成 {} ... - directTurnEnqueueFailure.ts：invokeTurnEnqueue 的 catch 先判断 error instanceof Error，是则原样抛出 - JSON.stringify(new Error(...)) 得到 {}（message/stack 不可枚举），包进 EnqueueFailureWrapper 后控制器读 error.message 只能拿到 {}，真实失败文案丢失 - 结构化拒绝是普通对象，不受影响；真 Error 交回调用方既有的 instanceof 分界，与类注释口径一致	2026-10-03 13:41:30 +08:00
k88936	2fe651c845	修复：入队失败提示对缺失字段容错，不再抛 Cannot read properties ... - directTurnEnqueueFailure.ts：permissionRejected.policyDetail / inputRejected.detail 改用可选链再 trim - 跨 IPC 载荷没有运行时校验，字段理论上可能是 null/undefined；原实现会在 runTurn 的 catch 里抛错，用户看到的是裸 TypeError、草稿还被清掉 - 缺失字段现在与空串同档：返回 null，按"没有提示"处理，保留草稿并走上报通道	2026-10-03 13:41:00 +08:00
k88936	bc115002d4	重构：去掉终态判定里多余的 TurnError clone ... - turn_completion.rs：collect_outcome 按值匹配，Err(error) 已是 owned，Some(error.clone()) 改为 Some(error)，省掉一次整份错误载荷的克隆 - 行为不变：host_failure 那一支仍是 &TurnError，需要 clone 的保留	2026-10-03 13:40:15 +08:00
k88936	d7d09f310c	合并：把 origin/master 并入回合错误重构分支并保留双方行为 ... - 解决 direct_runtime/mod.rs 冲突：保留本分支 typed 回合错误重构（TurnError/EnqueueError 与 record_direct_codex_failure_facts 拆分），接入 master 的诊断 v3 口径（persist_agent_runtime_error 新签名 + typed error 字段）、prompt 反馈改截断不脱敏、项目写锁改名 - 解决 thread_manager/dispatch.rs 冲突：保留本分支 TurnError/TurnCompletion 换代与 finish_turn_failure 分类层，接住 master 的 tt= 日志改名与 cc 执行器整轮成功后补写 completed 终态 - 解决 direct_tools_mcp.rs 冲突：采用 master 版（本分支唯一改动是 external MCP 容量测试读 body，master 已有等价实现） - 处理 direct_turn_failure.rs 删除/修改冲突：维持本分支删除，把 completed() 语义迁进 TurnCompletion::Completed 并补回对应测试 - 处理 runtime_driver/entrypoints.rs 修改/删除冲突：接受 master 退役自建 Agent Runtime 的删除（本分支只在该文件做 direct_now_ms 改名） - 合并 decision-log.md：双方条目都保留 - 修复 auto-merge 漏掉的语义冲突：claude_code_cli.rs 的 direct_now_ms() 改名 now_ms()；诊断测试改为断言 AGENT_RUNTIME_ERROR_SCHEMA_VERSION、detail 字段改 message；record_direct_codex_failure_facts 新增 typed_error 入参（TurnError 不序列化，落盘用 classify 投影出的 TurnFailure）	2026-10-03 13:12:10 +08:00
k88936	10436a641c	注释：补充 ShouldContinue 变体的字符串类型设计说明	2026-10-03 12:21:39 +08:00
k88936	a8948f27bb	文档：记录回合错误分类层与线程条目脱敏边界 ... - decision-log 增加 2026-10-03 条目：TurnError::classify / TurnErrorClassified 取代 terminal_failure - 记录 ThreadManager 不再做字段级脱敏与限长、脱敏搬到前端 directThreadSanitize，失败载荷脱敏保留在 classify	2026-10-03 12:08:25 +08:00
k88936	3aef44c54a	文档：同步错误投影点改名与逐 delta 脱敏退役现状 ... - ADR 与 decision-log 里的 TurnError::terminal_failure 改成 TurnError::classify - pitfalls 的「逐 delta 脱敏吃掉段尾换行」补一条现状：Rust 逐 delta 脱敏已退役，脱敏搬到前端 directThreadSanitize	2026-10-03 12:07:42 +08:00
k88936	549915a2be	重构：线程条目脱敏改由前端统一做 ... - 新增 directThreadSanitize：项目内路径归一成相对路径，绝对路径 / 密钥 / 敏感赋值 / Bearer / 配置文件 / 私钥块 / 敏感开关统一换成占位符，只遮挡不截断 - 订阅 hook 在 bootstrap / consume / 历史切片进入聊天状态之前统一过脱敏，复用已有的 projectPath - 新增 12 条单测：项目内外路径、密钥前缀与 JWT、Bearer、.env、私钥块、多行换行保留、条目与增量事件	2026-10-03 12:06:40 +08:00
k88936	500479b4aa	文档：同步 ThreadItem 与 TurnFailure 的生成绑定注释 ... - ThreadItem 注记改为"原样投影、脱敏在前端" - TurnFailure 注记改为 TurnError::classify / TurnErrorClassified::ShouldContinue	2026-10-03 12:00:00 +08:00
k88936	68cb41e332	重构：ThreadManager 停止对线程条目脱敏与限长，改为原样透传 ... - 删除 wire/items.rs 的 bounded / detail_text / sanitize_detail_text / relativize_project_root_paths / thread_delta_text 与三个字符上限常量 - thread_item_from_value / thread_items_from_history / 运行态条目 / 流式增量签名去掉 root，字段原样透传，脱敏交给事件进前端状态时统一做 - dispatch.rs 写历史失败不再预脱敏，原文交给 classify 投影成失败载荷时统一脱敏 + 截断 - 用例改为"原样透传"口径，删除已无对象的流式脱敏用例 - 失败载荷（错误文案）的脱敏保留	2026-10-03 11:53:01 +08:00
k88936	11e98a3cae	重构：回合错误的处置分类层取代 Option，并合并 SessionOutcome ... - TurnError::terminal_failure 的 Option<TurnFailure> 换成 TurnError::classify -> TurnErrorClassified{ShouldStop, ShouldContinue}，控制流不再借 None 表达 - dispatch.rs 两处 .expect("回合失败必可投影成失败载荷") 改为按分类层 match，收到 ShouldContinue 不写终态、不伪造失败 - turn_terminal 不再用 and_then 压平；ShouldContinue 显式认账并落到账本正常终态 - 并掉 private SessionOutcome，收尾 status 解析直接产出 TurnCompletion - TurnFailure 补 // TODO badnaming，同步更新相关文档注释	2026-10-03 11:42:48 +08:00
k88936	2dbbf72450	修复：模型调用失败改按 typed kind 判定通道断开 ... - direct_codex_error_code 原来对 ModelCallFailed 一律按宿主原文子串分类，ModelCallKind::TransportBroken 只有在原文恰好含 transport closed / 连接已关闭 时才会标成 transport-closed - 改为先看 payload.kind：TransportBroken 直接给 transport-closed，其余 kind 仍按原文兜底（TODO 文本判据） - 补用例 model_call_transport_broken_is_classified_from_the_typed_kind：原文不含任何分类标记，也只可能由 typed kind 得出该 code	2026-10-03 10:59:28 +08:00
k88936	40b79bb1ec	重构：turn.completed 的 status 由自由字符串收成 typed 枚举 ... - 新增 TurnCompletedStatus（completed / interrupted / aborted / failed），作为 turn.rs 里 status 字段的类型 - 新增只作构造参数的 TurnOutcome（completed / interrupted / aborted）：turn_completed 拿不到 Failed，"failed 但没有失败载荷"在构造层就写不出来 - turn_completed_failed 固定写 TurnCompletedStatus::Failed，载荷与状态在同一条构造路径上 - 内部状态比较与用例断言改为比较枚举取值；线上 JSON 形状、字段名与前端契约不变 - 重新生成绑定：新增 TurnCompletedStatus.ts，ThreadEvent.ts 的 status 由 string 收成字面量联合	2026-10-03 10:55:04 +08:00
k88936	adcf3b9730	修复：回合失败载荷 stage 未知时不再渲染 undefined ... - turn.completed.failure 跨 IPC 没有运行时校验，superErrorFromStringPlusStage 的 stage 缺失或为更新后端新增的取值时，查表得到 undefined 会被拼进用户可见文案 - 查不到标签时回落到通用句"执行失败，请稍后重试"，只有已知阶段才带"请检查项目诊断"	2026-10-02 22:31:52 +08:00
k88936	1ba9ac848f	修复：回合失败载荷缺 kind 时不再让失败文案抛错 ... - turn.completed.failure 跨 IPC 没有运行时校验，modelCallFailed 载荷缺 kind 时 directModelCallText 会解引用 undefined 抛错，整个事件订阅被打断 - directModelCallText 参数放宽为 ModelCallKind | null | undefined，缺分类时回落到通用句"智能服务执行失败，请稍后重试"	2026-10-02 22:31:36 +08:00
k88936	fc10b2359e	修复：线程条目投影的上游字符串统一走脱敏与限长 ... - FunctionCall.name 原来既不脱敏也不截断，改为走 detail_text（脱敏 + THREAD_DETAIL_MAX_CHARS） - McpToolCall.tool 原来只脱敏不截断，改为 detail_text - CommandExecution.status、McpToolCall.status、ThreadItem::Other.raw_type、ThreadFileChange.kind 原来原样拷贝，统一按 THREAD_DETAIL_MAX_CHARS 限长，避免单条事件突破声明的事件通道预算	2026-10-02 22:31:05 +08:00
k88936	80afa2a139	修复：生成绑定校验不再因首个目标失败就中止 ... - 原来每个目标里直接 process.exit，第一个目标（shared-contracts）失败时 AGC 目标根本不会被检查，得反复重跑才知道还有哪些绑定陈旧 - 改为记录 failed 后 continue，跑完全部目标再统一退出 1，两个绑定集的错误一次报齐	2026-10-02 22:31:02 +08:00
k88936	fff4e8ff68	修复：生成绑定校验的目录快照支持子目录并规范化路径 ... - snapshot() 原来只列目录下一层文件，绑定若放进子目录就两边快照都看不见，陈旧绑定会被漏掉 - 改用 readdirSync 的 recursive 列出全部条目，再按文件过滤并归一到 POSIX 分隔符，键形态与原来保持兼容	2026-10-02 22:30:50 +08:00
k88936	f593bd4bf6	修复：生成绑定校验对不存在的目录不再静默通过 ... - snapshot() 遇到配置目录不存在时原来直接返回空表，空表比空表会被当成"通过（0 个文件）" - 目录写错或已删除时改为打印"目录不存在，跳过校验"，避免整组绑定被悄悄跳过	2026-10-02 22:29:12 +08:00
k88936	6f2eed0dc2	修复：生成绑定校验无法启动 cargo/npx 时暴露真实原因 ... - spawnSync 连命令都拉不起来（如 ENOENT）时 status 为 null、error 非空，原来只报一句"未通过"，看不到原因 - run() 改为在 result.error 时先打印"无法启动 <命令>：<原因>"，spawn 失败与测试失败可区分	2026-10-02 22:29:08 +08:00
k88936	bfbcb1dd02	文档：修正生成绑定校验提示里缺少的 cargo 参数 ... - shared-contracts 提示补上 --manifest-path server-rs/Cargo.toml：仓库根没有 Cargo.toml，照抄提示会直接失败 - 两条提示都补上 --locked，与实际执行的 cargo 命令保持一致	2026-10-02 22:29:02 +08:00
k88936	09f007d519	修复生成绑定校验在 Windows 上启动不了 npx ... - check-generated-bindings.mjs：prettier 归一化改用平台命令名 npx.cmd / npx，spawnSync 无 shell 时 Windows 解析不到裸 npx	2026-10-02 22:26:56 +08:00
k88936	e9ad1f3ddb	RunFailure Display 去掉多余的一次 String 分配 ... - codex_app_server/mod.rs：Self::Failed(error) 用 write!(formatter, "{error}") 直接走 Display，不再先 error.to_string() 再 write_str	2026-10-02 22:26:35 +08:00
k88936	25213c9ff7	修复空 text 短路 content 兜底导致条目丢失 ... - items.rs：item_text 先判空/全空白再回落 content/summary；此前 Some("") 会短路兜底，末尾非空过滤把整条 message/reasoning 丢掉 - wire/tests.rs：补空 text + 有 content 的回归用例	2026-10-02 22:26:12 +08:00
k88936	cb13ecf879	清理资源引用里残留的 DirectCodex 函数名 ... - resourceReferences.ts：chatComposerDraftToDirectCodexUserItem → chatComposerDraftToUserItem、directCodexUserItemFromContent → userItemFromContent，与已改名的 UserItem 生成类型对齐 - 同步 DirectProjectChatView、useDirectProjectChatController 与三处用例的调用与 import	2026-10-02 22:24:00 +08:00
k88936	9a75ea57f0	修复两处过期用例并补记 Direct 失败载荷改名与透传口径 ... - 修复 direct_tools_mcp 容量用例：handler 已改为返回 Response，改为取出 body 后再断言 JSON-RPC id - 修复 direct_runtime 命令边界诊断用例：改为断言结构化 sidecar（schemaVersion/source/stage/code/clientTurnId/detail），不再断言早已不落盘的 direct-codex-failure:v2 文案 - AGC 命令错误 ADR 补记 TurnFailure 两个字符串债臂的命名与“terminal_failure 是唯一投影点、不许重包”口径 - 决策记录新增 2026-10-02 条目：两臂改名（SuperErrorFromStringPlusStage / Unclassified）与 typed 失败原样下发 - 排查记录补充：cargo test 过滤是子串匹配，会连带命中 export_bindings 并重写生成目录，用 --skip export_bindings 避开	2026-10-02 22:19:36 +08:00
k88936	29eed573a0	重命名 Direct 回合失败载荷并让 typed 失败原样下发 ... - TurnFailed 更名为 SuperErrorFromStringPlusStage：只有 stage 是 typed，detail 仍是产生层字符串 - TurnFailedUnclassified 更名为 Unclassified：深层字符串兜底，连交付阶段都没有 - 拆掉 direct_runtime 与 thread_manager 两处收口重包，typed 失败原样投影成失败载荷 - 审计写盘保留，只是不再把 direct-codex-failure:v2 收口文案当失败载荷的 detail - 生成绑定重导出（旧 TurnFailed/TurnFailedUnclassified 生成文件删除），前端分支与 directThreadChat 用例同步改名 - 命名债注释补记：这两个载荷臂与 SuperErrorEnumFromStringTyped 属同一笔待清债	2026-10-02 22:11:41 +08:00
k88936	c18c73fa2f	文档：记录 DirectProject 回合错误命名化、wire 拆分与终态判别联合 ... - AGC 命令错误 ADR：三条错误表补 DirectProject 现有命名（TurnError / TurnFailure / EnqueueError），并写明"回合终态 TurnCompletion 是宿主内部判别联合，不导出、不进 wire" - 决策记录新增 2026-10-02 条目：命名去冗余前缀、wire.rs 按职责拆分、宿主终态改判别联合与 TurnCompletion 的落点	2026-10-02 18:10:54 +08:00
k88936	bee23a0a25	重构：文本判据债改名 SuperErrorEnumFromStringTyped 并写清上游改造 TODO ... - turn_error.rs 把 DomainFact 改名为故意扎眼的 SuperErrorEnumFromStringTyped，标记"从字符串读出的 typed 失败事实表"这笔待清债 - TODO 从"产生层还没有 typed 出口"改为明确指向上游改造：让产生层直接产出 typed 变体/结构化子错误、判定层改 match，之后整张表与 classify_direct_codex_error 一起删 - enum 注释写明这个名字是债标记：禁止把它改漂亮，只允许按 TODO 删掉整张表 - 只改名与注释，不改任何判定逻辑	2026-10-02 18:10:39 +08:00
k88936	394b8de9d2	重构：DirectProject 回合错误去前缀、拆分 wire 模块、终态改判别联合 ... - 三条错误表去冗余前缀：DirectTurnError→TurnError、DirectTurnEnqueueError→EnqueueError、DirectTurnFailure→TurnFailure、DirectTurnDeadline→Deadline、DirectCodexFailureStage→FailureStage、DirectCodexNativeKind→NativeKind、DirectModelCallKind→ModelCallKind - 用户条目去前缀：DirectCodexUserItem→UserItem 等六个类型；agent/direct_turn_error.rs 移到 codex_app_server/turn_error.rs - thread_manager/wire.rs 拆为 wire/{mod,clock,items,turn,failure,tests}.rs；direct_turn_failure.rs 的失败载荷并入 wire/failure.rs - 宿主侧回合终态从 struct TurnTerminal 改为 enum TurnCompletion{Completed,Interrupted,Aborted,Failed}，从 wire 移到 thread_manager/turn_completion.rs，status 由变体反推 - 过期回合释放兜底改走 TurnCompletion::Aborted.event - 同步生成绑定、前端调用点与测试；修正终态单测里过时的 TransportClosed 断言 - 对 src-tauri 全量 cargo fmt，满足 pre-commit 的 rustfmt 门禁	2026-10-02 18:10:17 +08:00
k88936	b7224aecef	构建：生成绑定校验覆盖 AGC shell 生成目录 ... - check-generated-bindings 同时覆盖 shared-contracts 与 AGC 的 chat/generated、services/generated、ui-editor/types - ts-rs 重新生成后先按仓库格式跑 prettier 再逐字节比较，消除"格式不同"的假漂移 - 校验失败时按目标给出对应的重新生成命令	2026-10-02 18:10:00 +08:00