盲测执行与失败分类中枢（v2.0.0）。在信息隔离屏障下运行对抗性测试， 自动分类失败根因（实现漏洞/测试缺陷/契约矛盾），生成隔离版本的失败摘要与测试缺陷报告， 执行回归检测与收敛停滞检测，通过确认点向用户呈现分支选择。 当需要运行对抗性测试、分类测试失败、生成隔离摘要或判定修复方向时使用本 Skill。
对抗性模块实现流水线入口——环境就绪与契约冻结。 负责环境检查、强化契约提取（含模糊边界显式仲裁）、契约冻结、 执行计划预览与用户确认。支持 core / recontract / contract-update / from-reverse 四种模式。
差异仲裁器。三模式 Skill：模式 A（设计变更差异分析）——对比当前设计文档与已冻结的 contract-expectations.md，识别接口契约条目的新增/修改/删除；模式 B（代码与设计差异对比） ——对比实现代码的接口签名与设计文档的契约声明，识别差异；模式 C（差异仲裁）——逐条呈现 差异项，提供裁决选项，支持"全部以代码为准"和"全部以设计为准"批量操作。 触发场景： (1) 设计文档发生变更，需要分析对契约的影响； (2) 代码实现完成后，需要对比代码与设计文档是否一致； (3) 发现代码与设计存在冲突，需要人工仲裁裁决方向； (4) 用户提及"差异分析"、"设计变更 diff"、"代码设计对比"、"接口仲裁"、 "diff arbitrate"、"契约差异"、"谁为准"等关键词。 核心特征：自动差异检测（模式 A/B）→ 人工裁决（模式 C）。模式 C 在逐条呈现差异时 提供三个裁决方向，并支持批量快捷操作。
存量制品检测器（轻量版）。纯文件系统扫描，检测指定模块的四类存量制品—— 设计文档、实现代码、测试代码、契约文件——并输出结构化 JSON 报告。 本 Skill 不做任何 AI 推理，全部检测逻辑由确定性扫描脚本完成。 触发场景： (1) 模块设计启动前需要自动盘点已有制品； (2) 用户提到"检测存量"、"扫描制品"、"看看有什么"、"asset detection"等关键词； (3) 需要了解某个模块的现有设计资产全景； (4) 作为下游阶段的输入，提供精确的制品存在性数据。
模块实现执行器。根据输入材料类型自动选择工作模式——全量优雅实现（A）、 最小化修复迭代（B）、增量更新或冲突修正（C）。 由工作流编排器调度使用。
验证模块实现产物的格式合规性与风险可控性。运行函数签名校验脚本， 读取并评估待确认事项中的风险条目等级，存在重大风险时条件性请求用户确认。 使用场景：模块实现落地完成后的质量门控；实现输出验证；签名格式校验；实现风险审核。 当用户要求"验证实现"、"检查实现输出"、"审核实现风险"、"确认函数签名"、"审查 pending-confirmations"时使用本 Skill。
增量路径判定器。基于存量检测报告 JSON，应用自动判定规则推荐增量设计路径（全量实施 / 增量更新 / 纯代码 / 代码设计冲突）， 仅在规则无法覆盖的边界情况时请求用户确认。负责冲突检测——对比代码接口签名与设计文档契约声明，识别差异。 触发场景： (1) 存量制品检测完成后需要决定模块的增量设计路线； (2) 用户提到"判定增量路径"、"路由推荐"、"路径选择"、"incremental path"、"route decision"等关键词； (3) 模块同时存在代码和设计文档，需要判断走差异对比还是直接增量更新； (4) 模块只有代码没有设计文档，需要确认走逆向工程还是全量设计； (5) 用户希望了解当前模块的最佳设计起点和跳过步骤。
对抗性验证最终报告生成与验收技能（v2.0.0）。收集全流程证据文件，执行最终全量测试运行， 运行契约一致性与隔离合规审计脚本，执行分组验收检查， 生成 adversarial-report.md、TESTING.md 和 IMPLEMENTATION_NOTES.md， 通过确认点让用户审查并选择"接受并结束"或"追加一轮修复"。 当需要生成对抗验证报告、验收模块实现、审计隔离合规性或整理测试文档时使用本 Skill。