用途：/prove 用于判断某张工单、规格或约定结果是否真正达成。它核验固定的候选版本并报告差距，不修复候选；需要修复时用 /repair-gaps，修复后需重新运行 /prove。/implement-contract 负责开发候选，/review-implementation 单独审查契约忠实度、范围与工程质量，二者都不能替代核验。
核验前需阅读验收契约协议，其中定义规格封装、身份、证据与判定。判定分两类：PROVEN 要求每个实质性需求都有可信证据、无契约差异且核验期间候选项保持固定；NOT PROVEN 指被接受需求缺乏可信证据、仍存在实质性反例或契约差异、所需核验不可用，或候选项身份不确定。可选建议与非阻塞限制本身不阻止 PROVEN。具体违规为 disproven，证据不可用或不确定为 not proven。
流程上，它先依据 .p2p/work/<slug>/contract.md 确立契约，保留需求 ID、边界、接口、判定依据、开放问题与排除项；再以完整提交 SHA 或精确快照确定候选项并记录环境；随后为每个需求映射观察与独立判定依据，检查关键反例，并在不改动产品文件、候选项与契约的前提下运行最小高信号检查；最后将 proof.md 与安全保留证据写入 evidence/ 并返回逐条需求判定、环境、反例、候选稳定性与未解决差距。核验不得提交、推送或声明修复。
限制：无版控契约时返回 NOT PROVEN 并转 /plan-acceptance；工作树脏或不断变化且无法建立精确快照时为 NOT PROVEN；仅运行路径、同义断言或不可失败 mock 的测试不能证明承诺；证据记录为可选项，其存在不产生判定。