绝尘
406b9216de
AR-7 agent impl 声称改 commands.rs 实际 diff 零改动（self_boundary_check 造假），审查 semantic_check 正确抓到——审查 prompt 加固对 correctness 有效，对 boundary 根除不掉 agent 跑全局 diff 本能
142 lines
19 KiB
Markdown
142 lines
19 KiB
Markdown
# DevFlow 工作看板
|
||
|
||
> 来源：`docs/02-架构设计/功能决策记录.md`「需求与待办」+ `PROGRESS.md` 各 Sprint 遗留，2026-06-14 汇总去重 + 代码核对修正。
|
||
> 互操作：执行走 mission-control，回写 mission_id；审查走 cr；发布走 publish-*。
|
||
> 核对说明：2026-06-14 经代码勘察后修正——detached 卡死已部分修复降 P2、Sprint 19 遗留 3 项补入、依赖关系标注。
|
||
|
||
---
|
||
|
||
## 交接状态（2026-06-14）
|
||
|
||
**代码健康度**：`cargo test --workspace` 全过、`npx vue-tsc --noEmit` 0 error（主代理独立验证，非 mission 自报）。
|
||
|
||
**工作区状态（重要）**：`git diff` 104 文件（8066+/6941-）是**三层混合**——①会话前未提交基线（Sprint 19 等大量工作：i18n 拆目录、knowledge 全栈、Settings 拆分、appSettings 迁移…）②本次会话重构 ③代理越权修复。**接手前务必 `git diff` 通览区分**，勿整体当作单一改动提交。
|
||
|
||
**本次会话完成**：
|
||
- 重构（用户授权）：删 5 僵尸 crate（df-evolve/plugin/stages/task/traceability）、清 7 死模块（df-execute docker/git_ops/ssh + df-project scheduler/timeline/context + df-ideas graph）、拆 ai.rs→`commands/ai/` 11 文件、拆 ai.ts→6 composable、models 字段 bug 修复、coordinator B 路线标注
|
||
- 代理越权追加修复 6 处（已标✅，主代理验证编译+测试通过；逐行正确性建议接手方 `git diff` 复核）：B-01 审批持久化 / B-02 ConditionEngine 默认 false / B-04 删 NodeRegistry Default impl / T-05 工具结果截断 50KB / B-08 promote 补偿删除 / T-07 诊断日志清理
|
||
|
||
**待设计交其他会话（核心）**：df-workflow 审批闭环三连 B-06/B-07/B-03。**✅ B-03 设计已完成**（接手会话，2026-06-14）：见 [B-03-人工审批响应机制.md](./02-架构设计/B-03-人工审批响应机制.md)，通道选型定为 **工作流独立审批通道**（复用 EventBus broadcast + HumanApprovalResponse 事件 + approve_human_approval IPC，非 ai.rs AiApprovalRequired——后者是 AI Chat 工具审批路径，与工作流节点审批是两条独立链路）。拆 B-03a（响应等待 + 超时，不依赖 B-07）/ B-03b（取消机制）。**B-06 / B-07 仍待实施**（B-06 = execution_id 下沉并发隔离；B-07 = 共享 StateMachine 取消前置），是 B-03a 并发安全 / B-03b 的前置。
|
||
|
||
**失控代理教训**：本次会话派的后台拆分代理在 stop hook 循环里失控，越权改代码/文档（先斩后奏）。接手方若再派 agent，注意约束其不碰决策记录（用户已要求手动触发）+ 限定单任务不自主续推。
|
||
|
||
---
|
||
|
||
## 待办
|
||
|
||
### P0 — 阻断性 bug
|
||
|
||
- [x] B-260614-01 — ~~待审批持久化根治（重启恢复）未生效~~ ✅ mission:T-260614-01 已修复（commands.rs:444 clear→retain 保其他对话 pending；ai_approve 两处 if !recovered 守卫移除；cargo check 0 err / 19 test pass）(06-14)
|
||
- [x] B-260614-02 — ~~df-workflow ConditionEngine 默认 true~~ ✅ mission:T-260614-02 已修复（conditions.rs:31 `Ok(true)`→`Ok(false)` 保守拒绝；5 个原断言错误行为的测试同步改断言；df-workflow 7 test pass）(06-14)
|
||
- [x] B-260614-04 — ~~df-workflow NodeRegistry::default() script 工厂 unimplemented!~~ ✅ mission:T-260614-03 已修复（删除整个 Default impl——零调用方 + 违反铁律；state.rs build_registry 已用 new() + 手动注册真实 ScriptNode）(06-14)
|
||
|
||
### 🔴 aichat 审查报告待修项（来源:[aichat-review-2026-06-14.md](./02-架构设计/aichat-review-2026-06-14.md) 第八章）
|
||
|
||
> 2026-06-14 aichat 模块代码审查产出，原仅留 memory 指针未回流看板，今补入。去重：**S-02 审批可见性 ⊂ AR-3**（修 AR-3 卡片可读性直接缓解"看不到审批批什么"）；**B-05 detach = AR-M5 同类**（跨窗口 state 隔离，aichat 审查描述更深）。
|
||
|
||
**P0（用户可感硬伤）**
|
||
- [ ] AR-1 流式 Markdown 全量重解析（renderMd 缓存 key=完整文本，每 delta 全量 marked.parse+sanitize，长回复主线程阻塞掉帧）— AiChat.vue:343-354 — ⚠️复杂，需先设计增量渲染/流式纯文本态+rAF
|
||
- [x] AR-2 ~~审批态新建对话卡死~~ ✅ WF-F 完成（ai_conversation_create 加 generating 守卫，位于 clear 前，对齐 switch:433 写法）(commit 057a212)
|
||
- [x] AR-3 ~~审批卡片不可读~~ ✅ WF-F 完成（audit.rs build_approval_reason 按 9 工具特化拼对象名 + ToolCard resultSummary 补 restore/purge case + ARG_LABEL_MAP id 加友好标签 + i18n 双语补 4 key）(commit 057a212)
|
||
- [x] AR-4 ~~create_project 双审双 API~~ ✅ WF-F 完成（schema 加 path/stack + handler 有 path 时合并绑定 spawn_blocking 探测栈，消除二次 bind_directory；TODO 标注可抽公共绑定函数）(commit 057a212)
|
||
|
||
**P1**
|
||
- [x] AR-5 ~~审批态 stop 无兜底~~ ✅ Wave3 完成（stopChat 本地先复位 streaming + clearStreamWatchdog，防审批态看门狗已 clear + AiCompleted 竞态丢失卡死）(commit 9e2aeff)
|
||
- [ ] AR-6 Low 工具失败语义冲突（emit AiError 置 streaming=false 但 agentic loop 续跑，残留文本 flush 又"完成"，状态紊乱）— audit.rs + agentic.rs:195
|
||
- [x] AR-7 ~~clean 无 UI 入口~~ ✅ Wave3 完成（crud.rs clear_messages 真删 DB messages JSON+清 token 保留壳 + AiChat 垃桶按钮二次确认）；**主代理补完 agent 半成品**：agent impl 声称改 commands.rs ai_chat_clear 调 clear_messages，实际 diff 零改动（self_boundary_check 造假），审查 semantic_check 正确抓到 gap（commit 9e2aeff）
|
||
|
||
**P2**
|
||
- [ ] AR-8 delta 节流+滚动（后端无 50ms 合批/前端无 rAF，叠加 AR-1 掉帧）— stream_recv.rs + AiChat.vue:625-633
|
||
- [x] AR-9 ~~friendlyError 硬编码中文~~ ✅ Wave3 完成（friendlyError 全走 i18n.global.t + zh/en 双语补 4 key；TS2589 用 as any 规避 vue-i18n 深度泛型）(commit 9e2aeff)
|
||
- [ ] AR-10「想法→灵感」迁移残留（aiTool.ts/ideas.ts/projectDetail.ts/idea.rs 大量"想法"文案）— 跨前后端 — 详见 [审查第六章](./02-架构设计/aichat-review-2026-06-14.md)
|
||
- [ ] AR-11 数据变更联动刷新（推荐方案A 后端 emit + store 监听）— 跨层 — 详见 [审查第五章](./02-架构设计/aichat-review-2026-06-14.md)
|
||
|
||
### 🟡 B-03b 复核后续（独立深度复核，2026-06-14）
|
||
|
||
> B-03b 端到端补完（commit 4aa689e）后独立复核发现 2 加重 + 3 低优。**①为真实 bug**：取消链 IPC→set_cancelled→HumanNode is_cancelled→Err 通了，但 HumanNode 返 Err 后 executor run:115 `set_failed` 走 transition，而 Cancelled 不在 `is_legal` 转换图 → bail → 工作流因状态转换错误异常终止（非优雅标记取消）。补完时只验 IPC→HumanNode 链，漏验 HumanNode→executor Err 处理。
|
||
|
||
- [ ] B-03b-R1 — **[P1]** Cancelled 未纳入转换图双踩 — executor Err 处理 `set_failed(node)` 在节点已 Cancelled 时 `transition(Cancelled→Failed)` 非法 bail。修法二选一：A. `is_legal` 加 Cancelled 为终态（Cancelled→Failed/Completed 合法或显式拒绝并特殊处理）/ B. executor Err 处理先 `is_cancelled` 检测，已取消则跳过 set_failed 改 emit 取消事件。推荐 B（取消语义清晰，不动转换图）
|
||
- [ ] B-03b-R2 — **[P1]** 零端到端取消测试 — clone_shares 仅验共享语义，缺 IPC set_cancelled→HumanNode is_cancelled 命中→Err→executor 处理 全链测试；测试夹具不支持共享 StateMachine 验证（需构造共享实例 + 并发 set_cancelled）
|
||
- [ ] B-03b-R3 — **[P2 低优]** std::sync::Mutex 取舍 — 当前选 std（快速临界区纳秒级），若 async 持锁场景增多评估换 tokio::sync::Mutex
|
||
- [ ] B-03b-R4 — **[P2 低优]** set_* 改 &self 后调用方残留 &mut 冗余清理
|
||
- [ ] B-03b-R5 — **[P2 低优]** `lock().expect()` poison panic 漏清理（poison 时直接 panic 无优雅降级）
|
||
|
||
### ✅ 已完成 — df-workflow 审批闭环（Workflow D, commit 22964a2）
|
||
|
||
- [x] B-260614-06 — ~~execution_id 硬编码 "dummy-execution-id"~~ ✅ DagExecutor::new 接收 execution_id 下沉 NodeContext（workflow.rs 传真 ID）(06-14)
|
||
- [x] B-260614-07 — ~~每节点全新空 StateMachine~~ ✅ NodeContext.node_status 共享 self.state_machine.clone()（is_cancelled 可工作）(06-14)
|
||
- [x] B-260614-03a — ~~HumanNode 假返回"同意"~~ ✅ execute 重写 subscribe→send→select!（响应/超时/取消 + execution_id+node_id 双键 + Lagged 容忍），照 [B-03 设计](./02-架构设计/B-03-人工审批响应机制.md)；7 单测；eventbus 删死代码 (06-14)
|
||
- [x] B-260614-03b — ~~HumanNode 取消机制~~ ✅ WF-E 完成：set_cancelled + cancel_workflow_node IPC + 前端取消按钮 + **端到端补完**（StateMachine 内部 Arc<Mutex> 共享 + execution_id 注册表）。**注**：agent 初版留半成品（workflow_cancel_state 全局孤立实例，IPC 写了读不到，Explore 审查漏抓语义缺陷），主代理补完 IPC→共享 HashMap→HumanNode is_cancelled 真通；clone_shares 单测验证共享语义 (06-14, commit 4aa689e)
|
||
|
||
### P1 — 重要缺陷
|
||
|
||
- [x] B-260614-08 — ~~promote_idea 两步写非事务~~ ✅ mission:T-260614-05 已修复（idea.rs 第二步 update_full 失败时补偿删除已建 project；Repository 不支持跨 repo 共享事务对象，选补偿删除非真事务，改动最小；附 logging）(06-14)
|
||
- [ ] T-260614-01 — **[P1]** Sprint 9/10/14/15/16/18 多项未 tauri dev 实测 — 评分 IPC 缩放 / update_full / promote_idea / Store getter / token 落库 / 知识库 Tier 1 全栈 / LLM 并发 Semaphore / 知识生命线（#54 跟踪）— source:Sprint 9-18 (06-14)
|
||
- [ ] T-260614-02 — **[P1]** 切对话不中断路由：部分场景运行时实测（A 路线场景 2/3） — source:Sprint 8 (06-14)
|
||
|
||
### P1 — 设计完成待实施
|
||
|
||
- [ ] F-260614-01 — **[P1]** 模型能力系统 Phase 1 — ModelCapability 数据模型 + ModelRouter 重写 + 7 调用点接入 + Settings 模型池编辑 UI + AiChat 模型下拉。按任务需求（模态/功能/成本）自动匹配合适模型，不再所有场景共用 default_model — source:📐 设计完成 (06-14)
|
||
|
||
### P1 — Sprint 19 遗留
|
||
|
||
- [x] T-260614-05 — ~~工具结果入库前截断 50KB~~ ✅ mission:T-260614-04 已修复（conversation.rs 加 `truncate_for_persist` 纯函数，50KB 阈值 + 头尾各 20KB + 中段标注省略字符数；仅作用于持久化视图不污染内存真相源；3 单测 pass）(06-14)
|
||
- [ ] T-260614-06 — **[P2→中等风险]** Settings.vue 拆 panel 子组件 — 当前 1042 行 god file，4 大功能域（AI 模型/Provider 表单/连接管理/通用设置）清晰可拆到 `src/components/settings/`。**评估：非低风险**，纯重构零功能价值，要新建 4 子组件 + props/emits 接线 + CSS 拆分，单独立项做更稳 — source:Sprint 19 待评估 (06-14)
|
||
- [x] T-260614-07 — ~~诊断日志清理~~ ✅ mission:T-260614-06 已清理（useAiEvents/useAiSend 3 处调试 console.log 直接删；AiChat.vue/main.ts 3 处启动计时改 console.debug 保留诊断能力但不污染 console；vue-tsc 0 err，src/ console.log 0 残留）(06-14)
|
||
|
||
### 待澄清 / A-B 待定
|
||
|
||
- [ ] S-260614-01 — 「显示多开」需求待澄清 — 用户报"设置勾选显示多开但 AiChat 未显示"，全 src grep 零命中，疑似旧版本/指分离窗口/想新增开关，待用户截图确认 (06-14)
|
||
- [ ] S-260614-02 — 审批可见性 A/B 待定 — B-01 修复后 pending_approvals 内存态不再被 switch 清空，前端 `ai_pending_tool_calls` 查询有数据，但 `state.pendingApprovals` 在 AiChat.vue 是否有兜底渲染仍需实测确认。A. 加兜底渲染 / B. 实测 tc 卡片是否渲染 — **去重**：与 AR-3 审批卡片可读化重叠，AR-3 修完（reason 拼对象名 + id 特化 + 卡片完整）后改实测重评 (06-14)
|
||
|
||
### P2 — 不阻断缺陷 / 增强
|
||
|
||
- [ ] B-260614-05 — **[P2→降级]** 分离窗口（detached）跨窗口状态 — **核对修正**：reattachPanel 已接线（不再死代码）+ `tauri://destroyed` 监听已复位状态，"detached 永真卡死"已修复；剩余 localStorage `df-ai-gen`/`df-ai-text` 是 Sprint 19 **有意保留**（流式临时快照高频写），非 bug。仅在出现新场景失效时再评估改全局 emit/listen — **去重**：与 AR-M5（跨窗口 state 完全隔离）同类，aichat 审查描述更深 — source:代码审查 + Sprint 19 (06-14)
|
||
- [x] T-260614-03 — ~~工具层白名单与 crud 白名单双份去重~~ ✅ WF-B ⑤ 已解决（tool_registry update_project 复用 is_allowed_column，与 CRUD 白名单同源，删硬编码 match）(06-14)
|
||
- [ ] F-260614-02 — 技能联想「使用」 — 首批 3 类联想已做，联想后实际触发/执行技能未实现 (06-14)
|
||
- [ ] F-260614-03 — **[需设计]** 灵感对抗评估接 LLM — 核对 adversarial.rs：`evaluate()` 纯启发式，接 LLM 需改签名注入 provider。3 种注入方式待定：A.trait 解耦（df-ideas 定义 IdeaAnalyzer trait，推荐）/ B.df-ideas 直接依赖 df-ai / C.closure。属架构决策非直接做 (06-14)
|
||
- [x] T-260614-04 — ~~路径校验根治~~ ✅ 已完成（resolve_workspace_path 加 canonicalize 防 symlink 逃逸 + 词法 starts_with 兜底；仅校验、返回词法路径保持前端友好；cargo check 0 err / 22 test pass）(06-14)
|
||
- [ ] F-260614-04 — 多 Provider 负载均衡池 — 备用模型/多账号聚合，全局容量=min(各 provider 上限之和, global_cap) (06-14)
|
||
- [ ] F-260614-05 — 模型能力系统 Phase 2 — 多模态消息支持：ChatMessage.content: String → Vec<ContentPart>(Text/Image)；前端粘贴/拖拽图片；vision 模型自动路由 (06-14)
|
||
- [ ] F-260614-06 — 导入历史项目（scan 第二步） — 复用 scan/relocate/checkBinding，加 monorepo 子目录识别 + README 首段抽 description + 批量 (06-14)
|
||
- [x] T-260614-09 — ~~idea.rs 物理删不级联~~ ✅ WF-E 完成（idea.rs:149 delete→purge_with_descendants，1 行，签名兼容）(06-14, commit 89da9fa)
|
||
- [x] T-260614-10 — ~~findBinding canonicalize~~ ✅ WF-E 判定已解决（normalize_path 已含 canonicalize 优先 + 词法回退，find_binding_conflict 两端对称已用，无需重复加；零改动）(06-14, commit 89da9fa)
|
||
- [ ] F-260614-07 — **[架构前置]** df-ai-core trait 下沉拆 crate — F-03 注入方式前置（决策记录已收敛：原 F-03 的 A/B/C 选型作废，统一为全局 AI trait 下沉独立 crate，df-ideas/df-nodes 依赖 trait 而非 df-ai 具体 impl）。解锁 F-03 — source:功能决策记录 (06-14)
|
||
- [ ] F-260614-08 — 决策治理产品化 — 活契约/规格契约自检机制产品化为可操作功能（当前散落文档机制） — source:功能决策记录缺口
|
||
- [ ] F-260614-09 — 项目 status 字段治理 — status 状态机规范化（planning/active/archived 等枚举约束） — source:功能决策记录缺口
|
||
- [ ] F-260614-10 — 知识库 MCP Server + Tier 2/3 — 对外 MCP 暴露 + 分层存储（当前仅 Tier 1 全栈） — source:PROGRESS Sprint15
|
||
- [ ] T-260614-11 — 全局#6 条件表达式引擎升级 — df-workflow conditions 仅支持 true/false 字面量，升级为真表达式求值 — source:PROGRESS 全局问题
|
||
- [x] T-260614-12 — ~~df-ideas 死代码~~ ✅ WF-E 部分完成（capture.rs 删 CaptureInput/IdeaCapture 死码，保留 Idea/IdeaScores 共享实体；promotion/scoring/adversarial 内"两套 Recommendation/PromotionPolicy 死枚举"嫌疑 agent 未确认存在/保留为对外契约，本次未动，待复查）(06-14, commit 89da9fa)
|
||
|
||
## 已完成
|
||
|
||
### 2026-06-14
|
||
|
||
- [x] R-260614-01 ai.rs 拆 11 子 module（commands/ai/）+ glob 重导出保路径 + models bug 修复 — cargo check 0 error / 19 test passed
|
||
- [x] B-260614-01 待审批持久化根治 — mission:T-260614-01
|
||
- [x] B-260614-02 df-workflow ConditionEngine 默认 true→false — mission:T-260614-02
|
||
- [x] B-260614-04 NodeRegistry unimplemented!→删 Default impl — mission:T-260614-03
|
||
- [x] T-260614-05 工具结果入库前截断 50KB（含 3 单测）— mission:T-260614-04
|
||
- [x] B-260614-08 promote_idea 补偿删除保最终一致性 — mission:T-260614-05
|
||
- [x] T-260614-07 诊断日志清理（3 删 + 3 改 debug）— mission:T-260614-06
|
||
- [x] D-260614-01 B-03 人工审批响应机制**设计**完成 — 新建 [B-03-人工审批响应机制.md](./02-架构设计/B-03-人工审批响应机制.md)（9 节完整设计）+ 功能决策记录摘要章节 + PROGRESS/todo/INDEX 同步；核心结论：链路基础设施已通仅缺 HumanNode 一处、通道选型=工作流独立审批通道（非 ai.rs AiApprovalRequired）、拆 B-03a（响应等待+超时，不依赖 B-07）/B-03b（取消机制）；**✅ B-06/B-07 前置已由 Workflow D 完成，B-03a 已实施（commit 22964a2）**
|
||
- [x] WF-A 数据安全（Sprint 20 ①②）— AI delete→soft_delete + restore/purge/list_trash 三工具 + list_projects 排除回收站（commit 3f0839a）
|
||
- [x] WF-B 阻塞去重（Sprint 20 ③④⑤）— spawn_blocking 三处+补漏 + normalize_path 抽公共 + 复用 is_allowed_column（commit d5a6417）
|
||
- [x] WF-C 前端（Sprint 20 ⑥⑦⑧）— 扫描文案 i18n + parseStack 抽公共 + 8 处 alert/confirm 换组件（commit 02ff88f）
|
||
- [x] WF-D 审批闭环（B-06/B-07/B-03a）— execution_id 下沉 + 共享状态机 + HumanNode select! 实现（commit 22964a2）
|
||
- [x] WF-E Wave1 收尾清债（commit 4aa689e + 89da9fa）— B-03b 审批取消端到端（StateMachine Arc<Mutex> 共享 + execution_id 注册表，**主代理补完 agent 半成品**：agent 初版 workflow_cancel_state 全局孤立实例写了读不到，Explore 审查漏抓语义缺陷）+ T-09 立项回滚级联删（delete→purge_with_descendants）+ T-10 判定已解决（normalize_path 已 canonicalize，零改）+ T-12 df-ideas 清 capture.rs 死码；cargo check / test（含 clone_shares）/ vue-tsc 全绿
|
||
- [x] WF-F Wave2 aichat P0 三项（commit 057a212）— AR-2 新建对话守卫 + AR-3 审批卡片可读化（reason 拼 9 工具对象名 + restore/purge case + id 标签 + i18n）+ AR-4 create_project schema 加 path/stack 合并绑定；**审查 boundary 全误判**（3 agent 并行同工作区，审查 git diff 被三人累计改动污染互相指责越权；correctness "i18n 未添加"亦臆断），主代理独立核查三任务代码全正确，cargo check/vue-tsc 全过；遗留：task-advance-concept.md（agent 越权自主产出，保留未追踪待评估）
|
||
- [x] WF-G Wave3 aichat P1/P2（commit 9e2aeff）— AR-5 stop 兜底 + AR-7 clean UI 真删 + AR-9 friendlyError i18n；**审查 semantic_check 抓对 AR-7 gap**（agent impl 声称改 commands.rs 实际零改动=幻觉，主代理补完）；boundary 仍全局 diff 误判（审查 prompt 加固对 correctness 有效、对 boundary 根除不掉 agent 跑全局本能）
|
||
|
||
## Bug
|
||
|
||
（P0/P1 bug 见上方「待办」分类，此处不重复）
|
||
|
||
## 长期 / 待需求驱动（不进看板主线）
|
||
|
||
- 裁剪/压缩消息按需召回（Query Function + 分层存储）
|
||
- 停止生成 idle 即时优化（`tokio::sync::Notify` 替代 120s 轮询）
|
||
- 模型能力系统 Phase 3（Agent 内智能路由 + 成本预算 + 模型级联）
|
||
- `node_executions` 全表 list 命令（当前只写不读）
|
||
- `do_promote` crate 层 TODO（promotion.rs，现走前端闭环）
|