{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:WMDW5IEMEIAX7QU4ANTJVLG6VD","short_pith_number":"pith:WMDW5IEM","canonical_record":{"source":{"id":"1905.05684","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-05-14T15:59:15Z","cross_cats_sorted":[],"title_canon_sha256":"8eb9522affce2f7f9a1c887a7dfdb6ae2362b04d60cb9e5f070140b15a25e3d2","abstract_canon_sha256":"f6e79fdca0b8e14de10835b8728bf3aab26340ae7d7da40e48a402b6250d6189"},"schema_version":"1.0"},"canonical_sha256":"b3076ea08c22017fc29c03669aacdea8f7c8231fbdc3e849ea81b9efea536102","source":{"kind":"arxiv","id":"1905.05684","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:WMDW5IEMEIAX7QU4ANTJVLG6VD","target":"record","payload":{"canonical_record":{"source":{"id":"1905.05684","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-05-14T15:59:15Z","cross_cats_sorted":[],"title_canon_sha256":"8eb9522affce2f7f9a1c887a7dfdb6ae2362b04d60cb9e5f070140b15a25e3d2","abstract_canon_sha256":"f6e79fdca0b8e14de10835b8728bf3aab26340ae7d7da40e48a402b6250d6189"},"schema_version":"1.0"},"canonical_sha256":"b3076ea08c22017fc29c03669aacdea8f7c8231fbdc3e849ea81b9efea536102","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:13.862740Z","signature_b64":"0d1oDmMfqWHp7UfLG4V5JMpahmV5hrhJrlD+501n3tvznIRbiwPnR4b67ggjDbYYRt1GxQn5ns/azftKVSXGAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3076ea08c22017fc29c03669aacdea8f7c8231fbdc3e849ea81b9efea536102","last_reissued_at":"2026-05-17T23:46:13.862206Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:13.862206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.05684","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-05-17T23:46:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0LL8IHZkzGAqchX7Yz76mUva+a2WM1pVjAErKpEIoHOBKP22YuOzemN+g7kP+SuwnTm5ThvOuQ+QD69r1uFYCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T19:46:27.823460Z"},"content_sha256":"ad6e20fd8841acdc07037adbc52c0d3d79ce8b85ac8f062c4b39681a7472ea5e","schema_version":"1.0","event_id":"sha256:ad6e20fd8841acdc07037adbc52c0d3d79ce8b85ac8f062c4b39681a7472ea5e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:WMDW5IEMEIAX7QU4ANTJVLG6VD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Parameterized Verification of CRDTs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Kartik Nagar, Suresh Jagannathan","submitted_at":"2019-05-14T15:59:15Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.05684","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":""},"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-05-17T23:46:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qcEE5+j8mO/NUNCCYn9BaRtnJ6qhvtUWp5rlBVe6RBTy5iNKveQmlUpWLQEcUbFELiYNE963mOGn2cX27bNkDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T19:46:27.823791Z"},"content_sha256":"f166683740e31b91457c0ac425763b93de0300b9ba70e014c1aee22ca6fdc8e7","schema_version":"1.0","event_id":"sha256:f166683740e31b91457c0ac425763b93de0300b9ba70e014c1aee22ca6fdc8e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WMDW5IEMEIAX7QU4ANTJVLG6VD/bundle.json","state_url":"https://pith.science/pith/WMDW5IEMEIAX7QU4ANTJVLG6VD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WMDW5IEMEIAX7QU4ANTJVLG6VD/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-06-29T19:46:27Z","links":{"resolver":"https://pith.science/pith/WMDW5IEMEIAX7QU4ANTJVLG6VD","bundle":"https://pith.science/pith/WMDW5IEMEIAX7QU4ANTJVLG6VD/bundle.json","state":"https://pith.science/pith/WMDW5IEMEIAX7QU4ANTJVLG6VD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WMDW5IEMEIAX7QU4ANTJVLG6VD/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lC5zy5/7ObsRo9/14hPR873VnKNhZzyKNI4wC+aZ3iSmucAurANR0CTQAvDGFxkljpVFXMnzu8rU7TsKDqKPAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T19:46:27.825643Z","bundle_sha256":"16565b325e74c8bb509215f3e85d932238f7743eb92cc22e2ba33cdccdaa89c1"}}