SuperAPI AI 工具集

slice-impl

编程与开发

查看项目

更新于 10-15 22:41

技能介绍

用途:当某个切片(slice)存在失败的 tracer 测试时触发,编写让该失败测试通过的最小实现,同时保持已有测试为绿色。

主要能力与流程:

  1. 前置校验:确认该切片存在测试文件、测试当前失败(非零退出)、且测试属于本切片;否则立即停止并提示。
  2. 加载约束:在写代码前读取 .substrate/anti-pattern/INDEX.md,按切片的 touched_paths 匹配并加载相关反模式作为硬约束;索引缺失不阻塞。
  3. 读取切片定义:从 docs/plans/<workflow_id>.md 提取 id、title、acceptance_criteria、touched_paths、out_of_scope。其中 out_of_scope 为硬性禁止项。
  4. 通读失败测试:识别其覆盖的验收标准、断言内容、导入或调用的接口入口,以及未断言的行为。
  5. 规划最小实现:须同时满足失败测试通过、已有测试不回归、不违反 out_of_scope、不违反反模式、且改动仅限于 touched_paths。若需改动越界或需实现 out_of_scope 项,应停止并上报,而不是绕行。
  6. 编写实现:只实现满足断言所需的最小表面,不修改测试文件,不做范围蔓延。
  7. 验证:运行失败测试确认转绿,运行完整测试套件确认无回归;若仍失败或出现回归,修正实现而非改测试。
  8. 报告:输出切片 id、标题、测试路径、写入或修改的文件及说明、被强制排除的 out_of_scope 项、应用的反模式数量与 id、已有测试通过数与回归数。

限制:测试文件只读,禁止以任何方式修改;无失败测试或测试属于其他切片时立即拒绝;out_of_scope 为禁止性要求而非建议;反模式须在写代码前加载并按 touched_paths 过滤;改动不得超出切片声明的 glob;目标是满足测试的最小改动,进一步重构属于 slice-refactor 技能。技能通过共享产物路径组合,不应提及具体执行框架。