{ "auth_id": "d80d46b0-e3a2-49d0-aefd-eed5ace276fb", "authority_at_completion": "LIVE", "authorization": { "agent_id": "agent-1", "approver_pub": "ifry5oJ98cf7bDuXVrFfK57ckWAJ3uOmQfzf2y+SY3U=", "auth_id": "d80d46b0-e3a2-49d0-aefd-eed5ace276fb", "contract_version": 1, "decision": "ALLOW", "effect_set_digest": "c1c84e597beb154c3f842a94916bc6d9ae22a5534a0b70edd3acde2a7321cdd2", "expires_at": 1791830568.3068588, "issued_at": 1791830508.3068588, "mission_id": "m-1", "permitted_resources": [ "file:/tmp/e18-vyqant4_/fx-contradictory/root/**" ], "policy_version": "cain42.policy.v2", "principal": "alice", "runtime": "mcp", "schema": "cain42.action_authorization.v1", "signature": "Q4ckzcL7kpJP+lX630YXX35VtJN6a8UYCcWrEy4xYcxZxvLLaUgKxGlwgLUp3F+MfE2IlILsd0HTu4YV4UCADg==" }, "binding": { "body": { "auth_id": "d80d46b0-e3a2-49d0-aefd-eed5ace276fb", "effect_set_digest": "c1c84e597beb154c3f842a94916bc6d9ae22a5534a0b70edd3acde2a7321cdd2", "passport": { "body_digest": "d16222bbe7319ffd0339ffa7d4d9f3335e40a1ab7cf5208235654c3ff0c463b4", "tool": "fs_write", "version": 1 }, "resources": [ { "dev": 46, "exists": true, "ino": 3167017, "mtime_ns": 1791830508306688328, "parent": [ 46, 3167015 ], "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt", "sha256": "cba06b5736faf67e54b07b561eae94395e774c517a7d910a54369e1263ccfbd4", "size": 3 } ], "root": "file:/tmp/e18-vyqant4_/fx-contradictory/root", "schema": "cain42.resource_binding.v1", "tool": "fs_write" }, "digest": "fedeb03f2a0127e6c2bbc191221f87ace27efc5e9bf2e18b1a64324a94339aa3", "signature": "pR6wquaLMudCTlcGYAY937jH03qGvfaruirl9YRjdsvEqlTJBH5E95UAFj0JC1hJpseA+OQcxKGPAi+VDuheAA==", "signer_pub": "ifry5oJ98cf7bDuXVrFfK57ckWAJ3uOmQfzf2y+SY3U=" }, "block_reason": "", "declared_effects": [ { "effect": "WRITE", "material": { "content": "new" }, "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt" } ], "effect_set_digest": "c1c84e597beb154c3f842a94916bc6d9ae22a5534a0b70edd3acde2a7321cdd2", "enforcer_pub": "VMDRma2l+1aUZn/+XX28a0TQ6/aHEjZFuZRrznI/ayc=", "executed_at": 1791830508.3109229, "executor_claims": [ { "effect": "WRITE", "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt" } ], "grade": { "absent": [], "contradictions": [ { "effect": "WRITE", "not_observed_by": [ "fake-inotify-7WkbJm" ], "observed_by": [ "tree_diff-856c3320" ], "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt" } ], "gaps": [], "independence_ceiling": "SAME_HOST_SAME_KERNEL_SAME_UID_SOFTWARE_ONLY", "observed_roots": [ "file:/tmp/e18-vyqant4_/fx-contradictory/root" ], "overall_level": "CONFLICTING", "per_effect": [ { "effect": "WRITE", "level": "CONFLICTING", "not_observed_by": [ "fake-inotify-7WkbJm" ], "observed_by": [ "tree_diff-856c3320" ], "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt" } ], "sensors_counted": [ "fake-inotify-7WkbJm", "tree_diff-856c3320" ], "undeclared": [], "unsupported": [] }, "graph": { "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "nodes": [ { "clock": { "t": 1791830508.3073978, "uncertainty_s": 0.05 }, "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "kind": "PRINCIPAL", "node_id": "bda18e02c495b36000456718c99e97e45a7f51c54eaa111487c65cae3a121b3e", "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.307443, "uncertainty_s": 0.05 }, "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "kind": "MISSION_CONTRACT", "node_id": "869179351513fe7484882d27d1bc6fcc1ddb0476295ee00dca3058f29197d9a3", "parents": [ { "id": "bda18e02c495b36000456718c99e97e45a7f51c54eaa111487c65cae3a121b3e", "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.3075, "uncertainty_s": 0.05 }, "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "kind": "AGENT_PASSPORT", "node_id": "f71cdd4f13f19f41119530d7d65d73c6a9eb14cdb2af8747e97b2a3b24143e0d", "parents": [ { "id": "869179351513fe7484882d27d1bc6fcc1ddb0476295ee00dca3058f29197d9a3", "rel": "DELEGATES" } ], "payload": { "agent_id": "agent-1", "passport": { "body_digest": "d16222bbe7319ffd0339ffa7d4d9f3335e40a1ab7cf5208235654c3ff0c463b4", "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.3075583, "uncertainty_s": 0.05 }, "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "kind": "CANONICAL_ACTION", "node_id": "c8df05c7b869351ec2a1543195b25d8be561a0df51d53344aa8a431edd5bfb2e", "parents": [ { "id": "f71cdd4f13f19f41119530d7d65d73c6a9eb14cdb2af8747e97b2a3b24143e0d", "rel": "PROPOSES" } ], "payload": { "declared_effects": [ { "effect": "WRITE", "material": { "content": "new" }, "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt" } ], "effect_set_digest": "c1c84e597beb154c3f842a94916bc6d9ae22a5534a0b70edd3acde2a7321cdd2", "raw_digest": "d3c5fe65785b89e1ee1746c002855defb0155bdcee146dc3e057e0d35eb0a2e0", "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.3076043, "uncertainty_s": 0.05 }, "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "kind": "AUTHORIZATION", "node_id": "3294573c7e1b8389be625e47485a17a8b326c414c8dd5f5bd24f5615916a04d4", "parents": [ { "id": "c8df05c7b869351ec2a1543195b25d8be561a0df51d53344aa8a431edd5bfb2e", "rel": "CORRELATES" } ], "payload": { "authorization": { "agent_id": "agent-1", "approver_pub": "ifry5oJ98cf7bDuXVrFfK57ckWAJ3uOmQfzf2y+SY3U=", "auth_id": "d80d46b0-e3a2-49d0-aefd-eed5ace276fb", "contract_version": 1, "decision": "ALLOW", "effect_set_digest": "c1c84e597beb154c3f842a94916bc6d9ae22a5534a0b70edd3acde2a7321cdd2", "expires_at": 1791830568.3068588, "issued_at": 1791830508.3068588, "mission_id": "m-1", "permitted_resources": [ "file:/tmp/e18-vyqant4_/fx-contradictory/root/**" ], "policy_version": "cain42.policy.v2", "principal": "alice", "runtime": "mcp", "schema": "cain42.action_authorization.v1", "signature": "Q4ckzcL7kpJP+lX630YXX35VtJN6a8UYCcWrEy4xYcxZxvLLaUgKxGlwgLUp3F+MfE2IlILsd0HTu4YV4UCADg==" }, "binding": { "body": { "auth_id": "d80d46b0-e3a2-49d0-aefd-eed5ace276fb", "effect_set_digest": "c1c84e597beb154c3f842a94916bc6d9ae22a5534a0b70edd3acde2a7321cdd2", "passport": { "body_digest": "d16222bbe7319ffd0339ffa7d4d9f3335e40a1ab7cf5208235654c3ff0c463b4", "tool": "fs_write", "version": 1 }, "resources": [ { "dev": 46, "exists": true, "ino": 3167017, "mtime_ns": 1791830508306688328, "parent": [ 46, 3167015 ], "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt", "sha256": "cba06b5736faf67e54b07b561eae94395e774c517a7d910a54369e1263ccfbd4", "size": 3 } ], "root": "file:/tmp/e18-vyqant4_/fx-contradictory/root", "schema": "cain42.resource_binding.v1", "tool": "fs_write" }, "digest": "fedeb03f2a0127e6c2bbc191221f87ace27efc5e9bf2e18b1a64324a94339aa3", "signature": "pR6wquaLMudCTlcGYAY937jH03qGvfaruirl9YRjdsvEqlTJBH5E95UAFj0JC1hJpseA+OQcxKGPAi+VDuheAA==", "signer_pub": "ifry5oJ98cf7bDuXVrFfK57ckWAJ3uOmQfzf2y+SY3U=" }, "carries": "APPROVER_SIGNED_RECORDS" }, "schema": "cain42.causal_node.v2", "seq": 5, "sig": null, "source": { "basis": "ASSERTED_BY_RECORDER", "id": "approver", "pub": "ifry5oJ98cf7bDuXVrFfK57ckWAJ3uOmQfzf2y+SY3U=", "role": "APPROVER" } }, { "clock": { "t": 1791830508.3081508, "uncertainty_s": 0.05 }, "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "kind": "ENFORCEMENT", "node_id": "350ff007e30dda8b5f9819b25244abeffccf31436225939d9c2245a8d431142a", "parents": [ { "id": "3294573c7e1b8389be625e47485a17a8b326c414c8dd5f5bd24f5615916a04d4", "rel": "AUTHORIZES" }, { "id": "c8df05c7b869351ec2a1543195b25d8be561a0df51d53344aa8a431edd5bfb2e", "rel": "PROPOSES" } ], "payload": { "auth_id": "d80d46b0-e3a2-49d0-aefd-eed5ace276fb", "decision": "ADMIT", "pinned": [ { "dev": 46, "exists": true, "ino": 3167017, "mtime_ns": 1791830508306688328, "parent": [ 46, 3167015 ], "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt", "sha256": "cba06b5736faf67e54b07b561eae94395e774c517a7d910a54369e1263ccfbd4", "size": 3 } ], "task_id": "c25a9dc3-bb7d-406e-be38-d5d602ac20e4" }, "schema": "cain42.causal_node.v2", "seq": 6, "sig": "omI+ZpbCl7ButlTJx8ZCmmfLF3rhhiADK5dCMxO7b42FYhwEOqzsiNXds/yaYREL0DspHQ2ce4bv8AP9zzkNCQ==", "source": { "basis": "SIGNED_BY_SOURCE", "id": "cain-enforcer", "pub": "VMDRma2l+1aUZn/+XX28a0TQ6/aHEjZFuZRrznI/ayc=", "role": "ENFORCER" } }, { "clock": { "t": 1791830508.308814, "uncertainty_s": 0.05 }, "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "kind": "EXECUTION", "node_id": "a7c068ee2ffdb079fcaac57fe39c66aa69b4e5cb443bb1755111faa72123dd7b", "parents": [ { "id": "350ff007e30dda8b5f9819b25244abeffccf31436225939d9c2245a8d431142a", "rel": "ADMITS" } ], "payload": { "authority_at_completion": "LIVE", "claims_basis": "SELF_REPORTED", "error": "", "executor_claims": [ { "effect": "WRITE", "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt" } ], "status": "COMPLETED", "task_id": "c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "toctou_protection": "DESCRIPTOR_PINNED" }, "schema": "cain42.causal_node.v2", "seq": 7, "sig": "pn5QxWOCGMi97mdUC8BDx5VjLF1PsPrvMCurecV+P5I3tgJzW/BeGp6L28O7LUWcaSQtxbh3EdlqJcjHyN7GBw==", "source": { "basis": "SIGNED_BY_SOURCE", "id": "cain-enforcer", "pub": "VMDRma2l+1aUZn/+XX28a0TQ6/aHEjZFuZRrznI/ayc=", "role": "ENFORCER" } }, { "clock": { "t": 1791830508.309381, "uncertainty_s": 0.05 }, "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "kind": "OBSERVATION", "node_id": "094504879f9478e4c72688483920dfb8daef3baed29f84d03258f6f8097a10c5", "parents": [ { "id": "a7c068ee2ffdb079fcaac57fe39c66aa69b4e5cb443bb1755111faa72123dd7b", "rel": "OBSERVES" } ], "payload": { "carries": "SENSOR_SIGNED_RECORD", "signed": { "observation": { "bind": { "auth_id": "d80d46b0-e3a2-49d0-aefd-eed5ace276fb", "effect_set_digest": "c1c84e597beb154c3f842a94916bc6d9ae22a5534a0b70edd3acde2a7321cdd2", "task_id": "c25a9dc3-bb7d-406e-be38-d5d602ac20e4" }, "changes": [], "nonce": "1d93b9a5910c423a811f824ac16a6d8e", "schema": "cain42.sensor_observation.v2", "scope": { "complete": true, "gaps": [], "observable": [ "WRITE", "DELETE", "READ" ], "root": "file:/tmp/e18-vyqant4_/fx-contradictory/root" }, "sensor": { "boundary": "SEPARATE_PROCESS", "id": "fake-inotify-7WkbJm", "method": "INOTIFY", "pid": 915926, "pub": "7WkbJmhKZP29WEPG+qg7weYogczrnJTFWHPirQjFSIU=" }, "t_arm": 1791830508.3091528, "t_report": 1791830508.309153 }, "sig": "xWwhHD4bFI7YAui5kfb8RxhI6s3uy0BPhilUrQNIW5WLWXhRDCCWIkA4TWMfAs3u8h0qtxmSld8alWnp8ZxOAw==" } }, "schema": "cain42.causal_node.v2", "seq": 8, "sig": null, "source": { "basis": "ASSERTED_BY_RECORDER", "id": "fake-inotify-7WkbJm", "pub": "7WkbJmhKZP29WEPG+qg7weYogczrnJTFWHPirQjFSIU=", "role": "SENSOR" } }, { "clock": { "t": 1791830508.310186, "uncertainty_s": 0.05 }, "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "kind": "OBSERVATION", "node_id": "10a56c8a1fb79d863996bea4abad193ae567dd06212d44423a021f897dc8f0dc", "parents": [ { "id": "a7c068ee2ffdb079fcaac57fe39c66aa69b4e5cb443bb1755111faa72123dd7b", "rel": "OBSERVES" } ], "payload": { "carries": "SENSOR_SIGNED_RECORD", "signed": { "observation": { "bind": { "auth_id": "d80d46b0-e3a2-49d0-aefd-eed5ace276fb", "effect_set_digest": "c1c84e597beb154c3f842a94916bc6d9ae22a5534a0b70edd3acde2a7321cdd2", "task_id": "c25a9dc3-bb7d-406e-be38-d5d602ac20e4" }, "changes": [ { "effect": "WRITE", "kinds": [ "content" ], "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt", "sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437", "type": "F" } ], "nonce": "997f6486981642ba8c35771f71322de7", "schema": "cain42.sensor_observation.v2", "scope": { "complete": true, "gaps": [], "observable": [ "WRITE", "DELETE" ], "root": "file:/tmp/e18-vyqant4_/fx-contradictory/root" }, "sensor": { "boundary": "SEPARATE_PROCESS", "id": "tree_diff-856c3320", "method": "TREE_DIFF", "pid": 1190412, "pub": "PRIyBRMFWPU/+x5QV25zCumyC4dgCHiHBqioGiZyn/I=" }, "t_arm": 1791830508.3085477, "t_report": 1791830508.3095503 }, "sig": "VK+rEtExGbcBAwx6NeNjyTNP0tjqdOIykungbX9YkPKu5Yg6bbBZvaSpQVamqsXglGXrpLyJZqy0UBg1SciQDg==" } }, "schema": "cain42.causal_node.v2", "seq": 9, "sig": null, "source": { "basis": "ASSERTED_BY_RECORDER", "id": "tree_diff-856c3320", "pub": "PRIyBRMFWPU/+x5QV25zCumyC4dgCHiHBqioGiZyn/I=", "role": "SENSOR" } }, { "clock": { "t": 1791830508.3103719, "uncertainty_s": 0.05 }, "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "kind": "CONTRADICTION", "node_id": "a1fff6793188e7b161e242cef861d2bf41b96daf22c5b1d8e270de5024704563", "parents": [ { "id": "094504879f9478e4c72688483920dfb8daef3baed29f84d03258f6f8097a10c5", "rel": "DERIVES" }, { "id": "10a56c8a1fb79d863996bea4abad193ae567dd06212d44423a021f897dc8f0dc", "rel": "DERIVES" } ], "payload": { "effect": "WRITE", "not_observed_by": [ "fake-inotify-7WkbJm" ], "observed_by": [ "tree_diff-856c3320" ], "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt" }, "schema": "cain42.causal_node.v2", "seq": 10, "sig": "EvaokUPrfOMcOYy2BWqvh/Rt4eu65AUWfmh0Jt/eQUwnnx28ef8K00XHIs+GUv+sYaIuoxUG7IeaNeXvS06XDw==", "source": { "basis": "SIGNED_BY_SOURCE", "id": "cain-enforcer", "pub": "VMDRma2l+1aUZn/+XX28a0TQ6/aHEjZFuZRrznI/ayc=", "role": "ENFORCER" } }, { "clock": { "t": 1791830508.3106523, "uncertainty_s": 0.05 }, "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "kind": "POSTCONDITION", "node_id": "b2d1ab2e0cc9307f3ba5c464403d69ba2642aecf3ec80917f92644c6890db95e", "parents": [ { "id": "094504879f9478e4c72688483920dfb8daef3baed29f84d03258f6f8097a10c5", "rel": "DERIVES" }, { "id": "10a56c8a1fb79d863996bea4abad193ae567dd06212d44423a021f897dc8f0dc", "rel": "DERIVES" } ], "payload": { "postconditions": [ { "basis": "TREE_DIFF_SENSOR", "effect": "WRITE", "expected_sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437", "observed_sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437", "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt", "status": "HOLDS" } ] }, "schema": "cain42.causal_node.v2", "seq": 11, "sig": "j0mLtHkUDctBrzWrpM1ikwLnFcKgT7z60/DghotUffJSz9l7BqT9K3VqGP7jsDlTHoM2YysIK3ckneYESD48CA==", "source": { "basis": "SIGNED_BY_SOURCE", "id": "cain-enforcer", "pub": "VMDRma2l+1aUZn/+XX28a0TQ6/aHEjZFuZRrznI/ayc=", "role": "ENFORCER" } }, { "clock": { "t": 1791830508.3110523, "uncertainty_s": 0.05 }, "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "kind": "RECEIPT", "node_id": "fbf46a0ee5880eaf86a529c707decc158403cc6bae72446dead5b29ac110f830", "parents": [ { "id": "b2d1ab2e0cc9307f3ba5c464403d69ba2642aecf3ec80917f92644c6890db95e", "rel": "ATTESTS" } ], "payload": { "receipt_core_digest": "1f5106f9495f151267b13c7f2a211fffabe6a91fa48860c6f13218bf3ac198ef" }, "schema": "cain42.causal_node.v2", "seq": 12, "sig": "67q4EsUdgY3rpl7C5rnBJri/rIt6O5yogQPTn2i1uRe7dFtOGhirnthCjV+HJs7m8pBJpu4Tgqs3caWQWgXyAg==", "source": { "basis": "SIGNED_BY_SOURCE", "id": "cain-enforcer", "pub": "VMDRma2l+1aUZn/+XX28a0TQ6/aHEjZFuZRrznI/ayc=", "role": "ENFORCER" } }, { "clock": { "t": 1791830508.3113234, "uncertainty_s": 0.05 }, "correlation_id": "m-1:c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "kind": "VERDICT", "node_id": "d67c9ba971c3468fa4c667e4a2c14c9f04bfcbeb1e8653967fb47a97c3a702f5", "parents": [ { "id": "fbf46a0ee5880eaf86a529c707decc158403cc6bae72446dead5b29ac110f830", "rel": "DERIVES" } ], "payload": { "note": "the enforcer's own verdict; a verifier re-derives it", "verdict": { "claim": "AUTHORIZED_EFFECTS_OCCURRED", "reasons": [ "SENSORS_CONTRADICT_EACH_OTHER" ], "verdict": "FAILED" } }, "schema": "cain42.causal_node.v2", "seq": 13, "sig": "C+srzAGZXkde9Ou4p0580LW2GGaEaUKYno6Epyp9edDvYbxHR7Q6jslxOYOA6HUxIXOSW5S7lGjloXeC25hPAw==", "source": { "basis": "SIGNED_BY_SOURCE", "id": "cain-enforcer", "pub": "VMDRma2l+1aUZn/+XX28a0TQ6/aHEjZFuZRrznI/ayc=", "role": "ENFORCER" } } ], "root_digest": "8d310848733b5044d81ac8efc5a0bf37e79aa8142c69c9cae7587ab7c884b8b2", "schema": "cain42.causal_evidence_graph.v2" }, "graph_root": "8d310848733b5044d81ac8efc5a0bf37e79aa8142c69c9cae7587ab7c884b8b2", "instrumented": [ { "effect": "WRITE", "kinds": [ "changed" ], "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt" } ], "mission_id": "m-1", "observations": [ { "observation": { "bind": { "auth_id": "d80d46b0-e3a2-49d0-aefd-eed5ace276fb", "effect_set_digest": "c1c84e597beb154c3f842a94916bc6d9ae22a5534a0b70edd3acde2a7321cdd2", "task_id": "c25a9dc3-bb7d-406e-be38-d5d602ac20e4" }, "changes": [], "nonce": "1d93b9a5910c423a811f824ac16a6d8e", "schema": "cain42.sensor_observation.v2", "scope": { "complete": true, "gaps": [], "observable": [ "WRITE", "DELETE", "READ" ], "root": "file:/tmp/e18-vyqant4_/fx-contradictory/root" }, "sensor": { "boundary": "SEPARATE_PROCESS", "id": "fake-inotify-7WkbJm", "method": "INOTIFY", "pid": 915926, "pub": "7WkbJmhKZP29WEPG+qg7weYogczrnJTFWHPirQjFSIU=" }, "t_arm": 1791830508.3091528, "t_report": 1791830508.309153 }, "sig": "xWwhHD4bFI7YAui5kfb8RxhI6s3uy0BPhilUrQNIW5WLWXhRDCCWIkA4TWMfAs3u8h0qtxmSld8alWnp8ZxOAw==" }, { "observation": { "bind": { "auth_id": "d80d46b0-e3a2-49d0-aefd-eed5ace276fb", "effect_set_digest": "c1c84e597beb154c3f842a94916bc6d9ae22a5534a0b70edd3acde2a7321cdd2", "task_id": "c25a9dc3-bb7d-406e-be38-d5d602ac20e4" }, "changes": [ { "effect": "WRITE", "kinds": [ "content" ], "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt", "sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437", "type": "F" } ], "nonce": "997f6486981642ba8c35771f71322de7", "schema": "cain42.sensor_observation.v2", "scope": { "complete": true, "gaps": [], "observable": [ "WRITE", "DELETE" ], "root": "file:/tmp/e18-vyqant4_/fx-contradictory/root" }, "sensor": { "boundary": "SEPARATE_PROCESS", "id": "tree_diff-856c3320", "method": "TREE_DIFF", "pid": 1190412, "pub": "PRIyBRMFWPU/+x5QV25zCumyC4dgCHiHBqioGiZyn/I=" }, "t_arm": 1791830508.3085477, "t_report": 1791830508.3095503 }, "sig": "VK+rEtExGbcBAwx6NeNjyTNP0tjqdOIykungbX9YkPKu5Yg6bbBZvaSpQVamqsXglGXrpLyJZqy0UBg1SciQDg==" } ], "policy_version": "cain42.policy.v2", "postconditions": [ { "basis": "TREE_DIFF_SENSOR", "effect": "WRITE", "expected_sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437", "observed_sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437", "resource": "file:/tmp/e18-vyqant4_/fx-contradictory/root/a.txt", "status": "HOLDS" } ], "raw_digest": "d3c5fe65785b89e1ee1746c002855defb0155bdcee146dc3e057e0d35eb0a2e0", "receipt_id": "c2e966d2-4c78-476d-b26e-1ce08ee422b9", "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-contradictory/root" ] }, "sensor_failures": [], "signature": "SA3Z4ZoJlI6XbQE6ExmfWp0M9BOJzwof7n2KOGCh0/yUkcqFQm8nYQfWSfm2E7GN6gj7wXWuhYqfzIXjeYFjBg==", "status": "COMPLETED", "task_id": "c25a9dc3-bb7d-406e-be38-d5d602ac20e4", "toctou_protection": "DESCRIPTOR_PINNED", "trust_level": "CONFLICTING", "verdict": { "claim": "AUTHORIZED_EFFECTS_OCCURRED", "reasons": [ "SENSORS_CONTRADICT_EACH_OTHER" ], "verdict": "FAILED" } }