目的：把同一需求、候选、验证与审查串成可恢复的 Java/Spring 研发链。
适用于：Java/Spring 新需求、修复或受控重构；纯解释不强制完整流程。
适用：Java/Spring新需求、修复和受控重构。纯解释不强制完整流程。 输入：目标及来源、已决/未决、实际工程与完整候选（含未提交差异）、允许读写集和禁止动作、当前工具链、验收及有限预算。文档/示例可阅读不等于业务操作获权。
任务负责人持有唯一当前状态和候选身份；每阶段将真实输出交下一责任者。执行可由使用者或AI手动组织，角色文档不代表已安装独立进程。简单任务可缩短记录，必要验收与当前授权不能删。
| 阶段 | 承接Agent与必要输入 | 实际输出/交给谁 | 继续门槛 | 失败返回 |
|---|---|---|---|---|
| W00 定界 | 任务负责人固定范围、基线、写集、预算及恢复点 | 当前任务上下文→需求负责人 | 来源与范围可核 | 冲突只停相交部分，不覆盖其他改动 |
| W10 需求 | 需求负责人接原始诉求与事实 | 已决/未决、范围/保持项、可观察验收→实现者 | 关键语义有真实决定，未知不补定 | 最小澄清，非阻塞部分继续 |
| W20 设计与实现 | 实现者接确认需求与当前工程 | 最小方案、实际调用者、保持映射、代码/测试候选→验证者 | 实现落点与候选身份可核 | 语义冲突回W10；允许域内缺陷回本阶段 |
| W30 验证 | 验证者接同候选与验收 | 实际断言/命令、通过/失败/未运行、清理→任务负责人/审查者 | 必要行为及Spring装配有当前证据 | 首个断点分为环境、工具或代码；需要时走诊断分支 |
| W35 诊断/整改 | 诊断者接失败和合法证据；原实现者接具体问题 | 限定根因/未知、修订差异与新身份→验证者 | 恢复最早失效节点，保留有效前缀 | 未知副作用先查状态；有限预算到限即交恢复条件 |
| W40 冻结审查 | 任务负责人固定需求、代码、测试及规则身份 | 同一审查输入→下列三类职责 | 不把旧版本绿灯移给新候选 | 漂移重冻相交输入 |
| W41 代码 | 代码审查者接差异与验证 | 代码/副作用/调用者发现及关闭标准→原作者 | 必要发现有当前处置 | 原作者修复，回W30及失效审查 |
| W42 语义 | 语义审查者接确认契约与代码 | 需求→实现、实现→需求、反例及缺证→原作者 | 必要条款有对应实现/证据 | 未决回W10；违反回W20 |
| W43 原则 | 原则审查者接同候选与必要证据 | 范围、目的、保留与完成声明的四态判断 | 不由自查冒充需要的分离审验 | 违反回原责任；缺证补相交项 |
| W50 文档 | 文档审查者接当前代码与使用说明 | 输入/运行/输出/失败、引用及真实状态→任务负责人 | 使用者可消费，已做/未做清楚 | 文档回作者；运行缺证不改名通过 |
| W60 交付 | 交付规划者接全部同候选结果及当前许可 | 状态、文件/制品身份、依赖、未验与接续→使用者/有权交付者 | 只声明当前目标已满足的范围 | 必要失败/未知回最早失效阶段；不自动部署 |
Workflow只组织Agent交接；方法和工具由Agent通过Skill取得，不在这里复制标准算法或跳层执行业务。
- 涉SQL、表/索引、分页或查询规模时，交查询审查者，再回原设计/代码与验证；索引建议不是DDL批准，SQLite样本不证明MySQL性能。无SQL须给不触发依据。
- 失败根因未知时走诊断者；已知精确问题交原作者，不强制重复排查。环境缺失先补合法前置，不能虚构测试通过。
- 需要分离审查时，审查者读取同一冻结候选及最小必要证据；如实标真实上下文和覆盖。作者自查不签最终独立通过。
必要验收、保持项、失效复验与要求的审查均有同候选证据，文档和残余问题可核，才报该范围交付就绪。分别列实现、编译、实际用例、Spring装配、外部联调、提交/推送、部署和现场验收；一个阶段不能替另一个。
代码/测试变化使相交结论失效。失败保留输入、前置、命令、实际与预期；未知动作先查受理状态，不重放副作用。预算不因换工具、窗口或候选清零；停止时交首个断点、未决、责任和恢复条件。
发布、构建制品、部署及真实业务调用只按当前明确授权；本流程不自带这些权限、自动重试引擎、CI或后台服务。