{ "auth_id": "d5b9139f-720f-471a-9e0b-db3e1c6ff2cf", "authority_at_completion": "LIVE", "authorization": { "agent_id": "agent-1", "approver_pub": "bevsNzt3S/x+zKP9nLsBN4uWfUw4pWkh7XrjooT1r24=", "auth_id": "d5b9139f-720f-471a-9e0b-db3e1c6ff2cf", "contract_version": 1, "decision": "ALLOW", "effect_set_digest": "541cad4f58a5b2204f561ea647740f1673ce620c4de6aa22bb9be13cd3e9d7a9", "expires_at": 1791830568.021915, "issued_at": 1791830508.021915, "mission_id": "m-1", "permitted_resources": [ "file:/tmp/e18-vyqant4_/fx-valid/root/**" ], "policy_version": "cain42.policy.v2", "principal": "alice", "runtime": "mcp", "schema": "cain42.action_authorization.v1", "signature": "t91W3BNjSwc5OsrAEMdZTKBsOH1QbxCv+It7JxC61tZ1zHFYxzqJmfk7j3Zdpti4aWfjRy2QGUbs9o2Vp3GZAg==" }, "binding": { "body": { "auth_id": "d5b9139f-720f-471a-9e0b-db3e1c6ff2cf", "effect_set_digest": "541cad4f58a5b2204f561ea647740f1673ce620c4de6aa22bb9be13cd3e9d7a9", "passport": { "body_digest": "1bf84e88dad6c82dd8ae6b6679b74540ef01883cb73c53c3144acbbba0b2bc3b", "tool": "fs_write", "version": 1 }, "resources": [ { "dev": 46, "exists": true, "ino": 3167010, "mtime_ns": 1791830508021887217, "parent": [ 46, 3167009 ], "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt", "sha256": "cba06b5736faf67e54b07b561eae94395e774c517a7d910a54369e1263ccfbd4", "size": 3 } ], "root": "file:/tmp/e18-vyqant4_/fx-valid/root", "schema": "cain42.resource_binding.v1", "tool": "fs_write" }, "digest": "d1a50677fb1a90aa25471664515d99bc0bd26decc046fc52c3bb768831376881", "signature": "dwcQQ9mA07WUjZqncuCq/9nBFARX74u372IrwptlMkwEWCHqmuFwyhEfkvk2kat8vHMXNKRj+VqNkVDDQ9zGAw==", "signer_pub": "bevsNzt3S/x+zKP9nLsBN4uWfUw4pWkh7XrjooT1r24=" }, "block_reason": "", "declared_effects": [ { "effect": "WRITE", "material": { "content": "new" }, "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt" } ], "effect_set_digest": "541cad4f58a5b2204f561ea647740f1673ce620c4de6aa22bb9be13cd3e9d7a9", "enforcer_pub": "VuaB41PTvx1xZKmKOUa/ZR8DiCx7C5AnvqolOIsLzsI=", "executed_at": 1791830508.0292518, "executor_claims": [ { "effect": "WRITE", "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt" } ], "grade": { "absent": [], "contradictions": [], "gaps": [], "independence_ceiling": "SAME_HOST_SAME_KERNEL_SAME_UID_SOFTWARE_ONLY", "observed_roots": [ "file:/tmp/e18-vyqant4_/fx-valid/root" ], "overall_level": "INDEPENDENTLY_CORROBORATED", "per_effect": [ { "effect": "WRITE", "level": "INDEPENDENTLY_CORROBORATED", "not_observed_by": [], "observed_by": [ "inotify-9fdb4c98", "tree_diff-8b56077f" ], "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt" } ], "sensors_counted": [ "inotify-9fdb4c98", "tree_diff-8b56077f" ], "undeclared": [], "unsupported": [] }, "graph": { "correlation_id": "m-1:888b9f41-4b45-4e39-910c-697c7c605c32", "nodes": [ { "clock": { "t": 1791830508.0296326, "uncertainty_s": 0.05 }, "correlation_id": "m-1:888b9f41-4b45-4e39-910c-697c7c605c32", "kind": "VERDICT", "node_id": "93800e67126e0ad8b1eed4cabc4ea28b61d55837e934cc5a8d673653ba951bfb", "parents": [ { "id": "ddd305248d055dfc6eef1f2315a5318ceb67fbd7fe451aeea93ca5ee000cc66b", "rel": "DERIVES" } ], "payload": { "note": "the enforcer's own verdict; a verifier re-derives it", "verdict": { "claim": "AUTHORIZED_EFFECTS_OCCURRED", "reasons": [], "verdict": "VERIFIED" } }, "schema": "cain42.causal_node.v2", "seq": 12, "sig": "DRdWKR5KAzR/bAmQjJkocx2M1ZaiRU2cBfzsFMeoMYtVxrxGM1Spgqoe0CyZHknyH2x1F5+mbBxH5Q0Yzj9HAQ==", "source": { "basis": "SIGNED_BY_SOURCE", "id": "cain-enforcer", "pub": "VuaB41PTvx1xZKmKOUa/ZR8DiCx7C5AnvqolOIsLzsI=", "role": "ENFORCER" } }, { "clock": { "t": 1791830508.0293767, "uncertainty_s": 0.05 }, "correlation_id": "m-1:888b9f41-4b45-4e39-910c-697c7c605c32", "kind": "RECEIPT", "node_id": "ddd305248d055dfc6eef1f2315a5318ceb67fbd7fe451aeea93ca5ee000cc66b", "parents": [ { "id": "2d66130b190f9f9082b09e27cfe25343d6c5d323eb5d2e58b5a323932cb1ecf8", "rel": "ATTESTS" } ], "payload": { "receipt_core_digest": "11816033e7b960467c25dfe48f0611eb31ecfe19b72ba4101f1efcd990746ca2" }, "schema": "cain42.causal_node.v2", "seq": 11, "sig": "eYGUQg9+6o37vDVniN78ZDufOIOOTq7o1T8on7lHCll3J4Ful/70Cn5S4IXXfLgIhYFiA/US1sxmMn3THeMFDA==", "source": { "basis": "SIGNED_BY_SOURCE", "id": "cain-enforcer", "pub": "VuaB41PTvx1xZKmKOUa/ZR8DiCx7C5AnvqolOIsLzsI=", "role": "ENFORCER" } }, { "clock": { "t": 1791830508.0289161, "uncertainty_s": 0.05 }, "correlation_id": "m-1:888b9f41-4b45-4e39-910c-697c7c605c32", "kind": "POSTCONDITION", "node_id": "2d66130b190f9f9082b09e27cfe25343d6c5d323eb5d2e58b5a323932cb1ecf8", "parents": [ { "id": "7b67ca90ef0841c99efce1cb7c48745a3c41cf142671872a87ca9458fca14a4e", "rel": "DERIVES" }, { "id": "ee977d2edfcf2df43745dc22df211b945ea92b79df5f428e3d449efa86b56435", "rel": "DERIVES" } ], "payload": { "postconditions": [ { "basis": "TREE_DIFF_SENSOR", "effect": "WRITE", "expected_sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437", "observed_sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437", "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt", "status": "HOLDS" } ] }, "schema": "cain42.causal_node.v2", "seq": 10, "sig": "3GuIbe/cDdGv3aw17oZrf+UAr0O0KUK9f1TWn9REQLschpdG3Obp4KT8Sdkpqbx3ZuEP46EyncdMJve5MBlhDA==", "source": { "basis": "SIGNED_BY_SOURCE", "id": "cain-enforcer", "pub": "VuaB41PTvx1xZKmKOUa/ZR8DiCx7C5AnvqolOIsLzsI=", "role": "ENFORCER" } }, { "clock": { "t": 1791830508.0287044, "uncertainty_s": 0.05 }, "correlation_id": "m-1:888b9f41-4b45-4e39-910c-697c7c605c32", "kind": "OBSERVATION", "node_id": "ee977d2edfcf2df43745dc22df211b945ea92b79df5f428e3d449efa86b56435", "parents": [ { "id": "ce3d450bf89e235d19cddfbe4d86aad420455a08e18bbe73b07db0f511333b8f", "rel": "OBSERVES" } ], "payload": { "carries": "SENSOR_SIGNED_RECORD", "signed": { "observation": { "bind": { "auth_id": "d5b9139f-720f-471a-9e0b-db3e1c6ff2cf", "effect_set_digest": "541cad4f58a5b2204f561ea647740f1673ce620c4de6aa22bb9be13cd3e9d7a9", "task_id": "888b9f41-4b45-4e39-910c-697c7c605c32" }, "changes": [ { "effect": "WRITE", "kinds": [ "content" ], "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt", "sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437", "type": "F" } ], "nonce": "f75050f5bf534d18996b5a1b69bdac18", "schema": "cain42.sensor_observation.v2", "scope": { "complete": true, "gaps": [], "observable": [ "WRITE", "DELETE" ], "root": "file:/tmp/e18-vyqant4_/fx-valid/root" }, "sensor": { "boundary": "SEPARATE_PROCESS", "id": "tree_diff-8b56077f", "method": "TREE_DIFF", "pid": 1190408, "pub": "RKGO17T9gzXQHzHrPjKUdSMjiQ/brQ+mET8OqTuyOSI=" }, "t_arm": 1791830508.0236878, "t_report": 1791830508.0280755 }, "sig": "NBlnqWcXxHOnwS0Lt7l5re4VYGWD1v3jTXgHzTy8UwGqJYdDXQzgWTLg0kadmi58CBFVfroFWeTgOMRm3yQfBQ==" } }, "schema": "cain42.causal_node.v2", "seq": 9, "sig": null, "source": { "basis": "ASSERTED_BY_RECORDER", "id": "tree_diff-8b56077f", "pub": "RKGO17T9gzXQHzHrPjKUdSMjiQ/brQ+mET8OqTuyOSI=", "role": "SENSOR" } }, { "clock": { "t": 1791830508.027817, "uncertainty_s": 0.05 }, "correlation_id": "m-1:888b9f41-4b45-4e39-910c-697c7c605c32", "kind": "OBSERVATION", "node_id": "7b67ca90ef0841c99efce1cb7c48745a3c41cf142671872a87ca9458fca14a4e", "parents": [ { "id": "ce3d450bf89e235d19cddfbe4d86aad420455a08e18bbe73b07db0f511333b8f", "rel": "OBSERVES" } ], "payload": { "carries": "SENSOR_SIGNED_RECORD", "signed": { "observation": { "bind": { "auth_id": "d5b9139f-720f-471a-9e0b-db3e1c6ff2cf", "effect_set_digest": "541cad4f58a5b2204f561ea647740f1673ce620c4de6aa22bb9be13cd3e9d7a9", "task_id": "888b9f41-4b45-4e39-910c-697c7c605c32" }, "changes": [ { "effect": "WRITE", "kinds": [ "modify" ], "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt", "sha256": null, "type": null } ], "nonce": "847b0ef9fc494627bb8440db5be3bf7d", "schema": "cain42.sensor_observation.v2", "scope": { "complete": true, "gaps": [], "observable": [ "WRITE", "DELETE", "READ" ], "root": "file:/tmp/e18-vyqant4_/fx-valid/root" }, "sensor": { "boundary": "SEPARATE_PROCESS", "id": "inotify-9fdb4c98", "method": "INOTIFY", "pid": 1190409, "pub": "HQDl12fbMlJc2p8Au6vzWRUagyM0Az4wRr1F+NeIcl4=" }, "t_arm": 1791830508.024036, "t_report": 1791830508.0271933 }, "sig": "dWwDTazxsPva7L+h5EuYbwdpKlairxQ5vYq3e03eUDb1Lwz248zsPu+6ZwRYUTESkrMN3Qsn4rflbzmj7wehDg==" } }, "schema": "cain42.causal_node.v2", "seq": 8, "sig": null, "source": { "basis": "ASSERTED_BY_RECORDER", "id": "inotify-9fdb4c98", "pub": "HQDl12fbMlJc2p8Au6vzWRUagyM0Az4wRr1F+NeIcl4=", "role": "SENSOR" } }, { "clock": { "t": 1791830508.0260968, "uncertainty_s": 0.05 }, "correlation_id": "m-1:888b9f41-4b45-4e39-910c-697c7c605c32", "kind": "EXECUTION", "node_id": "ce3d450bf89e235d19cddfbe4d86aad420455a08e18bbe73b07db0f511333b8f", "parents": [ { "id": "86b9d494ec0e132917180915359d18dc4bd5f2cbc41c0fd7ae5df6cbec13132a", "rel": "ADMITS" } ], "payload": { "authority_at_completion": "LIVE", "claims_basis": "SELF_REPORTED", "error": "", "executor_claims": [ { "effect": "WRITE", "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt" } ], "status": "COMPLETED", "task_id": "888b9f41-4b45-4e39-910c-697c7c605c32", "toctou_protection": "DESCRIPTOR_PINNED" }, "schema": "cain42.causal_node.v2", "seq": 7, "sig": "Ap3wBI7K2DCplsY7HvrY8vlad+LylR59Axacf/D9aOyxEWo/ttcIJ8KJoQ15/9kVi3pAB8EwOYdB0zDvNqQgCw==", "source": { "basis": "SIGNED_BY_SOURCE", "id": "cain-enforcer", "pub": "VuaB41PTvx1xZKmKOUa/ZR8DiCx7C5AnvqolOIsLzsI=", "role": "ENFORCER" } }, { "clock": { "t": 1791830508.0232496, "uncertainty_s": 0.05 }, "correlation_id": "m-1:888b9f41-4b45-4e39-910c-697c7c605c32", "kind": "ENFORCEMENT", "node_id": "86b9d494ec0e132917180915359d18dc4bd5f2cbc41c0fd7ae5df6cbec13132a", "parents": [ { "id": "09ecd5654ad84661ee705726ad8b32789cddd20c7b9b82da6f76d19d6a99b77a", "rel": "PROPOSES" }, { "id": "1ef9c8ec21aed9ec3e818fd450d7b24dbf3158869a1010f0cd52e3fdf557a27d", "rel": "AUTHORIZES" } ], "payload": { "auth_id": "d5b9139f-720f-471a-9e0b-db3e1c6ff2cf", "decision": "ADMIT", "pinned": [ { "dev": 46, "exists": true, "ino": 3167010, "mtime_ns": 1791830508021887217, "parent": [ 46, 3167009 ], "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt", "sha256": "cba06b5736faf67e54b07b561eae94395e774c517a7d910a54369e1263ccfbd4", "size": 3 } ], "task_id": "888b9f41-4b45-4e39-910c-697c7c605c32" }, "schema": "cain42.causal_node.v2", "seq": 6, "sig": "sr8pAJRwReV/5r7MMXJEZ0iBIJNQYqBng3+9ile7Ofu1tE0ZKGnWoICtzh6BMHJgKuqdVWF333T3SARd7MzPCg==", "source": { "basis": "SIGNED_BY_SOURCE", "id": "cain-enforcer", "pub": "VuaB41PTvx1xZKmKOUa/ZR8DiCx7C5AnvqolOIsLzsI=", "role": "ENFORCER" } }, { "clock": { "t": 1791830508.022679, "uncertainty_s": 0.05 }, "correlation_id": "m-1:888b9f41-4b45-4e39-910c-697c7c605c32", "kind": "AUTHORIZATION", "node_id": "1ef9c8ec21aed9ec3e818fd450d7b24dbf3158869a1010f0cd52e3fdf557a27d", "parents": [ { "id": "09ecd5654ad84661ee705726ad8b32789cddd20c7b9b82da6f76d19d6a99b77a", "rel": "CORRELATES" } ], "payload": { "authorization": { "agent_id": "agent-1", "approver_pub": "bevsNzt3S/x+zKP9nLsBN4uWfUw4pWkh7XrjooT1r24=", "auth_id": "d5b9139f-720f-471a-9e0b-db3e1c6ff2cf", "contract_version": 1, "decision": "ALLOW", "effect_set_digest": "541cad4f58a5b2204f561ea647740f1673ce620c4de6aa22bb9be13cd3e9d7a9", "expires_at": 1791830568.021915, "issued_at": 1791830508.021915, "mission_id": "m-1", "permitted_resources": [ "file:/tmp/e18-vyqant4_/fx-valid/root/**" ], "policy_version": "cain42.policy.v2", "principal": "alice", "runtime": "mcp", "schema": "cain42.action_authorization.v1", "signature": "t91W3BNjSwc5OsrAEMdZTKBsOH1QbxCv+It7JxC61tZ1zHFYxzqJmfk7j3Zdpti4aWfjRy2QGUbs9o2Vp3GZAg==" }, "binding": { "body": { "auth_id": "d5b9139f-720f-471a-9e0b-db3e1c6ff2cf", "effect_set_digest": "541cad4f58a5b2204f561ea647740f1673ce620c4de6aa22bb9be13cd3e9d7a9", "passport": { "body_digest": "1bf84e88dad6c82dd8ae6b6679b74540ef01883cb73c53c3144acbbba0b2bc3b", "tool": "fs_write", "version": 1 }, "resources": [ { "dev": 46, "exists": true, "ino": 3167010, "mtime_ns": 1791830508021887217, "parent": [ 46, 3167009 ], "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt", "sha256": "cba06b5736faf67e54b07b561eae94395e774c517a7d910a54369e1263ccfbd4", "size": 3 } ], "root": "file:/tmp/e18-vyqant4_/fx-valid/root", "schema": "cain42.resource_binding.v1", "tool": "fs_write" }, "digest": "d1a50677fb1a90aa25471664515d99bc0bd26decc046fc52c3bb768831376881", "signature": "dwcQQ9mA07WUjZqncuCq/9nBFARX74u372IrwptlMkwEWCHqmuFwyhEfkvk2kat8vHMXNKRj+VqNkVDDQ9zGAw==", "signer_pub": "bevsNzt3S/x+zKP9nLsBN4uWfUw4pWkh7XrjooT1r24=" }, "carries": "APPROVER_SIGNED_RECORDS" }, "schema": "cain42.causal_node.v2", "seq": 5, "sig": null, "source": { "basis": "ASSERTED_BY_RECORDER", "id": "approver", "pub": "bevsNzt3S/x+zKP9nLsBN4uWfUw4pWkh7XrjooT1r24=", "role": "APPROVER" } }, { "clock": { "t": 1791830508.022634, "uncertainty_s": 0.05 }, "correlation_id": "m-1:888b9f41-4b45-4e39-910c-697c7c605c32", "kind": "CANONICAL_ACTION", "node_id": "09ecd5654ad84661ee705726ad8b32789cddd20c7b9b82da6f76d19d6a99b77a", "parents": [ { "id": "40467346a1f315f3c355c7449ac296f895545607ad764550787e34776b48f8a6", "rel": "PROPOSES" } ], "payload": { "declared_effects": [ { "effect": "WRITE", "material": { "content": "new" }, "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt" } ], "effect_set_digest": "541cad4f58a5b2204f561ea647740f1673ce620c4de6aa22bb9be13cd3e9d7a9", "raw_digest": "1c3ff19cce59e6782f28c2f1db05c517f01910239ceebb2571368c471013b1ec", "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.0225759, "uncertainty_s": 0.05 }, "correlation_id": "m-1:888b9f41-4b45-4e39-910c-697c7c605c32", "kind": "AGENT_PASSPORT", "node_id": "40467346a1f315f3c355c7449ac296f895545607ad764550787e34776b48f8a6", "parents": [ { "id": "7f9646a83fd2976334d738fee02d9a09cf8ed5c3193572fa31de0f5c954df33e", "rel": "DELEGATES" } ], "payload": { "agent_id": "agent-1", "passport": { "body_digest": "1bf84e88dad6c82dd8ae6b6679b74540ef01883cb73c53c3144acbbba0b2bc3b", "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.0225186, "uncertainty_s": 0.05 }, "correlation_id": "m-1:888b9f41-4b45-4e39-910c-697c7c605c32", "kind": "MISSION_CONTRACT", "node_id": "7f9646a83fd2976334d738fee02d9a09cf8ed5c3193572fa31de0f5c954df33e", "parents": [ { "id": "58d2efe6df6a640ea39ddc495318c136ef10e736933e9fafc924888f62a2e240", "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.0224724, "uncertainty_s": 0.05 }, "correlation_id": "m-1:888b9f41-4b45-4e39-910c-697c7c605c32", "kind": "PRINCIPAL", "node_id": "58d2efe6df6a640ea39ddc495318c136ef10e736933e9fafc924888f62a2e240", "parents": [], "payload": { "principal": "alice" }, "schema": "cain42.causal_node.v2", "seq": 1, "sig": null, "source": { "basis": "ASSERTED_BY_RECORDER", "id": "cain-enforcer", "pub": "", "role": "ENFORCER" } } ], "root_digest": "68649aa7c2f01cbb0b79a627cf5143535f628e429a19c9164e88a1dfef58402f", "schema": "cain42.causal_evidence_graph.v2" }, "graph_root": "68649aa7c2f01cbb0b79a627cf5143535f628e429a19c9164e88a1dfef58402f", "instrumented": [ { "effect": "WRITE", "kinds": [ "changed" ], "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt" } ], "mission_id": "m-1", "observations": [ { "observation": { "bind": { "auth_id": "d5b9139f-720f-471a-9e0b-db3e1c6ff2cf", "effect_set_digest": "541cad4f58a5b2204f561ea647740f1673ce620c4de6aa22bb9be13cd3e9d7a9", "task_id": "888b9f41-4b45-4e39-910c-697c7c605c32" }, "changes": [ { "effect": "WRITE", "kinds": [ "modify" ], "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt", "sha256": null, "type": null } ], "nonce": "847b0ef9fc494627bb8440db5be3bf7d", "schema": "cain42.sensor_observation.v2", "scope": { "complete": true, "gaps": [], "observable": [ "WRITE", "DELETE", "READ" ], "root": "file:/tmp/e18-vyqant4_/fx-valid/root" }, "sensor": { "boundary": "SEPARATE_PROCESS", "id": "inotify-9fdb4c98", "method": "INOTIFY", "pid": 1190409, "pub": "HQDl12fbMlJc2p8Au6vzWRUagyM0Az4wRr1F+NeIcl4=" }, "t_arm": 1791830508.024036, "t_report": 1791830508.0271933 }, "sig": "dWwDTazxsPva7L+h5EuYbwdpKlairxQ5vYq3e03eUDb1Lwz248zsPu+6ZwRYUTESkrMN3Qsn4rflbzmj7wehDg==" }, { "observation": { "bind": { "auth_id": "d5b9139f-720f-471a-9e0b-db3e1c6ff2cf", "effect_set_digest": "541cad4f58a5b2204f561ea647740f1673ce620c4de6aa22bb9be13cd3e9d7a9", "task_id": "888b9f41-4b45-4e39-910c-697c7c605c32" }, "changes": [ { "effect": "WRITE", "kinds": [ "content" ], "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt", "sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437", "type": "F" } ], "nonce": "f75050f5bf534d18996b5a1b69bdac18", "schema": "cain42.sensor_observation.v2", "scope": { "complete": true, "gaps": [], "observable": [ "WRITE", "DELETE" ], "root": "file:/tmp/e18-vyqant4_/fx-valid/root" }, "sensor": { "boundary": "SEPARATE_PROCESS", "id": "tree_diff-8b56077f", "method": "TREE_DIFF", "pid": 1190408, "pub": "RKGO17T9gzXQHzHrPjKUdSMjiQ/brQ+mET8OqTuyOSI=" }, "t_arm": 1791830508.0236878, "t_report": 1791830508.0280755 }, "sig": "NBlnqWcXxHOnwS0Lt7l5re4VYGWD1v3jTXgHzTy8UwGqJYdDXQzgWTLg0kadmi58CBFVfroFWeTgOMRm3yQfBQ==" } ], "policy_version": "cain42.policy.v2", "postconditions": [ { "basis": "TREE_DIFF_SENSOR", "effect": "WRITE", "expected_sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437", "observed_sha256": "11507a0e2f5e69d5dfa40a62a1bd7b6ee57e6bcd85c67c9b8431b36fff21c437", "resource": "file:/tmp/e18-vyqant4_/fx-valid/root/a.txt", "status": "HOLDS" } ], "raw_digest": "1c3ff19cce59e6782f28c2f1db05c517f01910239ceebb2571368c471013b1ec", "receipt_id": "df8e8667-7c5a-424c-91a4-b75b6f610fb7", "recovery": { "retried": false, "state": "NOT_APPLICABLE" }, "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-valid/root" ] }, "sensor_failures": [], "signature": "QwtWmioDVtS66jov0kTZBp7jhnhwVGYn6tS3QQdmpq1BQ0CBgD9XmY1aglYLz+jaM2kP1xNb+wooOr59kGPjBA==", "status": "COMPLETED", "task_id": "888b9f41-4b45-4e39-910c-697c7c605c32", "toctou_protection": "DESCRIPTOR_PINNED", "trust_level": "INDEPENDENTLY_CORROBORATED", "verdict": { "claim": "AUTHORIZED_EFFECTS_OCCURRED", "reasons": [], "verdict": "VERIFIED" } }