{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:BGXKE7ZMGOMK6R5CZTS3QJYUME","short_pith_number":"pith:BGXKE7ZM","canonical_record":{"source":{"id":"1503.09052","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-03-31T14:17:42Z","cross_cats_sorted":[],"title_canon_sha256":"21d81b1b2d9cd6acc3740f42b7fecb35d76387753dd6a56cfe8782f4675671b4","abstract_canon_sha256":"7fbcbf04fd27026047da895c22d556735ad94d36a9951634a2668d95d10e297d"},"schema_version":"1.0"},"canonical_sha256":"09aea27f2c3398af47a2cce5b82714613d12827d034f07579c14985d0bc46023","source":{"kind":"arxiv","id":"1503.09052","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.09052","created_at":"2026-05-18T02:19:51Z"},{"alias_kind":"arxiv_version","alias_value":"1503.09052v1","created_at":"2026-05-18T02:19:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.09052","created_at":"2026-05-18T02:19:51Z"},{"alias_kind":"pith_short_12","alias_value":"BGXKE7ZMGOMK","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"BGXKE7ZMGOMK6R5C","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"BGXKE7ZM","created_at":"2026-05-18T12:29:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:BGXKE7ZMGOMK6R5CZTS3QJYUME","target":"record","payload":{"canonical_record":{"source":{"id":"1503.09052","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-03-31T14:17:42Z","cross_cats_sorted":[],"title_canon_sha256":"21d81b1b2d9cd6acc3740f42b7fecb35d76387753dd6a56cfe8782f4675671b4","abstract_canon_sha256":"7fbcbf04fd27026047da895c22d556735ad94d36a9951634a2668d95d10e297d"},"schema_version":"1.0"},"canonical_sha256":"09aea27f2c3398af47a2cce5b82714613d12827d034f07579c14985d0bc46023","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:19:51.529730Z","signature_b64":"0W4BDI/hNd3TenyyGJSBT9QJjdRufx4DD4bPB3rGLelHfwdQMI3kWd6oEh0PwoBPI8EBqNRPzKjqN8PaVTTXDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"09aea27f2c3398af47a2cce5b82714613d12827d034f07579c14985d0bc46023","last_reissued_at":"2026-05-18T02:19:51.529075Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:19:51.529075Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1503.09052","source_version":1,"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:19:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0hKR9TB5W6KjBN+pfE9RB3Y3I+bLdoFB4UsakpIrBvjCOrTUr7t+3o8stkAQjnsodI7aXvsnqcX+piy2FBIkAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T06:55:34.655653Z"},"content_sha256":"16c22ee29ac461641197624a972b2c604dc630ff3e9ca08149cca196a23e10af","schema_version":"1.0","event_id":"sha256:16c22ee29ac461641197624a972b2c604dc630ff3e9ca08149cca196a23e10af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:BGXKE7ZMGOMK6R5CZTS3QJYUME","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Carla Ferreira, Diogo Serra, Mahsa Najafzadeh, Marc Shapiro, Nuno Pregui\\c{c}a, Rodrigo Rodrigues, S\\'ergio Duarte, Valter Balegas","submitted_at":"2015-03-31T14:17:42Z","abstract_excerpt":"Geo-replicated databases often operate under the principle of eventual consistency to offer high-availability with low latency on a simple key/value store abstraction. Recently, some have adopted commutative data types to provide seamless reconciliation for special purpose data types, such as counters. Despite this, the inability to enforce numeric invariants across all replicas still remains a key shortcoming of relying on the limited guarantees of eventual consistency storage. We present a new replicated data type, called bounded counter, which adds support for numeric invariants to eventual"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.09052","kind":"arxiv","version":1},"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:19:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"esmeGf79JD9jrArWJ0HGAT6gcrhySp43D5VZBdohdkfN69PaK0kyMbqsnIS/iMiN3LHZ9jI3dsvR/TqVNPK5Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T06:55:34.656336Z"},"content_sha256":"7f20a3808c8be70273217e4d23bd3c4b369878109d2b40580415b0515c05e63b","schema_version":"1.0","event_id":"sha256:7f20a3808c8be70273217e4d23bd3c4b369878109d2b40580415b0515c05e63b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BGXKE7ZMGOMK6R5CZTS3QJYUME/bundle.json","state_url":"https://pith.science/pith/BGXKE7ZMGOMK6R5CZTS3QJYUME/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BGXKE7ZMGOMK6R5CZTS3QJYUME/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-05-31T06:55:34Z","links":{"resolver":"https://pith.science/pith/BGXKE7ZMGOMK6R5CZTS3QJYUME","bundle":"https://pith.science/pith/BGXKE7ZMGOMK6R5CZTS3QJYUME/bundle.json","state":"https://pith.science/pith/BGXKE7ZMGOMK6R5CZTS3QJYUME/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BGXKE7ZMGOMK6R5CZTS3QJYUME/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:BGXKE7ZMGOMK6R5CZTS3QJYUME","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":"7fbcbf04fd27026047da895c22d556735ad94d36a9951634a2668d95d10e297d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-03-31T14:17:42Z","title_canon_sha256":"21d81b1b2d9cd6acc3740f42b7fecb35d76387753dd6a56cfe8782f4675671b4"},"schema_version":"1.0","source":{"id":"1503.09052","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.09052","created_at":"2026-05-18T02:19:51Z"},{"alias_kind":"arxiv_version","alias_value":"1503.09052v1","created_at":"2026-05-18T02:19:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.09052","created_at":"2026-05-18T02:19:51Z"},{"alias_kind":"pith_short_12","alias_value":"BGXKE7ZMGOMK","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"BGXKE7ZMGOMK6R5C","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"BGXKE7ZM","created_at":"2026-05-18T12:29:14Z"}],"graph_snapshots":[{"event_id":"sha256:7f20a3808c8be70273217e4d23bd3c4b369878109d2b40580415b0515c05e63b","target":"graph","created_at":"2026-05-18T02:19:51Z","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":"Geo-replicated databases often operate under the principle of eventual consistency to offer high-availability with low latency on a simple key/value store abstraction. Recently, some have adopted commutative data types to provide seamless reconciliation for special purpose data types, such as counters. Despite this, the inability to enforce numeric invariants across all replicas still remains a key shortcoming of relying on the limited guarantees of eventual consistency storage. We present a new replicated data type, called bounded counter, which adds support for numeric invariants to eventual","authors_text":"Carla Ferreira, Diogo Serra, Mahsa Najafzadeh, Marc Shapiro, Nuno Pregui\\c{c}a, Rodrigo Rodrigues, S\\'ergio Duarte, Valter Balegas","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-03-31T14:17:42Z","title":"Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.09052","kind":"arxiv","version":1},"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:16c22ee29ac461641197624a972b2c604dc630ff3e9ca08149cca196a23e10af","target":"record","created_at":"2026-05-18T02:19:51Z","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":"7fbcbf04fd27026047da895c22d556735ad94d36a9951634a2668d95d10e297d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-03-31T14:17:42Z","title_canon_sha256":"21d81b1b2d9cd6acc3740f42b7fecb35d76387753dd6a56cfe8782f4675671b4"},"schema_version":"1.0","source":{"id":"1503.09052","kind":"arxiv","version":1}},"canonical_sha256":"09aea27f2c3398af47a2cce5b82714613d12827d034f07579c14985d0bc46023","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"09aea27f2c3398af47a2cce5b82714613d12827d034f07579c14985d0bc46023","first_computed_at":"2026-05-18T02:19:51.529075Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:19:51.529075Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0W4BDI/hNd3TenyyGJSBT9QJjdRufx4DD4bPB3rGLelHfwdQMI3kWd6oEh0PwoBPI8EBqNRPzKjqN8PaVTTXDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:19:51.529730Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.09052","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:16c22ee29ac461641197624a972b2c604dc630ff3e9ca08149cca196a23e10af","sha256:7f20a3808c8be70273217e4d23bd3c4b369878109d2b40580415b0515c05e63b"],"state_sha256":"64a6b669e0dde17055bd61ac6e22aab9343eec2197f8bc5ff0c030d4ce7355da"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"APvdGme+4PQXsFnceI03DeNJEKfkFkXIrw542OazrhHltbWDqRCW4cQhdu2cero1D1yTRASqB+ihESpnJSDiCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T06:55:34.659972Z","bundle_sha256":"00450a0d1309be4eee28a5becff45680b1964ede8db8180b64a939629b28d330"}}