新增: todo 标 Wave1 完成 + PROGRESS Sprint 22(B-03b 端到端补完)
- todo: B-03b/T-09/T-10/T-12 标完成,已完成区加 WF-E Wave1 - PROGRESS Sprint 22: 记录 Wave1 四任务 + B-03b agent 半成品教训 + Explore 审查语义缺陷盲区
This commit is contained in:
16
PROGRESS.md
16
PROGRESS.md
@@ -691,6 +691,22 @@
|
||||
|
||||
**遗留 / 下一步**: B-03b 取消机制(`set_cancelled` + cancel IPC + 前端按钮)待做;T-09/T-10 非阻断记 todo;架构前置 df-ai-core(F-07)待设计解锁 F-03。
|
||||
|
||||
### [Sprint 22] 2026-06-14 — Wave1 收尾清债(workflow 推进 + 主代理补完 agent 半成品)
|
||||
|
||||
**工作内容**: Wave1 四任务并行 pipeline(实现 + Explore 对抗审查,文件域隔离),收尾 Sprint 21 遗留的 B-03b 审批取消机制 + 三个 P2 清债项。每个 Agent 钉死约束(只碰白名单 + 禁碰决策记录/构想文档 + 禁自主续推 + cargo check 自验)。
|
||||
|
||||
**B-03b 审批取消端到端**(commit 4aa689e): agent 初版完成三件基础设施(`set_cancelled` + cancel IPC + 前端取消按钮)但留**半成品**——`workflow_cancel_state` 全局孤立 StateMachine 实例,IPC `set_cancelled` 写入后无法达运行中 HumanNode 的 `ctx.node_status`(executor.state_machine 的 clone,B-07 仅 clone 传递未共享底层 HashMap)。**Explore 审查 agent(无 Edit 权限,只验编译 + 白名单)漏抓此语义缺陷**。主代理补完:StateMachine 内部 `HashMap`→`Arc<Mutex<HashMap>>`(clone 即共享底层)+ AppState `workflow_state_registry`(execution_id→StateMachine)+ run_workflow 注册执行器状态机/完成清理 + cancel IPC 经 execution_id 取共享引用 `set_cancelled` 直达 HumanNode `is_cancelled` 轮询。`clone_shares` 单测验证共享语义。state.rs/executor.rs/state.rs(tauri)/workflow.rs/lib.rs/project.ts/ProjectDetail.vue。
|
||||
|
||||
**T-09 级联删**(commit 89da9fa): idea.rs:149 `delete`→`purge_with_descendants`(防孤儿子记录),1 行签名兼容。
|
||||
**T-10 canonicalize**(commit 89da9fa): 判定已解决——`normalize_path` 已含 canonicalize 优先 + 词法回退,`find_binding_conflict` 两端对称已用,零改动。
|
||||
**T-12 df-ideas 死代码**(commit 89da9fa): capture.rs 删 `CaptureInput`/`IdeaCapture` 死码,保留 `Idea`/`IdeaScores` 共享实体;promotion/scoring/adversarial 内"两套 Recommendation/PromotionPolicy 死枚举"嫌疑未确认存在/保留为对外契约,本次未动待复查。
|
||||
|
||||
**验证**: cargo check 0 error / cargo test 全过(0 failed,含 `clone_shares` 新测)/ vue-tsc 0 error。
|
||||
|
||||
**教训**: workflow 对抗审查用 Explore agent 能防越权 + 验编译 + 验白名单,但抓不到"功能实际不工作"类语义缺陷(IPC 写了读不到、共享未通)——这类需主代理读实现逻辑复核,不能只信审查 verdict。
|
||||
|
||||
**遗留 / 下一步**: Wave2 候选 F-07(df-ai-core trait 下沉,解锁 F-03,需先定 trait 边界);T-12 df-ideas 其余嫌疑项待复查。
|
||||
|
||||
<!--
|
||||
|
||||
### [Sprint N] YYYY-MM-DD — 简述
|
||||
|
||||
Reference in New Issue
Block a user