{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:X555S2VH5HMUN2JCVOAMIYGNLS","short_pith_number":"pith:X555S2VH","canonical_record":{"source":{"id":"1808.00077","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-07-31T21:19:50Z","cross_cats_sorted":[],"title_canon_sha256":"c0b824970c065442502936e587a0a0daa291fa5eef98da02236f2eb78d23530c","abstract_canon_sha256":"2b927006b60fc489dc0014914cefc7cdf4fa3664e48988502465c90fb6ae99ef"},"schema_version":"1.0"},"canonical_sha256":"bf7bd96aa7e9d946e922ab80c460cd5c89fe515a17c72355b8e3bef1c8d7e191","source":{"kind":"arxiv","id":"1808.00077","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.00077","created_at":"2026-05-18T00:09:08Z"},{"alias_kind":"arxiv_version","alias_value":"1808.00077v1","created_at":"2026-05-18T00:09:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.00077","created_at":"2026-05-18T00:09:08Z"},{"alias_kind":"pith_short_12","alias_value":"X555S2VH5HMU","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"X555S2VH5HMUN2JC","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"X555S2VH","created_at":"2026-05-18T12:33:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:X555S2VH5HMUN2JCVOAMIYGNLS","target":"record","payload":{"canonical_record":{"source":{"id":"1808.00077","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-07-31T21:19:50Z","cross_cats_sorted":[],"title_canon_sha256":"c0b824970c065442502936e587a0a0daa291fa5eef98da02236f2eb78d23530c","abstract_canon_sha256":"2b927006b60fc489dc0014914cefc7cdf4fa3664e48988502465c90fb6ae99ef"},"schema_version":"1.0"},"canonical_sha256":"bf7bd96aa7e9d946e922ab80c460cd5c89fe515a17c72355b8e3bef1c8d7e191","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:09:08.815836Z","signature_b64":"oOJVPYJJx2N6CFhujquzLi+XnAsokHJc+n/2tvK7VW7UHAfRaHasLCYPZ9bv9NFXQwuMvv8Dad50DFUCHzQuBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bf7bd96aa7e9d946e922ab80c460cd5c89fe515a17c72355b8e3bef1c8d7e191","last_reissued_at":"2026-05-18T00:09:08.815342Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:09:08.815342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.00077","source_version":1,"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:09:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qJl2q1NvyyA7esr9QlAsi8tQxUKj+GwVhSE39O9oixFpHBxj4E3Ph8GG0fThivBwna0tcenqO8Zx0OY8dkWNDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T13:17:57.946989Z"},"content_sha256":"d816e8e8838dacd1a70ad8d2589e4202df48eb3d9c75dd5447407c9f06f9ef95","schema_version":"1.0","event_id":"sha256:d816e8e8838dacd1a70ad8d2589e4202df48eb3d9c75dd5447407c9f06f9ef95"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:X555S2VH5HMUN2JCVOAMIYGNLS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multiparty Dependent Session Types (Extended Abstract)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Hanwen Wu, Hongwei Xi","submitted_at":"2018-07-31T21:19:50Z","abstract_excerpt":"Programs are more distributed and concurrent today than ever before, and structural communications are at the core. Constructing and debugging such programs are hard due to the lack of formal specification/verification of concurrency. This work formalizes the first multiparty dependent session types as an expressive and practical type discipline for enforcing communication protocols. The type system is formulated in the setting of multi-threaded $\\lambda$-calculus with inspirations from multirole logic, a generalization of classical logic we discovered earlier. We prove its soundness by a nove"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.00077","kind":"arxiv","version":1},"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:09:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qgMc7TSuK7rW7OlxFQPwo+oKaPHskZYF22TxXmXZwA4JMqGwpVbKIEnDslvSv4gwxYy3k1W/jAR7IbY8ObVTBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T13:17:57.947338Z"},"content_sha256":"582518831d9ffe8d2217e3a1edf5ed4521eabc02fd5dee7a9b19de5339f1deca","schema_version":"1.0","event_id":"sha256:582518831d9ffe8d2217e3a1edf5ed4521eabc02fd5dee7a9b19de5339f1deca"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X555S2VH5HMUN2JCVOAMIYGNLS/bundle.json","state_url":"https://pith.science/pith/X555S2VH5HMUN2JCVOAMIYGNLS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X555S2VH5HMUN2JCVOAMIYGNLS/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-05T13:17:57Z","links":{"resolver":"https://pith.science/pith/X555S2VH5HMUN2JCVOAMIYGNLS","bundle":"https://pith.science/pith/X555S2VH5HMUN2JCVOAMIYGNLS/bundle.json","state":"https://pith.science/pith/X555S2VH5HMUN2JCVOAMIYGNLS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X555S2VH5HMUN2JCVOAMIYGNLS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:X555S2VH5HMUN2JCVOAMIYGNLS","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":"2b927006b60fc489dc0014914cefc7cdf4fa3664e48988502465c90fb6ae99ef","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-07-31T21:19:50Z","title_canon_sha256":"c0b824970c065442502936e587a0a0daa291fa5eef98da02236f2eb78d23530c"},"schema_version":"1.0","source":{"id":"1808.00077","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.00077","created_at":"2026-05-18T00:09:08Z"},{"alias_kind":"arxiv_version","alias_value":"1808.00077v1","created_at":"2026-05-18T00:09:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.00077","created_at":"2026-05-18T00:09:08Z"},{"alias_kind":"pith_short_12","alias_value":"X555S2VH5HMU","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"X555S2VH5HMUN2JC","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"X555S2VH","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:582518831d9ffe8d2217e3a1edf5ed4521eabc02fd5dee7a9b19de5339f1deca","target":"graph","created_at":"2026-05-18T00:09:08Z","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":"Programs are more distributed and concurrent today than ever before, and structural communications are at the core. Constructing and debugging such programs are hard due to the lack of formal specification/verification of concurrency. This work formalizes the first multiparty dependent session types as an expressive and practical type discipline for enforcing communication protocols. The type system is formulated in the setting of multi-threaded $\\lambda$-calculus with inspirations from multirole logic, a generalization of classical logic we discovered earlier. We prove its soundness by a nove","authors_text":"Hanwen Wu, Hongwei Xi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-07-31T21:19:50Z","title":"Multiparty Dependent Session Types (Extended Abstract)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.00077","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:d816e8e8838dacd1a70ad8d2589e4202df48eb3d9c75dd5447407c9f06f9ef95","target":"record","created_at":"2026-05-18T00:09:08Z","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":"2b927006b60fc489dc0014914cefc7cdf4fa3664e48988502465c90fb6ae99ef","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-07-31T21:19:50Z","title_canon_sha256":"c0b824970c065442502936e587a0a0daa291fa5eef98da02236f2eb78d23530c"},"schema_version":"1.0","source":{"id":"1808.00077","kind":"arxiv","version":1}},"canonical_sha256":"bf7bd96aa7e9d946e922ab80c460cd5c89fe515a17c72355b8e3bef1c8d7e191","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bf7bd96aa7e9d946e922ab80c460cd5c89fe515a17c72355b8e3bef1c8d7e191","first_computed_at":"2026-05-18T00:09:08.815342Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:09:08.815342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oOJVPYJJx2N6CFhujquzLi+XnAsokHJc+n/2tvK7VW7UHAfRaHasLCYPZ9bv9NFXQwuMvv8Dad50DFUCHzQuBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:09:08.815836Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.00077","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d816e8e8838dacd1a70ad8d2589e4202df48eb3d9c75dd5447407c9f06f9ef95","sha256:582518831d9ffe8d2217e3a1edf5ed4521eabc02fd5dee7a9b19de5339f1deca"],"state_sha256":"9606d3d07b4dc9143df1c9236b2ba8a09f8ee23d7a96286780a8ca8579617678"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jaMuqOoLSdNK2zSxtphytZMF6m1j21hgn9ciZXqUizJ94tF7o0avsThBixGWVcGuFWCzCVyGFD8N/AH5d5BbAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T13:17:57.949209Z","bundle_sha256":"58d872a4742c8fef4ddf5dcfa62c0b94050ff0c82538e75fddcd9a20da9900a7"}}