{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:A3U54H2DORW4BWWFVGWMVUYV3Z","short_pith_number":"pith:A3U54H2D","canonical_record":{"source":{"id":"2112.13650","kind":"arxiv","version":17},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2021-12-27T13:19:26Z","cross_cats_sorted":["cs.FL","cs.MA"],"title_canon_sha256":"ff85f6b4ce8c6a03d611ce155efa69db7a4de2a9d1bd3749f0c4b8cb589fc275","abstract_canon_sha256":"85ce34a5b0d03f4eaae55d797ad005a0234a9de8cdf529136f3e2b01acf9c4e0"},"schema_version":"1.0"},"canonical_sha256":"06e9de1f43746dc0dac5a9accad315de5976de5344d37f28e506ab63297738bd","source":{"kind":"arxiv","id":"2112.13650","version":17},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2112.13650","created_at":"2026-07-05T05:43:09Z"},{"alias_kind":"arxiv_version","alias_value":"2112.13650v17","created_at":"2026-07-05T05:43:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.13650","created_at":"2026-07-05T05:43:09Z"},{"alias_kind":"pith_short_12","alias_value":"A3U54H2DORW4","created_at":"2026-07-05T05:43:09Z"},{"alias_kind":"pith_short_16","alias_value":"A3U54H2DORW4BWWF","created_at":"2026-07-05T05:43:09Z"},{"alias_kind":"pith_short_8","alias_value":"A3U54H2D","created_at":"2026-07-05T05:43:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:A3U54H2DORW4BWWFVGWMVUYV3Z","target":"record","payload":{"canonical_record":{"source":{"id":"2112.13650","kind":"arxiv","version":17},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2021-12-27T13:19:26Z","cross_cats_sorted":["cs.FL","cs.MA"],"title_canon_sha256":"ff85f6b4ce8c6a03d611ce155efa69db7a4de2a9d1bd3749f0c4b8cb589fc275","abstract_canon_sha256":"85ce34a5b0d03f4eaae55d797ad005a0234a9de8cdf529136f3e2b01acf9c4e0"},"schema_version":"1.0"},"canonical_sha256":"06e9de1f43746dc0dac5a9accad315de5976de5344d37f28e506ab63297738bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:43:09.466060Z","signature_b64":"dc8bAHg8oDX4Uo7rqe9BwxkbhYese6FTauM4gA1disVyvYO9zIty3fDRf77cTyxnIpDij2fwYYbRNG5Pg8fxAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"06e9de1f43746dc0dac5a9accad315de5976de5344d37f28e506ab63297738bd","last_reissued_at":"2026-07-05T05:43:09.465689Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:43:09.465689Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2112.13650","source_version":17,"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-07-05T05:43:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WCcB9im3TphMXuaiSjQoGOc8+hSDgPQlzh/pPFbSVk6T/B24WuCUxLpF7hloMIeZjsKVWTj5Ur26q/ZZps9oCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T03:59:35.679218Z"},"content_sha256":"6fa1d14c05cd73f4ae4ab5df7cea460e75b5255bc5685c0798f867d9940a67fc","schema_version":"1.0","event_id":"sha256:6fa1d14c05cd73f4ae4ab5df7cea460e75b5255bc5685c0798f867d9940a67fc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:A3U54H2DORW4BWWFVGWMVUYV3Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.FL","cs.MA"],"primary_cat":"cs.DC","authors_text":"Ehud Shapiro","submitted_at":"2021-12-27T13:19:26Z","abstract_excerpt":"We present a novel mathematical framework for the specification and analysis of fault-resilient distributed protocols and their implementations, with the following components: 1. Transition systems that allow the specification and analysis of computations with safety and liveness faults and their fault resilience. 2. Notions of safe, live and complete implementations among transition systems and their composition, with which the correctness (safety and liveness) and completeness of a protocol stack as a whole follows from each protocol implementing correctly and completely the protocol above i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.13650","kind":"arxiv","version":17},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2112.13650/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T05:43:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gX2zuCVvwe3sUrb5nDBJ42bATch8zLPYVKI+jgZV/RlZr4XA4ycKXWZnxP/131YSVruCjUnHY1L4dgN+HcrkDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T03:59:35.680226Z"},"content_sha256":"1496b7bdd1739f74f00ae930d514be9677cf27184d3281f3b7be97fcf978aac1","schema_version":"1.0","event_id":"sha256:1496b7bdd1739f74f00ae930d514be9677cf27184d3281f3b7be97fcf978aac1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A3U54H2DORW4BWWFVGWMVUYV3Z/bundle.json","state_url":"https://pith.science/pith/A3U54H2DORW4BWWFVGWMVUYV3Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A3U54H2DORW4BWWFVGWMVUYV3Z/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-08-09T03:59:35Z","links":{"resolver":"https://pith.science/pith/A3U54H2DORW4BWWFVGWMVUYV3Z","bundle":"https://pith.science/pith/A3U54H2DORW4BWWFVGWMVUYV3Z/bundle.json","state":"https://pith.science/pith/A3U54H2DORW4BWWFVGWMVUYV3Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A3U54H2DORW4BWWFVGWMVUYV3Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:A3U54H2DORW4BWWFVGWMVUYV3Z","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":"85ce34a5b0d03f4eaae55d797ad005a0234a9de8cdf529136f3e2b01acf9c4e0","cross_cats_sorted":["cs.FL","cs.MA"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2021-12-27T13:19:26Z","title_canon_sha256":"ff85f6b4ce8c6a03d611ce155efa69db7a4de2a9d1bd3749f0c4b8cb589fc275"},"schema_version":"1.0","source":{"id":"2112.13650","kind":"arxiv","version":17}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2112.13650","created_at":"2026-07-05T05:43:09Z"},{"alias_kind":"arxiv_version","alias_value":"2112.13650v17","created_at":"2026-07-05T05:43:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.13650","created_at":"2026-07-05T05:43:09Z"},{"alias_kind":"pith_short_12","alias_value":"A3U54H2DORW4","created_at":"2026-07-05T05:43:09Z"},{"alias_kind":"pith_short_16","alias_value":"A3U54H2DORW4BWWF","created_at":"2026-07-05T05:43:09Z"},{"alias_kind":"pith_short_8","alias_value":"A3U54H2D","created_at":"2026-07-05T05:43:09Z"}],"graph_snapshots":[{"event_id":"sha256:1496b7bdd1739f74f00ae930d514be9677cf27184d3281f3b7be97fcf978aac1","target":"graph","created_at":"2026-07-05T05:43:09Z","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/2112.13650/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a novel mathematical framework for the specification and analysis of fault-resilient distributed protocols and their implementations, with the following components: 1. Transition systems that allow the specification and analysis of computations with safety and liveness faults and their fault resilience. 2. Notions of safe, live and complete implementations among transition systems and their composition, with which the correctness (safety and liveness) and completeness of a protocol stack as a whole follows from each protocol implementing correctly and completely the protocol above i","authors_text":"Ehud Shapiro","cross_cats":["cs.FL","cs.MA"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2021-12-27T13:19:26Z","title":"Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.13650","kind":"arxiv","version":17},"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:6fa1d14c05cd73f4ae4ab5df7cea460e75b5255bc5685c0798f867d9940a67fc","target":"record","created_at":"2026-07-05T05:43:09Z","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":"85ce34a5b0d03f4eaae55d797ad005a0234a9de8cdf529136f3e2b01acf9c4e0","cross_cats_sorted":["cs.FL","cs.MA"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2021-12-27T13:19:26Z","title_canon_sha256":"ff85f6b4ce8c6a03d611ce155efa69db7a4de2a9d1bd3749f0c4b8cb589fc275"},"schema_version":"1.0","source":{"id":"2112.13650","kind":"arxiv","version":17}},"canonical_sha256":"06e9de1f43746dc0dac5a9accad315de5976de5344d37f28e506ab63297738bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"06e9de1f43746dc0dac5a9accad315de5976de5344d37f28e506ab63297738bd","first_computed_at":"2026-07-05T05:43:09.465689Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:43:09.465689Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dc8bAHg8oDX4Uo7rqe9BwxkbhYese6FTauM4gA1disVyvYO9zIty3fDRf77cTyxnIpDij2fwYYbRNG5Pg8fxAg==","signature_status":"signed_v1","signed_at":"2026-07-05T05:43:09.466060Z","signed_message":"canonical_sha256_bytes"},"source_id":"2112.13650","source_kind":"arxiv","source_version":17}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6fa1d14c05cd73f4ae4ab5df7cea460e75b5255bc5685c0798f867d9940a67fc","sha256:1496b7bdd1739f74f00ae930d514be9677cf27184d3281f3b7be97fcf978aac1"],"state_sha256":"0b52a495711b8e1e56fd879cb8f2fda85deb8de70bc98a6a4934dfe8302b54a4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hpSMFLLzox/bq+t6/ss6BqDDxDIK6kBbM0E5cM8pKsckYgFxMXi4ffjR2+A2jEcdu4K6VNaHik21HfguASjUAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T03:59:35.687645Z","bundle_sha256":"0d1a33ba40a22efc1a3f07371019bd667298ae2ed49dc7189d90da0237c81e7e"}}