{
  "type": "ZkVmReceipt",
  "system": "risc0",
  "receiptFormat": "groth16-bn254",
  "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
  "seal": "KY13dExTuf+VPhXiYmmGoLl5oH9sCZyTM/OaF9ero1kZlP7g1ZzLsucX4M/Hwt/oSu2Qo81MEZ7PxjBZwI0iPgJM3CE5mQzW/Jrmiqu8jojUkttLPwk9i1P8BdBve42yByR/3szdwRhpQ384M3SaHdxJmXyiH96bBPmKjoViehguXLeZ3fKSyIL9Nxsd3bDIspBR3qgzB92Ct3CStq0AGSwE5V4p4KFPBtgmKLPBfMsiu/AyfGcRXR+mKo1dsGWMA/vtkZrthebImFDfW1lhW0ihhJcwM8/+Ya3hy4QabwUD8bln144C4Kt1cuhSRwUFXcVkwxeHG4BDy58Izmp9Hw==",
  "journal": {
    "chaingraph_version": "0.4.0",
    "kernel_digest": "sha256:e08cd99eaa433bc5d34fddce29b5bc96932043799b00ecc03f90b6e8670d25e9",
    "output": {
      "assumptions": [
        "Flag table and validity rule pinned to Uniswap v4-core src/libraries/Hooks.sol at commit a7cf038cd568801a79a9b4cf92cd5b52c95c8585 (all 14 permission bits are the low 14 bits of the hook address).",
        "Zero network: the node never reads a chain and decodes only the caller-supplied address, declaration and fee.",
        "Checksummed addresses are accepted and normalised to lowercase; decoding uses BigInt arithmetic over the low 14 bits only.",
        "A missing declared boolean is a refusal, never a default: an undisclosed callback cannot be guessed."
      ],
      "declaration_source": null,
      "decoded_bits": "0x0",
      "dynamic_fee_declaration": null,
      "failing_rule": null,
      "flags": [
        {
          "actual": false,
          "bit": 13,
          "declared": false,
          "flag": "beforeInitialize",
          "status": "MATCH"
        },
        {
          "actual": false,
          "bit": 12,
          "declared": false,
          "flag": "afterInitialize",
          "status": "MATCH"
        },
        {
          "actual": false,
          "bit": 11,
          "declared": false,
          "flag": "beforeAddLiquidity",
          "status": "MATCH"
        },
        {
          "actual": false,
          "bit": 10,
          "declared": false,
          "flag": "afterAddLiquidity",
          "status": "MATCH"
        },
        {
          "actual": false,
          "bit": 9,
          "declared": false,
          "flag": "beforeRemoveLiquidity",
          "status": "MATCH"
        },
        {
          "actual": false,
          "bit": 8,
          "declared": false,
          "flag": "afterRemoveLiquidity",
          "status": "MATCH"
        },
        {
          "actual": false,
          "bit": 7,
          "declared": false,
          "flag": "beforeSwap",
          "status": "MATCH"
        },
        {
          "actual": false,
          "bit": 6,
          "declared": false,
          "flag": "afterSwap",
          "status": "MATCH"
        },
        {
          "actual": false,
          "bit": 5,
          "declared": false,
          "flag": "beforeDonate",
          "status": "MATCH"
        },
        {
          "actual": false,
          "bit": 4,
          "declared": false,
          "flag": "afterDonate",
          "status": "MATCH"
        },
        {
          "actual": false,
          "bit": 3,
          "declared": false,
          "flag": "beforeSwapReturnDelta",
          "status": "MATCH"
        },
        {
          "actual": false,
          "bit": 2,
          "declared": false,
          "flag": "afterSwapReturnDelta",
          "status": "MATCH"
        },
        {
          "actual": false,
          "bit": 1,
          "declared": false,
          "flag": "afterAddLiquidityReturnDelta",
          "status": "MATCH"
        },
        {
          "actual": false,
          "bit": 0,
          "declared": false,
          "flag": "afterRemoveLiquidityReturnDelta",
          "status": "MATCH"
        }
      ],
      "hook_address": "0x0000000000000000000000000000000000000000",
      "mismatch_count": 0,
      "mismatches": [],
      "pool_fee": 0,
      "v4_core_commit": "a7cf038cd568801a79a9b4cf92cd5b52c95c8585",
      "valid_hook_address": true
    }
  }
}