{
  "type": "ZkVmReceipt",
  "system": "risc0",
  "receiptFormat": "groth16-bn254",
  "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
  "seal": "KhDLhFFclaa86WVdbdJ0JbHkLbyWHWHTULneQymHTZwl/cakd4i1f6tTpP3IntmM+tJl85GToxpO+O6tE5LCFQbA9hWtEGhBtCe/xm+AnSJFLmBC7Tj5xHscay9bs2gFHTuFthklSZyDxQLCOVns/32/m7+ItJWWf1AXB2iqk1MgS5gKAfmrWbislwUSyX7g/HfIjSv001XsDGnecD8a+iIzIUBSs+CPP95px6rXMVxlhHgmVC428dbTp4DYF4w+EmCWQgZ9a5+f0z+vpxIHyg0952jEgwMSxx9k6zdXlCsaUuslCJstMgOIMinqfEmtRN5ub1lFqkHntXCwRHl62Q==",
  "journal": {
    "chaingraph_version": "0.4.0",
    "kernel_digest": "sha256:e9bf71524d892d2d322265654d818f55036d8070b3ba6a2861d38c39843708d2",
    "output": {
      "claimed_interface_id": null,
      "computed_interface_id": null,
      "duplicate_signatures": [],
      "findings": [
        {
          "check": "input_validation",
          "detail": "function_signatures is required and must be a non-empty array of canonical Solidity function signature strings",
          "verdict": "INDETERMINATE"
        }
      ],
      "known_standard_match": null,
      "malformed_signatures": [],
      "not_proven": [
        {
          "detail": "ERC-165 conformance is confirmed by calling supportsInterface(bytes4) on the live contract and checking it returns true. This tool never makes that call -- it only recomputes the id definition offline from a declared function list.",
          "item": "On-chain supportsInterface() response"
        },
        {
          "detail": "function_signatures is caller-supplied. Omitting or adding a function changes the XOR result; this tool cannot know whether the declared list matches any real interface definition unless the result happens to match a known_standard_match entry.",
          "item": "Function list completeness"
        },
        {
          "detail": "A computed interfaceId says nothing about whether a contract genuinely implements the corresponding functions correctly -- only that the declared signature strings hash to this value.",
          "item": "Actual contract implementation"
        }
      ],
      "overall_determination": "INDETERMINATE",
      "scope_note": "Recomputes the ERC-165 interfaceId as the XOR of 4-byte function selectors (first 4 bytes of keccak256 of the canonical signature) over a caller-declared list of function signatures. Zero network calls -- this tool never queries a live contract's supportsInterface(bytes4). A CONSISTENT match against a claimed_interface_id only means the declared function list hashes to that value; it says nothing about whether any deployed contract actually implements those functions or returns true from supportsInterface() for this id.",
      "selectors": []
    }
  }
}