用途：该技能专门负责 Verification Record（验证记录）的产出、校验和确定性的声明收敛，是唯一将证据、不变量、边界增量、门禁、提供方能力和合并授权解释为最终处置的技能。其他技能只能收集事实或标记缺口，不得自行实现该策略。
主要能力：接收调用方提供的规范化 ticket ID、Ticket Envelope 工件引用和冻结的 CandidateRef，并结合验收标准、实现/简化/评审/QA 各阶段结果、证据记录、不变量登记、外部边界增量、门禁与规范化提供方记录、请求的操作与声明，以及在请求合并时的精确 SHA 合并授权，进行绑定、校验和归约。输入缺失、过期、矛盾或未经验证时按未知或阻断处理，不推断实时访问、提供方支持、批准、合并成功或生产行为。
使用方式：通过脚本命令执行，例如 python3 -B "$VERIFICATION_AUDIT_ROOT/scripts/verification_contract.py" validate <bundle.json>、reduce <bundle.json>，以及带 --pr-head-sha 的 validate-pr。VERIFICATION_AUDIT_ROOT 指从技能目录或 SKILL.md 位置解析的绝对根路径，而非仓库工作目录。与 ticket-autopilot 的检查点适配器配合时，只生成一次语义 bundle 输入，由运行器序列化、哈希、校验、归约和恢复；运行器须注入本技能的 validate_bundle 与 reduce_claims 函数。
适用场景：用于需要对冻结候选版本做可审计验证、声明收敛和合并前授权校验的流程。
限制：单次调用易变输入上限为 12017 个规范化 UTF-8 字节，且有单次输出上限；超出时应发出 schema-3 部分检查点并标记预算耗尽，不得为适配上限而弱化证据分类、因果范围、边界核算、验证职责或声明上限。无法建立契约时应 fail closed，而不是输出部分 PASS；无实质性运行时或发布声明时说明审计不适用。