{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:ATFMEKIN4VEQE553ILSDRZ6XDM","short_pith_number":"pith:ATFMEKIN","canonical_record":{"source":{"id":"1705.02515","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-05-06T18:38:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"aac7cc7755aea7179a50f419206d5167792370624a27b3e958fdde6d0b45101d","abstract_canon_sha256":"d789106a38471b1de4b65dca86e2c375748fd96a2e8e0da576ea879b611e5ee1"},"schema_version":"1.0"},"canonical_sha256":"04cac2290de5490277bb42e438e7d71b0c2119934d2a0edc214a6c86ad9b5186","source":{"kind":"arxiv","id":"1705.02515","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.02515","created_at":"2026-05-18T00:44:43Z"},{"alias_kind":"arxiv_version","alias_value":"1705.02515v3","created_at":"2026-05-18T00:44:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.02515","created_at":"2026-05-18T00:44:43Z"},{"alias_kind":"pith_short_12","alias_value":"ATFMEKIN4VEQ","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"ATFMEKIN4VEQE553","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"ATFMEKIN","created_at":"2026-05-18T12:31:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:ATFMEKIN4VEQE553ILSDRZ6XDM","target":"record","payload":{"canonical_record":{"source":{"id":"1705.02515","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-05-06T18:38:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"aac7cc7755aea7179a50f419206d5167792370624a27b3e958fdde6d0b45101d","abstract_canon_sha256":"d789106a38471b1de4b65dca86e2c375748fd96a2e8e0da576ea879b611e5ee1"},"schema_version":"1.0"},"canonical_sha256":"04cac2290de5490277bb42e438e7d71b0c2119934d2a0edc214a6c86ad9b5186","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:43.866637Z","signature_b64":"gj3Wll3R/LWrfbnfRJG6gX9O+mXTx/myVg4k4QTQi9qH/tZ5MDca5LCqc0OaOmpwNiLMgxhB349HRGlcHoH3DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"04cac2290de5490277bb42e438e7d71b0c2119934d2a0edc214a6c86ad9b5186","last_reissued_at":"2026-05-18T00:44:43.865999Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:43.865999Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.02515","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:44:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OZZDDixRm80pjT0DWl13+E/SKUX94YHaO3+eoLZER7jHG73ZVzyJvmFVU9QjR/rZwwY4kStvNbfTzn2WYD6JAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T08:37:53.499087Z"},"content_sha256":"f712b956c8717cdb673eb0b36cb6f770b65669b5ce3a263abf28f8a42119a488","schema_version":"1.0","event_id":"sha256:f712b956c8717cdb673eb0b36cb6f770b65669b5ce3a263abf28f8a42119a488"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:ATFMEKIN4VEQE553ILSDRZ6XDM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Epistemic Model Checking of Atomic Commitment Protocols with Byzantine Failures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DC","authors_text":"Omar Al-Bataineh","submitted_at":"2017-05-06T18:38:42Z","abstract_excerpt":"The notion of knowledge-based program introduced by Halpern and Fagin provides a useful formalism for designing, analysing, and optimising distributed systems. This paper formulates the two phase commit protocol as a knowledge-based program and then an iterative process of model checking and counter-example guided refinement is followed to find concrete implementations of the program for the case of perfect recall semantic in the Byzantine failures context with synchronous reliable communication. We model several different kinds of Byzantine failures and verify different strategies to fight an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.02515","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:44:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z0CbbaRMzUeBqUVqIiCIXuwAaHwbPfAyeHXgO4N/3DUD2HG/Aj0i5dUZMfX8PSR5ywh6+++H+aqBm+uYcCZODA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T08:37:53.499707Z"},"content_sha256":"eadfd32795b8c1b74420ca5b792972ebc07749f2f71fc0eb6509d5774098b17d","schema_version":"1.0","event_id":"sha256:eadfd32795b8c1b74420ca5b792972ebc07749f2f71fc0eb6509d5774098b17d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ATFMEKIN4VEQE553ILSDRZ6XDM/bundle.json","state_url":"https://pith.science/pith/ATFMEKIN4VEQE553ILSDRZ6XDM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ATFMEKIN4VEQE553ILSDRZ6XDM/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-09T08:37:53Z","links":{"resolver":"https://pith.science/pith/ATFMEKIN4VEQE553ILSDRZ6XDM","bundle":"https://pith.science/pith/ATFMEKIN4VEQE553ILSDRZ6XDM/bundle.json","state":"https://pith.science/pith/ATFMEKIN4VEQE553ILSDRZ6XDM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ATFMEKIN4VEQE553ILSDRZ6XDM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:ATFMEKIN4VEQE553ILSDRZ6XDM","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":"d789106a38471b1de4b65dca86e2c375748fd96a2e8e0da576ea879b611e5ee1","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-05-06T18:38:42Z","title_canon_sha256":"aac7cc7755aea7179a50f419206d5167792370624a27b3e958fdde6d0b45101d"},"schema_version":"1.0","source":{"id":"1705.02515","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.02515","created_at":"2026-05-18T00:44:43Z"},{"alias_kind":"arxiv_version","alias_value":"1705.02515v3","created_at":"2026-05-18T00:44:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.02515","created_at":"2026-05-18T00:44:43Z"},{"alias_kind":"pith_short_12","alias_value":"ATFMEKIN4VEQ","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"ATFMEKIN4VEQE553","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"ATFMEKIN","created_at":"2026-05-18T12:31:08Z"}],"graph_snapshots":[{"event_id":"sha256:eadfd32795b8c1b74420ca5b792972ebc07749f2f71fc0eb6509d5774098b17d","target":"graph","created_at":"2026-05-18T00:44:43Z","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":"The notion of knowledge-based program introduced by Halpern and Fagin provides a useful formalism for designing, analysing, and optimising distributed systems. This paper formulates the two phase commit protocol as a knowledge-based program and then an iterative process of model checking and counter-example guided refinement is followed to find concrete implementations of the program for the case of perfect recall semantic in the Byzantine failures context with synchronous reliable communication. We model several different kinds of Byzantine failures and verify different strategies to fight an","authors_text":"Omar Al-Bataineh","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-05-06T18:38:42Z","title":"Epistemic Model Checking of Atomic Commitment Protocols with Byzantine Failures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.02515","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:f712b956c8717cdb673eb0b36cb6f770b65669b5ce3a263abf28f8a42119a488","target":"record","created_at":"2026-05-18T00:44:43Z","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":"d789106a38471b1de4b65dca86e2c375748fd96a2e8e0da576ea879b611e5ee1","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-05-06T18:38:42Z","title_canon_sha256":"aac7cc7755aea7179a50f419206d5167792370624a27b3e958fdde6d0b45101d"},"schema_version":"1.0","source":{"id":"1705.02515","kind":"arxiv","version":3}},"canonical_sha256":"04cac2290de5490277bb42e438e7d71b0c2119934d2a0edc214a6c86ad9b5186","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"04cac2290de5490277bb42e438e7d71b0c2119934d2a0edc214a6c86ad9b5186","first_computed_at":"2026-05-18T00:44:43.865999Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:43.865999Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gj3Wll3R/LWrfbnfRJG6gX9O+mXTx/myVg4k4QTQi9qH/tZ5MDca5LCqc0OaOmpwNiLMgxhB349HRGlcHoH3DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:43.866637Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.02515","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f712b956c8717cdb673eb0b36cb6f770b65669b5ce3a263abf28f8a42119a488","sha256:eadfd32795b8c1b74420ca5b792972ebc07749f2f71fc0eb6509d5774098b17d"],"state_sha256":"41922f5d0630d2c501b50b17292842baec16633952be33f70a46069c74b629c6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/TMUoOkFJyoN4b9zpHBX4Lc4Lhm9qJzprYblOGWa/MNvIzWhu6EdNu/QTRoiohP0YS7qDKCiZ1o4BZ/OH6mjDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T08:37:53.503165Z","bundle_sha256":"793b0c7771963657462234dc8561eadd3f0467415a91d9118091adf5648fcec0"}}