{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:QMPVYXRVMSSFHGSUOD7FACGSDG","short_pith_number":"pith:QMPVYXRV","canonical_record":{"source":{"id":"2503.07273","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-03-10T12:53:57Z","cross_cats_sorted":["cs.DC","cs.LO"],"title_canon_sha256":"ae2a8d70ca2d7d9575433addb59fd3e1c9c82fc3a1c972ce193f39730eaff28c","abstract_canon_sha256":"0e652058896cb930b58befe5ed9e5f461e966d6fc2cdd8aa4f919495d9beadfb"},"schema_version":"1.0"},"canonical_sha256":"831f5c5e3564a4539a5470fe5008d2198cd0ac7d3d1650f2303b1317e0b73bd5","source":{"kind":"arxiv","id":"2503.07273","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:QMPVYXRVMSSFHGSUOD7FACGSDG","target":"record","payload":{"canonical_record":{"source":{"id":"2503.07273","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-03-10T12:53:57Z","cross_cats_sorted":["cs.DC","cs.LO"],"title_canon_sha256":"ae2a8d70ca2d7d9575433addb59fd3e1c9c82fc3a1c972ce193f39730eaff28c","abstract_canon_sha256":"0e652058896cb930b58befe5ed9e5f461e966d6fc2cdd8aa4f919495d9beadfb"},"schema_version":"1.0"},"canonical_sha256":"831f5c5e3564a4539a5470fe5008d2198cd0ac7d3d1650f2303b1317e0b73bd5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:31:27.487515Z","signature_b64":"LNvZ28OLIZebY63H+1a4mPYrNHkWog03rpa0LAH1PRBsQDAHMpS8qa+Wrj+dfDv3fYpBPzgdTjtsk6mo4IVbDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"831f5c5e3564a4539a5470fe5008d2198cd0ac7d3d1650f2303b1317e0b73bd5","last_reissued_at":"2026-07-05T10:31:27.486990Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:31:27.486990Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.07273","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-05T10:31:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xHs5O1DuB7xIh4zBghZvPK60S8D/fw7kYotLhfX73FoAedST3Cd5N+jy4ak+D1gPNzogKyn5qWqVkMTUh58+Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T20:20:29.538739Z"},"content_sha256":"85e5ff381606bde213c5ba75cc864d07bcdc41d54229c51049f0907009384b03","schema_version":"1.0","event_id":"sha256:85e5ff381606bde213c5ba75cc864d07bcdc41d54229c51049f0907009384b03"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:QMPVYXRVMSSFHGSUOD7FACGSDG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fair Termination of Asynchronous Binary Sessions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DC","cs.LO"],"primary_cat":"cs.PL","authors_text":"Gianluigi Zavattaro, Luca Padovani","submitted_at":"2025-03-10T12:53:57Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.07273","kind":"arxiv","version":2},"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/2503.07273/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-05T10:31:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"is78MkVkK0lOj3Sc8hxtO/Kr2P1VUVyaV1Pgjf5vrDiKxWhDiSboufhEcCw3Q+UGQMszwskgJ0wWmthlXpfDAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T20:20:29.539344Z"},"content_sha256":"da7331041b61d67de4b16af544cac951b2bbb28db63bd64d8dab414f63595ed2","schema_version":"1.0","event_id":"sha256:da7331041b61d67de4b16af544cac951b2bbb28db63bd64d8dab414f63595ed2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QMPVYXRVMSSFHGSUOD7FACGSDG/bundle.json","state_url":"https://pith.science/pith/QMPVYXRVMSSFHGSUOD7FACGSDG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QMPVYXRVMSSFHGSUOD7FACGSDG/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-08T20:20:29Z","links":{"resolver":"https://pith.science/pith/QMPVYXRVMSSFHGSUOD7FACGSDG","bundle":"https://pith.science/pith/QMPVYXRVMSSFHGSUOD7FACGSDG/bundle.json","state":"https://pith.science/pith/QMPVYXRVMSSFHGSUOD7FACGSDG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QMPVYXRVMSSFHGSUOD7FACGSDG/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rVqdooJNWaaaxp9tZKeEDpzhl+u5que3302goAbhwyEADw2rK3TUyXQ2iqIzBFQVui7e6EEYlmtl1dOCRLX4BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T20:20:29.545098Z","bundle_sha256":"dc2436590cb4a3eb83569f4a74cf532a769dd4b6fbc9feb3b9da855e4dc84631"}}