{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:LUR2H6SDH5JP6VBJGWJPU2GNQR","short_pith_number":"pith:LUR2H6SD","canonical_record":{"source":{"id":"2606.31572","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-30T12:30:49Z","cross_cats_sorted":[],"title_canon_sha256":"745f69e92b95cd4ac7c31545785e22ca6f74966c84421635b85332ea817edd68","abstract_canon_sha256":"8f30a59900b508dcf282b81824d1bf119589dd66e370123c6daf5d34f652d1bc"},"schema_version":"1.0"},"canonical_sha256":"5d23a3fa433f52ff54293592fa68cd845ff8b435376aaf7c2a3635fd1a1fd1ca","source":{"kind":"arxiv","id":"2606.31572","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.31572","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"arxiv_version","alias_value":"2606.31572v1","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.31572","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"pith_short_12","alias_value":"LUR2H6SDH5JP","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"pith_short_16","alias_value":"LUR2H6SDH5JP6VBJ","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"pith_short_8","alias_value":"LUR2H6SD","created_at":"2026-07-01T01:18:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:LUR2H6SDH5JP6VBJGWJPU2GNQR","target":"record","payload":{"canonical_record":{"source":{"id":"2606.31572","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-30T12:30:49Z","cross_cats_sorted":[],"title_canon_sha256":"745f69e92b95cd4ac7c31545785e22ca6f74966c84421635b85332ea817edd68","abstract_canon_sha256":"8f30a59900b508dcf282b81824d1bf119589dd66e370123c6daf5d34f652d1bc"},"schema_version":"1.0"},"canonical_sha256":"5d23a3fa433f52ff54293592fa68cd845ff8b435376aaf7c2a3635fd1a1fd1ca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-01T01:18:08.029411Z","signature_b64":"KhEuSYN4G3dkP9tPXN5Xvr39LXS2w0anY+/w06SkH/IQ8j6dSl6tU+Y52wz62HIgkOKX6gVNYpj1mhhL46pkAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5d23a3fa433f52ff54293592fa68cd845ff8b435376aaf7c2a3635fd1a1fd1ca","last_reissued_at":"2026-07-01T01:18:08.029012Z","signature_status":"signed_v1","first_computed_at":"2026-07-01T01:18:08.029012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.31572","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-01T01:18:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Who3FfLfOyTsJbybxN9iJHQeUJ6Mady+2tAtNCDh6IqvpSPUuurYF0TIOYIHXg0Ta89oLnJAKYAQHQTPlq3UCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T18:55:21.570465Z"},"content_sha256":"acf58275d5b699e170e99bd4fc58c125b251081878fe86f1ffd0761d4346336a","schema_version":"1.0","event_id":"sha256:acf58275d5b699e170e99bd4fc58c125b251081878fe86f1ffd0761d4346336a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:LUR2H6SDH5JP6VBJGWJPU2GNQR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"FormIDEAble: Safe and Socially-aware Autonomous Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Amel Bennaceur, Anastasia Kordoni, Bashar Nuseibeh, Carlos Gavidia-Calderon, Livia Lestingi, Marcello M. Bersani, Mark Levine, Matteo Rossi","submitted_at":"2026-06-30T12:30:49Z","abstract_excerpt":"Autonomous agents operating in socio-critical settings must coordinate with humans under uncertainty while respecting explicit safety constraints. Existing approaches either account for social dynamics without formal guarantees or provide formal assurance while abstracting away human behaviour. We introduce FormIDEAble, a formally grounded approach for synthesising socially-aware cooperation strategies with safety guarantees. The cooperation between humans and the autonomous agent is modelled as a Priced Timed Markov Decision Process, and decision-making is formulated as a cost-bounded reachab"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.31572","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/2606.31572/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-01T01:18:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b1vyY31hzsLKJDOjG6k3I7CV4rcp87caeqeEyPMF7aA+mCG5oZcO/JkfOskY4SL5Y1A91Pmjh5PZHu8umilDAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T18:55:21.570857Z"},"content_sha256":"63df0b9131d848ec015d1b3dbf2e6c34062e39176c8bf84cef6ccfb43f7149e9","schema_version":"1.0","event_id":"sha256:63df0b9131d848ec015d1b3dbf2e6c34062e39176c8bf84cef6ccfb43f7149e9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LUR2H6SDH5JP6VBJGWJPU2GNQR/bundle.json","state_url":"https://pith.science/pith/LUR2H6SDH5JP6VBJGWJPU2GNQR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LUR2H6SDH5JP6VBJGWJPU2GNQR/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-03T18:55:21Z","links":{"resolver":"https://pith.science/pith/LUR2H6SDH5JP6VBJGWJPU2GNQR","bundle":"https://pith.science/pith/LUR2H6SDH5JP6VBJGWJPU2GNQR/bundle.json","state":"https://pith.science/pith/LUR2H6SDH5JP6VBJGWJPU2GNQR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LUR2H6SDH5JP6VBJGWJPU2GNQR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:LUR2H6SDH5JP6VBJGWJPU2GNQR","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":"8f30a59900b508dcf282b81824d1bf119589dd66e370123c6daf5d34f652d1bc","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-30T12:30:49Z","title_canon_sha256":"745f69e92b95cd4ac7c31545785e22ca6f74966c84421635b85332ea817edd68"},"schema_version":"1.0","source":{"id":"2606.31572","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.31572","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"arxiv_version","alias_value":"2606.31572v1","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.31572","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"pith_short_12","alias_value":"LUR2H6SDH5JP","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"pith_short_16","alias_value":"LUR2H6SDH5JP6VBJ","created_at":"2026-07-01T01:18:08Z"},{"alias_kind":"pith_short_8","alias_value":"LUR2H6SD","created_at":"2026-07-01T01:18:08Z"}],"graph_snapshots":[{"event_id":"sha256:63df0b9131d848ec015d1b3dbf2e6c34062e39176c8bf84cef6ccfb43f7149e9","target":"graph","created_at":"2026-07-01T01:18:08Z","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/2606.31572/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous agents operating in socio-critical settings must coordinate with humans under uncertainty while respecting explicit safety constraints. Existing approaches either account for social dynamics without formal guarantees or provide formal assurance while abstracting away human behaviour. We introduce FormIDEAble, a formally grounded approach for synthesising socially-aware cooperation strategies with safety guarantees. The cooperation between humans and the autonomous agent is modelled as a Priced Timed Markov Decision Process, and decision-making is formulated as a cost-bounded reachab","authors_text":"Amel Bennaceur, Anastasia Kordoni, Bashar Nuseibeh, Carlos Gavidia-Calderon, Livia Lestingi, Marcello M. Bersani, Mark Levine, Matteo Rossi","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-30T12:30:49Z","title":"FormIDEAble: Safe and Socially-aware Autonomous Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.31572","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:acf58275d5b699e170e99bd4fc58c125b251081878fe86f1ffd0761d4346336a","target":"record","created_at":"2026-07-01T01:18:08Z","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":"8f30a59900b508dcf282b81824d1bf119589dd66e370123c6daf5d34f652d1bc","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-30T12:30:49Z","title_canon_sha256":"745f69e92b95cd4ac7c31545785e22ca6f74966c84421635b85332ea817edd68"},"schema_version":"1.0","source":{"id":"2606.31572","kind":"arxiv","version":1}},"canonical_sha256":"5d23a3fa433f52ff54293592fa68cd845ff8b435376aaf7c2a3635fd1a1fd1ca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5d23a3fa433f52ff54293592fa68cd845ff8b435376aaf7c2a3635fd1a1fd1ca","first_computed_at":"2026-07-01T01:18:08.029012Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-01T01:18:08.029012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KhEuSYN4G3dkP9tPXN5Xvr39LXS2w0anY+/w06SkH/IQ8j6dSl6tU+Y52wz62HIgkOKX6gVNYpj1mhhL46pkAg==","signature_status":"signed_v1","signed_at":"2026-07-01T01:18:08.029411Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.31572","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:acf58275d5b699e170e99bd4fc58c125b251081878fe86f1ffd0761d4346336a","sha256:63df0b9131d848ec015d1b3dbf2e6c34062e39176c8bf84cef6ccfb43f7149e9"],"state_sha256":"605c2b8de042245d52f3ab0c7acf7eef077871b83406f0fa1cfff7bdf097f584"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DHaK5XFaIJZUe9PizQ6Kr64WItkIP5BpGzxzmYzWU0Q6E0V+1pk003nSMge56mTyJSnRoSe2RK4PNS63CkskAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-03T18:55:21.573506Z","bundle_sha256":"6cfb4f8f2963e370419dee72d000b982c96cc06b7f3d08d5d18e918339550567"}}