{
  "tool_id": "art-652-verify-receipt",
  "tool_version": "1.0.0",
  "display_name": "Verify Receipt",
  "mcp_name": "compute_verify_receipt",
  "mandate_type": "compliance_control",
  "wave": 108,
  "gpu": false,
  "url": "https://ainumbers.co/chaingraph/art-652-verify-receipt.html",
  "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).",
  "input_schema_ref": "chaingraph/art-652-verify-receipt.html#manifest",
  "consumes": [],
  "feeds": [],
  "status": "live",
  "conformance_fixtures": true,
  "compute_capability": "server",
  "compute_images": [{"system":"sha256-source","image_id":"sha256:2662a63bf15814b04ad4a314cabd6b1b4f47260c916cc58df3ae59bbd24eedf9","valid_from":"2026-08-20"}],
  "export_capability": ["json"],
  "standards_basis": "not_applicable",
  "scope_statement": "Verifies AINumbers Evidence Envelope v0.1 receipts against the ratified format recorded at research/EVIDENCE-ENVELOPE-V01-RATIFIED-2026-08-20.md. That format is an AINumbers-internal ratified artifact rather than a third-party published standard or regulation, so standards_basis is not_applicable: SO #38 binds nodes implementing an EXTERNAL standard. Computes signature validity, hash-field shape and previous-receipt chain linkage from the receipt's own bytes; it does not issue receipts, resolve DID documents over the network, or consult a transparency log.",
  "compute_proof_ready": "deferred",
  "deferred_reason": "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."
}
