{
  "type": "ZkVmReceipt",
  "system": "risc0",
  "receiptFormat": "groth16-bn254",
  "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
  "seal": "Bn8XUC/9Axaj1vb3JLfCMzP6KQ/b76QAiW4oaOwTVCcNOivHbSgbP5THp+Gjv8SdgiTK2nklfl0QwSpOWPNpTyQZkQziuoVHS8T3CR2Tqn0AU/TAKNfcNDfKTmn53UwkESp5S2d3YMPFs9tBorQGuInsMjbldL4YeHzr8VTboWEq60MuUi4REIa+juVkB35SDLxySoQLLcnJ+UF7IF4qMiPosbA92kZIxf/GWJpbifu6QsF2EJi6EJYmRbwglhN9JaopILbh+gCjyWhzKqcBEva1IaFXHgijnMnFBJmEcMUlgAVsONR2AqUmznO4OX6cXvbWeigEBp8L6Xuzx629xg==",
  "journal": {
    "chaingraph_version": "0.4.0",
    "kernel_digest": "sha256:095706cb39c4376c2a3782381693f0cb72986cfd7fabe8cc894cef4d385aece3",
    "output": {
      "elimination_total": 68000,
      "matched_pairs": 1,
      "mismatched_pairs": 1,
      "mismatches": [
        {
          "a": "SUB-1",
          "b": "SUB-3",
          "difference": 2000
        }
      ],
      "overall": "GAPS_FOUND",
      "trace": "eliminate min(20000,18000)=18000 + matched 50000 = 68000; residual 20000-18000=2000",
      "unmatched_residual": 2000
    }
  }
}