{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:35NPC75S5EKFLFAHQMZT3BOCID","short_pith_number":"pith:35NPC75S","canonical_record":{"source":{"id":"2604.25596","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2026-04-28T13:02:49Z","cross_cats_sorted":["cs.HC","cs.MA","cs.SI"],"title_canon_sha256":"d17aa6ad7203f153cf1d4aae1925e7093984edf8f9f8eb721b30459a12b35afc","abstract_canon_sha256":"b2d5f08d24c38350ee0d6d197615e9a8edb5ea8f3f2f53f01dd5fa88df5f6ab4"},"schema_version":"1.0"},"canonical_sha256":"df5af17fb2e91455940783333d85c240e07ca1f344451f67c56ebdd7b7a57319","source":{"kind":"arxiv","id":"2604.25596","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.25596","created_at":"2026-07-07T02:17:25Z"},{"alias_kind":"arxiv_version","alias_value":"2604.25596v2","created_at":"2026-07-07T02:17:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.25596","created_at":"2026-07-07T02:17:25Z"},{"alias_kind":"pith_short_12","alias_value":"35NPC75S5EKF","created_at":"2026-07-07T02:17:25Z"},{"alias_kind":"pith_short_16","alias_value":"35NPC75S5EKFLFAH","created_at":"2026-07-07T02:17:25Z"},{"alias_kind":"pith_short_8","alias_value":"35NPC75S","created_at":"2026-07-07T02:17:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:35NPC75S5EKFLFAHQMZT3BOCID","target":"record","payload":{"canonical_record":{"source":{"id":"2604.25596","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2026-04-28T13:02:49Z","cross_cats_sorted":["cs.HC","cs.MA","cs.SI"],"title_canon_sha256":"d17aa6ad7203f153cf1d4aae1925e7093984edf8f9f8eb721b30459a12b35afc","abstract_canon_sha256":"b2d5f08d24c38350ee0d6d197615e9a8edb5ea8f3f2f53f01dd5fa88df5f6ab4"},"schema_version":"1.0"},"canonical_sha256":"df5af17fb2e91455940783333d85c240e07ca1f344451f67c56ebdd7b7a57319","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-07T02:17:25.623619Z","signature_b64":"h1Jusx7KYjXDV0Jwit50nZXRlPNL1r+Yt93f46Qc02qRsJWyd1ysm+MxWNj9FQxFmBMLF3+6MO5jbEqhcez7Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"df5af17fb2e91455940783333d85c240e07ca1f344451f67c56ebdd7b7a57319","last_reissued_at":"2026-07-07T02:17:25.622947Z","signature_status":"signed_v1","first_computed_at":"2026-07-07T02:17:25.622947Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2604.25596","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-07T02:17:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MbhEyPtP65smvBrg98JndG4t8XiSnjYGoFR9/KpKnr3+fBRrS6VgESmVSBXdoyD/KL6eq3glL9YXTAB20oFcCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:14:38.076211Z"},"content_sha256":"65adbea4ac2dc85f805cbccf31f313d17d63a20a9978f2463432a1475243c03a","schema_version":"1.0","event_id":"sha256:65adbea4ac2dc85f805cbccf31f313d17d63a20a9978f2463432a1475243c03a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:35NPC75S5EKFLFAHQMZT3BOCID","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Volition-Guarded Multiagent Atomic Transactions: Describing People and their Machines","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"Volitional multiagent atomic transactions let formal models capture both machines and the people who operate them.","cross_cats":["cs.HC","cs.MA","cs.SI"],"primary_cat":"cs.DC","authors_text":"Andy Lewis-Pye, Ehud Shapiro","submitted_at":"2026-04-28T13:02:49Z","abstract_excerpt":"Formal models for concurrent and distributed systems describe machines; the people who operate them are either ignored or treated as external environment. Yet, key distributed systems -- notably grassroots platforms -- include people operating their personal machines (smartphones), and their faithful description must include the states of both people and machines and how they jointly effect system behaviour.\n  Here, we propose volition-guarded multiagent atomic transactions -- executed atomically by machines and guarded by their people's volitions -- as a novel mathematical foundation for spec"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"volitional multiagent atomic transactions -- executed atomically by machines and guarded by their people's volitions -- as a novel mathematical foundation for specifying systems consisting of people operating machines.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That human volitions can be treated as stable, discrete states that reliably guard machine preconditions without introducing unmodeled inconsistencies in real deployments.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Volitional multiagent atomic transactions model systems of people and machines by requiring both machine preconditions and human willingness for atomic actions, enabling safety and liveness analysis for grassroots platforms.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Volitional multiagent atomic transactions let formal models capture both machines and the people who operate them.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"5a9675820fdaf3a4aced118a19e15901d39052908c7b37445e0225c23641d0da"},"source":{"id":"2604.25596","kind":"arxiv","version":2},"verdict":{"id":"c0d6dbf2-13ce-4728-9e40-ee7c879d3c42","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-07T15:08:34.740886Z","strongest_claim":"volitional multiagent atomic transactions -- executed atomically by machines and guarded by their people's volitions -- as a novel mathematical foundation for specifying systems consisting of people operating machines.","one_line_summary":"Volitional multiagent atomic transactions model systems of people and machines by requiring both machine preconditions and human willingness for atomic actions, enabling safety and liveness analysis for grassroots platforms.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That human volitions can be treated as stable, discrete states that reliably guard machine preconditions without introducing unmodeled inconsistencies in real deployments.","pith_extraction_headline":"Volitional multiagent atomic transactions let formal models capture both machines and the people who operate them."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.25596/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"ai_meta_artifact","ran_at":"2026-05-21T04:37:10.398071Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T20:56:19.716875Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"b7aac745cfa2e4edf53ea12a5a73463d2b0c880e6cc89a439cdf0894d166c221"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"c0d6dbf2-13ce-4728-9e40-ee7c879d3c42"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-07T02:17:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gc2uf90wmpH/7+lFR/kJRa7c0GvhAsn1cKDRZdj5gxZHB8QXUZjL09JMRWUUv4OXudYCfGNerBglmIPsKmS7BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:14:38.076950Z"},"content_sha256":"1c4d01198d2f1be14b314f653489175e595007c98ac09a0a9d27eb3e476366f2","schema_version":"1.0","event_id":"sha256:1c4d01198d2f1be14b314f653489175e595007c98ac09a0a9d27eb3e476366f2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/35NPC75S5EKFLFAHQMZT3BOCID/bundle.json","state_url":"https://pith.science/pith/35NPC75S5EKFLFAHQMZT3BOCID/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/35NPC75S5EKFLFAHQMZT3BOCID/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-08T11:14:38Z","links":{"resolver":"https://pith.science/pith/35NPC75S5EKFLFAHQMZT3BOCID","bundle":"https://pith.science/pith/35NPC75S5EKFLFAHQMZT3BOCID/bundle.json","state":"https://pith.science/pith/35NPC75S5EKFLFAHQMZT3BOCID/state.json","well_known_bundle":"https://pith.science/.well-known/pith/35NPC75S5EKFLFAHQMZT3BOCID/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:35NPC75S5EKFLFAHQMZT3BOCID","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"b2d5f08d24c38350ee0d6d197615e9a8edb5ea8f3f2f53f01dd5fa88df5f6ab4","cross_cats_sorted":["cs.HC","cs.MA","cs.SI"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2026-04-28T13:02:49Z","title_canon_sha256":"d17aa6ad7203f153cf1d4aae1925e7093984edf8f9f8eb721b30459a12b35afc"},"schema_version":"1.0","source":{"id":"2604.25596","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.25596","created_at":"2026-07-07T02:17:25Z"},{"alias_kind":"arxiv_version","alias_value":"2604.25596v2","created_at":"2026-07-07T02:17:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.25596","created_at":"2026-07-07T02:17:25Z"},{"alias_kind":"pith_short_12","alias_value":"35NPC75S5EKF","created_at":"2026-07-07T02:17:25Z"},{"alias_kind":"pith_short_16","alias_value":"35NPC75S5EKFLFAH","created_at":"2026-07-07T02:17:25Z"},{"alias_kind":"pith_short_8","alias_value":"35NPC75S","created_at":"2026-07-07T02:17:25Z"}],"graph_snapshots":[{"event_id":"sha256:1c4d01198d2f1be14b314f653489175e595007c98ac09a0a9d27eb3e476366f2","target":"graph","created_at":"2026-07-07T02:17:25Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"volitional multiagent atomic transactions -- executed atomically by machines and guarded by their people's volitions -- as a novel mathematical foundation for specifying systems consisting of people operating machines."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That human volitions can be treated as stable, discrete states that reliably guard machine preconditions without introducing unmodeled inconsistencies in real deployments."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Volitional multiagent atomic transactions model systems of people and machines by requiring both machine preconditions and human willingness for atomic actions, enabling safety and liveness analysis for grassroots platforms."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Volitional multiagent atomic transactions let formal models capture both machines and the people who operate them."}],"snapshot_sha256":"5a9675820fdaf3a4aced118a19e15901d39052908c7b37445e0225c23641d0da"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-21T04:37:10.398071Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T20:56:19.716875Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2604.25596/integrity.json","findings":[],"snapshot_sha256":"b7aac745cfa2e4edf53ea12a5a73463d2b0c880e6cc89a439cdf0894d166c221","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Formal models for concurrent and distributed systems describe machines; the people who operate them are either ignored or treated as external environment. Yet, key distributed systems -- notably grassroots platforms -- include people operating their personal machines (smartphones), and their faithful description must include the states of both people and machines and how they jointly effect system behaviour.\n  Here, we propose volition-guarded multiagent atomic transactions -- executed atomically by machines and guarded by their people's volitions -- as a novel mathematical foundation for spec","authors_text":"Andy Lewis-Pye, Ehud Shapiro","cross_cats":["cs.HC","cs.MA","cs.SI"],"headline":"Volitional multiagent atomic transactions let formal models capture both machines and the people who operate them.","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2026-04-28T13:02:49Z","title":"Volition-Guarded Multiagent Atomic Transactions: Describing People and their Machines"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.25596","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-07T15:08:34.740886Z","id":"c0d6dbf2-13ce-4728-9e40-ee7c879d3c42","model_set":{"reader":"grok-4.3"},"one_line_summary":"Volitional multiagent atomic transactions model systems of people and machines by requiring both machine preconditions and human willingness for atomic actions, enabling safety and liveness analysis for grassroots platforms.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Volitional multiagent atomic transactions let formal models capture both machines and the people who operate them.","strongest_claim":"volitional multiagent atomic transactions -- executed atomically by machines and guarded by their people's volitions -- as a novel mathematical foundation for specifying systems consisting of people operating machines.","weakest_assumption":"That human volitions can be treated as stable, discrete states that reliably guard machine preconditions without introducing unmodeled inconsistencies in real deployments."}},"verdict_id":"c0d6dbf2-13ce-4728-9e40-ee7c879d3c42"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:65adbea4ac2dc85f805cbccf31f313d17d63a20a9978f2463432a1475243c03a","target":"record","created_at":"2026-07-07T02:17:25Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"b2d5f08d24c38350ee0d6d197615e9a8edb5ea8f3f2f53f01dd5fa88df5f6ab4","cross_cats_sorted":["cs.HC","cs.MA","cs.SI"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2026-04-28T13:02:49Z","title_canon_sha256":"d17aa6ad7203f153cf1d4aae1925e7093984edf8f9f8eb721b30459a12b35afc"},"schema_version":"1.0","source":{"id":"2604.25596","kind":"arxiv","version":2}},"canonical_sha256":"df5af17fb2e91455940783333d85c240e07ca1f344451f67c56ebdd7b7a57319","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"df5af17fb2e91455940783333d85c240e07ca1f344451f67c56ebdd7b7a57319","first_computed_at":"2026-07-07T02:17:25.622947Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-07T02:17:25.622947Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h1Jusx7KYjXDV0Jwit50nZXRlPNL1r+Yt93f46Qc02qRsJWyd1ysm+MxWNj9FQxFmBMLF3+6MO5jbEqhcez7Dg==","signature_status":"signed_v1","signed_at":"2026-07-07T02:17:25.623619Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.25596","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:65adbea4ac2dc85f805cbccf31f313d17d63a20a9978f2463432a1475243c03a","sha256:1c4d01198d2f1be14b314f653489175e595007c98ac09a0a9d27eb3e476366f2"],"state_sha256":"c0d0326c3e9ae16f1ad79681116d9bd18218f2f10e6c326c4562639752a2aff4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VgFja0vwHpdqMNillACvUJAnZFnZkz/J5OyRclP2OqZyS9CIy2so701tBbz7WPQZt1XQmXkhn1gPsbI3BkHOBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T11:14:38.082589Z","bundle_sha256":"c88386ce5698900c26a11d8ced1fc8a36857d97fabcf913dd593872d29a9018b"}}