{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:3WOEFGLV55C3X37AVOADDO4D76","short_pith_number":"pith:3WOEFGLV","canonical_record":{"source":{"id":"1509.05393","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-09-17T19:50:15Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"7113ea6fd376b3b398030e3e7ca65e77c94c6a6d00286fed7510299a8a42a97c","abstract_canon_sha256":"1c45c3bcadd56e968f7a6dde77866f6daca015213c5e5b0c7d33383c6f9fda0b"},"schema_version":"1.0"},"canonical_sha256":"dd9c429975ef45bbefe0ab8031bb83ff9d4fb4897c4380f0347ca72bdb5f4f82","source":{"kind":"arxiv","id":"1509.05393","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05393","created_at":"2026-05-18T01:32:43Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05393v2","created_at":"2026-05-18T01:32:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05393","created_at":"2026-05-18T01:32:43Z"},{"alias_kind":"pith_short_12","alias_value":"3WOEFGLV55C3","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3WOEFGLV55C3X37A","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3WOEFGLV","created_at":"2026-05-18T12:29:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:3WOEFGLV55C3X37AVOADDO4D76","target":"record","payload":{"canonical_record":{"source":{"id":"1509.05393","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-09-17T19:50:15Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"7113ea6fd376b3b398030e3e7ca65e77c94c6a6d00286fed7510299a8a42a97c","abstract_canon_sha256":"1c45c3bcadd56e968f7a6dde77866f6daca015213c5e5b0c7d33383c6f9fda0b"},"schema_version":"1.0"},"canonical_sha256":"dd9c429975ef45bbefe0ab8031bb83ff9d4fb4897c4380f0347ca72bdb5f4f82","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:32:43.240843Z","signature_b64":"Og61Yyb2ifyn1yby+Yi+Q8n/oKYrbEHFMaokdLirNyY87vsQTkjlAY7B+mlxECWrsntIj3eH0l7BGJGWuosnBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd9c429975ef45bbefe0ab8031bb83ff9d4fb4897c4380f0347ca72bdb5f4f82","last_reissued_at":"2026-05-18T01:32:43.240483Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:32:43.240483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.05393","source_version":2,"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:32:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZiiCdSKdoSxF5NPzlwE0DReoyUiwcvg3Io0zSy/aqFEkVdF3AB8Zjy7gpLUcZx3m49vjLgP8uGmO4HpglG8EDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T16:53:33.856939Z"},"content_sha256":"7f3b39330048594d816de77023ca6a861e8c9999ba88415d2dec1dee594f84d0","schema_version":"1.0","event_id":"sha256:7f3b39330048594d816de77023ca6a861e8c9999ba88415d2dec1dee594f84d0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:3WOEFGLV55C3X37AVOADDO4D76","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Critique of the CAP Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.DC","authors_text":"Martin Kleppmann","submitted_at":"2015-09-17T19:50:15Z","abstract_excerpt":"The CAP Theorem is a frequently cited impossibility result in distributed systems, especially among NoSQL distributed databases. In this paper we survey some of the confusion about the meaning of CAP, including inconsistencies and ambiguities in its definitions, and we highlight some problems in its formalization. CAP is often interpreted as proof that eventually consistent databases have better availability properties than strongly consistent databases; although there is some truth in this, we show that more careful reasoning is required. These problems cast doubt on the utility of CAP as a t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05393","kind":"arxiv","version":2},"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:32:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XQ7JInNUAc+A5BNHDyylNHc/k06lSMJC3crlSblBEYsY8OAU4BfIg2rR+YrF14GYNchRjpDMyor/hPDcjqN4DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T16:53:33.857285Z"},"content_sha256":"a931dfd59e01e97628800cac79a94464aa188eb465843e9c5644abf6147b9d12","schema_version":"1.0","event_id":"sha256:a931dfd59e01e97628800cac79a94464aa188eb465843e9c5644abf6147b9d12"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3WOEFGLV55C3X37AVOADDO4D76/bundle.json","state_url":"https://pith.science/pith/3WOEFGLV55C3X37AVOADDO4D76/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3WOEFGLV55C3X37AVOADDO4D76/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-24T16:53:33Z","links":{"resolver":"https://pith.science/pith/3WOEFGLV55C3X37AVOADDO4D76","bundle":"https://pith.science/pith/3WOEFGLV55C3X37AVOADDO4D76/bundle.json","state":"https://pith.science/pith/3WOEFGLV55C3X37AVOADDO4D76/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3WOEFGLV55C3X37AVOADDO4D76/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:3WOEFGLV55C3X37AVOADDO4D76","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":"1c45c3bcadd56e968f7a6dde77866f6daca015213c5e5b0c7d33383c6f9fda0b","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-09-17T19:50:15Z","title_canon_sha256":"7113ea6fd376b3b398030e3e7ca65e77c94c6a6d00286fed7510299a8a42a97c"},"schema_version":"1.0","source":{"id":"1509.05393","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05393","created_at":"2026-05-18T01:32:43Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05393v2","created_at":"2026-05-18T01:32:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05393","created_at":"2026-05-18T01:32:43Z"},{"alias_kind":"pith_short_12","alias_value":"3WOEFGLV55C3","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3WOEFGLV55C3X37A","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3WOEFGLV","created_at":"2026-05-18T12:29:02Z"}],"graph_snapshots":[{"event_id":"sha256:a931dfd59e01e97628800cac79a94464aa188eb465843e9c5644abf6147b9d12","target":"graph","created_at":"2026-05-18T01:32: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 CAP Theorem is a frequently cited impossibility result in distributed systems, especially among NoSQL distributed databases. In this paper we survey some of the confusion about the meaning of CAP, including inconsistencies and ambiguities in its definitions, and we highlight some problems in its formalization. CAP is often interpreted as proof that eventually consistent databases have better availability properties than strongly consistent databases; although there is some truth in this, we show that more careful reasoning is required. These problems cast doubt on the utility of CAP as a t","authors_text":"Martin Kleppmann","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-09-17T19:50:15Z","title":"A Critique of the CAP Theorem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05393","kind":"arxiv","version":2},"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:7f3b39330048594d816de77023ca6a861e8c9999ba88415d2dec1dee594f84d0","target":"record","created_at":"2026-05-18T01:32: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":"1c45c3bcadd56e968f7a6dde77866f6daca015213c5e5b0c7d33383c6f9fda0b","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-09-17T19:50:15Z","title_canon_sha256":"7113ea6fd376b3b398030e3e7ca65e77c94c6a6d00286fed7510299a8a42a97c"},"schema_version":"1.0","source":{"id":"1509.05393","kind":"arxiv","version":2}},"canonical_sha256":"dd9c429975ef45bbefe0ab8031bb83ff9d4fb4897c4380f0347ca72bdb5f4f82","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd9c429975ef45bbefe0ab8031bb83ff9d4fb4897c4380f0347ca72bdb5f4f82","first_computed_at":"2026-05-18T01:32:43.240483Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:32:43.240483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Og61Yyb2ifyn1yby+Yi+Q8n/oKYrbEHFMaokdLirNyY87vsQTkjlAY7B+mlxECWrsntIj3eH0l7BGJGWuosnBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:32:43.240843Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.05393","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7f3b39330048594d816de77023ca6a861e8c9999ba88415d2dec1dee594f84d0","sha256:a931dfd59e01e97628800cac79a94464aa188eb465843e9c5644abf6147b9d12"],"state_sha256":"01cd3e86444f0e8dedf3dce89f973daeaebedef24f3375e14e2c0e2d7f0a0b02"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bCQTvWa8i2rxE5AV1CJjZirDf8KS2F+cCb4qKz9bVAQVbaOx0js2OLbOLfBmvm20c0FesaM/OhkUT3e8ED61Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T16:53:33.859228Z","bundle_sha256":"6033c273cda653781176dd1024e4688a7439641b99c353b482e142024c2337af"}}