{
      "tool_id": "art-192-conversion-receipt-verifier",
      "tool_version": "1.0.0",
      "display_name": "Conversion Receipt Verifier",
      "mcp_name": "verify_conversion_receipt",
      "mandate_type": "cryptographic_mandate",
      "wave": 34,
      "gpu": false,
      "url": "https://ainumbers.co/chaingraph/art-192-conversion-receipt-verifier.html",
      "description": "Re-verifies a conversion receipt from art-191: recomputes binding_sha256 over the JCS-canonical receipt and compares, checks structure and hex fields, and optionally compares digests re-hashed from the actual files. Returns a verdict of valid, binding_mismatch, digest_mismatch, or malformed, plus a per-check detail list. This verifies the domain receipt inside the artifact, which is distinct from verify_execution_hash, the utility that verifies the section 4 artifact envelope. Zero network, zero PII.",
      "input_schema_ref": "chaingraph/art-192-conversion-receipt-verifier.html#manifest",
      "consumes": [
        "art-191-conversion-receipt-builder"
      ],
      "feeds": [],
      "status": "live",
      "conformance_fixtures": true,
      "compute_capability": "server",
      "compute_images": [{"system":"sha256-source","image_id":"sha256:77570734c4be05d8e8a9f816845247675a55ed85b3e6ce17165b857dfd39da02","valid_from":"2026-07-10"},{"system":"risc0","image_id":"sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6","valid_from":"2026-07-02"}],
      "compute_proof": {
        "type": "ZkVmReceipt",
        "system": "risc0",
        "receiptFormat": "groth16-bn254",
        "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
        "seal": "JJ9t8oKd5KEi6GtKlKYOTTFtVHhIYV4dIs/KMIg1zWoLbKUvnH38HHRu8FdaFRbZlFxacrUCckcuYcnmV3g/LArSxj6dxvB8ha0KaTwEL1tfq5uYGrRnUlws4ELbhofdI7t4FiEBB5ADQsHzSY9wodUreEMEZMVAoiDjfhUqGy8DB0oXmukIh7CgA5pFPC8fpPHxVio+MfPc/Vp9INR1oQcLgQdPKhiVN64hieizg560EIWNwmUScaztm76H9+ePF68+jir/JAJJTwZ0yWfkCUM8gC37vptlxugAUZcgsp0FbtyrfqZUvGggEEOhjP1/GBgez+asXq8VkbFdce5j4Q==",
        "journal": {
          "chaingraph_version": "0.4.0",
          "kernel_digest": "sha256:4ed6c01dbc352e44035af7c2e8fc7633139e9ab6b9d2bc4c122848b91fcf9935",
          "output": {
            "binding_ok": true,
            "checks": [
              {
                "check": "receipt_structure_and_version",
                "detail": "receipt_version 1.0 with input/output/converter/binding present",
                "pass": true
              },
              {
                "check": "input_sha256_is_64_hex",
                "detail": "valid",
                "pass": true
              },
              {
                "check": "output_sha256_is_64_hex",
                "detail": "valid",
                "pass": true
              },
              {
                "check": "converter_identity_complete",
                "detail": "name and version present",
                "pass": true
              },
              {
                "check": "binding_sha256_matches",
                "detail": "recomputed binding equals stored binding",
                "pass": true
              },
              {
                "check": "recomputed_input_digest_matches",
                "detail": "rehashed input matches receipt",
                "pass": true
              },
              {
                "check": "recomputed_output_digest_matches",
                "detail": "rehashed output matches receipt",
                "pass": true
              }
            ],
            "digest_ok": true,
            "verdict": "valid"
          }
        }
      },
      "export_capability": [
        "json",
        "pdf",
        "vc"
      ]
    }