ClaimReceipt: Verifying Evidence Sufficiency and Coverage in Agent Evaluations

ClaimReceipt 将评估审计拆为 sufficiency（从留存证据重算主张）和 coverage（记录是否覆盖已承诺实验全集），用类型化交易证据绑定签名 manifest，并逐主张返回三态结果。CR-2 在 1,392 条买卖记录上重现全部 5 个人工审计判定，精确重放 600 条确定性记录和 792 条生成后记录，对 11/11 语义故障检出且 0/8 误报。前瞻 CR-3 漏掉一个终端 receipt 时返回 `INCONCLUSIVE_COVERAGE`；插桩只增加 0.021% 推理时间和每笔 9.9KB，但规范可读性探针暴露了自身仍有歧义。