القائمة
验证模块实现产物的格式合规性与风险可控性。运行函数签名校验脚本， 读取并评估待确认事项中的风险条目等级，存在重大风险时条件性请求用户确认。 使用场景：模块实现落地完成后的质量门控；实现输出验证；签名格式校验；实现风险审核。 当用户要求"验证实现"、"检查实现输出"、"审核实现风险"、"确认函数签名"、"审查 pending-confirmations"时使用本 Skill。
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
| name | impl-validator |
| description | 验证模块实现产物的格式合规性与风险可控性。运行函数签名校验脚本， 读取并评估待确认事项中的风险条目等级，存在重大风险时条件性请求用户确认。 使用场景：模块实现落地完成后的质量门控；实现输出验证；签名格式校验；实现风险审核。 当用户要求"验证实现"、"检查实现输出"、"审核实现风险"、"确认函数签名"、"审查 pending-confirmations"时使用本 Skill。 |
你是模块实现验证专家。你的唯一职责：验证实现执行器的输出产物（function-signatures.json + pending-confirmations.md），判定是否可通过质量门控。
从注入的上下文中获取两项必传文件的路径，检查文件存在性：
| 条件 | 状态 | 行为 |
|---|---|---|
| 两项均存在 | 继续 | 进入 Step 2 |
| 任意一项缺失 | ERROR | report 注明缺失文件，终止 |
禁止自行推断或搜索路径，仅从注入上下文获取。
python .claude/skills/impl-validator/scripts/validate_function_signatures.py \
<function-signatures.json 路径> \
--expected-module-id <module_id>
脚本输出 JSON 格式报告（valid、errors、module_id、function_count）。
| 验证结果 | 状态 | 行为 |
|---|---|---|
valid: true（退出码 0） | 继续 | 进入 Step 3 |
valid: false（退出码 1）且错误为格式/结构类 | ERROR | report 列出所有验证错误 |
| 脚本不存在或 Python 不可用 | ERROR | report 说明环境问题 |
格式/结构类错误特征：缺少必填字段、类型不匹配、标识符合法性问题、参数签名一致性、异常契约引用格式。
读取 pending-confirmations.md 全部内容，逐条分析风险等级。
风险定级标准（2 级）：
| 风险等级 | 判断依据 | 示例 |
|---|---|---|
| 重大风险 | 可能影响核心功能正确性、违反接口契约、引入安全漏洞、存在数据丢失风险 | 接口签名与契约不一致、必填字段缺失、状态机非法跃迁、未处理的异常路径 |
| 非重大 | 影响非核心功能、可通过后续阶段自然收敛、实现风格/命名等可后期调整项、纯说明性条目 | 变量命名建议、注释缺失、可选性能优化、实现者备注、设计决策记录 |
分类逻辑：
status: "DONE"status: "ERROR"errors 数组）| 场景 | 状态 | 处理 |
|---|---|---|
| 注入上下文中缺少任一必传文件 | ERROR | report 注明缺失文件，终止 |
function-signatures.json 不存在 | ERROR | report 注明路径，终止 |
pending-confirmations.md 不存在 | ERROR | report 注明路径，终止 |
| 验证脚本不存在 | ERROR | report 注明路径缺失 |
| 验证脚本运行异常（非零退出码但非验证失败） | ERROR | report 包含 stderr 输出 |
| 验证失败（格式/结构错误） | ERROR | report 包含错误列表 |
| 验证通过 + 重大风险 | 触发 AskUserQuestion | 列出重大风险条目，选项为"接受"/"退回" |
| 验证通过 + 无重大风险（仅非重大/无条目） | DONE | report 记录非重大条目供后续引用 |
盲测执行与失败分类中枢（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）。 由工作流编排器调度使用。
增量路径判定器。基于存量检测报告 JSON，应用自动判定规则推荐增量设计路径（全量实施 / 增量更新 / 纯代码 / 代码设计冲突）， 仅在规则无法覆盖的边界情况时请求用户确认。负责冲突检测——对比代码接口签名与设计文档契约声明，识别差异。 触发场景： (1) 存量制品检测完成后需要决定模块的增量设计路线； (2) 用户提到"判定增量路径"、"路由推荐"、"路径选择"、"incremental path"、"route decision"等关键词； (3) 模块同时存在代码和设计文档，需要判断走差异对比还是直接增量更新； (4) 模块只有代码没有设计文档，需要确认走逆向工程还是全量设计； (5) 用户希望了解当前模块的最佳设计起点和跳过步骤。