用途：Validate 对一个已完成的实现候选（subject）按其原始验收意图做一次全新判断，返回 PASS、FAIL 或 NOT_PROVEN，给出准则级证据后停止。它不同于 Review（给建议或复查）和 Reality Check（判断某个陈述是否成立）。作者本人不能发布有约束力的 PASS，作者摘要或信心只是待核查主张，不是证据。
判定顺序：若判断期间 subject 发生变化、变更路径覆盖不全，或作者与验证者身份缺失、冲突、未证实时，结果为 NOT_PROVEN；若某准则被证明失败或变更被证明超出范围，则为 FAIL，即使其他准则未验证；若有范围内准则缺证据，为 NOT_PROVEN；仅当所有准则均有证据、checked 非空且 not_checked 为空时才是 PASS。
何时值得做：普通变更由作者检查与 CI 把关即可；当调用方要求验收判定或独立证明，或错误落地后难以低成本撤销（已发布版本、用户会遵循的说明、安全边界、破坏数据或跟踪状态、删除保护性检查），或没有确定性检查覆盖所改行为时使用。判断成本应远小于工作成本。
主体绑定：使用 AgentOps 时，可用 ao provenance manifest --root "$REPO_ROOT" --include "$CHANGED_PATH"（每个变更路径一个 --include）；在 Git 仓库中用提交 SHA（git rev-parse HEAD）与变更路径（git diff --name-only <base>...HEAD）；未提交工作用 git status --porcelain 及各文件 shasum -a 256。仅凭对话提供的 diff 视为只有所给内容，其余未验证。
身份与新鲜度：作者与验证者身份须明确且不同，新鲜度须由运行时或调用方声明并指明声明者；角色名、人格切换或自我担保不算。身份缺失即 NOT_PROVEN。
评审者：默认在作者同一模型家族内选一名新评审者（Codex/OpenAI 对 Codex/OpenAI，Claude/Anthropic 对 Claude/Anthropic），使用运行时配置的有能力模型，除非固定。跨模型评审需显式选择 --cross-model [model]（属于技能提示选择，不是 AO 标志）；必需环节无法运行则 diversity_unsatisfied 且整体 NOT_PROVEN。超时是缺失判定，不是 FAIL。
报告格式：Verdict、Subject（含起止是否一致）、逐条准则及证据、Findings、可选 Notes、Checked、Not checked、Identity（作者、验证者、由谁声明新鲜度）。新发现需给稳定短类别并说明是既有、引入还是未知。
记录与限制：仅当调用方要求机器可读证据或声明的消费者需要时，通过 ao provenance store-verdict 持久化；Validate 不负责修复、重试、交付或跟踪状态转换，已知发现交回作者修复。其他细节暂未提供。