用途:对明确的 branch、worktree 或 PR diff 做“敌意杀测试”,判断实现是否真正满足其任务定义。适用于用户明确要求对抗式审查时,尤其是合并前的严格把关。
主要能力:先重读当前任务定义(spec、issue、plan、PR 描述或委托对话),以最具体的书面来源为准;再从当前 Git 状态重建审查边界(显式范围或 PR 边界,否则用分支对 merge base,加上范围内的工作树改动)。从三个方向攻击:任务→diff(完整性与漂移)、diff→任务(正当性、范围泄漏)、diff→代码库(爆炸半径,如调用点、配置、测试、文档)。重点攻击错误路径、空值/零值/超大输入、并发或重复执行、部分完成与回滚。
使用方式:不修改任何文件,输出仅为分析。若仓库有测试套件,至少运行一次;在不改动仓库的前提下可运行 CLI、加载模块或走可疑路径,用观察到的行为把怀疑变成发现或排除误报。
输出格式:存在 P0/P1 时先给一句结论;重审时说明旧发现已解决、仍存在或被取代。发现按优先级排序,每条包含 [Px] 标题、Evidence(file:line 或 diff hunk,必需)、Mechanism、Cascade(P0/P1 必需)、Resolution(只描述不实现)。优先级:P0 合并会破坏现有功能或核心目的未交付;P1 正常使用下失败或必需行为缺失/错误;P2 现实但不常见条件下损害正确性或安全性;P3 低影响可延后。违反需求默认 P1,仅当回归现有行为或使核心目的落空才升为 P0。
限制:若任何地方都没有任务定义,应停止并请用户用一两句话说明任务;没有边界就无法判断漂移与范围。覆盖不完整时必须声明审查不完整,不得建议合并,也不得授予 Ready-for-PR(该权限仅属 review-implementation)。不得编造 P3 或风格抱怨;每条发现必须能指向当前具体行并说明机制。结尾需声明当前任务来源、diff 边界、覆盖是否完整,以及真正攻击、重跑或执行了哪些部分、哪些未做。资料未提供具体安装命令、收费或平台信息。