{
      "tool_id": "art-286-anchored-extract-verifier",
      "tool_version": "1.0.0",
      "display_name": "Anchored Extract Verifier",
      "mcp_name": "verify_anchored_extract",
      "mandate_type": "compliance_mandate",
      "wave": 51,
      "gpu": false,
      "url": "https://ainumbers.co/chaingraph/art-286-anchored-extract-verifier.html",
      "description": "Verifies an extract's Merkle inclusion against a root only when that root is anchored by a recognized source: a recognized OCG artifact/chain envelope, or an external anchor (RFC 3161 timestamp, OpenTimestamps, Sigstore transparency log, or an on-chain commitment composed via verify_eth_state_proof, VR-1). Explicitly refuses (anchored:false) a self-produced root with no recognized anchor class; the universal self-produced hash-chain explorer stays dead. Not-X-use-Y: use art-280 (verify_reserve_proof) for Merkle-SUM Proof-of-Reserves inclusion specifically; this kernel verifies plain (non-sum) Merkle inclusion for any anchored extract.",
      "input_schema_ref": "chaingraph/art-286-anchored-extract-verifier.html#manifest",
      "deadline": null,
      "deadline_note": "Voluntary evidentiary practice aligned with amended AS 1105 (FY2026) and the AICPA practice aid on not relying on unanchored chain explorers; no statutory deadline.",
      "consumes": [],
      "feeds": [],
      "status": "live",
      "conformance_fixtures": true,
      "compute_capability": "server",
      "compute_images": [{"system":"sha256-source","image_id":"sha256:7532df2eced1bf011b8bb608c7ca0038e116d7d554d5439e90d09905d997091c","valid_from":"2026-07-10"},{"system":"risc0","image_id":"sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6","valid_from":"2026-07-10"}],
      "compute_proof": {
        "type": "ZkVmReceipt",
        "system": "risc0",
        "receiptFormat": "groth16-bn254",
        "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
        "seal": "Dpr6QJO6pO7c/feJMDdhISvFugepOFba2PHDulndfr0ab8ZL4+SdGeWcV0vD+nWJ6iGOwLJqTgXBXEJYknX7IhzgGRCFKg8oqgBq1qvFsl9g+UmJ3XrZ/+ppriRo+TFLC5yulH56MVXgY6R7Z70pA2lxgmlAj9wnuya76uLITg8sFjE/qYc0TvI1gtX8e5iq4IXXW/0D0DZI+NoBsMKoExIpBrJDWGMA/Bu5p7zUM0sgPf83jRzSk51+s3jjzXgAAeI7W0wApr+55Uqbqoseqp/w1xEFF/NlfGq/H4WwxRUdAuASO8aMgDcZbIazCd+/nAg0G7+SdH+YVWzct4hDWA==",
        "journal": {
          "chaingraph_version": "0.4.0",
          "kernel_digest": "sha256:7532df2eced1bf011b8bb608c7ca0038e116d7d554d5439e90d09905d997091c",
          "output": {
            "anchor_note": "No external anchor of a recognized class was supplied; a self-produced root is not verifiable by this kernel.",
            "anchored": false,
            "anchored_extract_determination": "REFUSED_UNANCHORED",
            "claimed_root": null,
            "computed_root": "08679e383d66dbc4192bae473a37843066188e42635077349d1c7db7cf25b20c",
            "escalation": null,
            "not_proven": [
              {
                "detail": "This kernel verifies inclusion of a leaf hash under a root; it does not inspect or validate the extract's underlying content beyond that hash.",
                "item": "Extract contents beyond the leaf"
              },
              {
                "detail": "Inclusion of one leaf does not prove the root commits to a complete or unaltered set of records; items could be omitted from what the root represents.",
                "item": "Completeness of the committed set"
              },
              {
                "detail": "An RFC 3161/OTS/Sigstore/on-chain anchor proves the root existed no later than the anchor's own timestamp; it does not prove the extract is currently accurate or unchanged since.",
                "item": "Freshness beyond the anchor's own time semantics"
              },
              {
                "detail": "A self-produced hash chain with no external anchor is explicitly refused by this kernel (anchored:false): it is not treated as verified evidence.",
                "item": "Universal chain-explorer equivalence"
              }
            ],
            "regulatory_framework": "Voluntary anchored-extract verification aligned with amended AS 1105 (FY2026) and the AICPA practice aid on not relying on unanchored chain explorers; not a PCAOB audit.",
            "root_match": false,
            "source_class": null,
            "structural_error": null
          }
        }
      },
      "compute_proof_ready": "ready",
      "export_capability": [
        "pdf",
        "xlsx"
      ]
    }