用途：verify-diff 用于经验性地验证某个代码 diff 是否达成了其声明的目标。它通过派发一个无偏见的执行体，实际运行自动推导出的评估场景来完成验证；当执行体在判定通过时返回 suggested_edits: []（即声明无更多需要修复之处），即为收敛信号。该技能会循环执行，直到出现此信号、达到最大迭代次数或触发安全护栏。
调用方式：设计为从 dev-workflow-triage 等非交互式流程中调用，本身从不提示用户，要么返回结构化摘要，要么提前终止并给出机器可读的原因码。调用方需以自然语言传入字段：Description（diff 应解决的原始问题）、Suggested fix direction（diff 期望形态）、Target file（单个相对路径，单文件范围）、Base ref（可选项，默认 HEAD，diff 对比的 git ref）、Max iterations（可选项，默认 3）。三个必填字段全提供进入 explicit-args 模式；全缺失进入 auto-derive 模式；仅提供 1 或 2 个则提前返回 skipped 与 reason "incomplete args"。运行期间调用方不得暂存改动，因为该技能对比工作树与 Base ref。
主要能力：auto-derive 模式通过 git diff 收集差异并按 skills/<name>/... 与 .claude/skills/<name>/... 前缀分组，同名技能跨前缀去重；非技能路径进入 non_skill_files。空 diff 或无技能文件时提前返回 skipped。每个技能按 Max iterations 预注册任务并派发执行体，载荷由 --- DIFF ---、--- AFFECTED FILES ---、--- INFERENCE PROMPT ---、--- RESPONSE FORMAT --- 四段组成。响应格式在 explicit-args 基础上扩展 inferred_intent（顶层必需，取 iter 1 值并固定）和带 file 字段的 suggested_edits。汇总阶段按优先规则输出 converged|partial|unresolved|skipped|conflict。
限制：不支持多文件 diff（explicit-args 模式仅单文件）；失败路径包括缺失目标、空 diff、schema 违规、越界写入与 frontmatter 损坏等；暂未提供其他收费、平台或效果信息。