{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:FBMPVI76N3MUUA53REWXNQ6D56","short_pith_number":"pith:FBMPVI76","canonical_record":{"source":{"id":"1309.5671","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-09-23T00:31:36Z","cross_cats_sorted":[],"title_canon_sha256":"0c87b3ab88087d42e0cffbbe37609bcef8a2de2ca48556cb18eb82303e657162","abstract_canon_sha256":"88c1da4017ae7a4d119e7aed5cdabe84549d490426c3aa029211b18e14ec00e7"},"schema_version":"1.0"},"canonical_sha256":"2858faa3fe6ed94a03bb892d76c3c3efb2ab27760354039d2992bf3d3ab9aafb","source":{"kind":"arxiv","id":"1309.5671","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.5671","created_at":"2026-05-18T02:57:35Z"},{"alias_kind":"arxiv_version","alias_value":"1309.5671v3","created_at":"2026-05-18T02:57:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.5671","created_at":"2026-05-18T02:57:35Z"},{"alias_kind":"pith_short_12","alias_value":"FBMPVI76N3MU","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"FBMPVI76N3MUUA53","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"FBMPVI76","created_at":"2026-05-18T12:27:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:FBMPVI76N3MUUA53REWXNQ6D56","target":"record","payload":{"canonical_record":{"source":{"id":"1309.5671","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-09-23T00:31:36Z","cross_cats_sorted":[],"title_canon_sha256":"0c87b3ab88087d42e0cffbbe37609bcef8a2de2ca48556cb18eb82303e657162","abstract_canon_sha256":"88c1da4017ae7a4d119e7aed5cdabe84549d490426c3aa029211b18e14ec00e7"},"schema_version":"1.0"},"canonical_sha256":"2858faa3fe6ed94a03bb892d76c3c3efb2ab27760354039d2992bf3d3ab9aafb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:57:35.634729Z","signature_b64":"CVGWSZ2gkn072bs3mEJsInTUz4E7CT2MbwoiL26K5i4eECcvvqLQgftM99gJKxd90xxNMok/xsE+nKXZipAFBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2858faa3fe6ed94a03bb892d76c3c3efb2ab27760354039d2992bf3d3ab9aafb","last_reissued_at":"2026-05-18T02:57:35.634159Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:57:35.634159Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.5671","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-18T02:57:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3NDjDvVUjhPwZumSL6ZfXzXjrKa5TTPwrpI+8zt+z1uVoMmDUD70O7QxXt4jVAXa/1flVlNT3YIQDiPGZdLpDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T17:15:27.718100Z"},"content_sha256":"9d526a58fd8cb038ee22070c98efd5729fb396f76c77384c4a0feac80b84a397","schema_version":"1.0","event_id":"sha256:9d526a58fd8cb038ee22070c98efd5729fb396f76c77384c4a0feac80b84a397"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:FBMPVI76N3MUUA53REWXNQ6D56","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Vive la Diff\\'erence: Paxos vs. Viewstamped Replication vs. Zab","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Fred B. Schneider, Nicolas Schiper, Robbert van Renesse","submitted_at":"2013-09-23T00:31:36Z","abstract_excerpt":"Paxos, Viewstamped Replication, and Zab are replication protocols that ensure high-availability in asynchronous environments with crash failures. Various claims have been made about similarities and differences between these protocols. But how does one determine whether two protocols are the same, and if not, how significant the differences are?\n  We propose to address these questions using refinement mappings, where protocols are expressed as succinct specifications that are progressively refined to executable implementations. Doing so enables a principled understanding of the correctness of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.5671","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-18T02:57:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rJNPxlCzrh3pwoTXBitE871IoluFHZOKypu1o77KtSZ/VHDfWR+TaqdhBoRAj6FMXmtZJF3j7Xg23tBzlc2KBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T17:15:27.718449Z"},"content_sha256":"497d52557b94b9475f4c8e8f6edabd4f99fdc79baf8fee072a6777e3bdf852f6","schema_version":"1.0","event_id":"sha256:497d52557b94b9475f4c8e8f6edabd4f99fdc79baf8fee072a6777e3bdf852f6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FBMPVI76N3MUUA53REWXNQ6D56/bundle.json","state_url":"https://pith.science/pith/FBMPVI76N3MUUA53REWXNQ6D56/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FBMPVI76N3MUUA53REWXNQ6D56/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-26T17:15:27Z","links":{"resolver":"https://pith.science/pith/FBMPVI76N3MUUA53REWXNQ6D56","bundle":"https://pith.science/pith/FBMPVI76N3MUUA53REWXNQ6D56/bundle.json","state":"https://pith.science/pith/FBMPVI76N3MUUA53REWXNQ6D56/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FBMPVI76N3MUUA53REWXNQ6D56/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:FBMPVI76N3MUUA53REWXNQ6D56","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":"88c1da4017ae7a4d119e7aed5cdabe84549d490426c3aa029211b18e14ec00e7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-09-23T00:31:36Z","title_canon_sha256":"0c87b3ab88087d42e0cffbbe37609bcef8a2de2ca48556cb18eb82303e657162"},"schema_version":"1.0","source":{"id":"1309.5671","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.5671","created_at":"2026-05-18T02:57:35Z"},{"alias_kind":"arxiv_version","alias_value":"1309.5671v3","created_at":"2026-05-18T02:57:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.5671","created_at":"2026-05-18T02:57:35Z"},{"alias_kind":"pith_short_12","alias_value":"FBMPVI76N3MU","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"FBMPVI76N3MUUA53","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"FBMPVI76","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:497d52557b94b9475f4c8e8f6edabd4f99fdc79baf8fee072a6777e3bdf852f6","target":"graph","created_at":"2026-05-18T02:57:35Z","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":"Paxos, Viewstamped Replication, and Zab are replication protocols that ensure high-availability in asynchronous environments with crash failures. Various claims have been made about similarities and differences between these protocols. But how does one determine whether two protocols are the same, and if not, how significant the differences are?\n  We propose to address these questions using refinement mappings, where protocols are expressed as succinct specifications that are progressively refined to executable implementations. Doing so enables a principled understanding of the correctness of ","authors_text":"Fred B. Schneider, Nicolas Schiper, Robbert van Renesse","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-09-23T00:31:36Z","title":"Vive la Diff\\'erence: Paxos vs. Viewstamped Replication vs. Zab"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.5671","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:9d526a58fd8cb038ee22070c98efd5729fb396f76c77384c4a0feac80b84a397","target":"record","created_at":"2026-05-18T02:57:35Z","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":"88c1da4017ae7a4d119e7aed5cdabe84549d490426c3aa029211b18e14ec00e7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-09-23T00:31:36Z","title_canon_sha256":"0c87b3ab88087d42e0cffbbe37609bcef8a2de2ca48556cb18eb82303e657162"},"schema_version":"1.0","source":{"id":"1309.5671","kind":"arxiv","version":3}},"canonical_sha256":"2858faa3fe6ed94a03bb892d76c3c3efb2ab27760354039d2992bf3d3ab9aafb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2858faa3fe6ed94a03bb892d76c3c3efb2ab27760354039d2992bf3d3ab9aafb","first_computed_at":"2026-05-18T02:57:35.634159Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:57:35.634159Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CVGWSZ2gkn072bs3mEJsInTUz4E7CT2MbwoiL26K5i4eECcvvqLQgftM99gJKxd90xxNMok/xsE+nKXZipAFBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:57:35.634729Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.5671","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9d526a58fd8cb038ee22070c98efd5729fb396f76c77384c4a0feac80b84a397","sha256:497d52557b94b9475f4c8e8f6edabd4f99fdc79baf8fee072a6777e3bdf852f6"],"state_sha256":"dc3dcf154b55470a5017c95bab7761e9d9f60bc08d19dbba068e472f968a98b3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wsAd+xo5ZZKnhm1h8xMXbiXxIjoIec3oHu/zHYxlnPa5k0yAvm/1U79y49rBoVIPC6sp+AWZ9rod7hM7jzHRAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T17:15:27.720247Z","bundle_sha256":"30f4ec4c1712efa7d756fe32b5683b4622d9dd9147245e367ebe331fbfd4a25a"}}