{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ID3DTAWMBWJRJGCOGVQTWP4T7T","short_pith_number":"pith:ID3DTAWM","canonical_record":{"source":{"id":"2508.15647","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-08-21T15:25:30Z","cross_cats_sorted":[],"title_canon_sha256":"bce9c9985b491382608e2ff9a4034ba6ff5d82a58da56f5f606e0b3a5422fccf","abstract_canon_sha256":"48f7a418a35c5feb1cdc6c986e4a82270460390e83152a62277f2079e3857aef"},"schema_version":"1.0"},"canonical_sha256":"40f63982cc0d9314984e35613b3f93fcf25d6fefd4641ad89e17ffd511bed358","source":{"kind":"arxiv","id":"2508.15647","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ID3DTAWMBWJRJGCOGVQTWP4T7T","target":"record","payload":{"canonical_record":{"source":{"id":"2508.15647","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-08-21T15:25:30Z","cross_cats_sorted":[],"title_canon_sha256":"bce9c9985b491382608e2ff9a4034ba6ff5d82a58da56f5f606e0b3a5422fccf","abstract_canon_sha256":"48f7a418a35c5feb1cdc6c986e4a82270460390e83152a62277f2079e3857aef"},"schema_version":"1.0"},"canonical_sha256":"40f63982cc0d9314984e35613b3f93fcf25d6fefd4641ad89e17ffd511bed358","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T01:04:30.167779Z","signature_b64":"6qVXMhY+YjpfylcyKiYzCfrTv1g4qzciW7VrGemBRUHZ/SVcdXxXx3VFDEOUqA7RO5JZgp5wKgbYkwwzaflWBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"40f63982cc0d9314984e35613b3f93fcf25d6fefd4641ad89e17ffd511bed358","last_reissued_at":"2026-05-20T01:04:30.167047Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T01:04:30.167047Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.15647","source_version":2,"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-20T01:04:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3+Fe5iyvHvPsY6z9JQEQ79ZVsJG3dkSy+lGrLPVhp49oFhkfpE/hndsMn+/WcePlTyf5nHFrAX9pfeyUckTpAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T12:39:47.252988Z"},"content_sha256":"c4b03ebd2cf1e4fb10a2bdb053f8097f4b49fc69645e29a388ff6e243d6f388b","schema_version":"1.0","event_id":"sha256:c4b03ebd2cf1e4fb10a2bdb053f8097f4b49fc69645e29a388ff6e243d6f388b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ID3DTAWMBWJRJGCOGVQTWP4T7T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CausalMesh: A Formally Verified Causally Consistent Distributed Cache with Support for Client Migration","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Haoran Zhang, Sebastian Angel, Shuai Mu, Vincent Liu, Zihao Zhang","submitted_at":"2025-08-21T15:25:30Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.15647","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.15647/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-20T01:04:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z3qwHhIuYjGoCHmHx4tlR5zlJXjnjILlj5BG42owBd+La8+kqa+iuQXSoe8P60mJI5IHOJf7QKUytjge6/8NDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T12:39:47.253383Z"},"content_sha256":"98b83b71d8295f3efa23e0943b91cd2bd27c185b070d6f1c19aed0e852fda2d3","schema_version":"1.0","event_id":"sha256:98b83b71d8295f3efa23e0943b91cd2bd27c185b070d6f1c19aed0e852fda2d3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ID3DTAWMBWJRJGCOGVQTWP4T7T/bundle.json","state_url":"https://pith.science/pith/ID3DTAWMBWJRJGCOGVQTWP4T7T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ID3DTAWMBWJRJGCOGVQTWP4T7T/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-05-25T12:39:47Z","links":{"resolver":"https://pith.science/pith/ID3DTAWMBWJRJGCOGVQTWP4T7T","bundle":"https://pith.science/pith/ID3DTAWMBWJRJGCOGVQTWP4T7T/bundle.json","state":"https://pith.science/pith/ID3DTAWMBWJRJGCOGVQTWP4T7T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ID3DTAWMBWJRJGCOGVQTWP4T7T/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FGl1dExMVxMneG3rHgkMEy7x3jhVLQSnto/r98J1gqrX+c5CwVs0Syp9hkqQGJCOGWrPdABiCY4ismEqxPwOAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T12:39:47.255696Z","bundle_sha256":"8e65f30d161a3838ffb1275a8b056997727823ed9fbb961e4f5e754639d49443"}}