{
  "auth_id": "5fa0a640-04f7-456c-b89a-49ff8ebc5e19",
  "authority_at_completion": "LIVE",
  "authorization": {
    "agent_id": "agent-1",
    "approver_pub": "FuyjVbo+YIDuyvjh11a08m2f72ZgYXJrDsAg6o3F+cc=",
    "auth_id": "5fa0a640-04f7-456c-b89a-49ff8ebc5e19",
    "contract_version": 1,
    "decision": "ALLOW",
    "effect_set_digest": "0abd292c76cdc0174db80957c6dcb5ef35505ad4559fca0b91f742f0ea46b7b5",
    "expires_at": 1791830568.190517,
    "issued_at": 1791830508.190517,
    "mission_id": "m-1",
    "permitted_resources": [
      "file:/tmp/e18-vyqant4_/fx-incomplete/root/**"
    ],
    "policy_version": "cain42.policy.v2",
    "principal": "alice",
    "runtime": "mcp",
    "schema": "cain42.action_authorization.v1",
    "signature": "cRdrZjHOqaYaouSjQzYp/CLFZHkG6NJiUp+7IV52LVVqVIkRnB73L9tWy3L8mt4m0QgaXuxMGxkvrm7AydpYAg=="
  },
  "binding": {
    "body": {
      "auth_id": "5fa0a640-04f7-456c-b89a-49ff8ebc5e19",
      "effect_set_digest": "0abd292c76cdc0174db80957c6dcb5ef35505ad4559fca0b91f742f0ea46b7b5",
      "passport": {
        "body_digest": "26832cd0ec5c50f6773cc4973660223ab20911abf1377b7214d4e7151d0296f3",
        "tool": "fs_write",
        "version": 1
      },
      "resources": [
        {
          "dev": 46,
          "exists": true,
          "ino": 3167013,
          "mtime_ns": 1791830508190473062,
          "parent": [
            46,
            3167012
          ],
          "resource": "file:/tmp/e18-vyqant4_/fx-incomplete/root/a.txt",
          "sha256": "cba06b5736faf67e54b07b561eae94395e774c517a7d910a54369e1263ccfbd4",
          "size": 3
        }
      ],
      "root": "file:/tmp/e18-vyqant4_/fx-incomplete/root",
      "schema": "cain42.resource_binding.v1",
      "tool": "fs_write"
    },
    "digest": "b3b9aa437f24c46d095163160f18a6dc34d1120a57101b17d9f7060585d45490",
    "signature": "dqurTmnaZK6StR8usgg0NSg3TqSJRbqPTsPWlkEmJwI+kSlpnbqTn71h0dvw/gCBns93R/C7GzEhHuVoUhoNDw==",
    "signer_pub": "FuyjVbo+YIDuyvjh11a08m2f72ZgYXJrDsAg6o3F+cc="
  },
  "block_reason": "",
  "declared_effects": [
    {
      "effect": "WRITE",
      "material": {
        "content": "new"
      },
      "resource": "file:/tmp/e18-vyqant4_/fx-incomplete/root/a.txt"
    }
  ],
  "effect_set_digest": "0abd292c76cdc0174db80957c6dcb5ef35505ad4559fca0b91f742f0ea46b7b5",
  "enforcer_pub": "guD+ucwSkR5Q+lLfzCBYGwIgrSGOSKTFfg6y4nqWfpQ=",
  "executed_at": 1791830508.1941679,
  "executor_claims": [
    {
      "effect": "WRITE",
      "resource": "file:/tmp/e18-vyqant4_/fx-incomplete/root/a.txt"
    }
  ],
  "grade": {
    "absent": [],
    "contradictions": [],
    "gaps": [
      "NO_COMPLETE_SENSOR_FOR_UNDECLARED_READS"
    ],
    "independence_ceiling": "SAME_HOST_SAME_KERNEL_SAME_UID_SOFTWARE_ONLY",
    "observed_roots": [
      "file:/tmp/e18-vyqant4_/fx-incomplete/root"
    ],
    "overall_level": "EXTERNALLY_OBSERVED",
    "per_effect": [
      {
        "effect": "WRITE",
        "level": "EXTERNALLY_OBSERVED",
        "not_observed_by": [],
        "observed_by": [
          "tree_diff-18d7ec79"
        ],
        "resource": "file:/tmp/e18-vyqant4_/fx-incomplete/root/a.txt"
      }
    ],
    "sensors_counted": [
      "tree_diff-18d7ec79"
    ],
    "undeclared": [],
    "unsupported": []
  },
  "graph": {
    "correlation_id": "m-1:a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
    "nodes": [
      {
        "clock": {
          "t": 1791830508.1910396,
          "uncertainty_s": 0.05
        },
        "correlation_id": "m-1:a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
        "kind": "PRINCIPAL",
        "node_id": "792b2e4dd9da266744be08537c2b889ebfd6070498a69990c92d6c6fa9a4fac6",
        "parents": [],
        "payload": {
          "principal": "alice"
        },
        "schema": "cain42.causal_node.v2",
        "seq": 1,
        "sig": null,
        "source": {
          "basis": "ASSERTED_BY_RECORDER",
          "id": "cain-enforcer",
          "pub": "",
          "role": "ENFORCER"
        }
      },
      {
        "clock": {
          "t": 1791830508.1910841,
          "uncertainty_s": 0.05
        },
        "correlation_id": "m-1:a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
        "kind": "MISSION_CONTRACT",
        "node_id": "68fb2180710b41c89afefe5768f2d2c148d7dfda11ba5cdb10bc0a09a28a49d1",
        "parents": [
          {
            "id": "792b2e4dd9da266744be08537c2b889ebfd6070498a69990c92d6c6fa9a4fac6",
            "rel": "DELEGATES"
          }
        ],
        "payload": {
          "contract_version": 1,
          "mission_id": "m-1"
        },
        "schema": "cain42.causal_node.v2",
        "seq": 2,
        "sig": null,
        "source": {
          "basis": "ASSERTED_BY_RECORDER",
          "id": "cain-enforcer",
          "pub": "",
          "role": "ENFORCER"
        }
      },
      {
        "clock": {
          "t": 1791830508.1911578,
          "uncertainty_s": 0.05
        },
        "correlation_id": "m-1:a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
        "kind": "AGENT_PASSPORT",
        "node_id": "fcfff5998ea5a5256e03d1a7945b1411d0f8e8aaa56a3972afdf4d43b05fca85",
        "parents": [
          {
            "id": "68fb2180710b41c89afefe5768f2d2c148d7dfda11ba5cdb10bc0a09a28a49d1",
            "rel": "DELEGATES"
          }
        ],
        "payload": {
          "agent_id": "agent-1",
          "passport": {
            "body_digest": "26832cd0ec5c50f6773cc4973660223ab20911abf1377b7214d4e7151d0296f3",
            "state": "APPROVED",
            "tool": "fs_write",
            "version": 1
          }
        },
        "schema": "cain42.causal_node.v2",
        "seq": 3,
        "sig": null,
        "source": {
          "basis": "ASSERTED_BY_RECORDER",
          "id": "cain-enforcer",
          "pub": "",
          "role": "ENFORCER"
        }
      },
      {
        "clock": {
          "t": 1791830508.1912158,
          "uncertainty_s": 0.05
        },
        "correlation_id": "m-1:a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
        "kind": "CANONICAL_ACTION",
        "node_id": "ceffbda93cbe3a5872a98d0de4554a960e5b81dcf26209b5747f49b5b9a05e82",
        "parents": [
          {
            "id": "fcfff5998ea5a5256e03d1a7945b1411d0f8e8aaa56a3972afdf4d43b05fca85",
            "rel": "PROPOSES"
          }
        ],
        "payload": {
          "declared_effects": [
            {
              "effect": "WRITE",
              "material": {
                "content": "new"
              },
              "resource": "file:/tmp/e18-vyqant4_/fx-incomplete/root/a.txt"
            }
          ],
          "effect_set_digest": "0abd292c76cdc0174db80957c6dcb5ef35505ad4559fca0b91f742f0ea46b7b5",
          "raw_digest": "d8f44f513d84eceff27cdea3faad04ce93204f00f777ac06300ac42dd722b550",
          "runtime": "mcp",
          "tool": "fs_write"
        },
        "schema": "cain42.causal_node.v2",
        "seq": 4,
        "sig": null,
        "source": {
          "basis": "ASSERTED_BY_RECORDER",
          "id": "cain-enforcer",
          "pub": "",
          "role": "ENFORCER"
        }
      },
      {
        "clock": {
          "t": 1791830508.191264,
          "uncertainty_s": 0.05
        },
        "correlation_id": "m-1:a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
        "kind": "AUTHORIZATION",
        "node_id": "035eec49687595c9627be5c6f3c6add781c58f8ce7a18b35111fd149594fcf0b",
        "parents": [
          {
            "id": "ceffbda93cbe3a5872a98d0de4554a960e5b81dcf26209b5747f49b5b9a05e82",
            "rel": "CORRELATES"
          }
        ],
        "payload": {
          "authorization": {
            "agent_id": "agent-1",
            "approver_pub": "FuyjVbo+YIDuyvjh11a08m2f72ZgYXJrDsAg6o3F+cc=",
            "auth_id": "5fa0a640-04f7-456c-b89a-49ff8ebc5e19",
            "contract_version": 1,
            "decision": "ALLOW",
            "effect_set_digest": "0abd292c76cdc0174db80957c6dcb5ef35505ad4559fca0b91f742f0ea46b7b5",
            "expires_at": 1791830568.190517,
            "issued_at": 1791830508.190517,
            "mission_id": "m-1",
            "permitted_resources": [
              "file:/tmp/e18-vyqant4_/fx-incomplete/root/**"
            ],
            "policy_version": "cain42.policy.v2",
            "principal": "alice",
            "runtime": "mcp",
            "schema": "cain42.action_authorization.v1",
            "signature": "cRdrZjHOqaYaouSjQzYp/CLFZHkG6NJiUp+7IV52LVVqVIkRnB73L9tWy3L8mt4m0QgaXuxMGxkvrm7AydpYAg=="
          },
          "binding": {
            "body": {
              "auth_id": "5fa0a640-04f7-456c-b89a-49ff8ebc5e19",
              "effect_set_digest": "0abd292c76cdc0174db80957c6dcb5ef35505ad4559fca0b91f742f0ea46b7b5",
              "passport": {
                "body_digest": "26832cd0ec5c50f6773cc4973660223ab20911abf1377b7214d4e7151d0296f3",
                "tool": "fs_write",
                "version": 1
              },
              "resources": [
                {
                  "dev": 46,
                  "exists": true,
                  "ino": 3167013,
                  "mtime_ns": 1791830508190473062,
                  "parent": [
                    46,
                    3167012
                  ],
                  "resource": "file:/tmp/e18-vyqant4_/fx-incomplete/root/a.txt",
                  "sha256": "cba06b5736faf67e54b07b561eae94395e774c517a7d910a54369e1263ccfbd4",
                  "size": 3
                }
              ],
              "root": "file:/tmp/e18-vyqant4_/fx-incomplete/root",
              "schema": "cain42.resource_binding.v1",
              "tool": "fs_write"
            },
            "digest": "b3b9aa437f24c46d095163160f18a6dc34d1120a57101b17d9f7060585d45490",
            "signature": "dqurTmnaZK6StR8usgg0NSg3TqSJRbqPTsPWlkEmJwI+kSlpnbqTn71h0dvw/gCBns93R/C7GzEhHuVoUhoNDw==",
            "signer_pub": "FuyjVbo+YIDuyvjh11a08m2f72ZgYXJrDsAg6o3F+cc="
          },
          "carries": "APPROVER_SIGNED_RECORDS"
        },
        "schema": "cain42.causal_node.v2",
        "seq": 5,
        "sig": null,
        "source": {
          "basis": "ASSERTED_BY_RECORDER",
          "id": "approver",
          "pub": "FuyjVbo+YIDuyvjh11a08m2f72ZgYXJrDsAg6o3F+cc=",
          "role": "APPROVER"
        }
      },
      {
        "clock": {
          "t": 1791830508.19181,
          "uncertainty_s": 0.05
        },
        "correlation_id": "m-1:a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
        "kind": "ENFORCEMENT",
        "node_id": "43b2e8b412a0eb1f16a64880e7656a8c590a43b829d6c89a937ce4423d8e4fec",
        "parents": [
          {
            "id": "035eec49687595c9627be5c6f3c6add781c58f8ce7a18b35111fd149594fcf0b",
            "rel": "AUTHORIZES"
          },
          {
            "id": "ceffbda93cbe3a5872a98d0de4554a960e5b81dcf26209b5747f49b5b9a05e82",
            "rel": "PROPOSES"
          }
        ],
        "payload": {
          "auth_id": "5fa0a640-04f7-456c-b89a-49ff8ebc5e19",
          "decision": "ADMIT",
          "pinned": [
            {
              "dev": 46,
              "exists": true,
              "ino": 3167013,
              "mtime_ns": 1791830508190473062,
              "parent": [
                46,
                3167012
              ],
              "resource": "file:/tmp/e18-vyqant4_/fx-incomplete/root/a.txt",
              "sha256": "cba06b5736faf67e54b07b561eae94395e774c517a7d910a54369e1263ccfbd4",
              "size": 3
            }
          ],
          "task_id": "a77c3c16-aa4e-4d98-8c81-a9e46760e26e"
        },
        "schema": "cain42.causal_node.v2",
        "seq": 6,
        "sig": "6eZHGVJSoT5i2gm489q49Y62+r13EhzoVq5JjA1TwPpVHv1DFAnv3xXsoTrVzqBRWrKE2uAIYmMlwxvnWUMMDg==",
        "source": {
          "basis": "SIGNED_BY_SOURCE",
          "id": "cain-enforcer",
          "pub": "guD+ucwSkR5Q+lLfzCBYGwIgrSGOSKTFfg6y4nqWfpQ=",
          "role": "ENFORCER"
        }
      },
      {
        "clock": {
          "t": 1791830508.192451,
          "uncertainty_s": 0.05
        },
        "correlation_id": "m-1:a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
        "kind": "EXECUTION",
        "node_id": "9d9e411582c087098d5127ac7f263e4d1fd3d79be9a3fd3a702838bc8b4313e1",
        "parents": [
          {
            "id": "43b2e8b412a0eb1f16a64880e7656a8c590a43b829d6c89a937ce4423d8e4fec",
            "rel": "ADMITS"
          }
        ],
        "payload": {
          "authority_at_completion": "LIVE",
          "claims_basis": "SELF_REPORTED",
          "error": "",
          "executor_claims": [
            {
              "effect": "WRITE",
              "resource": "file:/tmp/e18-vyqant4_/fx-incomplete/root/a.txt"
            }
          ],
          "status": "COMPLETED",
          "task_id": "a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
          "toctou_protection": "DESCRIPTOR_PINNED"
        },
        "schema": "cain42.causal_node.v2",
        "seq": 7,
        "sig": "iPAoBZ6wr+weumoRqOjpSihcjPyhih0R1aO3myy71k2VxyKZzW1urpI9OVnNElOm1XECQqAhR89MBY4ChVejBQ==",
        "source": {
          "basis": "SIGNED_BY_SOURCE",
          "id": "cain-enforcer",
          "pub": "guD+ucwSkR5Q+lLfzCBYGwIgrSGOSKTFfg6y4nqWfpQ=",
          "role": "ENFORCER"
        }
      },
      {
        "clock": {
          "t": 1791830508.1934352,
          "uncertainty_s": 0.05
        },
        "correlation_id": "m-1:a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
        "kind": "OBSERVATION",
        "node_id": "8b116b5f7efa101a57b54cbe344213c85ec8a15814294e8d25dc5c972d1786ff",
        "parents": [
          {
            "id": "9d9e411582c087098d5127ac7f263e4d1fd3d79be9a3fd3a702838bc8b4313e1",
            "rel": "OBSERVES"
          }
        ],
        "payload": {
          "carries": "SENSOR_SIGNED_RECORD",
          "signed": {
            "observation": {
              "bind": {
                "auth_id": "5fa0a640-04f7-456c-b89a-49ff8ebc5e19",
                "effect_set_digest": "0abd292c76cdc0174db80957c6dcb5ef35505ad4559fca0b91f742f0ea46b7b5",
                "task_id": "a77c3c16-aa4e-4d98-8c81-a9e46760e26e"
              },
              "changes": [
                {
                  "effect": "WRITE",
                  "kinds": [
                    "content"
                  ],
                  "resource": "file:/tmp/e18-vyqant4_/fx-incomplete/root/a.txt",
                  "sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437",
                  "type": "F"
                }
              ],
              "nonce": "b11d025871494f259f607d42afbb9f5b",
              "schema": "cain42.sensor_observation.v2",
              "scope": {
                "complete": true,
                "gaps": [],
                "observable": [
                  "WRITE",
                  "DELETE"
                ],
                "root": "file:/tmp/e18-vyqant4_/fx-incomplete/root"
              },
              "sensor": {
                "boundary": "SEPARATE_PROCESS",
                "id": "tree_diff-18d7ec79",
                "method": "TREE_DIFF",
                "pid": 1190411,
                "pub": "HM/DPW3pacnQVsWyB4d8urnm23hx69twV6puUrK9WtA="
              },
              "t_arm": 1791830508.1921978,
              "t_report": 1791830508.1928432
            },
            "sig": "oJ8LSZesIuX1y+rNxsg83sv8gKcb1EHIB2GxQ5jkxk4CypNX77U1BNNzzZq/QIA+dFwJhaS6FepWMBiJlD4eCA=="
          }
        },
        "schema": "cain42.causal_node.v2",
        "seq": 8,
        "sig": null,
        "source": {
          "basis": "ASSERTED_BY_RECORDER",
          "id": "tree_diff-18d7ec79",
          "pub": "HM/DPW3pacnQVsWyB4d8urnm23hx69twV6puUrK9WtA=",
          "role": "SENSOR"
        }
      },
      {
        "clock": {
          "t": 1791830508.1936126,
          "uncertainty_s": 0.05
        },
        "correlation_id": "m-1:a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
        "kind": "EVIDENCE_GAP",
        "node_id": "c0c36959a97aec737dfbc371981dc47c4e58711d2f4d8aa5d4a3f7a01deba8cb",
        "parents": [
          {
            "id": "9d9e411582c087098d5127ac7f263e4d1fd3d79be9a3fd3a702838bc8b4313e1",
            "rel": "DERIVES"
          }
        ],
        "payload": {
          "gap": "NO_COMPLETE_SENSOR_FOR_UNDECLARED_READS"
        },
        "schema": "cain42.causal_node.v2",
        "seq": 9,
        "sig": "PGVMRrogrF7u8X+A5yWqcV0sMfYjtw6CmhT7IhwDzCH22lymH1S4C6Lm9uyszoNfiw4/kArQ73uLKxhINXVhAg==",
        "source": {
          "basis": "SIGNED_BY_SOURCE",
          "id": "cain-enforcer",
          "pub": "guD+ucwSkR5Q+lLfzCBYGwIgrSGOSKTFfg6y4nqWfpQ=",
          "role": "ENFORCER"
        }
      },
      {
        "clock": {
          "t": 1791830508.1938744,
          "uncertainty_s": 0.05
        },
        "correlation_id": "m-1:a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
        "kind": "POSTCONDITION",
        "node_id": "695d8889312e4d6b2143447a5f0605d17f688c1bd94d8b73a6e95f238491a705",
        "parents": [
          {
            "id": "8b116b5f7efa101a57b54cbe344213c85ec8a15814294e8d25dc5c972d1786ff",
            "rel": "DERIVES"
          }
        ],
        "payload": {
          "postconditions": [
            {
              "basis": "TREE_DIFF_SENSOR",
              "effect": "WRITE",
              "expected_sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437",
              "observed_sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437",
              "resource": "file:/tmp/e18-vyqant4_/fx-incomplete/root/a.txt",
              "status": "HOLDS"
            }
          ]
        },
        "schema": "cain42.causal_node.v2",
        "seq": 10,
        "sig": "i+UbFl9ISpqPfaoUyQyzldcSw/tchtr6sVgj98mbW3Mn71BN8ifO2aOsqCJ9AqFTS2Yr5DOmW1wAUj1xqfRgBw==",
        "source": {
          "basis": "SIGNED_BY_SOURCE",
          "id": "cain-enforcer",
          "pub": "guD+ucwSkR5Q+lLfzCBYGwIgrSGOSKTFfg6y4nqWfpQ=",
          "role": "ENFORCER"
        }
      },
      {
        "clock": {
          "t": 1791830508.194275,
          "uncertainty_s": 0.05
        },
        "correlation_id": "m-1:a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
        "kind": "RECEIPT",
        "node_id": "bece1fb03d544d3c58d1869426149f310305f57eb5b3069c736d7832a18bfc3c",
        "parents": [
          {
            "id": "695d8889312e4d6b2143447a5f0605d17f688c1bd94d8b73a6e95f238491a705",
            "rel": "ATTESTS"
          }
        ],
        "payload": {
          "receipt_core_digest": "6f225a6bb7d58e792af735878490439cef94555a992f7b079db0c445d3b1de81"
        },
        "schema": "cain42.causal_node.v2",
        "seq": 11,
        "sig": "raPWlYUSHkf00x+uKNb2sqKxIlbpevZ29yfTzTg69/4+DGqviDF8HpG6+rN7WiXpfc/oUxANpdH4fvixeYmoDQ==",
        "source": {
          "basis": "SIGNED_BY_SOURCE",
          "id": "cain-enforcer",
          "pub": "guD+ucwSkR5Q+lLfzCBYGwIgrSGOSKTFfg6y4nqWfpQ=",
          "role": "ENFORCER"
        }
      },
      {
        "clock": {
          "t": 1791830508.1945252,
          "uncertainty_s": 0.05
        },
        "correlation_id": "m-1:a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
        "kind": "VERDICT",
        "node_id": "7ecaad437f572270db542b13fca9f167a9680f22b853e9b8f3b441b202954cb5",
        "parents": [
          {
            "id": "bece1fb03d544d3c58d1869426149f310305f57eb5b3069c736d7832a18bfc3c",
            "rel": "DERIVES"
          }
        ],
        "payload": {
          "note": "the enforcer's own verdict; a verifier re-derives it",
          "verdict": {
            "claim": "AUTHORIZED_EFFECTS_OCCURRED",
            "reasons": [
              "EVIDENCE_GAPS_PRESENT"
            ],
            "verdict": "INCOMPLETE"
          }
        },
        "schema": "cain42.causal_node.v2",
        "seq": 12,
        "sig": "DEWs4aEadDVP97tuXy4pb4iHPI2G2hT3cvYsys3dVrZqrlZ+M6zGmJb/07aiN0Fd+REm4MPQFKhyrHNcOUB1CQ==",
        "source": {
          "basis": "SIGNED_BY_SOURCE",
          "id": "cain-enforcer",
          "pub": "guD+ucwSkR5Q+lLfzCBYGwIgrSGOSKTFfg6y4nqWfpQ=",
          "role": "ENFORCER"
        }
      }
    ],
    "root_digest": "b5e27bc5c19e0654169f895644510fd02888265eb9a680e690cd9018e65333a6",
    "schema": "cain42.causal_evidence_graph.v2"
  },
  "graph_root": "b5e27bc5c19e0654169f895644510fd02888265eb9a680e690cd9018e65333a6",
  "instrumented": [
    {
      "effect": "WRITE",
      "kinds": [
        "changed"
      ],
      "resource": "file:/tmp/e18-vyqant4_/fx-incomplete/root/a.txt"
    }
  ],
  "mission_id": "m-1",
  "observations": [
    {
      "observation": {
        "bind": {
          "auth_id": "5fa0a640-04f7-456c-b89a-49ff8ebc5e19",
          "effect_set_digest": "0abd292c76cdc0174db80957c6dcb5ef35505ad4559fca0b91f742f0ea46b7b5",
          "task_id": "a77c3c16-aa4e-4d98-8c81-a9e46760e26e"
        },
        "changes": [
          {
            "effect": "WRITE",
            "kinds": [
              "content"
            ],
            "resource": "file:/tmp/e18-vyqant4_/fx-incomplete/root/a.txt",
            "sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437",
            "type": "F"
          }
        ],
        "nonce": "b11d025871494f259f607d42afbb9f5b",
        "schema": "cain42.sensor_observation.v2",
        "scope": {
          "complete": true,
          "gaps": [],
          "observable": [
            "WRITE",
            "DELETE"
          ],
          "root": "file:/tmp/e18-vyqant4_/fx-incomplete/root"
        },
        "sensor": {
          "boundary": "SEPARATE_PROCESS",
          "id": "tree_diff-18d7ec79",
          "method": "TREE_DIFF",
          "pid": 1190411,
          "pub": "HM/DPW3pacnQVsWyB4d8urnm23hx69twV6puUrK9WtA="
        },
        "t_arm": 1791830508.1921978,
        "t_report": 1791830508.1928432
      },
      "sig": "oJ8LSZesIuX1y+rNxsg83sv8gKcb1EHIB2GxQ5jkxk4CypNX77U1BNNzzZq/QIA+dFwJhaS6FepWMBiJlD4eCA=="
    }
  ],
  "policy_version": "cain42.policy.v2",
  "postconditions": [
    {
      "basis": "TREE_DIFF_SENSOR",
      "effect": "WRITE",
      "expected_sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437",
      "observed_sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437",
      "resource": "file:/tmp/e18-vyqant4_/fx-incomplete/root/a.txt",
      "status": "HOLDS"
    }
  ],
  "raw_digest": "d8f44f513d84eceff27cdea3faad04ce93204f00f777ac06300ac42dd722b550",
  "receipt_id": "2c9740f5-b35a-4404-b82b-d8ffb4e450a5",
  "recovery": {
    "retried": false,
    "state": "NOT_COMPENSATED"
  },
  "runtime": "mcp",
  "schema": "cain42.execution_truth_receipt.v2",
  "scope_statement": {
    "independence_ceiling": "SAME_HOST_SAME_KERNEL_SAME_UID_SOFTWARE_ONLY",
    "not_observed": [
      "effects outside the observed roots",
      "network traffic",
      "process creation and child processes",
      "memory and inter-process effects",
      "reads that returned no data",
      "writes made through mmap"
    ],
    "observed_roots": [
      "file:/tmp/e18-vyqant4_/fx-incomplete/root"
    ]
  },
  "sensor_failures": [],
  "signature": "ka2dcneDfhFFhTFpgzm9pxgc6cLv7goAidFP/PVAfzOXC6Z5FZmmB4S1MMQt19sEgD2eZuxtlrTcwJLiqrbQBw==",
  "status": "COMPLETED",
  "task_id": "a77c3c16-aa4e-4d98-8c81-a9e46760e26e",
  "toctou_protection": "DESCRIPTOR_PINNED",
  "trust_level": "EXTERNALLY_OBSERVED",
  "verdict": {
    "claim": "AUTHORIZED_EFFECTS_OCCURRED",
    "reasons": [
      "EVIDENCE_GAPS_PRESENT"
    ],
    "verdict": "INCOMPLETE"
  }
}
