{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ID3DTAWMBWJRJGCOGVQTWP4T7T","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":"48f7a418a35c5feb1cdc6c986e4a82270460390e83152a62277f2079e3857aef","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-08-21T15:25:30Z","title_canon_sha256":"bce9c9985b491382608e2ff9a4034ba6ff5d82a58da56f5f606e0b3a5422fccf"},"schema_version":"1.0","source":{"id":"2508.15647","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.15647","created_at":"2026-05-20T01:04:30Z"},{"alias_kind":"arxiv_version","alias_value":"2508.15647v2","created_at":"2026-05-20T01:04:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.15647","created_at":"2026-05-20T01:04:30Z"},{"alias_kind":"pith_short_12","alias_value":"ID3DTAWMBWJR","created_at":"2026-05-20T01:04:30Z"},{"alias_kind":"pith_short_16","alias_value":"ID3DTAWMBWJRJGCO","created_at":"2026-05-20T01:04:30Z"},{"alias_kind":"pith_short_8","alias_value":"ID3DTAWM","created_at":"2026-05-20T01:04:30Z"}],"graph_snapshots":[{"event_id":"sha256:98b83b71d8295f3efa23e0943b91cd2bd27c185b070d6f1c19aed0e852fda2d3","target":"graph","created_at":"2026-05-20T01:04: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2508.15647/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Cloud applications often insert a caching lay\\-er in front of a database in order to reduce I/O latency and improve throughput. One complication occurs when a client fetches some data from one cache node, then migrates to another (e.g., due to failures, load balancing, or client mobility), where it fetches the remaining data. If the data in the cache nodes is inconsistent, the client could observe states that undermine the application's correctness.\n  One example of a situation where this is common is stateful serverless workflows, which consist of multiple serverless functions that access sta","authors_text":"Haoran Zhang, Sebastian Angel, Shuai Mu, Vincent Liu, Zihao Zhang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-08-21T15:25:30Z","title":"CausalMesh: A Formally Verified Causally Consistent Distributed Cache with Support for Client Migration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.15647","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:c4b03ebd2cf1e4fb10a2bdb053f8097f4b49fc69645e29a388ff6e243d6f388b","target":"record","created_at":"2026-05-20T01:04: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":"48f7a418a35c5feb1cdc6c986e4a82270460390e83152a62277f2079e3857aef","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-08-21T15:25:30Z","title_canon_sha256":"bce9c9985b491382608e2ff9a4034ba6ff5d82a58da56f5f606e0b3a5422fccf"},"schema_version":"1.0","source":{"id":"2508.15647","kind":"arxiv","version":2}},"canonical_sha256":"40f63982cc0d9314984e35613b3f93fcf25d6fefd4641ad89e17ffd511bed358","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"40f63982cc0d9314984e35613b3f93fcf25d6fefd4641ad89e17ffd511bed358","first_computed_at":"2026-05-20T01:04:30.167047Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T01:04:30.167047Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6qVXMhY+YjpfylcyKiYzCfrTv1g4qzciW7VrGemBRUHZ/SVcdXxXx3VFDEOUqA7RO5JZgp5wKgbYkwwzaflWBA==","signature_status":"signed_v1","signed_at":"2026-05-20T01:04:30.167779Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.15647","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c4b03ebd2cf1e4fb10a2bdb053f8097f4b49fc69645e29a388ff6e243d6f388b","sha256:98b83b71d8295f3efa23e0943b91cd2bd27c185b070d6f1c19aed0e852fda2d3"],"state_sha256":"79987558f2290f7d23f540fef75857be3d91ea9f346df004d38a33f9d2e6efe1"}