mcpField
V
verification-audit

verification-audit

github.com/carlitose测试与质量042 次安装1 周前更新
代码仓库

关于 verification-audit

用于生成和验证 Verification Record，并依据提供的证据、不变量、门槛及提供方观察结果确定性地缩减声明。它面向需要可追溯判定的工作流；缺失或矛盾的输入会被视为未知或阻塞项。

主要功能

  1. 01将结果绑定到当前 CandidateRef
  2. 02验证证据、映射、边界和门槛
  3. 03分类证据并限制声明强度
  4. 04确定性地缩减声明
  5. 05适用时检查精确头提交的合并授权

适用场景

  1. 01审计代码候选项的验证证据
  2. 02识别阻塞缺口和未解决门槛
  3. 03依据观察到的证据确定允许的声明

安装

复制下面的命令，在终端中运行。

$npx skills add https://github.com/carlitose/agent-skills --skill verification-audit

安装后在 Claude Code 中输入/verification-audit确认已加载。

包含的文件

除 SKILL.md 外，安装时一起下载的参考资料和脚本。

agents/
openai.yaml
references/
verification-contract-v2.json
verification-record.md
scripts/
verification_contract.py
tests/
test_verification_contract.py
tests/fixtures/
claim-reduction-cases.json

详细介绍

验证审计

负责生成和验证 Verification Record，并进行确定性声明归约。它是唯一一个将证据、不变量、边界变更、门禁、提供方能力和合并授权解读为最终判定的技能。

完整的规范性约定如下：

其他技能可以收集事实或标记缺口，但不得独立实现此策略。

输入

要求调用方提供规范化的票据 ID、Ticket Envelope 工件引用和冻结的 CandidateRef，以及以下内容：

  • 已规范化票据交接中的验收标准；
  • 实现、简化、审查和 QA 的阶段结果；
  • 包含实际类别/结果及因果引用的证据记录；
  • 不变量登记表和 External Boundary Delta；
  • 门禁和规范化的提供方记录；
  • 请求的操作和请求的声明；
  • 请求合并时提供针对精确 SHA 的合并授权。

将缺失、过时、相互矛盾或未经验证的重要输入视为未知或阻塞。绝不推断实时访问权限、提供方支持、批准、合并成功或生产行为。

易变输入上限

  • max_volatile_bytes：每次调用最多 12017 个规范化 UTF-8 字节，这是在 TK-01 和 TK-02 检查点事件中观察到的最大序列化 verification_inputs 负载。
  • max_single_output_bytes：12017，取自同一观察到的负载。

将粘贴的阶段结果、证据正文、提供方输出和工具结果在 CRLF 或单独的 CR 规范化为 LF 后计入。首先使用规范化的输入清单；在命令输出进入上下文前先将其截断。优先使用路径加 SHA-256 引用，而不是粘贴工件；仅在特定因果或约定问题需要时才加载工件正文，并将其字节数计入同一总量。如果下一次必要读取会超出上限，则输出包含精确剩余引用和 budget-exhausted 的 schema-3 部分检查点；将该事实保留为未知或门禁状态。绝不为了满足上限而弱化证据分类、因果范围、边界核算、验证职责或确定性声明上限。

审计流程

  1. 将每个阶段的结果和嵌套产物绑定到同一个当前 CandidateRef。
  2. 根据契约版本 1 验证 ID、引用、必需映射、边界完整性和门禁一致性。
  3. 确认证据覆盖发生变化的因果机制，且其类别不强于观测所能支持的级别。
  4. 确认每项具有外部意义的变更都有明确的处置、不变量、证据/QA 映射、声明映射，以及在问题未解决时设置的门禁。
  5. 规范化提供方能力和变更观测。必需但不可用的能力必须且只能对应一个明确的提供方能力门禁。
  6. 在适用时验证针对精确 HEAD 的合并授权。
  7. 对于每个 schema-3 叶节点，将其隔离级别复制到现有阶段限制中，不更改 Verification Record schema。若独立性声明的隔离级别为共享上下文或未知，则必须添加限制并设置明确的 unsupported-independence 门禁。
  8. 运行确定性归约器。声明的实现状态、最高声明级别、发布状态和最终处置必须与归约结果完全一致。

当 ticket-autopilot 提供其验证检查点适配器时，只生成一次语义捆绑包输入，并让运行器对其进行序列化、哈希、验证、归约和恢复。此技能仍负责所有证据分类、边界授权、矛盾、不确定性、门禁和最终措辞。运行器必须注入此技能的 validate_bundle 和 reduce_claims 函数；只有当 CandidateRef 和规范化输入哈希均未变化时，检查点缓存命中才能复用这些函数之前的精确输出。跳过、模拟、阻止或不可用的实时边界仍须作为明确输入，不能通过检查点机制升级。

命令

VERIFICATION_AUDIT_ROOT 表示从可用技能目录或此 SKILL.md 文件的位置解析出的绝对技能根目录，绝不从仓库 cwd 解析。

python3 -B "$VERIFICATION_AUDIT_ROOT/scripts/verification_contract.py" validate <bundle.json>
python3 -B "$VERIFICATION_AUDIT_ROOT/scripts/verification_contract.py" reduce <bundle.json>
python3 -B "$VERIFICATION_AUDIT_ROOT/scripts/verification_contract.py" \
  validate-pr <bundle.json> <body.md> --pr-head-sha <observed-sha>

Ticket Markdown 解析属于规范的 ticket_contract，而非调度器。此技能仅使用已验证的身份、Ticket Envelope 产物引用和 CandidateRef；不会从 Markdown 或文字描述中重新发现 ticket 身份。仅使用技能的调用方可通过仅限技能的契约提供这些内容，而无需运行账本。相同的验证器、当前候选绑定、归约器和授权检查仍然适用。

输出

对于运行器交接，返回一个 schema-3 verify 叶节点结果及已验证的捆绑包。将其 schema-1 quality 证据绑定到精确的 handoff-ready 检查点哈希和 CandidateRef；中断情况仍属于未通过的部分交接。单独使用时，返回已验证的捆绑包和简洁的审计摘要：

  • CandidateRef 和产物版本；
  • 实现状态和最终处置；
  • 声明上限以及允许/禁止的措辞；
  • 阻塞项和未关闭的门禁；
  • 提供方限制和合并授权状态；
  • 残余不确定性。

如果不存在实质性的运行时或发布声明，请说明此审计不适用。如果无法确立契约，应采取封闭失败策略，而不是输出部分 PASS。

评论

支持 Markdown