{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:DFS3YCE5MUEOJDLVIPOZT5MSPW","short_pith_number":"pith:DFS3YCE5","schema_version":"1.0","canonical_sha256":"1965bc089d6508e48d7543dd99f5927db88210e4cc61093cd6e7bfa14f5866d5","source":{"kind":"arxiv","id":"1903.06560","version":1},"attestation_state":"computed","paper":{"title":"Replication-Aware Linearizability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Chao Wang, Constantin Enea, Gustavo Petri, Suha Orhun Mutluergil","submitted_at":"2019-03-15T14:03:53Z","abstract_excerpt":"Geo-distributed systems often replicate data at multiple locations to achieve availability and performance despite network partitions. These systems must accept updates at any replica and propagate these updates asynchronously to every other replica. Conflict-Free Replicated Data Types (CRDTs) provide a principled approach to the problem of ensuring that replicas are eventually consistent despite the asynchronous delivery of updates.\n  We address the problem of specifying and verifying CRDTs, introducing a new correctness criterion called Replication-Aware Linearizability. This criterion is in"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1903.06560","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-03-15T14:03:53Z","cross_cats_sorted":[],"title_canon_sha256":"a6382fcb1802afaf8c6a71342a04bcb2713e0e3006c53bac4071681850cf243d","abstract_canon_sha256":"a1fc3045a651d11fb905f6691b90fd8608eecba1e1df4d0a41c4f036e39df69b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:10.482179Z","signature_b64":"dUm326jpEf7BQFowdnL9m8MsJ+b7LwyvCVt4i1jj6i7O0IiodyojMKUy72ORu1WSKnJPfA3i/BKzrug8CQ6fAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1965bc089d6508e48d7543dd99f5927db88210e4cc61093cd6e7bfa14f5866d5","last_reissued_at":"2026-05-17T23:51:10.481752Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:10.481752Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Replication-Aware Linearizability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Chao Wang, Constantin Enea, Gustavo Petri, Suha Orhun Mutluergil","submitted_at":"2019-03-15T14:03:53Z","abstract_excerpt":"Geo-distributed systems often replicate data at multiple locations to achieve availability and performance despite network partitions. These systems must accept updates at any replica and propagate these updates asynchronously to every other replica. Conflict-Free Replicated Data Types (CRDTs) provide a principled approach to the problem of ensuring that replicas are eventually consistent despite the asynchronous delivery of updates.\n  We address the problem of specifying and verifying CRDTs, introducing a new correctness criterion called Replication-Aware Linearizability. This criterion is in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.06560","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1903.06560","created_at":"2026-05-17T23:51:10.481812+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.06560v1","created_at":"2026-05-17T23:51:10.481812+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.06560","created_at":"2026-05-17T23:51:10.481812+00:00"},{"alias_kind":"pith_short_12","alias_value":"DFS3YCE5MUEO","created_at":"2026-05-18T12:33:15.570797+00:00"},{"alias_kind":"pith_short_16","alias_value":"DFS3YCE5MUEOJDLV","created_at":"2026-05-18T12:33:15.570797+00:00"},{"alias_kind":"pith_short_8","alias_value":"DFS3YCE5","created_at":"2026-05-18T12:33:15.570797+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DFS3YCE5MUEOJDLVIPOZT5MSPW","json":"https://pith.science/pith/DFS3YCE5MUEOJDLVIPOZT5MSPW.json","graph_json":"https://pith.science/api/pith-number/DFS3YCE5MUEOJDLVIPOZT5MSPW/graph.json","events_json":"https://pith.science/api/pith-number/DFS3YCE5MUEOJDLVIPOZT5MSPW/events.json","paper":"https://pith.science/paper/DFS3YCE5"},"agent_actions":{"view_html":"https://pith.science/pith/DFS3YCE5MUEOJDLVIPOZT5MSPW","download_json":"https://pith.science/pith/DFS3YCE5MUEOJDLVIPOZT5MSPW.json","view_paper":"https://pith.science/paper/DFS3YCE5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.06560&json=true","fetch_graph":"https://pith.science/api/pith-number/DFS3YCE5MUEOJDLVIPOZT5MSPW/graph.json","fetch_events":"https://pith.science/api/pith-number/DFS3YCE5MUEOJDLVIPOZT5MSPW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DFS3YCE5MUEOJDLVIPOZT5MSPW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DFS3YCE5MUEOJDLVIPOZT5MSPW/action/storage_attestation","attest_author":"https://pith.science/pith/DFS3YCE5MUEOJDLVIPOZT5MSPW/action/author_attestation","sign_citation":"https://pith.science/pith/DFS3YCE5MUEOJDLVIPOZT5MSPW/action/citation_signature","submit_replication":"https://pith.science/pith/DFS3YCE5MUEOJDLVIPOZT5MSPW/action/replication_record"}},"created_at":"2026-05-17T23:51:10.481812+00:00","updated_at":"2026-05-17T23:51:10.481812+00:00"}