SuperAPI AI 工具集

re-verify-requirements

通用与其它

查看项目

更新于 10-15 17:31

技能介绍

re-verify-requirements 是逆向工程流程第三阶段的 Critic 技能,用于对照实际源代码验证 re-extract-requirements 生成的 EARS 需求,在独立 agent 上下文中运行。其门禁规则要求所有组件获得 PASS 或 WARN 判定后,第四阶段(re-generate-report)才可继续。

核心理念为代码即真相、可追溯到行、行为优先于意图。执行流程包括:读取 manifest.json 并确定待验证组件(可指定单个组件,或验证 phase3.completed 中 verification 为 null 的全部条目);逐条核对需求中的 file:line 引用,分类为可追溯、偏移(±5 行内)、不可追溯或幻觉;验证 EARS 类型(Ubiquitous、Event-driven、Unwanted、State-driven、Optional)是否分类正确;核对具体值(阈值、超时、错误消息、配置键);对照源码与第二阶段逻辑图检查分支完整性;扫描禁止用词(如 appropriate、fast、simple、support、properly、should 等);生成验证报告至 docs/reverse/{analysis}/verification/v3-requirements-{component}.md;更新 manifest 中的 verification 字段与 phase3.status。

判定标准:源码可追溯性 PASS≥95%、WARN 85-94%、FAIL<85%;EARS 分类 PASS 100%、WARN≥90%、FAIL<90%;具体值同类;分支完整性 PASS≥90%、WARN 75-89%、FAIL<75%;歧义词 PASS 0、WARN 1-2、FAIL≥3;幻觉 PASS/WARN 0、FAIL≥1。任一 FAIL 即整体 FAIL。禁止修改需求文档与源代码,禁止批准 FAIL 状态文档,禁止访问执行者的对话上下文。使用方式与安装命令未在资料中提供。