{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:AVTPAEIXLPM5WR7GKHKM2OQRWJ","short_pith_number":"pith:AVTPAEIX","canonical_record":{"source":{"id":"2408.09516","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-08-18T15:43:11Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"3943072b9510ef76e54a9bdfb5cf3e964c906c67666180987bb7da9d1edec329","abstract_canon_sha256":"03b277d138aaeb73fafe3408fa098ef2617bd55779ab0449a690a21054031d70"},"schema_version":"1.0"},"canonical_sha256":"0566f011175bd9db47e651d4cd3a11b273da1de82e79333068abd21b6333bc2a","source":{"kind":"arxiv","id":"2408.09516","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.09516","created_at":"2026-07-05T08:56:33Z"},{"alias_kind":"arxiv_version","alias_value":"2408.09516v1","created_at":"2026-07-05T08:56:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.09516","created_at":"2026-07-05T08:56:33Z"},{"alias_kind":"pith_short_12","alias_value":"AVTPAEIXLPM5","created_at":"2026-07-05T08:56:33Z"},{"alias_kind":"pith_short_16","alias_value":"AVTPAEIXLPM5WR7G","created_at":"2026-07-05T08:56:33Z"},{"alias_kind":"pith_short_8","alias_value":"AVTPAEIX","created_at":"2026-07-05T08:56:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:AVTPAEIXLPM5WR7GKHKM2OQRWJ","target":"record","payload":{"canonical_record":{"source":{"id":"2408.09516","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-08-18T15:43:11Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"3943072b9510ef76e54a9bdfb5cf3e964c906c67666180987bb7da9d1edec329","abstract_canon_sha256":"03b277d138aaeb73fafe3408fa098ef2617bd55779ab0449a690a21054031d70"},"schema_version":"1.0"},"canonical_sha256":"0566f011175bd9db47e651d4cd3a11b273da1de82e79333068abd21b6333bc2a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:56:33.691681Z","signature_b64":"2TGTrbicRVXfi345aHt1FRFGlDeOajy+XGkIGtxLLG20J1cUH1BXYXq+kn4lZuWF0iTb6o1jdQ9FGz1kCRLtDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0566f011175bd9db47e651d4cd3a11b273da1de82e79333068abd21b6333bc2a","last_reissued_at":"2026-07-05T08:56:33.691260Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:56:33.691260Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.09516","source_version":1,"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-05T08:56:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/oa5oSSpaAPrrfWXNNgNrLWC03Yt4nJ67I/6vU1kXVLR2RG39zvJN9N/rqEYLUeGvBYeAoPGL1WV7piu5eNPDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T02:39:35.650712Z"},"content_sha256":"2b90e2ba94a01dbc4a276670e752e40e6fe1885c64f2c2035d8ecbf5ee4600ad","schema_version":"1.0","event_id":"sha256:2b90e2ba94a01dbc4a276670e752e40e6fe1885c64f2c2035d8ecbf5ee4600ad"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:AVTPAEIXLPM5WR7GKHKM2OQRWJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Logic for Policy Based Resource Exchanges in Multiagent Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Letterio Galletta, Lorenzo Ceragioli, Luca Vigan\\`o, Pierpaolo Degano","submitted_at":"2024-08-18T15:43:11Z","abstract_excerpt":"In multiagent systems autonomous agents interact with each other to achieve individual and collective goals. Typical interactions concern negotiation and agreement on resource exchanges. Modeling and formalizing these agreements pose significant challenges, particularly in capturing the dynamic behaviour of agents, while ensuring that resources are correctly handled. Here, we propose exchange environments as a formal setting where agents specify and obey exchange policies, which are declarative statements about what resources they offer and what they require in return. Furthermore, we introduc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.09516","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2408.09516/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T08:56:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qru2rTbEnTfB5ygjT5IDVIy/MNVKWeJ40kAscpONlNLY7VgJXFZPyGN5fdR3a/q7pzlichxR8DJYivBf6k26Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T02:39:35.651331Z"},"content_sha256":"98d733052bf93fc9ffe9206f25cb9a22c70d818737e343a5c6bd552caf4fda6e","schema_version":"1.0","event_id":"sha256:98d733052bf93fc9ffe9206f25cb9a22c70d818737e343a5c6bd552caf4fda6e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AVTPAEIXLPM5WR7GKHKM2OQRWJ/bundle.json","state_url":"https://pith.science/pith/AVTPAEIXLPM5WR7GKHKM2OQRWJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AVTPAEIXLPM5WR7GKHKM2OQRWJ/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-07-07T02:39:35Z","links":{"resolver":"https://pith.science/pith/AVTPAEIXLPM5WR7GKHKM2OQRWJ","bundle":"https://pith.science/pith/AVTPAEIXLPM5WR7GKHKM2OQRWJ/bundle.json","state":"https://pith.science/pith/AVTPAEIXLPM5WR7GKHKM2OQRWJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AVTPAEIXLPM5WR7GKHKM2OQRWJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:AVTPAEIXLPM5WR7GKHKM2OQRWJ","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":"03b277d138aaeb73fafe3408fa098ef2617bd55779ab0449a690a21054031d70","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-08-18T15:43:11Z","title_canon_sha256":"3943072b9510ef76e54a9bdfb5cf3e964c906c67666180987bb7da9d1edec329"},"schema_version":"1.0","source":{"id":"2408.09516","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.09516","created_at":"2026-07-05T08:56:33Z"},{"alias_kind":"arxiv_version","alias_value":"2408.09516v1","created_at":"2026-07-05T08:56:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.09516","created_at":"2026-07-05T08:56:33Z"},{"alias_kind":"pith_short_12","alias_value":"AVTPAEIXLPM5","created_at":"2026-07-05T08:56:33Z"},{"alias_kind":"pith_short_16","alias_value":"AVTPAEIXLPM5WR7G","created_at":"2026-07-05T08:56:33Z"},{"alias_kind":"pith_short_8","alias_value":"AVTPAEIX","created_at":"2026-07-05T08:56:33Z"}],"graph_snapshots":[{"event_id":"sha256:98d733052bf93fc9ffe9206f25cb9a22c70d818737e343a5c6bd552caf4fda6e","target":"graph","created_at":"2026-07-05T08:56:33Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2408.09516/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In multiagent systems autonomous agents interact with each other to achieve individual and collective goals. Typical interactions concern negotiation and agreement on resource exchanges. Modeling and formalizing these agreements pose significant challenges, particularly in capturing the dynamic behaviour of agents, while ensuring that resources are correctly handled. Here, we propose exchange environments as a formal setting where agents specify and obey exchange policies, which are declarative statements about what resources they offer and what they require in return. Furthermore, we introduc","authors_text":"Letterio Galletta, Lorenzo Ceragioli, Luca Vigan\\`o, Pierpaolo Degano","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-08-18T15:43:11Z","title":"A Logic for Policy Based Resource Exchanges in Multiagent Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.09516","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2b90e2ba94a01dbc4a276670e752e40e6fe1885c64f2c2035d8ecbf5ee4600ad","target":"record","created_at":"2026-07-05T08:56:33Z","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":"03b277d138aaeb73fafe3408fa098ef2617bd55779ab0449a690a21054031d70","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-08-18T15:43:11Z","title_canon_sha256":"3943072b9510ef76e54a9bdfb5cf3e964c906c67666180987bb7da9d1edec329"},"schema_version":"1.0","source":{"id":"2408.09516","kind":"arxiv","version":1}},"canonical_sha256":"0566f011175bd9db47e651d4cd3a11b273da1de82e79333068abd21b6333bc2a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0566f011175bd9db47e651d4cd3a11b273da1de82e79333068abd21b6333bc2a","first_computed_at":"2026-07-05T08:56:33.691260Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:56:33.691260Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2TGTrbicRVXfi345aHt1FRFGlDeOajy+XGkIGtxLLG20J1cUH1BXYXq+kn4lZuWF0iTb6o1jdQ9FGz1kCRLtDw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:56:33.691681Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.09516","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2b90e2ba94a01dbc4a276670e752e40e6fe1885c64f2c2035d8ecbf5ee4600ad","sha256:98d733052bf93fc9ffe9206f25cb9a22c70d818737e343a5c6bd552caf4fda6e"],"state_sha256":"1ac7e2c659859e986b67602582631d993c6840422ca2d0c2bbc6957034042afa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0m1sY5bH+8XDmFnEfbTIrWqkxbYe5Rt+OeiVprOXJDDLgN334dPYvyI8Cqc38mCPUIfw/vvGjAMBiuuD+fgJDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T02:39:35.655085Z","bundle_sha256":"a245418baf9752229915e9eb1769d89994f9ba91687b7ce60ddd5e1eb21cbe49"}}