{
  "tool_id": "art-652-verify-receipt",
  "kernel_id": "art-652-verify-receipt",
  "display_name": "Verify Receipt",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_control",
  "purpose": "Offline verifier for AINumbers Evidence Envelope v0.1 receipts. Given a receipt JSON, recomputes the RFC 8785 JCS signing preimage, verifies the Ed25519 (EdDSA) signature against the did:key resolved from issuer_id/signatures[].kid, checks hash-field shape (sha256:-prefixed, 64 hex chars), and, when a prior receipt is supplied, recomputes previousReceiptHash to prove the chain link. Verify-only: never issues a receipt, never contacts a transparency log or registry, never resolves a DID document over the network. Every check recomputes from the receipt's own bytes; no self-claimed hash or verdict field is trusted (SO #34).",
  "control_description": "Offline verifier for AINumbers Evidence Envelope v0.1 receipts. Given a receipt JSON, recomputes the RFC 8785 JCS signing preimage, verifies the Ed25519 (EdDSA) signature against the did:key resolved from issuer_id/signatures[].kid, checks hash-field shape (sha256:-prefixed, 64 hex chars), and, when a prior receipt is supplied, recomputes previousReceiptHash to prove the chain link. Verify-only: never issues a receipt, never contacts a transparency log or registry, never resolves a DID document over the network. Every check recomputes from the receipt's own bytes; no self-claimed hash or verdict field is trusted (SO #34).",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:2662a63bf15814b04ad4a314cabd6b1b4f47260c916cc58df3ae59bbd24eedf9",
  "trust_label": "deferred: deterministic source published, zkVM proof not yet generated; New gpu:false node, art-652-verify-receipt, built 2026-08-20 (MCP-VERIFY-RECEIPT-TOOL-1). No GPU prove has been run and none is proposed by this row, so it is deferred per the section 18 steady-state rule (RIDER-KERNEL.md). Run GPU-CYCLE-PREFLIGHT-1's static pre-screen once a prove row is staged, then measure user_cycles with runq-cpu exec before booking.",
  "data_vintage": "2026-08-20",
  "last_validated": "2026-08-20",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "deferred",
  "wave": 108,
  "source_url": "https://ainumbers.co/chaingraph/art-652-verify-receipt.html",
  "generated_at": "2026-08-21T23:48:31.476Z"
}