{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:PJKLJSH77FY4M3CS7EMIUDPNAA","short_pith_number":"pith:PJKLJSH7","canonical_record":{"source":{"id":"1508.04849","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-20T01:40:28Z","cross_cats_sorted":[],"title_canon_sha256":"067b8b6946ad0e9f2a1ff4f0cc167f9f2639745a1cf9c6f435e66f0491075951","abstract_canon_sha256":"8843aa3b7eee699b627f205039b2e8fbb000e61958af177579250112cfaad9ce"},"schema_version":"1.0"},"canonical_sha256":"7a54b4c8fff971c66c52f9188a0ded0019c37e46693a9a3ce1418a7a5384d36c","source":{"kind":"arxiv","id":"1508.04849","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.04849","created_at":"2026-05-18T01:35:01Z"},{"alias_kind":"arxiv_version","alias_value":"1508.04849v1","created_at":"2026-05-18T01:35:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.04849","created_at":"2026-05-18T01:35:01Z"},{"alias_kind":"pith_short_12","alias_value":"PJKLJSH77FY4","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"PJKLJSH77FY4M3CS","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"PJKLJSH7","created_at":"2026-05-18T12:29:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:PJKLJSH77FY4M3CS7EMIUDPNAA","target":"record","payload":{"canonical_record":{"source":{"id":"1508.04849","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-20T01:40:28Z","cross_cats_sorted":[],"title_canon_sha256":"067b8b6946ad0e9f2a1ff4f0cc167f9f2639745a1cf9c6f435e66f0491075951","abstract_canon_sha256":"8843aa3b7eee699b627f205039b2e8fbb000e61958af177579250112cfaad9ce"},"schema_version":"1.0"},"canonical_sha256":"7a54b4c8fff971c66c52f9188a0ded0019c37e46693a9a3ce1418a7a5384d36c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:01.420830Z","signature_b64":"NYAHq5vOI5l3dwpwO2RuFMiaoGgB7Nox9rnyUsPC86f4Z0SvI72vFhI4I6X+LgLl3s5DkYIgjTflUhSqhs8XDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7a54b4c8fff971c66c52f9188a0ded0019c37e46693a9a3ce1418a7a5384d36c","last_reissued_at":"2026-05-18T01:35:01.419987Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:01.419987Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.04849","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:35:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DPFBVcMVoJYRHBQYQFSnXS+Yt+7EX6k8pgonOUdpdaEOCwbeRVTtSv6BfKaYWkdYgK16xLQexgDHTuZUNCOrCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T19:21:46.477843Z"},"content_sha256":"b490307f05ed9de7ec9594cea042116f3e02c5231eb4587bf83e71732ad1eb35","schema_version":"1.0","event_id":"sha256:b490307f05ed9de7ec9594cea042116f3e02c5231eb4587bf83e71732ad1eb35"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:PJKLJSH77FY4M3CS7EMIUDPNAA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Orchestrated Session Compliance","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Franco Barbanera (Dipartimento di Matematica e Informatica, Imperial College London), Steffen van Bakel (Department of Computing, Ugo de'Liguoro (Dipartimento di Informatica, University of Catania), University of Torino)","submitted_at":"2015-08-20T01:40:28Z","abstract_excerpt":"We investigate the notion of orchestrated compliance for client/server interactions in the context of session contracts.  Devising the notion of orchestrator in such a context makes it possible to have  orchestrators with unbounded buffering capabilities and at the same time to guarantee any message from the client to be eventually delivered by the orchestrator to the server, while preventing the server from sending messages which are kept indefinitely inside the orchestrator. The compliance relation is shown to be decidable by means of 1) a procedure synthesising the orchestrators, if any, ma"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.04849","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:35:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VJWnsdRj6nqjPw5CaY1zdy7YcIilsj7t4GzQntcta5wPhiwAX1tTyyLQcdG4OvgZmHJAjXdXw6eISWOJ0Uv/Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T19:21:46.478192Z"},"content_sha256":"788894afdb63959e866768e4c881b2a54d0cf453f64682035ba55e5c1774600f","schema_version":"1.0","event_id":"sha256:788894afdb63959e866768e4c881b2a54d0cf453f64682035ba55e5c1774600f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PJKLJSH77FY4M3CS7EMIUDPNAA/bundle.json","state_url":"https://pith.science/pith/PJKLJSH77FY4M3CS7EMIUDPNAA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PJKLJSH77FY4M3CS7EMIUDPNAA/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-21T19:21:46Z","links":{"resolver":"https://pith.science/pith/PJKLJSH77FY4M3CS7EMIUDPNAA","bundle":"https://pith.science/pith/PJKLJSH77FY4M3CS7EMIUDPNAA/bundle.json","state":"https://pith.science/pith/PJKLJSH77FY4M3CS7EMIUDPNAA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PJKLJSH77FY4M3CS7EMIUDPNAA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:PJKLJSH77FY4M3CS7EMIUDPNAA","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":"8843aa3b7eee699b627f205039b2e8fbb000e61958af177579250112cfaad9ce","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-20T01:40:28Z","title_canon_sha256":"067b8b6946ad0e9f2a1ff4f0cc167f9f2639745a1cf9c6f435e66f0491075951"},"schema_version":"1.0","source":{"id":"1508.04849","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.04849","created_at":"2026-05-18T01:35:01Z"},{"alias_kind":"arxiv_version","alias_value":"1508.04849v1","created_at":"2026-05-18T01:35:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.04849","created_at":"2026-05-18T01:35:01Z"},{"alias_kind":"pith_short_12","alias_value":"PJKLJSH77FY4","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"PJKLJSH77FY4M3CS","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"PJKLJSH7","created_at":"2026-05-18T12:29:37Z"}],"graph_snapshots":[{"event_id":"sha256:788894afdb63959e866768e4c881b2a54d0cf453f64682035ba55e5c1774600f","target":"graph","created_at":"2026-05-18T01:35:01Z","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":"We investigate the notion of orchestrated compliance for client/server interactions in the context of session contracts.  Devising the notion of orchestrator in such a context makes it possible to have  orchestrators with unbounded buffering capabilities and at the same time to guarantee any message from the client to be eventually delivered by the orchestrator to the server, while preventing the server from sending messages which are kept indefinitely inside the orchestrator. The compliance relation is shown to be decidable by means of 1) a procedure synthesising the orchestrators, if any, ma","authors_text":"Franco Barbanera (Dipartimento di Matematica e Informatica, Imperial College London), Steffen van Bakel (Department of Computing, Ugo de'Liguoro (Dipartimento di Informatica, University of Catania), University of Torino)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-20T01:40:28Z","title":"Orchestrated Session Compliance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.04849","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:b490307f05ed9de7ec9594cea042116f3e02c5231eb4587bf83e71732ad1eb35","target":"record","created_at":"2026-05-18T01:35:01Z","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":"8843aa3b7eee699b627f205039b2e8fbb000e61958af177579250112cfaad9ce","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-20T01:40:28Z","title_canon_sha256":"067b8b6946ad0e9f2a1ff4f0cc167f9f2639745a1cf9c6f435e66f0491075951"},"schema_version":"1.0","source":{"id":"1508.04849","kind":"arxiv","version":1}},"canonical_sha256":"7a54b4c8fff971c66c52f9188a0ded0019c37e46693a9a3ce1418a7a5384d36c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7a54b4c8fff971c66c52f9188a0ded0019c37e46693a9a3ce1418a7a5384d36c","first_computed_at":"2026-05-18T01:35:01.419987Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:01.419987Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NYAHq5vOI5l3dwpwO2RuFMiaoGgB7Nox9rnyUsPC86f4Z0SvI72vFhI4I6X+LgLl3s5DkYIgjTflUhSqhs8XDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:01.420830Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.04849","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b490307f05ed9de7ec9594cea042116f3e02c5231eb4587bf83e71732ad1eb35","sha256:788894afdb63959e866768e4c881b2a54d0cf453f64682035ba55e5c1774600f"],"state_sha256":"de7226e02877e390f1b56af32cb45d5d249226d505c8cd1b0709fda98729eaf6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"57OO1SnurN7aBqy/h/KlzXOns3GDEXSySQKDM4JVLzZlsyJzDMpal+2iYuyhwzoBjsJ+UO1Od96sY2Y75nmACw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T19:21:46.480215Z","bundle_sha256":"a1d0bc0042a0586ad297264a586914d03cb95c05c0dea86238447589a8d99d63"}}