{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:MZJRQ2PFO6MR4OEGSWYNXHJVMI","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":"99d6d573341b1827bb084e7c58c7a49cc0f381aa8b01647c82574fb46cd0f31c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-06-06T13:34:23Z","title_canon_sha256":"0b46188f94a1724f9a0cb8638841e1fab23d5eb527f698baf1c69a1c7bed471d"},"schema_version":"1.0","source":{"id":"2506.06078","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.06078","created_at":"2026-07-05T11:17:25Z"},{"alias_kind":"arxiv_version","alias_value":"2506.06078v1","created_at":"2026-07-05T11:17:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.06078","created_at":"2026-07-05T11:17:25Z"},{"alias_kind":"pith_short_12","alias_value":"MZJRQ2PFO6MR","created_at":"2026-07-05T11:17:25Z"},{"alias_kind":"pith_short_16","alias_value":"MZJRQ2PFO6MR4OEG","created_at":"2026-07-05T11:17:25Z"},{"alias_kind":"pith_short_8","alias_value":"MZJRQ2PF","created_at":"2026-07-05T11:17:25Z"}],"graph_snapshots":[{"event_id":"sha256:12c7699855fe3dc4c02386819fb36620de0cd2f29140532d1a0c0ceff43026a3","target":"graph","created_at":"2026-07-05T11:17:25Z","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/2506.06078/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Session types are abstractions of communication protocols enabling the static analysis of message-passing processes. Refinement notions for session types are key to support safe forms of process substitution while preserving their compatibility with the rest of the system. Recently, a fair refinement relation for asynchronous session types has been defined allowing the anticipation of message outputs with respect to an unbounded number of message inputs. This refinement is useful to capture common patterns in communication protocols that take advantage of asynchrony. However, while the semanti","authors_text":"Gianluigi Zavattaro, Luca Padovani, Mario Bravetti","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.06078","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:789d83b7633a3df4549732957fcfd6fc19c76c1e5671069548e69abcf519a9e5","target":"record","created_at":"2026-07-05T11:17:25Z","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":"99d6d573341b1827bb084e7c58c7a49cc0f381aa8b01647c82574fb46cd0f31c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-06-06T13:34:23Z","title_canon_sha256":"0b46188f94a1724f9a0cb8638841e1fab23d5eb527f698baf1c69a1c7bed471d"},"schema_version":"1.0","source":{"id":"2506.06078","kind":"arxiv","version":1}},"canonical_sha256":"66531869e577991e388695b0db9d3562218e625ef2d60c7dea861a74f1d1f884","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"66531869e577991e388695b0db9d3562218e625ef2d60c7dea861a74f1d1f884","first_computed_at":"2026-07-05T11:17:25.295621Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:17:25.295621Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mgth7HTFE/uV09oGs85TuBP3ySrSpErWQus3wLhrzR9jifNZizCyv2cDDKAlf7Ef5sCRheo1O+0dGjiHm8AcAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:17:25.296121Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.06078","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:789d83b7633a3df4549732957fcfd6fc19c76c1e5671069548e69abcf519a9e5","sha256:12c7699855fe3dc4c02386819fb36620de0cd2f29140532d1a0c0ceff43026a3"],"state_sha256":"000da128281271903b85130768cd1b789af3d135cd86e7cbb3cf240642882443"}