{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:7SE6QQUGXUEE366UZBIXWSPAC3","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":"c947e62420d1ee2fb4c6b276c49e41d3557c987cad4fa30b372ff02f308537cc","cross_cats_sorted":["cs.DB","cs.LO","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2026-05-29T17:36:29Z","title_canon_sha256":"62bca7cb137c238e6963972c4059ba3fa1e03594ac950950a8ff9361a424b29b"},"schema_version":"1.0","source":{"id":"2605.31569","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.31569","created_at":"2026-06-01T02:04:13Z"},{"alias_kind":"arxiv_version","alias_value":"2605.31569v1","created_at":"2026-06-01T02:04:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.31569","created_at":"2026-06-01T02:04:13Z"},{"alias_kind":"pith_short_12","alias_value":"7SE6QQUGXUEE","created_at":"2026-06-01T02:04:13Z"},{"alias_kind":"pith_short_16","alias_value":"7SE6QQUGXUEE366U","created_at":"2026-06-01T02:04:13Z"},{"alias_kind":"pith_short_8","alias_value":"7SE6QQUG","created_at":"2026-06-01T02:04:13Z"}],"graph_snapshots":[{"event_id":"sha256:a115e7cc015bf49a655b97be7012f3f2f97ab2e299ef751cca91ae4858754271","target":"graph","created_at":"2026-06-01T02:04:13Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2605.31569/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Distributed applications increasingly support local-first collaboration over shared data, allowing multiple users to perform updates concurrently without global coordination. Such collaboration requires careful design to capture the intended semantics of the concurrent interactions.\n  We introduce a declarative framework for specifying and reasoning about the semantics of conflict-free replicated data types (CRDTs) and CRDT-based applications in Datalog. The framework models CRDT semantics as executable logic programs over operation contexts, making concurrency explicit and compositional, and ","authors_text":"Annette Bieniusa, Elena Yanakieva, Stefania Dumbrava","cross_cats":["cs.DB","cs.LO","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2026-05-29T17:36:29Z","title":"A Datalog Framework for Conflict-Free Replicated Data Types"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.31569","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:5152dfab11932e86cb7234bfd58aac292c7e93f470c08bbb76c27880d1f03b0c","target":"record","created_at":"2026-06-01T02:04:13Z","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":"c947e62420d1ee2fb4c6b276c49e41d3557c987cad4fa30b372ff02f308537cc","cross_cats_sorted":["cs.DB","cs.LO","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2026-05-29T17:36:29Z","title_canon_sha256":"62bca7cb137c238e6963972c4059ba3fa1e03594ac950950a8ff9361a424b29b"},"schema_version":"1.0","source":{"id":"2605.31569","kind":"arxiv","version":1}},"canonical_sha256":"fc89e84286bd084dfbd4c8517b49e016fc57c442565acec4a353d65cae8e27ea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fc89e84286bd084dfbd4c8517b49e016fc57c442565acec4a353d65cae8e27ea","first_computed_at":"2026-06-01T02:04:13.556359Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T02:04:13.556359Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eCsr/cWBpRkTOo0Z/bKnP4Sz5tIVIDOfudwb9hqakGfgEVnZ1eqCFsFrKh3JALBMBJRUUdEh9Fg6D0W5UtF4Bw==","signature_status":"signed_v1","signed_at":"2026-06-01T02:04:13.557109Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.31569","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5152dfab11932e86cb7234bfd58aac292c7e93f470c08bbb76c27880d1f03b0c","sha256:a115e7cc015bf49a655b97be7012f3f2f97ab2e299ef751cca91ae4858754271"],"state_sha256":"605862223978034eeafdfab40e2e8ebc60e7e2d78fd8b89add78a1e0894e0fd2"}