{
 "type": "aer1-setclaim/0.1",
 "binding_key": "operation.op_digest",
 "members": [
  {
   "id": "00000000-0000-4000-8000-000000000026",
   "receipt_schema_version": "0.3",
   "created_at": "2026-10-03T14:00:00.000Z",
   "tool": {
    "name": "ledger_write",
    "version": "1.0.0",
    "scope": "local"
   },
   "provenance_class": "EXECUTED BY ARION",
   "canonical_bytes": "eyJ0b29sIjoibGVkZ2VyX3dyaXRlIiwiaW5wdXRzIjp7Im9wIjoiMzliODE5YzMifSwib3V0cHV0cyI6eyJvdXRjb21lIjoiZmFpbGVkIn19",
   "output_hash": "sha256:e5db1b0fb2853f3bae1d1566651729d9789299de08143852a2d6de7ad6f6ed08",
   "verification_status": "verified",
   "operation": {
    "op_digest": "sha256:39b819c38ffb20bba694768b88e92d84df4586fdf38c3cc4a1ce3cb30c61e3d7",
    "attempt_seq": 1,
    "outcome": "failed",
    "state_before_digest": "sha256:65cf5c6c47c67b852bbc0f05f3ea47d8304e20440816a422d5cbc50ab9fbf71e",
    "state_after_digest": "sha256:ac7c7d79155cb250cff03a56a3755eedcaec179908422c61e45fb671b3dac894"
   }
  },
  {
   "id": "00000000-0000-4000-8000-000000000027",
   "receipt_schema_version": "0.3",
   "created_at": "2026-10-03T14:00:00.000Z",
   "tool": {
    "name": "ledger_write",
    "version": "1.0.0",
    "scope": "local"
   },
   "provenance_class": "EXECUTED BY ARION",
   "canonical_bytes": "eyJ0b29sIjoibGVkZ2VyX3dyaXRlIiwiaW5wdXRzIjp7Im9wIjoiMzliODE5YzMifSwib3V0cHV0cyI6eyJvdXRjb21lIjoic3VjY2VzcyJ9fQ==",
   "output_hash": "sha256:5339cdb7eb5e315dccdd745bc9f6a417168b504033a728c5d158404bd0034e9f",
   "verification_status": "verified",
   "operation": {
    "op_digest": "sha256:39b819c38ffb20bba694768b88e92d84df4586fdf38c3cc4a1ce3cb30c61e3d7",
    "attempt_seq": 2,
    "outcome": "success",
    "state_before_digest": "sha256:e9528bd71b64b268cb95dc99d2cc51be6b53a3a46a357d1bf1b2fba5c004c8d3",
    "state_after_digest": "sha256:9205921bc77d579eedb3ac4501cfc216e9fec7bddc281f2da126dcac35dabf8b"
   }
  }
 ],
 "closure": {
  "kind": "sealed-collection-digest",
  "digest": "sha256:fc0d6a7f447f87b134116561550f5ddff42980cbfb7ee4bb6b19d3ba2b423496"
 },
 "claim": {
  "predicate": "mutual_exclusion",
  "params": {
   "field": "operation.outcome",
   "values": [
    "success"
   ]
  }
 }
}