用途：审计测试的独立证明价值，即“如果这个测试消失，会有什么缺陷逃逸”。产出是契约到存活测试的映射，并给出保留、修复、合并或删除的证据。目标不是减少测试数量，而是以相同或更好的信心降低维护成本。该技能负责判断测试是否增加证明以及证明归属；write-tests 负责如何编写和证伪测试，review 负责收尾变更。
主要能力：限定审计范围，读取仓库与作用域指令，选定生产职责，找出其测试、夹具、共享套件与 CI 选择规则，记录起始修订、本地变更与测试结果，区分既有失败与无法运行的检查。追踪断言实际检测的内容，检查调用方、同类实现、重叠覆盖与历史原因。在编辑前记录处置决定：保留、修复、合并或删除，并附证据、清理解锁项、风险与验证命令。选择存活所有者，跨记录寻找整层冗余，指定负责每个契约的套件及其必须吸收的唯一用例。
使用方式：先做只读发现与证据记录，再变更一个连贯边界；将唯一用例迁入存活套件后再移除旧位置，扩展既有用例与夹具而非克隆设置，同步移除不再需要的测试钩子与支持代码，更新测试发现与 CI 注册。证明保留：对比被移除断言与存活断言，用 write-tests 证伪修复或转移的回归覆盖，隔离临时生产变更并恢复原始字节，运行所有者与同类套件及必需仓库检查。
适用场景：精简冗余测试、调查实现耦合、子系统级测试清点与整合、判断静态检查是否应替换为真实命令。
限制：怀疑重复不足以删除；缺失证据应作为未决问题而非删除依据。既有失败可能是产品缺陷，应复现调查，不得为让审计变绿而移除有效断言。仅当清点无未检查条目时才能声称完成子系统审计。具体安装与调用命令暂未提供。