{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:3J2ZJWA6QTK6EFOV3BAVENIBL4","short_pith_number":"pith:3J2ZJWA6","canonical_record":{"source":{"id":"1703.00659","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-02T08:14:33Z","cross_cats_sorted":[],"title_canon_sha256":"132d3d84a9a5fbe680426913ef82df6394218b446db0935f361f9484688edf46","abstract_canon_sha256":"3eb241b982e8ebb3c98784dacebe52373dc8fcfdaf5fd7cfbfe35da03b6f7578"},"schema_version":"1.0"},"canonical_sha256":"da7594d81e84d5e215d5d8415235015f0323e5d3621efb0d73e3a9fb89536f34","source":{"kind":"arxiv","id":"1703.00659","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.00659","created_at":"2026-05-18T00:23:56Z"},{"alias_kind":"arxiv_version","alias_value":"1703.00659v3","created_at":"2026-05-18T00:23:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.00659","created_at":"2026-05-18T00:23:56Z"},{"alias_kind":"pith_short_12","alias_value":"3J2ZJWA6QTK6","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3J2ZJWA6QTK6EFOV","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3J2ZJWA6","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:3J2ZJWA6QTK6EFOV3BAVENIBL4","target":"record","payload":{"canonical_record":{"source":{"id":"1703.00659","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-02T08:14:33Z","cross_cats_sorted":[],"title_canon_sha256":"132d3d84a9a5fbe680426913ef82df6394218b446db0935f361f9484688edf46","abstract_canon_sha256":"3eb241b982e8ebb3c98784dacebe52373dc8fcfdaf5fd7cfbfe35da03b6f7578"},"schema_version":"1.0"},"canonical_sha256":"da7594d81e84d5e215d5d8415235015f0323e5d3621efb0d73e3a9fb89536f34","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:23:56.784681Z","signature_b64":"uXYTWNMtWaDR6211LntejuuNLax1k4zFMBZar2dCixMJdz5POSmXcDvHVrZxWRZRlbcON+YFIJB4YDbAvwEDDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"da7594d81e84d5e215d5d8415235015f0323e5d3621efb0d73e3a9fb89536f34","last_reissued_at":"2026-05-18T00:23:56.784074Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:23:56.784074Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.00659","source_version":3,"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-05-18T00:23:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C3tKOV9ptzbuEZUFIMpz20QklnfeqWVLvBE8lR39HEUCTTvdS9xf9cNaxWTE+7ATKK5u5JP8oq7eOxBtw2JFCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T02:44:58.964029Z"},"content_sha256":"587b4f9bc606d6c0e85fda0a7782180603fb9048a44d804a011771a903bd2ca5","schema_version":"1.0","event_id":"sha256:587b4f9bc606d6c0e85fda0a7782180603fb9048a44d804a011771a903bd2ca5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:3J2ZJWA6QTK6EFOV3BAVENIBL4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Gianluigi Zavattaro, Marco Carbone, Mario Bravetti","submitted_at":"2017-03-02T08:14:33Z","abstract_excerpt":"Session types are behavioural types for guaranteeing that concurrent programs are free from basic communication errors. Recent work has shown that asynchronous session subtyping is undecidable. However, since session types have become popular in mainstream programming languages in which asynchronous communication is the norm rather than the exception, it is crucial to detect significant decidable subtyping relations. Previous work considered extremely restrictive fragments in which limitations were imposed to the size of communication buffer (at most 1) or to the possibility to express multipl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.00659","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T00:23:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sjIfGUQtHE+rPax9PhU9jiUlKHW4EHtdKhmBOorrctrbafRBU2c+RYWfa3nqKXp0PuVon3eon7sMTLSVZudWCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T02:44:58.964394Z"},"content_sha256":"f545ca4818f56021c27359f6fa3831b1aea8a707c61e881cb1cc1a0f8cc86e6b","schema_version":"1.0","event_id":"sha256:f545ca4818f56021c27359f6fa3831b1aea8a707c61e881cb1cc1a0f8cc86e6b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3J2ZJWA6QTK6EFOV3BAVENIBL4/bundle.json","state_url":"https://pith.science/pith/3J2ZJWA6QTK6EFOV3BAVENIBL4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3J2ZJWA6QTK6EFOV3BAVENIBL4/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-06-21T02:44:58Z","links":{"resolver":"https://pith.science/pith/3J2ZJWA6QTK6EFOV3BAVENIBL4","bundle":"https://pith.science/pith/3J2ZJWA6QTK6EFOV3BAVENIBL4/bundle.json","state":"https://pith.science/pith/3J2ZJWA6QTK6EFOV3BAVENIBL4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3J2ZJWA6QTK6EFOV3BAVENIBL4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:3J2ZJWA6QTK6EFOV3BAVENIBL4","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":"3eb241b982e8ebb3c98784dacebe52373dc8fcfdaf5fd7cfbfe35da03b6f7578","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-02T08:14:33Z","title_canon_sha256":"132d3d84a9a5fbe680426913ef82df6394218b446db0935f361f9484688edf46"},"schema_version":"1.0","source":{"id":"1703.00659","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.00659","created_at":"2026-05-18T00:23:56Z"},{"alias_kind":"arxiv_version","alias_value":"1703.00659v3","created_at":"2026-05-18T00:23:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.00659","created_at":"2026-05-18T00:23:56Z"},{"alias_kind":"pith_short_12","alias_value":"3J2ZJWA6QTK6","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3J2ZJWA6QTK6EFOV","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3J2ZJWA6","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:f545ca4818f56021c27359f6fa3831b1aea8a707c61e881cb1cc1a0f8cc86e6b","target":"graph","created_at":"2026-05-18T00:23:56Z","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":"Session types are behavioural types for guaranteeing that concurrent programs are free from basic communication errors. Recent work has shown that asynchronous session subtyping is undecidable. However, since session types have become popular in mainstream programming languages in which asynchronous communication is the norm rather than the exception, it is crucial to detect significant decidable subtyping relations. Previous work considered extremely restrictive fragments in which limitations were imposed to the size of communication buffer (at most 1) or to the possibility to express multipl","authors_text":"Gianluigi Zavattaro, Marco Carbone, Mario Bravetti","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-02T08:14:33Z","title":"On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.00659","kind":"arxiv","version":3},"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:587b4f9bc606d6c0e85fda0a7782180603fb9048a44d804a011771a903bd2ca5","target":"record","created_at":"2026-05-18T00:23:56Z","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":"3eb241b982e8ebb3c98784dacebe52373dc8fcfdaf5fd7cfbfe35da03b6f7578","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-02T08:14:33Z","title_canon_sha256":"132d3d84a9a5fbe680426913ef82df6394218b446db0935f361f9484688edf46"},"schema_version":"1.0","source":{"id":"1703.00659","kind":"arxiv","version":3}},"canonical_sha256":"da7594d81e84d5e215d5d8415235015f0323e5d3621efb0d73e3a9fb89536f34","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"da7594d81e84d5e215d5d8415235015f0323e5d3621efb0d73e3a9fb89536f34","first_computed_at":"2026-05-18T00:23:56.784074Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:23:56.784074Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uXYTWNMtWaDR6211LntejuuNLax1k4zFMBZar2dCixMJdz5POSmXcDvHVrZxWRZRlbcON+YFIJB4YDbAvwEDDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:23:56.784681Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.00659","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:587b4f9bc606d6c0e85fda0a7782180603fb9048a44d804a011771a903bd2ca5","sha256:f545ca4818f56021c27359f6fa3831b1aea8a707c61e881cb1cc1a0f8cc86e6b"],"state_sha256":"c63e294d73527413aa47c5827102fd31e9e44bec58c78177370760b1c9424d13"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b3Q8Kyc9VuNNYbEKvAAP3hcYQMitrfAz9O5q+Kn5LBnwzRKFdRbs2QZc1iD+Ba8v6lt9jD8iJRv3w8dkuuslCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T02:44:58.966418Z","bundle_sha256":"c94ac017fb5876476dfa28104e2b7a78dec6e7a55f79693d4e6264cc13150b36"}}