{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:WMDW5IEMEIAX7QU4ANTJVLG6VD","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":"f6e79fdca0b8e14de10835b8728bf3aab26340ae7d7da40e48a402b6250d6189","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-05-14T15:59:15Z","title_canon_sha256":"8eb9522affce2f7f9a1c887a7dfdb6ae2362b04d60cb9e5f070140b15a25e3d2"},"schema_version":"1.0","source":{"id":"1905.05684","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.05684","created_at":"2026-05-17T23:46:13Z"},{"alias_kind":"arxiv_version","alias_value":"1905.05684v1","created_at":"2026-05-17T23:46:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.05684","created_at":"2026-05-17T23:46:13Z"},{"alias_kind":"pith_short_12","alias_value":"WMDW5IEMEIAX","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"WMDW5IEMEIAX7QU4","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"WMDW5IEM","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:f166683740e31b91457c0ac425763b93de0300b9ba70e014c1aee22ca6fdc8e7","target":"graph","created_at":"2026-05-17T23:46: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"},"paper":{"abstract_excerpt":"Maintaining multiple replicas of data is crucial to achieving scalability, availability and low latency in distributed applications. Conflict-free Replicated Data Types (CRDTs) are important building blocks in this domain because they are designed to operate correctly under the myriad behaviors possible in a weakly-consistent distributed setting. Because of the possibility of concurrent updates to the same object at different replicas, and the absence of any ordering guarantees on these updates, convergence is an important correctness criterion for CRDTs. This property asserts that two replica","authors_text":"Kartik Nagar, Suresh Jagannathan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-05-14T15:59:15Z","title":"Automated Parameterized Verification of CRDTs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.05684","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:ad6e20fd8841acdc07037adbc52c0d3d79ce8b85ac8f062c4b39681a7472ea5e","target":"record","created_at":"2026-05-17T23:46: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":"f6e79fdca0b8e14de10835b8728bf3aab26340ae7d7da40e48a402b6250d6189","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-05-14T15:59:15Z","title_canon_sha256":"8eb9522affce2f7f9a1c887a7dfdb6ae2362b04d60cb9e5f070140b15a25e3d2"},"schema_version":"1.0","source":{"id":"1905.05684","kind":"arxiv","version":1}},"canonical_sha256":"b3076ea08c22017fc29c03669aacdea8f7c8231fbdc3e849ea81b9efea536102","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b3076ea08c22017fc29c03669aacdea8f7c8231fbdc3e849ea81b9efea536102","first_computed_at":"2026-05-17T23:46:13.862206Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:13.862206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0d1oDmMfqWHp7UfLG4V5JMpahmV5hrhJrlD+501n3tvznIRbiwPnR4b67ggjDbYYRt1GxQn5ns/azftKVSXGAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:13.862740Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.05684","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ad6e20fd8841acdc07037adbc52c0d3d79ce8b85ac8f062c4b39681a7472ea5e","sha256:f166683740e31b91457c0ac425763b93de0300b9ba70e014c1aee22ca6fdc8e7"],"state_sha256":"ebaef70c6f9a974df29905d649003b18e2585fa08cf772133ee6955ed971957b"}