名称: implement_plan_micro 描述: 从thoughts/shared/plans实施技术计划并进行验证 版本: 3.0 用户可调用: false
正式规范
多模态逻辑集成
通过桥接原则融合五种模态逻辑：
- JL: 证明逻辑 - 基于证据的声明
- IEL: 推断逻辑 - 问题处理
- TEL: 时序知识逻辑 - 阶段序列
- SDL: 标准义务逻辑 - 义务/许可
- DEL: 动态知识逻辑 - 行动模态
证明逻辑 (JL)
# 证明项
[h]:context(task_n) # 交接h证明任务上下文
[v]:verified(phase_n) # 验证v证明完成
[p]:plan(tasks) # 计划p证明任务列表
# 证据产生
[read(f)]exists e. [e]:content(f)
[verify(c)]exists v. [v]:pass(c) | [v]:fail(c)
# 交接链：证据传播
[h_n]:complete(task_n) -> [h_{n+1}]:context(task_{n+1})
proceed(task) <-> exists h. [h]:validated
推断逻辑 (IEL)
# 模式和阻塞问题
?{direct, orchestration} # 模式选择
?{continue, retry, ask_user} # 阻塞解决
mismatch(plan, reality) -> ?{how_proceed}
no_validation -> ?{run_validation_first}
时序知识逻辑 (TEL)
# 文件读取约束
[](mentioned(f) -> <>read_fully(f)) # 最终读取
[](mentioned(f) -> not spawn U read_fully(f)) # 读取前不生成
[](partial_read(f) -> false) # 禁止部分读取
# 阶段序列
[](phase(n) -> P(phase(n-1) & verified(n-1))) # 验证后再下一阶段
[](automated_pass -> <>manual_verify) # 自动化后手动验证
[](manual_pass(n) -> <>phase(n+1)) # 手动后下一阶段
# 交接持久性
[](handoff_created(h) -> []exists_on_disk(h)) # 压缩后存活
# 终止
<>(all_complete | abandoned)
标准义务逻辑 (SDL)
# 读取义务
O(read_fully(plan))
O(read_fully(f)) <- mentioned_in_plan(f)
O(check_existing_checkmarks)
F(partial_read)
# 验证义务
O(run_automated) <- impl_complete
O(pause_for_manual) <- automated_pass
O(present_manual_checklist)
F(checkoff_manual) <- not user_confirmed
# 模式选择
O(orchestration) <- tasks >= 4
P(direct) <- tasks <= 3
O(respect_user_preference)
# 编排义务
O(read_previous_handoff) <- exists_handoff(task_{n-1})
O(create_handoff) <- agent_completes
O(update_ledger) <- task_complete
F(batch_tasks) # 每个任务一个代理
F(proceed_on_mismatch) <- not user_guidance
动态知识逻辑 (DEL)
# 实施行动
[read(plan)]K(tasks) & K(phases) & K(criteria)
[read(handoff_n)]K(context_{n+1})
[spawn(agent, task)]<>result(agent)
[verify(c)](K(pass) | K(fail))
# 组合工作流
[select_direct][implement ; verify_auto ; present_manual ; wait]*
[select_orchestration][prepare ; spawn ; wait ; read_handoff ; update]*
# 恢复
[compaction ; read_ledger ; list_handoffs ; read_last]resume
# 不匹配
[detect_mismatch ; stop ; present ; wait]proceed_or_abort
桥接原则
# 证据持久性 (JL-TEL)
[h]:context(n) -> [][h]:context(n)
# 证据义务 (JL-SDL)
O(exists h. [h]:validated) <- pre_implement
O(exists v. [v]:pass(auto)) <- pre_manual
# 交接链 (完全集成)
[h_n]:complete(n) -> O([spawn]<>[h_{n+1}]:context(n+1))
compaction -> (forall h. persists(h))
状态机
INIT --> READ_PLAN --> MODE_SELECT --+--> DIRECT: [IMPL -> AUTO -> MANUAL -> WAIT]*
|
+--> ORCHESTRATION: [PREP -> SPAWN -> WAIT -> HANDOFF]*
|
v
COMPLETE
输出模式
handoff_path: "thoughts/handoffs/<session>/task-[NN]-[desc].md"
schema:
required: [status, task_desc, files_modified[], verification_results, context_for_next]
optional: [blocker, decisions[], open_questions[]]
tracking:
plan: "- [x] Task N: description"
ledger: "[x] Task N"
散文（逻辑不足处）
模式选择
| 任务数 | 上下文关键 | 模式 |
|---|---|---|
| 1-3 | 否 | 直接 |
| 1-3 | 是 | 编排 |
| 4+ | 任意 | 编排 |
用户偏好优先。
模板
不匹配：
阶段 [N] 中的问题：
预期： [plan says]
实际： [actual]
应如何继续？
手动验证暂停：
阶段 [N] 完成 - 准备手动验证
自动化通过： [list]
请验证： [manual items from plan]
完成后请告知。
代理生成：
Task(subagent_type="general-purpose", model="claude-opus-4-5-20251101", prompt="""
[implement_task SKILL.md]
## 上下文
- 总账： [content]
- 计划： [section]
- 任务： [N]/[Total]: [desc]
- 前一次交接： [content or "first task"]
- 交接目录： thoughts/handoffs/<session>/
""")
恢复（压缩后）：
- 总账在SessionStart自动加载
ls thoughts/handoffs/<session>/- 读取最后一次交接
- 恢复下一个任务
有效性约束
forall phase. has_auto_criteria(phase) & has_manual_criteria(phase)
forall task. one_agent_per_task(task)
forall h. on_disk(h) -> recoverable(h)
compaction -> (forall h. persists(h))
forall i < j. completed(task_i) before started(task_j)