spec-kit-converge

spec-kit-converge 是一个面向规约驱动开发的评估与闭环技能，用于检查已完成的实现是否满足其变更所要求的内容，并把每一个缺口转化为可执行任务。资料中说明，该技能不修改代码、spec.md 与 plan.md，唯一写入操作是在 tasks.md 末尾追加一个“## Phase N: Convergence”章节；当没有剩余缺口时，tasks.md 保持不变。\n\n用途方面，它以规约制品作为意图的唯一来源，以 FRAMEWORK.md 作为治理约束，判断代码当前状态是否达标。已勾选的复选框、提交信息与实现者笔记被视为声明而非证据。为提高客观性，技能建议在可行时由具备全新上下文的子代理执行评估（步骤 2 至 4），仅向其提供变更目录、本技能说明与项目根目录，不传递实现者的总结或预期。若无法使用全新代理，则由当前执行者自行评估并在报告中说明。\n\n使用方式上，技能首先选择变更并检查就绪状态：specs/changes/<name>/ 下的 spec.md、plan.md 与 tasks.md 必须存在；若缺失则停止并指出生成相应文件的技能（spec-kit-specify、spec-kit-plan 或 spec-kit-tasks）。spec-kit-implement 必须已在当前任务列表上运行：每个任务要么已勾选，要么未勾选并注明负责人。本轮轮次等于 tasks.md 中已有 Convergence 阶段数加一。同时加载 FRAMEWORK.md（以及 FRAMEWORK.local.md 及其链接的能力文档）。\n\n随后构建意图清单，覆盖每条需求（含边缘情况需求）、每条需要可构建工作的成功标准（不含上线后度量的结果指标）、每个用户故事的独立测试、plan.md 记录的每项决策及带验证的例外、现有全部任务（不论勾选状态与阶段）、治理标准中与工作相关的强制性规则（如测试先行、活规格更新）。代码范围由 plan.md 与 tasks.md 指定的路径、各需求概念搜索以及变更所触达的内容界定，diff 仅用于确定变更触及范围，判断仍基于代码现状。\n\n证据查找阶段为每个清单项定位代码中满足它的位置，以及若移除该行为会失败的测试；无自动化测试可行时，需说明原因与替代验证方式，并判断该理由是否成立，不成立即视为缺口。产物指派给后续步骤的项记为归属于该步骤，而非缺口。阅读测试不等于确认测试，需说明是否观察到其在缺少该行为时失败。对于一连串纠正任务，判断最终行为而非被取代的步骤。\n\n缺口分类阶段，每个发现需注明来源（需求、标准、故事、计划决策或规则）并拥有稳定编号（F01、F02……）；无法追溯到来源的缺口不构成发现。缺口类型包括：missing（代码中无任何实现）、partial（部分满足）、contradicts（代码做了来源禁止的事或违反 FRAMEWORK.md 规则）、unrequested（变更添加了无来源要求的工作，需论证或移除）。变更前已存在的行为永不作为发现。若某变更引入的需求其所有引用测试在无该变更时也通过，说明未被测试固定，应提出发现。代码极少或没有时，整个规定范围都视为缺失工作。严重度依据其导致的失败：CRITICAL 为违反 FRAMEWORK.md 规则，或阻塞 P1 故事的缺失/矛盾缺口；HIGH 为核心需求或验收场景的缺失/部分缺口；MEDIUM 为次要需求的部分缺口，或理由不清的未请求工作；LOW 为轻微部分缺口、打磨项或低风险未请求工作。\n\n报告阶段先展示标题“## Convergence: <change-name>, round <n>”、发现表与证据表（来源、位置、测试或不可行原因、是否确认无该行为时失败），并给出检查统计与各级严重度计数。若有未关闭发现，则在 tasks.md 末尾追加“## Phase N: Convergence”，按现有任务格式以最高任务编号续编，每个发现对应一个任务，CRITICAL 与 HIGH 优先，引用来源（计划决策或规则按名称引用，如 plan: storage decision、FRAMEWORK.md: TDD）。不得重写、重编号、重排或删除既有任务，包括此前的 Convergence 阶段。若无发现，保持 tasks.md 不变并报告已收敛。\n\n循环机制上，任务追加后由 spec-kit-implement 按同样纪律执行，然后再次运行本技能；同一份完成工作最多运行三轮，若某轮只剩 LOW 发现则为最后一轮（追加并执行，不再复核）；三轮后仍有发现则停止并优先将关键问题交还用户。发现不能通过修改 spec.md 或 plan.md、删除或弱化测试、或表示不同意来关闭；不同意可记录到 specs/changes/<name>/disputes.md 供评审者参考，下一轮在不知情的情况下重新判断。发现仅在后续轮次确认关闭时才算关闭。\n\n适用场景为规约驱动开发的实现完成后的质量核对与闭环管理；限制包括不修改代码与规约制品、仅追加写入、评估需尽量由全新上下文执行、每份工作最多三轮、缺失文件或未运行实现技能时必须停止。资料未提供安装命令、运行命令、价格、平台支持或性能效果等信息。