{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:UVHWOQTMMTLUY72ULOR5KJYD3F","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":"fc16a3e555d13bacd51635b1e5f05856987bb7dbcc288187ad2bab9f48c2b2f5","cross_cats_sorted":["cs.DB","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2019-01-07T17:20:25Z","title_canon_sha256":"1196f1aef2caf5cd8ee5771774e29ede663157cd990eaf80cb089cbdb7bb8d6d"},"schema_version":"1.0","source":{"id":"1901.01930","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.01930","created_at":"2026-05-17T23:55:30Z"},{"alias_kind":"arxiv_version","alias_value":"1901.01930v2","created_at":"2026-05-17T23:55:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.01930","created_at":"2026-05-17T23:55:30Z"},{"alias_kind":"pith_short_12","alias_value":"UVHWOQTMMTLU","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"UVHWOQTMMTLUY72U","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"UVHWOQTM","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:7ce5f40d6ffbb1c4b347eb7c5887f1b83496990bbfdace379c6fad21c37a8843","target":"graph","created_at":"2026-05-17T23:55:30Z","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":"A key concern in modern distributed systems is to avoid the cost of coordination while maintaining consistent semantics. Until recently, there was no answer to the question of when coordination is actually required. In this paper we present an informal introduction to the CALM Theorem, which answers this question precisely by moving up from traditional storage consistency to consider properties of programs.\n  CALM is an acronym for \"consistency as logical monotonicity\". The CALM Theorem shows that the programs that have consistent, coordination-free distributed implementations are exactly the ","authors_text":"Joseph M. Hellerstein, Peter Alvaro","cross_cats":["cs.DB","cs.PL","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2019-01-07T17:20:25Z","title":"Keeping CALM: When Distributed Consistency is Easy"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.01930","kind":"arxiv","version":2},"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:b18d2bac0882f59eb869ade6866793a08fb96e8d16509d16d09eb0f93b6c0b65","target":"record","created_at":"2026-05-17T23:55:30Z","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":"fc16a3e555d13bacd51635b1e5f05856987bb7dbcc288187ad2bab9f48c2b2f5","cross_cats_sorted":["cs.DB","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2019-01-07T17:20:25Z","title_canon_sha256":"1196f1aef2caf5cd8ee5771774e29ede663157cd990eaf80cb089cbdb7bb8d6d"},"schema_version":"1.0","source":{"id":"1901.01930","kind":"arxiv","version":2}},"canonical_sha256":"a54f67426c64d74c7f545ba3d52703d96a984c496ee56709bb50fd3476a0785d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a54f67426c64d74c7f545ba3d52703d96a984c496ee56709bb50fd3476a0785d","first_computed_at":"2026-05-17T23:55:30.711977Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:30.711977Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fy9cIhmGxTGR/NrbQytHaZoF53TSgUjTbjOtYdZTvwXnmU4z3EYT58wSEm6w7cOB6BXmHKZZyWFddesNOaeBDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:30.712434Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.01930","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b18d2bac0882f59eb869ade6866793a08fb96e8d16509d16d09eb0f93b6c0b65","sha256:7ce5f40d6ffbb1c4b347eb7c5887f1b83496990bbfdace379c6fad21c37a8843"],"state_sha256":"54e8ad6f89b80b916ad8358cec249111d68d2275d0d24c5ec44c853245472d43"}