{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:6S5CSE6532NTAAELUC4O2PKMY7","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":"8a1b45bb1e970543540258980d1dc83796b8d61b69f99e2b9eb07ea7c6b82fbe","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-09-21T18:34:54Z","title_canon_sha256":"0438efc31ab0ce1d4458f4225e80cafeced9ecf73c089879173bb82e9e1aea6c"},"schema_version":"1.0","source":{"id":"1609.06670","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.06670","created_at":"2026-05-18T01:04:06Z"},{"alias_kind":"arxiv_version","alias_value":"1609.06670v1","created_at":"2026-05-18T01:04:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.06670","created_at":"2026-05-18T01:04:06Z"},{"alias_kind":"pith_short_12","alias_value":"6S5CSE6532NT","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_16","alias_value":"6S5CSE6532NTAAEL","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_8","alias_value":"6S5CSE65","created_at":"2026-05-18T12:30:01Z"}],"graph_snapshots":[{"event_id":"sha256:b1f281cfe271362f65b78e361c5d3cb91e8bb05ce401dad0a521f4e9611e2cb3","target":"graph","created_at":"2026-05-18T01:04:06Z","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":"This paper introduces a unified model of consistency and isolation that minimizes the gap between how these guarantees are defined and how they are perceived. Our approach is premised on a simple observation: applications view storage systems as black-boxes that transition through a series of states, a subset of which are observed by applications. For maximum clarity, isolation and consistency guarantees should be expressed as constraints on those states. Instead, these properties are currently expressed as constraints on operation histories that are not visible to the application. We show tha","authors_text":"Allen Clement, Lorenzo Alvisi, Natacha Crooks, Youer Pu","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-09-21T18:34:54Z","title":"Seeing is Believing: A Unified Model for Consistency and Isolation via States"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.06670","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:25fd01e085abc64ee56bc6ae958036f5c67d1c6fc12f91cdbb5cc80a0f2c2690","target":"record","created_at":"2026-05-18T01:04:06Z","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":"8a1b45bb1e970543540258980d1dc83796b8d61b69f99e2b9eb07ea7c6b82fbe","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-09-21T18:34:54Z","title_canon_sha256":"0438efc31ab0ce1d4458f4225e80cafeced9ecf73c089879173bb82e9e1aea6c"},"schema_version":"1.0","source":{"id":"1609.06670","kind":"arxiv","version":1}},"canonical_sha256":"f4ba2913ddde9b30008ba0b8ed3d4cc7cae3431dbc05e1209c754fab72337f2d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f4ba2913ddde9b30008ba0b8ed3d4cc7cae3431dbc05e1209c754fab72337f2d","first_computed_at":"2026-05-18T01:04:06.225566Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:06.225566Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lrPglxjz3AoE5+n/KleueJSEBIzU17dBoVDqoWcEXCK6Bhwpxb6L7+HeFkS8ahdB0RE+Dmp7pekRlRRlRL+8DA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:06.226048Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.06670","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:25fd01e085abc64ee56bc6ae958036f5c67d1c6fc12f91cdbb5cc80a0f2c2690","sha256:b1f281cfe271362f65b78e361c5d3cb91e8bb05ce401dad0a521f4e9611e2cb3"],"state_sha256":"fa1a5f08e5c0758b5a586a6275bf217545ab095afc3e0b3acb38dcc29dba676c"}