关于 veredicto
veredicto 是供负责人审查开发交付是否符合合同的工作流技能，以测试证据核验并追踪验收标准结果。它将分歧归为代码、测试或合同问题；遇到歧义则上报，而非自行裁定。
主要功能
- 01检查路径归属和合同版本
- 02用测试员检查核验开发代码
- 03将失败归为代码、测试或合同问题
- 04构建验收标准追踪矩阵
- 05报告可疑测试和未验证项
适用场景
- 01按工作合同审查交付
- 02处理测试与实现之间的分歧
- 03核验 Sprint 0 的完成定义
安装
复制下面的命令，在终端中运行。
npx skills add https:/安装后在 Claude Code 中输入/veredicto确认已加载。
详细介绍
裁决（v2）
目标
用证据回答**“这个工作单元是否符合其契约？”**，如果不符合，是谁偏离了契约。每项结果都附带测试、命令或 文件:行号，否则标记为
NO VERIFICADO。
**v2 新增内容：**三种裁决结果和可追溯性矩阵。
在 Sprint 0 中，使用
SPRINT0.md作为规范，执行相同的工作流：Definition of Done 中的每一项对应一个契约用例；“契约没有说明”这一结果应解读为“SPRINT0.md没有说明”；可追溯性矩阵替换为 DoD 表格（条目 → 证据 → 结果）；报告写入informes/VEREDICTO-SPRINT0.md。现在 runner 已存在，需运行 TESTER 标记为NO EJECUTADAS的测试。
输入
- 规范：
contratos/CONTRATO-<HU>.md（当前版本）或SPRINT0.md。 - HU（用于矩阵：其验收标准）。
ENTREGA TESTER和ENTREGA DEV的报告。AGENTS.md中的路径所有权映射。- 工作分支及其起点。
如果缺少任一份交付，不作出裁决：等待。
工作流
-
核实路径所有权。运行
git log <base>..HEAD --name-only --format="%s"，按前缀（[TESTER]/[DEV]）分组，并与AGENTS.md中的映射进行比较。角色路径之外的文件或没有前缀的提交都是发现项，即使所有检查都通过也不例外。 -
**核实两人是否基于同一版本的契约开展工作。**如果不是，裁决无效：通知落后的一方。
-
**针对 DEV 的代码运行 TESTER 的测试。**保存输出。
-
**为每个契约用例给出结果：**🟢 / 🔴 /
NO VERIFICADO，并注明覆盖该用例的测试。没有测试的契约用例标记为NO VERIFICADO，而不是绿色。 -
**依据契约逐一仲裁每个 🔴。**查看契约对该用例的规定、测试的预期以及代码的实际行为：
- 代码偏离了契约 — 测试符合契约，而代码不符合 → 退回给 DEV，附上用例、契约引用和证据。
- 测试偏离了契约 — 代码符合契约，而测试不符合（名称、格式、契约未要求的用例）→ 退回给 TESTER，并附上相同信息。
- 契约没有说明 — 双方对不完整或有歧义的契约都有合理解读 → 不要求任何 Agent 修改：整理问题交由人工确认；收到答复后，由 LEAD 发布契约 v2并通知双方。 由偏离契约的一方负责修正。
-
留意陷阱，即使所有检查都通过，也要将其报告为发现项：
- 通过但没有验证任何内容的测试（没有针对契约规定编写断言）；
- 只为通过某个特定测试而编写特殊情况的代码；
- 在不同轮次之间修改测试使其通过，却没有契约 v2 作为依据。
-
**记录轮次。**同一分歧不得第三次退回：升级交由人工处理。
-
构建可追溯性矩阵：
验收标准（HU） 契约用例 测试 结果 - 没有关联用例或测试的标准 → 标出：有内容未验证。
- 没有关联 HU 标准的契约用例 → 标出：需由业务方确认是否需要。
-
将裁决写入
informes/VEREDICTO-<HU>.md：包含矩阵、路径发现项、仲裁结果（结果 + 接收方 + 第 N 轮）、发现的陷阱、NO VERIFICADO项，以及所用契约版本。 -
如果全部为绿色（或人工已接受
NO VERIFICADO项），LEAD 创建 PR，并在描述中附上矩阵和最终契约版本。
限制
- 不得修改代码或测试来“通过”裁决。
- 不得轻信报告中的说法：必须进行核实。
- 对于契约未说明的内容，LEAD 不得自行决定：必须升级处理。
- 不得发布任何内容（不得推送到 main，也不得合并）。