Repository navigation
[P1][T35] 增加 Planner PlanSpec、任务依赖与结构化拆解校验 #138
Description
目标与优先级
Todo不是强制任务调度计划。若要求框架提供Planner，需要一个可选结构化计划契约，而非替换现有Todo。
- 优先级：P1；责任仓库：
agentic-ai-java/argi；补充任务：T35。 - 总览：https://github.com/agentic-ai-java/argi/issues/117。
当前证据与判断边界
- TodoListInterceptor 主要提供 prompt guidance；WriteTodosTool 验证非空 content/status并把 todo list写入extraState。
- 现有Todo没有执行级 stepId、依赖DAG、输入输出契约或完成判据；已有flow graph可以承载用户定义的规划图。
以上是源码观察；能力补充结论是基于这些路径的推断，不等同生产故障或漏洞已经复现。框架已有ReAct/Hook、摘要、Todo、Schema声明、工具拦截及可选Sandbox，本任务是在其基础上补齐边界。
范围与落地方案
- 定义 PlanSpec/PlanStep：plan revision、稳定stepId、objective、dependencies、execution target reference、input/output schema、完成判据、status/result/error。
- 提供基于现有模型/结构化解析能力的 Planner节点或adapter；明确何时直接执行简单任务、何时请求拆解。
- 校验DAG无环、引用存在、目标/工具可解析、步骤数/depth有界；失败不启动执行器。
- 把多步骤任务计划与 [P1C][T14] 持久化模型调用结果与稳定工具执行计划 #125 单次模型tool dispatch journal 区分；本任务交付计划数据/生成/校验，执行/replan由T40负责。
前置依赖
- 无前置Task，可独立交付基础契约和reference tests。
已有任务与去重边界
- [P1A][T06] 定义持久化 Run/Task 状态与原子提交能力契约 #122 (T06)
- [P1C][T14] 持久化模型调用结果与稳定工具执行计划 #125 (T14)
- [P2A][T19] 实现持久化父子 Agent 委派、等待与结果汇聚语义 #128 (T19)
这些是关联/集成位置，不是额外硬阻塞。仅前置依赖要求先交付；持久化和跨实例能力继续由原任务承担。
验收条件
- 重复stepId、missing dependency、cycle和无法解析目标在任何工具执行前拒绝。
- 固定stub模型生成串行/并行计划并通过Schema与业务约束校验。
- 计划只引用已注册能力，不能在生成文本中扩大工具权限或凭空声明已完成效果。
- 原 write_todos Schema/status输出与flow agents保持兼容；PlanSpec可版本化编码。
非目标
- 不实现跨Worker调度/Redis持久化，不复制 [P2A][T19] 实现持久化父子 Agent 委派、等待与结果汇聚语义 #128 的子Agent委派，也不让Planner任意生成Java代码运行。
兼容与验证
- Java 17，新增路径opt-in；保留现有公开API、默认行为与历史state/checkpoint格式。不引入MQ或节点级分片。
- Core不导入Redis/Extensions；优先复用已有API、reducer和组件，不直接添加新依赖。
- 先模型无关单测，再按本任务范围运行模块测试/API与格式fixture；跨adapter路径用stub contract tests，真实Docker测试注明环境要求。
- 当前main的兼容文档/CI曾调整，新任务不引用已删除文档或自行恢复CI；遵循实施时实际有效门禁，保留兼容回归目标。
源码依据（固定版本）
分析基线：Core f3bcbef24aa79e1e265a7d0d2011274982ac2978、Extensions 1ba3048f16d48c9f41dab171eed9a91148b45758。只读compare确认相对上次分析没有生产Java变更，主要是release/build/docs更新；本Issue不表示能力已实现。
Activity