{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:DREKYCY77NAAXJFS3CD4IDWERG","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":"4591f88949ed62a0e0fb138c65f919cb4cfba14a4316b41bd29fdc88d9e78c4e","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-11T01:20:29Z","title_canon_sha256":"e53759b739757a94adbbf228f821149c6e69e96d0bee5b972be6f56afb637c8d"},"schema_version":"1.0","source":{"id":"1602.03595","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.03595","created_at":"2026-05-18T01:20:57Z"},{"alias_kind":"arxiv_version","alias_value":"1602.03595v1","created_at":"2026-05-18T01:20:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.03595","created_at":"2026-05-18T01:20:57Z"},{"alias_kind":"pith_short_12","alias_value":"DREKYCY77NAA","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"DREKYCY77NAAXJFS","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"DREKYCY7","created_at":"2026-05-18T12:30:12Z"}],"graph_snapshots":[{"event_id":"sha256:6e7c994e6fad443794a87d98d5244c217285bcb13a533c86c52c94fed9919d17","target":"graph","created_at":"2026-05-18T01:20:57Z","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"},"paper":{"abstract_excerpt":"In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agreement between the communicating  parties. If the interaction fails, the past agreements are good candidates as points where to roll back, in order to take a different agreement. We propose a variant of contracts with synchronous rollbacks to agreement points in case of deadlock. The new calculus is equipped with a compliance relation which is shown to be decidable.","authors_text":"Franco Barbanera (Dipartimento di Matematica e Informatica, Ivan Lanese (Dipartimento di Informatica - Scienza e Ingegneria, Mariangiola Dezani-Ciancaglini (Dipartimento di Informatica, Ugo de'Liguoro (Dipartimento di Informatica, University of Bologna/INRIA), University of Catania), University of Torino)","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-11T01:20:29Z","title":"Retractable Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.03595","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:af31828b41217a28efa17d79fab23fe60498b99889fb7c47fae2d6b9159fe86c","target":"record","created_at":"2026-05-18T01:20:57Z","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":"4591f88949ed62a0e0fb138c65f919cb4cfba14a4316b41bd29fdc88d9e78c4e","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-11T01:20:29Z","title_canon_sha256":"e53759b739757a94adbbf228f821149c6e69e96d0bee5b972be6f56afb637c8d"},"schema_version":"1.0","source":{"id":"1602.03595","kind":"arxiv","version":1}},"canonical_sha256":"1c48ac0b1ffb400ba4b2d887c40ec489b7735146d034ed7c5be38903e4dd8d38","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1c48ac0b1ffb400ba4b2d887c40ec489b7735146d034ed7c5be38903e4dd8d38","first_computed_at":"2026-05-18T01:20:57.028151Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:20:57.028151Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DNngF0cDA9whfCtmukACvHTWtd3KsYcsS3EX42QWp5pmOW07xR2/OAwW4XuKRiYZdLBf4e/Vq95OWfcaKpovCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:20:57.028620Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.03595","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af31828b41217a28efa17d79fab23fe60498b99889fb7c47fae2d6b9159fe86c","sha256:6e7c994e6fad443794a87d98d5244c217285bcb13a533c86c52c94fed9919d17"],"state_sha256":"5980935d9ac2ace3da5501b3d6aec4ac9b9fb9c169efcc3606fb10e18e7cbd5a"}