{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:OFZX545QQTOYEZOEFCFDO3J26E","short_pith_number":"pith:OFZX545Q","schema_version":"1.0","canonical_sha256":"71737ef3b084dd8265c4288a376d3af1272d862c73689bee4694f0ba1e40fab4","source":{"kind":"arxiv","id":"1802.08733","version":2},"attestation_state":"computed","paper":{"title":"Conflict-Aware Replicated Data Types","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Akash Gaonkar, Arjun Radhakrishna, Nicholas V. Lewchenko, Pavol \\v{C}ern\\'y","submitted_at":"2018-02-23T20:48:19Z","abstract_excerpt":"We introduce Conflict-Aware Replicated Data Types (CARDs). CARDs are significantly more expressive than Conflict-free Replicated Data Types (CRDTs) as they support operations that can conflict with each other. Introducing conflicting operations typically brings the need to block an operation in at least some executions, leading to difficulties in programming and reasoning about correctness, as well as potential inefficiencies in implementation.\n  The salient aspect of CARDs is that they allow ease of programming and reasoning about programs comparable to CRDTs, while enabling algorithmic infer"},"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":"1802.08733","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2018-02-23T20:48:19Z","cross_cats_sorted":[],"title_canon_sha256":"baea23f114030ffb989c70eee50d8c6e5238123fd12664010d17bf5cd67316c6","abstract_canon_sha256":"a77c96c388af79714fbddc5f73f32db5c6d61e911c5d62759918a4329d7dde57"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:04:44.973304Z","signature_b64":"9LjUmHydkdEYCQNm5hKJ+afGTwc59j69a8vsfCcE4JK6bcb0pKuAKBLMQUX/r8k3Yh5u1PhBLHRIvggIOzaSCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"71737ef3b084dd8265c4288a376d3af1272d862c73689bee4694f0ba1e40fab4","last_reissued_at":"2026-05-18T00:04:44.972638Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:04:44.972638Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Conflict-Aware Replicated Data Types","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Akash Gaonkar, Arjun Radhakrishna, Nicholas V. Lewchenko, Pavol \\v{C}ern\\'y","submitted_at":"2018-02-23T20:48:19Z","abstract_excerpt":"We introduce Conflict-Aware Replicated Data Types (CARDs). CARDs are significantly more expressive than Conflict-free Replicated Data Types (CRDTs) as they support operations that can conflict with each other. Introducing conflicting operations typically brings the need to block an operation in at least some executions, leading to difficulties in programming and reasoning about correctness, as well as potential inefficiencies in implementation.\n  The salient aspect of CARDs is that they allow ease of programming and reasoning about programs comparable to CRDTs, while enabling algorithmic infer"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.08733","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1802.08733","created_at":"2026-05-18T00:04:44.972765+00:00"},{"alias_kind":"arxiv_version","alias_value":"1802.08733v2","created_at":"2026-05-18T00:04:44.972765+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.08733","created_at":"2026-05-18T00:04:44.972765+00:00"},{"alias_kind":"pith_short_12","alias_value":"OFZX545QQTOY","created_at":"2026-05-18T12:32:43.782077+00:00"},{"alias_kind":"pith_short_16","alias_value":"OFZX545QQTOYEZOE","created_at":"2026-05-18T12:32:43.782077+00:00"},{"alias_kind":"pith_short_8","alias_value":"OFZX545Q","created_at":"2026-05-18T12:32:43.782077+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/OFZX545QQTOYEZOEFCFDO3J26E","json":"https://pith.science/pith/OFZX545QQTOYEZOEFCFDO3J26E.json","graph_json":"https://pith.science/api/pith-number/OFZX545QQTOYEZOEFCFDO3J26E/graph.json","events_json":"https://pith.science/api/pith-number/OFZX545QQTOYEZOEFCFDO3J26E/events.json","paper":"https://pith.science/paper/OFZX545Q"},"agent_actions":{"view_html":"https://pith.science/pith/OFZX545QQTOYEZOEFCFDO3J26E","download_json":"https://pith.science/pith/OFZX545QQTOYEZOEFCFDO3J26E.json","view_paper":"https://pith.science/paper/OFZX545Q","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1802.08733&json=true","fetch_graph":"https://pith.science/api/pith-number/OFZX545QQTOYEZOEFCFDO3J26E/graph.json","fetch_events":"https://pith.science/api/pith-number/OFZX545QQTOYEZOEFCFDO3J26E/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OFZX545QQTOYEZOEFCFDO3J26E/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OFZX545QQTOYEZOEFCFDO3J26E/action/storage_attestation","attest_author":"https://pith.science/pith/OFZX545QQTOYEZOEFCFDO3J26E/action/author_attestation","sign_citation":"https://pith.science/pith/OFZX545QQTOYEZOEFCFDO3J26E/action/citation_signature","submit_replication":"https://pith.science/pith/OFZX545QQTOYEZOEFCFDO3J26E/action/replication_record"}},"created_at":"2026-05-18T00:04:44.972765+00:00","updated_at":"2026-05-18T00:04:44.972765+00:00"}