{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VLZK3JPJIJLPQ3FKAM2LTKAHEN","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":"40fc15d708424916bce849a975c45b66337dca28992cae45a67b8f15b21ba54f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-27T10:47:17Z","title_canon_sha256":"8246332aa83c1da0346c12e1b08c933012e884de54fef111adcd20f76840b4a5"},"schema_version":"1.0","source":{"id":"2502.19967","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.19967","created_at":"2026-07-05T10:20:55Z"},{"alias_kind":"arxiv_version","alias_value":"2502.19967v1","created_at":"2026-07-05T10:20:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.19967","created_at":"2026-07-05T10:20:55Z"},{"alias_kind":"pith_short_12","alias_value":"VLZK3JPJIJLP","created_at":"2026-07-05T10:20:55Z"},{"alias_kind":"pith_short_16","alias_value":"VLZK3JPJIJLPQ3FK","created_at":"2026-07-05T10:20:55Z"},{"alias_kind":"pith_short_8","alias_value":"VLZK3JPJ","created_at":"2026-07-05T10:20:55Z"}],"graph_snapshots":[{"event_id":"sha256:935b2b37ea41a31eb14f9daee09909831ec4635047fbc3f9900287cbebb243b9","target":"graph","created_at":"2026-07-05T10:20:55Z","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/2502.19967/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Data replication is crucial for enabling fault tolerance and uniform low latency in modern decentralized applications. Replicated Data Types (RDTs) have emerged as a principled approach for developing replicated implementations of basic data structures such as counter, flag, set, map, etc. While the correctness of RDTs is generally specified using the notion of strong eventual consistency--which guarantees that replicas that have received the same set of updates would converge to the same state--a more expressive specification which relates the converged state to updates received at a replica ","authors_text":"Aseem Rastogi, Kartik Nagar, KC Sivaramakrishnan, Vimala Soundarapandian","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-27T10:47:17Z","title":"Automatically Verifying Replication-aware Linearizability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.19967","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:f575ce6b20b637f1d3f3cecd8f90bdd179efd8eae57ad66c781de0a3f8496137","target":"record","created_at":"2026-07-05T10:20:55Z","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":"40fc15d708424916bce849a975c45b66337dca28992cae45a67b8f15b21ba54f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-27T10:47:17Z","title_canon_sha256":"8246332aa83c1da0346c12e1b08c933012e884de54fef111adcd20f76840b4a5"},"schema_version":"1.0","source":{"id":"2502.19967","kind":"arxiv","version":1}},"canonical_sha256":"aaf2ada5e94256f86caa0334b9a8072342cb4a006450a507430d8daf771693d8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aaf2ada5e94256f86caa0334b9a8072342cb4a006450a507430d8daf771693d8","first_computed_at":"2026-07-05T10:20:55.964230Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:20:55.964230Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6yZHDKxml3AXZr6FzXh0URXyVmV/R1PnHSoy6yE+HZN38RCfljgQvNZwpOqzntUGWbDeRICI2QsUyjgVXX81AQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:20:55.964738Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.19967","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f575ce6b20b637f1d3f3cecd8f90bdd179efd8eae57ad66c781de0a3f8496137","sha256:935b2b37ea41a31eb14f9daee09909831ec4635047fbc3f9900287cbebb243b9"],"state_sha256":"15df5ade94c6d2080fb7ed3185a123d9a41eda39b204c06b4d39d5a6a3ac2a9a"}