{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:6YZMVUQ3AJ3N4I3GKJOGHIPSPC","short_pith_number":"pith:6YZMVUQ3","canonical_record":{"source":{"id":"1302.5161","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-21T02:45:25Z","cross_cats_sorted":[],"title_canon_sha256":"0e81ad1d7a58948eb8a5c56c53c9fbeebe97b8fb49207d4014a0702f40599735","abstract_canon_sha256":"e38c55a5508b32b28a9dd80ec3b9a475925d67d8a30d1835ccf32c968574a59d"},"schema_version":"1.0"},"canonical_sha256":"f632cad21b0276de2366525c63a1f278b90f567ea4b693b97b81402645bfe1af","source":{"kind":"arxiv","id":"1302.5161","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.5161","created_at":"2026-05-18T03:06:03Z"},{"alias_kind":"arxiv_version","alias_value":"1302.5161v3","created_at":"2026-05-18T03:06:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.5161","created_at":"2026-05-18T03:06:03Z"},{"alias_kind":"pith_short_12","alias_value":"6YZMVUQ3AJ3N","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6YZMVUQ3AJ3N4I3G","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6YZMVUQ3","created_at":"2026-05-18T12:27:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:6YZMVUQ3AJ3N4I3GKJOGHIPSPC","target":"record","payload":{"canonical_record":{"source":{"id":"1302.5161","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-21T02:45:25Z","cross_cats_sorted":[],"title_canon_sha256":"0e81ad1d7a58948eb8a5c56c53c9fbeebe97b8fb49207d4014a0702f40599735","abstract_canon_sha256":"e38c55a5508b32b28a9dd80ec3b9a475925d67d8a30d1835ccf32c968574a59d"},"schema_version":"1.0"},"canonical_sha256":"f632cad21b0276de2366525c63a1f278b90f567ea4b693b97b81402645bfe1af","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:06:03.428062Z","signature_b64":"l+3zq//rO0Scq7lfx4lcTXhyVcoILGh9wEuDjKFziaXEZr2Xoi4ENS1V+5+K+PjqFM7K83Zf+ntY9Vo/ahalDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f632cad21b0276de2366525c63a1f278b90f567ea4b693b97b81402645bfe1af","last_reissued_at":"2026-05-18T03:06:03.427629Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:06:03.427629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.5161","source_version":3,"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-18T03:06:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rjRdcPNWK8nptq/XniMF8piD9hIz4Mn7VejrytyBe9YpJpI9vxsmkGhIwpF5B31rWO51oZcRtqtFKrVY/SxeBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:32:30.614127Z"},"content_sha256":"7a0b44b8720f00846c705423e5fbf3723798c156d9b8bf77e725d7388bc176b8","schema_version":"1.0","event_id":"sha256:7a0b44b8720f00846c705423e5fbf3723798c156d9b8bf77e725d7388bc176b8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:6YZMVUQ3AJ3N4I3GKJOGHIPSPC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifying PRAM Consistency over Read/Write Traces of Data Replicas","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Hengfeng Wei, Jian Lu, Jiannong Cao, Marzio De Biasi, Yu Huang","submitted_at":"2013-02-21T02:45:25Z","abstract_excerpt":"Data replication technologies enable efficient and highly-available data access, thus gaining more and more interests in both the academia and the industry. However, data replication introduces the problem of data consistency. Modern commercial data replication systems often provide weak consistency for high availability under certain failure scenarios. An important weak consistency is Pipelined-RAM (PRAM) consistency. It allows different processes to hold different views of data. To determine whether a data replication system indeed provides PRAM consistency, we study the problem of Verifying"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.5161","kind":"arxiv","version":3},"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-18T03:06:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"36C/OG+AZw+BXXJH7ey2477fKCiDQaVnoHLEZAdJN/NuxD6rpXW78myRQ+xREsazr6DTeprMwn6CeD4XdlOmDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:32:30.614500Z"},"content_sha256":"f2e4713ad9f2b232bf860aa0396ad1b42166ea8d98608497f635aaf56ea9ffaf","schema_version":"1.0","event_id":"sha256:f2e4713ad9f2b232bf860aa0396ad1b42166ea8d98608497f635aaf56ea9ffaf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6YZMVUQ3AJ3N4I3GKJOGHIPSPC/bundle.json","state_url":"https://pith.science/pith/6YZMVUQ3AJ3N4I3GKJOGHIPSPC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6YZMVUQ3AJ3N4I3GKJOGHIPSPC/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-02T23:32:30Z","links":{"resolver":"https://pith.science/pith/6YZMVUQ3AJ3N4I3GKJOGHIPSPC","bundle":"https://pith.science/pith/6YZMVUQ3AJ3N4I3GKJOGHIPSPC/bundle.json","state":"https://pith.science/pith/6YZMVUQ3AJ3N4I3GKJOGHIPSPC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6YZMVUQ3AJ3N4I3GKJOGHIPSPC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:6YZMVUQ3AJ3N4I3GKJOGHIPSPC","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":"e38c55a5508b32b28a9dd80ec3b9a475925d67d8a30d1835ccf32c968574a59d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-21T02:45:25Z","title_canon_sha256":"0e81ad1d7a58948eb8a5c56c53c9fbeebe97b8fb49207d4014a0702f40599735"},"schema_version":"1.0","source":{"id":"1302.5161","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.5161","created_at":"2026-05-18T03:06:03Z"},{"alias_kind":"arxiv_version","alias_value":"1302.5161v3","created_at":"2026-05-18T03:06:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.5161","created_at":"2026-05-18T03:06:03Z"},{"alias_kind":"pith_short_12","alias_value":"6YZMVUQ3AJ3N","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6YZMVUQ3AJ3N4I3G","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6YZMVUQ3","created_at":"2026-05-18T12:27:36Z"}],"graph_snapshots":[{"event_id":"sha256:f2e4713ad9f2b232bf860aa0396ad1b42166ea8d98608497f635aaf56ea9ffaf","target":"graph","created_at":"2026-05-18T03:06:03Z","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":"Data replication technologies enable efficient and highly-available data access, thus gaining more and more interests in both the academia and the industry. However, data replication introduces the problem of data consistency. Modern commercial data replication systems often provide weak consistency for high availability under certain failure scenarios. An important weak consistency is Pipelined-RAM (PRAM) consistency. It allows different processes to hold different views of data. To determine whether a data replication system indeed provides PRAM consistency, we study the problem of Verifying","authors_text":"Hengfeng Wei, Jian Lu, Jiannong Cao, Marzio De Biasi, Yu Huang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-21T02:45:25Z","title":"Verifying PRAM Consistency over Read/Write Traces of Data Replicas"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.5161","kind":"arxiv","version":3},"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:7a0b44b8720f00846c705423e5fbf3723798c156d9b8bf77e725d7388bc176b8","target":"record","created_at":"2026-05-18T03:06:03Z","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":"e38c55a5508b32b28a9dd80ec3b9a475925d67d8a30d1835ccf32c968574a59d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-21T02:45:25Z","title_canon_sha256":"0e81ad1d7a58948eb8a5c56c53c9fbeebe97b8fb49207d4014a0702f40599735"},"schema_version":"1.0","source":{"id":"1302.5161","kind":"arxiv","version":3}},"canonical_sha256":"f632cad21b0276de2366525c63a1f278b90f567ea4b693b97b81402645bfe1af","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f632cad21b0276de2366525c63a1f278b90f567ea4b693b97b81402645bfe1af","first_computed_at":"2026-05-18T03:06:03.427629Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:06:03.427629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"l+3zq//rO0Scq7lfx4lcTXhyVcoILGh9wEuDjKFziaXEZr2Xoi4ENS1V+5+K+PjqFM7K83Zf+ntY9Vo/ahalDA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:06:03.428062Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.5161","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7a0b44b8720f00846c705423e5fbf3723798c156d9b8bf77e725d7388bc176b8","sha256:f2e4713ad9f2b232bf860aa0396ad1b42166ea8d98608497f635aaf56ea9ffaf"],"state_sha256":"f6ad84dd5237d597f903510f7061f0a416f73c98a0bbaf298ca4f479bb9bdcac"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d3xsl88wMqCDKrMbOTc2oWitSBHe8GFxJO08rm3UCQRgViuDKNC6MwDWv6Tq9s2AsFc/XfpyVbwnY+nQe9/8Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T23:32:30.616445Z","bundle_sha256":"b27c27b8f4f638ca9c6601dce467a87aa9afb17762a766d9e779e3e360a6878c"}}