{
      "tool_id": "art-280-reserve-proof-verifier",
      "tool_version": "1.0.0",
      "display_name": "Reserve Proof Verifier",
      "mcp_name": "verify_reserve_proof",
      "mandate_type": "compliance_mandate",
      "wave": 49,
      "gpu": false,
      "url": "https://ainumbers.co/chaingraph/art-280-reserve-proof-verifier.html",
      "description": "Verifies a Merkle-sum Proof-of-Reserves customer-inclusion proof (OKX, Binance, Gate, Kraken export formats, or a generic canonical shape) against a declared root, and checks a Chainlink PoR / NAVLink aggregator round for staleness and deviation. Part of the Reserve Verification Family alongside check_genius_reserve_disclosure (art-275). Composes with verify_eth_state_proof (VR-1) when an on-chain storage proof is available. Records what is NOT proven: liabilities completeness, off-balance-sheet encumbrances, and point-in-time-only scope. Not a PCAOB audit.",
      "input_schema_ref": "chaingraph/art-280-reserve-proof-verifier.html#manifest",
      "deadline": null,
      "deadline_note": "Voluntary attestation practice (Merkle-sum PoR + Chainlink PoR/NAVLink); no statutory deadline. Distinct from the GENIUS Act S.394 §4 monthly filing deadline tracked by art-275.",
      "consumes": [],
      "feeds": [],
      "status": "live",
      "conformance_fixtures": true,
      "compute_capability": "server",
      "compute_images": [{"system":"sha256-source","image_id":"sha256:309081fd66892352af23884e11bc1173c96b88fc3bbebe8ffce1db60bb235dba","valid_from":"2026-07-10"},{"system":"risc0","image_id":"sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6","valid_from":"2026-07-10"}],
      "export_capability": [
        "pdf",
        "xlsx"
      ],
      "compute_proof": {
        "type": "ZkVmReceipt",
        "system": "risc0",
        "receiptFormat": "groth16-bn254",
        "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
        "seal": "FdQ5sUf+4DPxXft56Bd3PdBug49DypRAKu+XDsxEkOApE6UKC2nLZLIdlq62fQk0Dgj9/e1r/J4DQbpUUoz1kwIoc6cvA9cA+T/tbNRe4a3RvWIP3jBQhMyWDEFdq/LRLn6fxSPNxV8/jTCqa8/HPBpmXDlF6ycmjURoIggV+4UINUnS+OCrESIFzYcGWQjkG/PgnyLbxX+RW2pYi6nleykkPz+VzorEhEK/iFPRwt5/TbY5e+/vwLfUqwzvWfcPBhiWoohNqmapEARY+val83I3WiTQ7QfEfapvJ3LlRN8XWPsIt5FghCFxQInyfrsz5RcfQH5guscLboh3SO36wQ==",
        "journal": {
          "chaingraph_version": "0.4.0",
          "kernel_digest": "sha256:309081fd66892352af23884e11bc1173c96b88fc3bbebe8ffce1db60bb235dba",
          "output": {
            "computed_leaf_hash": "ef12efbd765f9ad308460dc13dd2d5d06784bbe91adb0bf5fa752eddf10a38eb",
            "computed_root": {
              "hash": "ef12efbd765f9ad308460dc13dd2d5d06784bbe91adb0bf5fa752eddf10a38eb",
              "sum": 0
            },
            "declared_root": {
              "hash": "",
              "sum": 0
            },
            "exchange": "generic",
            "inclusion_verified": false,
            "not_proven": [
              {
                "detail": "Only the audited customer set is provable from a single-leaf inclusion proof. An issuer could omit accounts from the tree entirely and this proof cannot detect the omission.",
                "item": "Total liabilities completeness"
              },
              {
                "detail": "Pledges, rehypothecation, or liens against reserve assets are not visible in a Merkle-sum inclusion proof.",
                "item": "Off-balance-sheet encumbrances"
              },
              {
                "detail": "This is a point-in-time snapshot at attestation time, not a continuous or real-time solvency guarantee.",
                "item": "Continuous solvency"
              },
              {
                "detail": "This tool performs no audit and carries no PCAOB or other audit-firm opinion; it is a cryptographic inclusion check only.",
                "item": "PCAOB audit opinion"
              }
            ],
            "por_round": null,
            "regulatory_framework": "Voluntary Merkle-sum PoR attestation (Summa report structure) + Chainlink PoR/NAVLink round data; not a GENIUS Act §4 filing (see art-275) and not a PCAOB audit.",
            "reserve_proof_determination": "FAIL",
            "root_hash_match": false,
            "storage_proof_composition": {
              "composed": false,
              "note": "Composition hook stubbed, no on-chain storage-proof result supplied (VR-1 composes here once available); the inclusion result above is self-contained and does not depend on this.",
              "source": null
            },
            "structural_error": null,
            "sum_verified": true
          }
        }
      }
    }