이 논문은 에이전트 평가에서 보고된 주장이 남은 증거로부터 재계산 가능한지(충분성)와 기록이 약속된 실험 전체를 포괄하는지(커버리지)를 검증하는 ClaimReceipt를 제안한다. 이는 유형화된 트랜잭션 증거를 서명된 실험 매니페스트에 결속시켜 각 주장에 대해 PASS·INVALID·INCONCLUSIVE 판정을 내리는 클레임 단위 검증기다. 1,392건의 과거 거래 기록에 대해 CR-2 검증기는 5개의 수작업 감사 판정을 모두 재현했고, 600개 결정론적 기록과 792개 사후생성 기록을 정확히 재현했으며, 11개 의미론적 결함을 모두 탐지하면서 오탐은 0/8이었다. 이어진 실전 CR-3 실험에서는 터미널 영수증 하나를 누락시키면 INCONCLUSIVE_COVERAGE로 판정되어 사전 예측과 정확히 일치했다. 증거 계측 오버헤드는 모델 추론 시간의 0.021%, 거래당 9.9KB에 불과하다.

• •ClaimReceipt는 에이전트 평가 주장의 재계산 충분성과 실험 커버리지를 검증하는 클레임 단위 시스템이다.
• •1,392건 거래 기록에서 CR-2 검증기가 5개 수작업 감사 판정을 전부 재현하고 11개 의미 결함을 오탐 0건으로 탐지했다.
• •프로스페티브 CR-3 실험에서 증거 누락 시 INCONCLUSIVE 판정이 사전 예측과 정확히 일치했다.
• •계측 오버헤드는 추론 시간의 0.021%, 거래당 9.9KB로 매우 낮다.
• •저자들은 자체 명세조차 독립적 독자에게 아직 완전히 명확하지 않다고 지적한다.