{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:PNBITAZBZTIWJUXGYHXD7B7SUW","short_pith_number":"pith:PNBITAZB","canonical_record":{"source":{"id":"1606.05943","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-20T01:09:44Z","cross_cats_sorted":["cs.DC","cs.SE"],"title_canon_sha256":"31da12ab39dc5bcc6186e98c226efbc10c05edff40be2b4a57bf34b2aad70a9c","abstract_canon_sha256":"c617eca40e8ef26fe703080d244d9040be5ec15f356370d1c4e2c80469d8e9fd"},"schema_version":"1.0"},"canonical_sha256":"7b42898321ccd164d2e6c1ee3f87f2a5884a6da960bedcc8cd2936709ea93d73","source":{"kind":"arxiv","id":"1606.05943","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.05943","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"arxiv_version","alias_value":"1606.05943v1","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.05943","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"pith_short_12","alias_value":"PNBITAZBZTIW","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PNBITAZBZTIWJUXG","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PNBITAZB","created_at":"2026-05-18T12:30:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:PNBITAZBZTIWJUXGYHXD7B7SUW","target":"record","payload":{"canonical_record":{"source":{"id":"1606.05943","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-20T01:09:44Z","cross_cats_sorted":["cs.DC","cs.SE"],"title_canon_sha256":"31da12ab39dc5bcc6186e98c226efbc10c05edff40be2b4a57bf34b2aad70a9c","abstract_canon_sha256":"c617eca40e8ef26fe703080d244d9040be5ec15f356370d1c4e2c80469d8e9fd"},"schema_version":"1.0"},"canonical_sha256":"7b42898321ccd164d2e6c1ee3f87f2a5884a6da960bedcc8cd2936709ea93d73","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:15.732327Z","signature_b64":"ewqfBFZqQN1zdHY8RH9aviyWwQVt28Lpo+jn78WOaswiZMm8GkW+v8VCgzlcdm32+NrI0OCNo3n80cIrkBr5Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b42898321ccd164d2e6c1ee3f87f2a5884a6da960bedcc8cd2936709ea93d73","last_reissued_at":"2026-05-18T01:12:15.731018Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:15.731018Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.05943","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-18T01:12:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UWZlc+j3RL0kolfSlYWRgLclnPak1SCTfDE2gZDMvd7hJu+a+kzFLoVYTK1NznYl/rBwX1qpfrFX5oTn5qVjCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T23:45:32.977703Z"},"content_sha256":"4331bf4a4266a34298cd1feeea81a2d88e0483aabaa9ac1aa48107bcfab71309","schema_version":"1.0","event_id":"sha256:4331bf4a4266a34298cd1feeea81a2d88e0483aabaa9ac1aa48107bcfab71309"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:PNBITAZBZTIWJUXGYHXD7B7SUW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multiparty Compatibility for Concurrent Objects","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.SE"],"primary_cat":"cs.PL","authors_text":"Julien Lange (Imperial College London), Roly Perera (University of Glasgow), Simon J. Gay (University of Glasgow)","submitted_at":"2016-06-20T01:09:44Z","abstract_excerpt":"Objects and actors are communicating state machines, offering and consuming different services at different points in their lifecycle. Two complementary challenges arise when programming such systems. When objects interact, their state machines must be \"compatible\", so that services are requested only when they are available. Dually, when objects refine other objects, their state machines must be \"compliant\", so that services are honoured whenever they are promised. \n  In this paper we show how the idea of multiparty compatibility from the session types literature can be applied to both of the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.05943","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-18T01:12:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1/mrw9VDBGjZnvbE67seCmv2Nu0j4U37LZdlRqO7AmQO1uttcanKLi2Zpta/3NcP4ITUKOnuTr56TIn0RawfCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T23:45:32.978053Z"},"content_sha256":"d69b8e3a4f4f1715c2e90b76cdbbd942414ebc675625914b88bf84bba919a524","schema_version":"1.0","event_id":"sha256:d69b8e3a4f4f1715c2e90b76cdbbd942414ebc675625914b88bf84bba919a524"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PNBITAZBZTIWJUXGYHXD7B7SUW/bundle.json","state_url":"https://pith.science/pith/PNBITAZBZTIWJUXGYHXD7B7SUW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PNBITAZBZTIWJUXGYHXD7B7SUW/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-25T23:45:32Z","links":{"resolver":"https://pith.science/pith/PNBITAZBZTIWJUXGYHXD7B7SUW","bundle":"https://pith.science/pith/PNBITAZBZTIWJUXGYHXD7B7SUW/bundle.json","state":"https://pith.science/pith/PNBITAZBZTIWJUXGYHXD7B7SUW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PNBITAZBZTIWJUXGYHXD7B7SUW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:PNBITAZBZTIWJUXGYHXD7B7SUW","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":"c617eca40e8ef26fe703080d244d9040be5ec15f356370d1c4e2c80469d8e9fd","cross_cats_sorted":["cs.DC","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-20T01:09:44Z","title_canon_sha256":"31da12ab39dc5bcc6186e98c226efbc10c05edff40be2b4a57bf34b2aad70a9c"},"schema_version":"1.0","source":{"id":"1606.05943","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.05943","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"arxiv_version","alias_value":"1606.05943v1","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.05943","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"pith_short_12","alias_value":"PNBITAZBZTIW","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PNBITAZBZTIWJUXG","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PNBITAZB","created_at":"2026-05-18T12:30:39Z"}],"graph_snapshots":[{"event_id":"sha256:d69b8e3a4f4f1715c2e90b76cdbbd942414ebc675625914b88bf84bba919a524","target":"graph","created_at":"2026-05-18T01:12:15Z","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":"Objects and actors are communicating state machines, offering and consuming different services at different points in their lifecycle. Two complementary challenges arise when programming such systems. When objects interact, their state machines must be \"compatible\", so that services are requested only when they are available. Dually, when objects refine other objects, their state machines must be \"compliant\", so that services are honoured whenever they are promised. \n  In this paper we show how the idea of multiparty compatibility from the session types literature can be applied to both of the","authors_text":"Julien Lange (Imperial College London), Roly Perera (University of Glasgow), Simon J. Gay (University of Glasgow)","cross_cats":["cs.DC","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-20T01:09:44Z","title":"Multiparty Compatibility for Concurrent Objects"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.05943","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:4331bf4a4266a34298cd1feeea81a2d88e0483aabaa9ac1aa48107bcfab71309","target":"record","created_at":"2026-05-18T01:12:15Z","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":"c617eca40e8ef26fe703080d244d9040be5ec15f356370d1c4e2c80469d8e9fd","cross_cats_sorted":["cs.DC","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-20T01:09:44Z","title_canon_sha256":"31da12ab39dc5bcc6186e98c226efbc10c05edff40be2b4a57bf34b2aad70a9c"},"schema_version":"1.0","source":{"id":"1606.05943","kind":"arxiv","version":1}},"canonical_sha256":"7b42898321ccd164d2e6c1ee3f87f2a5884a6da960bedcc8cd2936709ea93d73","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7b42898321ccd164d2e6c1ee3f87f2a5884a6da960bedcc8cd2936709ea93d73","first_computed_at":"2026-05-18T01:12:15.731018Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:15.731018Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ewqfBFZqQN1zdHY8RH9aviyWwQVt28Lpo+jn78WOaswiZMm8GkW+v8VCgzlcdm32+NrI0OCNo3n80cIrkBr5Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:15.732327Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.05943","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4331bf4a4266a34298cd1feeea81a2d88e0483aabaa9ac1aa48107bcfab71309","sha256:d69b8e3a4f4f1715c2e90b76cdbbd942414ebc675625914b88bf84bba919a524"],"state_sha256":"f76226ce03f92336b48ed4f680dc46c4bf75e6b7960d9f72f12b004845c27574"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y7HLeu+/SgtFyezuhhh7zHu9oDYHFAonAP8Fiv3lk8Ty6gC4qMwddo02Qq/Rcg8qER6r8uDuG04Lp2G402u0AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T23:45:32.980158Z","bundle_sha256":"e5c460239648d0ee3e18ce2811ea6011869d7feb02a8cf4c21677c2d98876f9d"}}