{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:DBWC6TU3HC3HYF63OSE6ORC25T","short_pith_number":"pith:DBWC6TU3","canonical_record":{"source":{"id":"1806.08416","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-06-21T20:21:24Z","cross_cats_sorted":[],"title_canon_sha256":"6608b6ad069d330d92b64d66ef3d0bbf3309da8e85ecaa9e7f883ca9cfcc43f5","abstract_canon_sha256":"781d35a81b59321990ffb719422100ce80df519dd6a1e15c5809b4653158c445"},"schema_version":"1.0"},"canonical_sha256":"186c2f4e9b38b67c17db7489e7445aece0e7e2a6711b75b361ef1f78cbe959bd","source":{"kind":"arxiv","id":"1806.08416","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.08416","created_at":"2026-05-18T00:12:37Z"},{"alias_kind":"arxiv_version","alias_value":"1806.08416v1","created_at":"2026-05-18T00:12:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.08416","created_at":"2026-05-18T00:12:37Z"},{"alias_kind":"pith_short_12","alias_value":"DBWC6TU3HC3H","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DBWC6TU3HC3HYF63","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DBWC6TU3","created_at":"2026-05-18T12:32:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:DBWC6TU3HC3HYF63OSE6ORC25T","target":"record","payload":{"canonical_record":{"source":{"id":"1806.08416","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-06-21T20:21:24Z","cross_cats_sorted":[],"title_canon_sha256":"6608b6ad069d330d92b64d66ef3d0bbf3309da8e85ecaa9e7f883ca9cfcc43f5","abstract_canon_sha256":"781d35a81b59321990ffb719422100ce80df519dd6a1e15c5809b4653158c445"},"schema_version":"1.0"},"canonical_sha256":"186c2f4e9b38b67c17db7489e7445aece0e7e2a6711b75b361ef1f78cbe959bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:37.448541Z","signature_b64":"UBJVh+49l8FjQ2PfpP4flt+DUW3Ueqw0QqiYAoCY1h5ax0Fk2Aa6SGrIjaZaiTwv4AtoI7ZB38wthBaZk0K4BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"186c2f4e9b38b67c17db7489e7445aece0e7e2a6711b75b361ef1f78cbe959bd","last_reissued_at":"2026-05-18T00:12:37.447798Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:37.447798Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.08416","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-18T00:12:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7rtpXNRaZeD8f1lsT07fJwnX5kr7wr3F7hg36d3OIpk9rRqcFKga3MoU0gIkYNXbWadILy6A1bgYd2N6uDonAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T21:56:04.254225Z"},"content_sha256":"9406b807c0df959e27646fed28d8de7d446bff9a39b8d9c0ea4add5cc6574ee3","schema_version":"1.0","event_id":"sha256:9406b807c0df959e27646fed28d8de7d446bff9a39b8d9c0ea4add5cc6574ee3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:DBWC6TU3HC3HYF63OSE6ORC25T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Detection of Serializability Violations under Weak Consistency","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Kartik Nagar, Suresh Jagannathan","submitted_at":"2018-06-21T20:21:24Z","abstract_excerpt":"While a number of weak consistency mechanisms have been developed in recent years to improve performance and ensure availability in distributed, replicated systems, ensuring correctness of transactional applications running on top of such systems remains a difficult and important problem. Serializability is a well-understood correctness criterion for transactional programs; understanding whether applications are serializable when executed in a weakly-consistent environment, however remains a challenging exercise. In this work, we combine the dependency graph-based characterization of serializa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.08416","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-18T00:12:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VmysSkUeFU9e51Z/E72oAhuN/se+6TzKgonRaWmVmJ9spHKhcwtRty7ZozfJVPYDUwg7sUtIv671apNhDAXwBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T21:56:04.254583Z"},"content_sha256":"3d85495203aa204f3aed39312b28881ed2d9de63bfcf15f9fb5c0407af1e321f","schema_version":"1.0","event_id":"sha256:3d85495203aa204f3aed39312b28881ed2d9de63bfcf15f9fb5c0407af1e321f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T/bundle.json","state_url":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DBWC6TU3HC3HYF63OSE6ORC25T/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-29T21:56:04Z","links":{"resolver":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T","bundle":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T/bundle.json","state":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DBWC6TU3HC3HYF63OSE6ORC25T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:DBWC6TU3HC3HYF63OSE6ORC25T","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":"781d35a81b59321990ffb719422100ce80df519dd6a1e15c5809b4653158c445","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-06-21T20:21:24Z","title_canon_sha256":"6608b6ad069d330d92b64d66ef3d0bbf3309da8e85ecaa9e7f883ca9cfcc43f5"},"schema_version":"1.0","source":{"id":"1806.08416","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.08416","created_at":"2026-05-18T00:12:37Z"},{"alias_kind":"arxiv_version","alias_value":"1806.08416v1","created_at":"2026-05-18T00:12:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.08416","created_at":"2026-05-18T00:12:37Z"},{"alias_kind":"pith_short_12","alias_value":"DBWC6TU3HC3H","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DBWC6TU3HC3HYF63","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DBWC6TU3","created_at":"2026-05-18T12:32:19Z"}],"graph_snapshots":[{"event_id":"sha256:3d85495203aa204f3aed39312b28881ed2d9de63bfcf15f9fb5c0407af1e321f","target":"graph","created_at":"2026-05-18T00:12:37Z","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":"While a number of weak consistency mechanisms have been developed in recent years to improve performance and ensure availability in distributed, replicated systems, ensuring correctness of transactional applications running on top of such systems remains a difficult and important problem. Serializability is a well-understood correctness criterion for transactional programs; understanding whether applications are serializable when executed in a weakly-consistent environment, however remains a challenging exercise. In this work, we combine the dependency graph-based characterization of serializa","authors_text":"Kartik Nagar, Suresh Jagannathan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-06-21T20:21:24Z","title":"Automated Detection of Serializability Violations under Weak Consistency"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.08416","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:9406b807c0df959e27646fed28d8de7d446bff9a39b8d9c0ea4add5cc6574ee3","target":"record","created_at":"2026-05-18T00:12:37Z","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":"781d35a81b59321990ffb719422100ce80df519dd6a1e15c5809b4653158c445","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-06-21T20:21:24Z","title_canon_sha256":"6608b6ad069d330d92b64d66ef3d0bbf3309da8e85ecaa9e7f883ca9cfcc43f5"},"schema_version":"1.0","source":{"id":"1806.08416","kind":"arxiv","version":1}},"canonical_sha256":"186c2f4e9b38b67c17db7489e7445aece0e7e2a6711b75b361ef1f78cbe959bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"186c2f4e9b38b67c17db7489e7445aece0e7e2a6711b75b361ef1f78cbe959bd","first_computed_at":"2026-05-18T00:12:37.447798Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:12:37.447798Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UBJVh+49l8FjQ2PfpP4flt+DUW3Ueqw0QqiYAoCY1h5ax0Fk2Aa6SGrIjaZaiTwv4AtoI7ZB38wthBaZk0K4BA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:12:37.448541Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.08416","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9406b807c0df959e27646fed28d8de7d446bff9a39b8d9c0ea4add5cc6574ee3","sha256:3d85495203aa204f3aed39312b28881ed2d9de63bfcf15f9fb5c0407af1e321f"],"state_sha256":"b598008af4c24a894a3b1f4adfd439246b73d62710c7ff4c626865df435aefcd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZJX9wKz2R1TFXCKnZ3/c7AtEe+paSiKwxKhQ/QhhBYhkz9jxjhWldzci3nwQcIAdGie+cWZI3tsijKy1jvRKAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T21:56:04.256456Z","bundle_sha256":"40ff018c3294801c3b407e5fa390ae284973c54044ab73083b01200992687695"}}