{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:QMPVYXRVMSSFHGSUOD7FACGSDG","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":"0e652058896cb930b58befe5ed9e5f461e966d6fc2cdd8aa4f919495d9beadfb","cross_cats_sorted":["cs.DC","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-03-10T12:53:57Z","title_canon_sha256":"ae2a8d70ca2d7d9575433addb59fd3e1c9c82fc3a1c972ce193f39730eaff28c"},"schema_version":"1.0","source":{"id":"2503.07273","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.07273","created_at":"2026-07-05T10:31:27Z"},{"alias_kind":"arxiv_version","alias_value":"2503.07273v2","created_at":"2026-07-05T10:31:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.07273","created_at":"2026-07-05T10:31:27Z"},{"alias_kind":"pith_short_12","alias_value":"QMPVYXRVMSSF","created_at":"2026-07-05T10:31:27Z"},{"alias_kind":"pith_short_16","alias_value":"QMPVYXRVMSSFHGSU","created_at":"2026-07-05T10:31:27Z"},{"alias_kind":"pith_short_8","alias_value":"QMPVYXRV","created_at":"2026-07-05T10:31:27Z"}],"graph_snapshots":[{"event_id":"sha256:da7331041b61d67de4b16af544cac951b2bbb28db63bd64d8dab414f63595ed2","target":"graph","created_at":"2026-07-05T10:31:27Z","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/2503.07273/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study a theory of asynchronous session types ensuring that well-typed processes terminate under a suitable fairness assumption. Fair termination entails starvation freedom and orphan message freedom namely that all messages, including those that are produced early taking advantage of asynchrony, are eventually consumed. The theory is based on a novel fair asynchronous subtyping relation for session types that is coarser than the existing ones. The type system is also the first of its kind that is firmly rooted in linear logic: fair asynchronous subtyping is incorporated as a natural general","authors_text":"Gianluigi Zavattaro, Luca Padovani","cross_cats":["cs.DC","cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-03-10T12:53:57Z","title":"Fair Termination of Asynchronous Binary Sessions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.07273","kind":"arxiv","version":2},"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:85e5ff381606bde213c5ba75cc864d07bcdc41d54229c51049f0907009384b03","target":"record","created_at":"2026-07-05T10:31:27Z","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":"0e652058896cb930b58befe5ed9e5f461e966d6fc2cdd8aa4f919495d9beadfb","cross_cats_sorted":["cs.DC","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-03-10T12:53:57Z","title_canon_sha256":"ae2a8d70ca2d7d9575433addb59fd3e1c9c82fc3a1c972ce193f39730eaff28c"},"schema_version":"1.0","source":{"id":"2503.07273","kind":"arxiv","version":2}},"canonical_sha256":"831f5c5e3564a4539a5470fe5008d2198cd0ac7d3d1650f2303b1317e0b73bd5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"831f5c5e3564a4539a5470fe5008d2198cd0ac7d3d1650f2303b1317e0b73bd5","first_computed_at":"2026-07-05T10:31:27.486990Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:31:27.486990Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LNvZ28OLIZebY63H+1a4mPYrNHkWog03rpa0LAH1PRBsQDAHMpS8qa+Wrj+dfDv3fYpBPzgdTjtsk6mo4IVbDw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:31:27.487515Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.07273","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85e5ff381606bde213c5ba75cc864d07bcdc41d54229c51049f0907009384b03","sha256:da7331041b61d67de4b16af544cac951b2bbb28db63bd64d8dab414f63595ed2"],"state_sha256":"a032f2acb0167d311e68a36c4abb8288770fc5def5dae91e985da976a85ea97d"}