{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:VLZK3JPJIJLPQ3FKAM2LTKAHEN","short_pith_number":"pith:VLZK3JPJ","canonical_record":{"source":{"id":"2502.19967","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-27T10:47:17Z","cross_cats_sorted":[],"title_canon_sha256":"8246332aa83c1da0346c12e1b08c933012e884de54fef111adcd20f76840b4a5","abstract_canon_sha256":"40fc15d708424916bce849a975c45b66337dca28992cae45a67b8f15b21ba54f"},"schema_version":"1.0"},"canonical_sha256":"aaf2ada5e94256f86caa0334b9a8072342cb4a006450a507430d8daf771693d8","source":{"kind":"arxiv","id":"2502.19967","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:VLZK3JPJIJLPQ3FKAM2LTKAHEN","target":"record","payload":{"canonical_record":{"source":{"id":"2502.19967","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-27T10:47:17Z","cross_cats_sorted":[],"title_canon_sha256":"8246332aa83c1da0346c12e1b08c933012e884de54fef111adcd20f76840b4a5","abstract_canon_sha256":"40fc15d708424916bce849a975c45b66337dca28992cae45a67b8f15b21ba54f"},"schema_version":"1.0"},"canonical_sha256":"aaf2ada5e94256f86caa0334b9a8072342cb4a006450a507430d8daf771693d8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:20:55.964738Z","signature_b64":"6yZHDKxml3AXZr6FzXh0URXyVmV/R1PnHSoy6yE+HZN38RCfljgQvNZwpOqzntUGWbDeRICI2QsUyjgVXX81AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aaf2ada5e94256f86caa0334b9a8072342cb4a006450a507430d8daf771693d8","last_reissued_at":"2026-07-05T10:20:55.964230Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:20:55.964230Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.19967","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:20:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vRFVc3+9vKvqaUWVl9Whhs1JyaKcXouhISaD3IDURRUkBYv+xaN0/gXgPZQv6MdlTJkfHSFOMmkC8HHeJEoQCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T10:49:30.694203Z"},"content_sha256":"f575ce6b20b637f1d3f3cecd8f90bdd179efd8eae57ad66c781de0a3f8496137","schema_version":"1.0","event_id":"sha256:f575ce6b20b637f1d3f3cecd8f90bdd179efd8eae57ad66c781de0a3f8496137"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:VLZK3JPJIJLPQ3FKAM2LTKAHEN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automatically Verifying Replication-aware Linearizability","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Aseem Rastogi, Kartik Nagar, KC Sivaramakrishnan, Vimala Soundarapandian","submitted_at":"2025-02-27T10:47:17Z","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 "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.19967","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2502.19967/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:20:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fCR2ic/QBVIQhv9nWqoyjEjzmTaK3w3KiyAfX2uBicAdSd6IGblpvn22qthdXKep18o7PzA8Oaw3799Jf+v7DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T10:49:30.694741Z"},"content_sha256":"935b2b37ea41a31eb14f9daee09909831ec4635047fbc3f9900287cbebb243b9","schema_version":"1.0","event_id":"sha256:935b2b37ea41a31eb14f9daee09909831ec4635047fbc3f9900287cbebb243b9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VLZK3JPJIJLPQ3FKAM2LTKAHEN/bundle.json","state_url":"https://pith.science/pith/VLZK3JPJIJLPQ3FKAM2LTKAHEN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VLZK3JPJIJLPQ3FKAM2LTKAHEN/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-06T10:49:30Z","links":{"resolver":"https://pith.science/pith/VLZK3JPJIJLPQ3FKAM2LTKAHEN","bundle":"https://pith.science/pith/VLZK3JPJIJLPQ3FKAM2LTKAHEN/bundle.json","state":"https://pith.science/pith/VLZK3JPJIJLPQ3FKAM2LTKAHEN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VLZK3JPJIJLPQ3FKAM2LTKAHEN/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RtVzksLiVmzgrQle6z9Lxtnlmz7o8aGE3CaCuxmrOFuCiOvhZYXiuh9mEQtN+8pV2NSv5BMoktPQQhpxJkNiBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T10:49:30.698739Z","bundle_sha256":"533cde45d9f6c04d23498c159e40c21f1fb3b7e93bab4c5a35b63f204aeaa6b5"}}