{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:3P5W3GNC6OGV62Q5RADXDJ5K67","short_pith_number":"pith:3P5W3GNC","canonical_record":{"source":{"id":"1702.06028","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-20T15:55:20Z","cross_cats_sorted":[],"title_canon_sha256":"34b9c56f0fe743da3d65cb2571ef861ceb6f885e77e20a20bd3cb15ce95b2243","abstract_canon_sha256":"0e5cc9b65e849fdf992827dbb93987bc1c6acd9ed83db697664114d74cc0bace"},"schema_version":"1.0"},"canonical_sha256":"dbfb6d99a2f38d5f6a1d880771a7aaf7e39166d6449680f141582abcc27865bf","source":{"kind":"arxiv","id":"1702.06028","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.06028","created_at":"2026-05-18T00:38:57Z"},{"alias_kind":"arxiv_version","alias_value":"1702.06028v4","created_at":"2026-05-18T00:38:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.06028","created_at":"2026-05-18T00:38:57Z"},{"alias_kind":"pith_short_12","alias_value":"3P5W3GNC6OGV","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3P5W3GNC6OGV62Q5","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3P5W3GNC","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:3P5W3GNC6OGV62Q5RADXDJ5K67","target":"record","payload":{"canonical_record":{"source":{"id":"1702.06028","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-20T15:55:20Z","cross_cats_sorted":[],"title_canon_sha256":"34b9c56f0fe743da3d65cb2571ef861ceb6f885e77e20a20bd3cb15ce95b2243","abstract_canon_sha256":"0e5cc9b65e849fdf992827dbb93987bc1c6acd9ed83db697664114d74cc0bace"},"schema_version":"1.0"},"canonical_sha256":"dbfb6d99a2f38d5f6a1d880771a7aaf7e39166d6449680f141582abcc27865bf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:38:57.505649Z","signature_b64":"FP0jPR02VE0GtlbrNrP8ao8D2k7UWTutPGMzrhk1zO4mmqNxbPQuRZUfdwE/pdTfiWBAn0n/pJJuJosJYrstCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dbfb6d99a2f38d5f6a1d880771a7aaf7e39166d6449680f141582abcc27865bf","last_reissued_at":"2026-05-18T00:38:57.504940Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:38:57.504940Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.06028","source_version":4,"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:38:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"38dzMQdxaB777bs0N8/jF4uT/iKaSSRBVG7SzqsaFpEQOObPqZaMK6V90gw+jZUknf+1axH6iW0jovAtr1eJCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T18:03:41.487725Z"},"content_sha256":"8c6af74686829daba457e9ebedccdcb505208174e927bb7ef494d7ada1948b82","schema_version":"1.0","event_id":"sha256:8c6af74686829daba457e9ebedccdcb505208174e927bb7ef494d7ada1948b82"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:3P5W3GNC6OGV62Q5RADXDJ5K67","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algebraic Laws for Weak Consistency (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexey Gotsman, Andrea Cerone, Hongseok Yang","submitted_at":"2017-02-20T15:55:20Z","abstract_excerpt":"Modern distributed systems often rely on so called weakly-consistent databases, which achieve scalability by sacrificing the consistency guarantee of distributed transaction processing. Such databases have been formalised in two different styles, one based on abstract executions and the other based on dependency graphs. The choice between these styles has been made according to intended applications: the former has been used to specify and verify the implementation of these databases, and the latter to prove properties of programs running on top of the databases. In this paper, we present a se"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.06028","kind":"arxiv","version":4},"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:38:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sW9r0NzCJH+tAR7u9S9Dl6tBiS4VFJ0WynkZFLIABDYBdcucS/CVbtPm2HsR4yOa0QklipA7PvQHjNr4Q8fRAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T18:03:41.488082Z"},"content_sha256":"1f5c2f3587fc739ef3dd88c592e0297dc0162d0c118f8f6e9c3cf42b8f2ca748","schema_version":"1.0","event_id":"sha256:1f5c2f3587fc739ef3dd88c592e0297dc0162d0c118f8f6e9c3cf42b8f2ca748"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3P5W3GNC6OGV62Q5RADXDJ5K67/bundle.json","state_url":"https://pith.science/pith/3P5W3GNC6OGV62Q5RADXDJ5K67/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3P5W3GNC6OGV62Q5RADXDJ5K67/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-01T18:03:41Z","links":{"resolver":"https://pith.science/pith/3P5W3GNC6OGV62Q5RADXDJ5K67","bundle":"https://pith.science/pith/3P5W3GNC6OGV62Q5RADXDJ5K67/bundle.json","state":"https://pith.science/pith/3P5W3GNC6OGV62Q5RADXDJ5K67/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3P5W3GNC6OGV62Q5RADXDJ5K67/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:3P5W3GNC6OGV62Q5RADXDJ5K67","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":"0e5cc9b65e849fdf992827dbb93987bc1c6acd9ed83db697664114d74cc0bace","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-20T15:55:20Z","title_canon_sha256":"34b9c56f0fe743da3d65cb2571ef861ceb6f885e77e20a20bd3cb15ce95b2243"},"schema_version":"1.0","source":{"id":"1702.06028","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.06028","created_at":"2026-05-18T00:38:57Z"},{"alias_kind":"arxiv_version","alias_value":"1702.06028v4","created_at":"2026-05-18T00:38:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.06028","created_at":"2026-05-18T00:38:57Z"},{"alias_kind":"pith_short_12","alias_value":"3P5W3GNC6OGV","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3P5W3GNC6OGV62Q5","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3P5W3GNC","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:1f5c2f3587fc739ef3dd88c592e0297dc0162d0c118f8f6e9c3cf42b8f2ca748","target":"graph","created_at":"2026-05-18T00:38:57Z","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":"Modern distributed systems often rely on so called weakly-consistent databases, which achieve scalability by sacrificing the consistency guarantee of distributed transaction processing. Such databases have been formalised in two different styles, one based on abstract executions and the other based on dependency graphs. The choice between these styles has been made according to intended applications: the former has been used to specify and verify the implementation of these databases, and the latter to prove properties of programs running on top of the databases. In this paper, we present a se","authors_text":"Alexey Gotsman, Andrea Cerone, Hongseok Yang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-20T15:55:20Z","title":"Algebraic Laws for Weak Consistency (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.06028","kind":"arxiv","version":4},"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:8c6af74686829daba457e9ebedccdcb505208174e927bb7ef494d7ada1948b82","target":"record","created_at":"2026-05-18T00:38:57Z","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":"0e5cc9b65e849fdf992827dbb93987bc1c6acd9ed83db697664114d74cc0bace","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-20T15:55:20Z","title_canon_sha256":"34b9c56f0fe743da3d65cb2571ef861ceb6f885e77e20a20bd3cb15ce95b2243"},"schema_version":"1.0","source":{"id":"1702.06028","kind":"arxiv","version":4}},"canonical_sha256":"dbfb6d99a2f38d5f6a1d880771a7aaf7e39166d6449680f141582abcc27865bf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dbfb6d99a2f38d5f6a1d880771a7aaf7e39166d6449680f141582abcc27865bf","first_computed_at":"2026-05-18T00:38:57.504940Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:38:57.504940Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FP0jPR02VE0GtlbrNrP8ao8D2k7UWTutPGMzrhk1zO4mmqNxbPQuRZUfdwE/pdTfiWBAn0n/pJJuJosJYrstCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:38:57.505649Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.06028","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8c6af74686829daba457e9ebedccdcb505208174e927bb7ef494d7ada1948b82","sha256:1f5c2f3587fc739ef3dd88c592e0297dc0162d0c118f8f6e9c3cf42b8f2ca748"],"state_sha256":"9f890820ce3aa59fd351934a31f0de3e7e092979559374e14f68ef02dffef904"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PkL2vgxTcwuIQrOCb4EiKFb/BTokr0RsFWfCVY3bWdsJPTz/bCVUM1ADnr2AYzKhPyj7qdhHmlQy086WLPoVCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T18:03:41.490193Z","bundle_sha256":"743e9313a1986f2031e074cf64c297a048d813b5b214312534cad1b9d836e6e3"}}