{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:UJYQNFXRHQYI2EN7ZB3YCCKERN","short_pith_number":"pith:UJYQNFXR","canonical_record":{"source":{"id":"1403.2307","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.DB","submitted_at":"2014-03-10T17:12:09Z","cross_cats_sorted":[],"title_canon_sha256":"933ed3f4ac2126185d3d07aa54c7c90f7cd3656c4258a5ee7515f43eec50e3b5","abstract_canon_sha256":"31c1ba6f84fa16def671a511b09c6394e0dc4eb98afda563d4dcf973f5a8d48d"},"schema_version":"1.0"},"canonical_sha256":"a2710696f13c308d11bfc8778109448b7f4bca811715c83d8ef6dc464d053c6e","source":{"kind":"arxiv","id":"1403.2307","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.2307","created_at":"2026-05-18T02:29:08Z"},{"alias_kind":"arxiv_version","alias_value":"1403.2307v2","created_at":"2026-05-18T02:29:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.2307","created_at":"2026-05-18T02:29:08Z"},{"alias_kind":"pith_short_12","alias_value":"UJYQNFXRHQYI","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UJYQNFXRHQYI2EN7","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UJYQNFXR","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:UJYQNFXRHQYI2EN7ZB3YCCKERN","target":"record","payload":{"canonical_record":{"source":{"id":"1403.2307","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.DB","submitted_at":"2014-03-10T17:12:09Z","cross_cats_sorted":[],"title_canon_sha256":"933ed3f4ac2126185d3d07aa54c7c90f7cd3656c4258a5ee7515f43eec50e3b5","abstract_canon_sha256":"31c1ba6f84fa16def671a511b09c6394e0dc4eb98afda563d4dcf973f5a8d48d"},"schema_version":"1.0"},"canonical_sha256":"a2710696f13c308d11bfc8778109448b7f4bca811715c83d8ef6dc464d053c6e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:29:08.387941Z","signature_b64":"BrZAn/VHWpmyr25zMUCaN2MsJjhtzvXTAz0XNNILKmqRXUdEGx75T8CYfOVJhdOlcQgyDoQljI/V7vRhnzPcBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a2710696f13c308d11bfc8778109448b7f4bca811715c83d8ef6dc464d053c6e","last_reissued_at":"2026-05-18T02:29:08.387456Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:29:08.387456Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.2307","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-18T02:29:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KnblkzdRYsKYtNA4YJAASTYcMREFc80CaUNfRN2SbkxZvx55pJRVjcOBBgvaVYX8r7HW3qyMh9srg7z7tc3XDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T20:48:06.307958Z"},"content_sha256":"820e063a29c2009d9853afee237c527926458696789ca4402f414188906b0500","schema_version":"1.0","event_id":"sha256:820e063a29c2009d9853afee237c527926458696789ca4402f414188906b0500"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:UJYQNFXRHQYI2EN7ZB3YCCKERN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Bailu Ding, Christoph Koch, Gabriel Bender, Hossein Hojjat, Johannes Gehrke, Lucja Kot, Nate Foster, Sudip Roy","submitted_at":"2014-03-10T17:12:09Z","abstract_excerpt":"Datastores today rely on distribution and replication to achieve improved performance and fault-tolerance. But correctness of many applications depends on strong consistency properties - something that can impose substantial overheads, since it requires coordinating the behavior of multiple nodes. This paper describes a new approach to achieving strong consistency in distributed systems while minimizing communication between nodes. The key insight is to allow the state of the system to be inconsistent during execution, as long as this inconsistency is bounded and does not affect transaction co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.2307","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":""},"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-18T02:29:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6pAne4qSRVVTewABL0HC5/CEeWqGJ+kmgP7hfssaMs4rLFhah58r0KE9DWu6nJxzxWME8nlXN4iQDX5dpNrnCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T20:48:06.308435Z"},"content_sha256":"770a496ebc5e5db0dc0a28f4cb45d43dab93adf42ff07e9c72e79265c985b39b","schema_version":"1.0","event_id":"sha256:770a496ebc5e5db0dc0a28f4cb45d43dab93adf42ff07e9c72e79265c985b39b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UJYQNFXRHQYI2EN7ZB3YCCKERN/bundle.json","state_url":"https://pith.science/pith/UJYQNFXRHQYI2EN7ZB3YCCKERN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UJYQNFXRHQYI2EN7ZB3YCCKERN/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-25T20:48:06Z","links":{"resolver":"https://pith.science/pith/UJYQNFXRHQYI2EN7ZB3YCCKERN","bundle":"https://pith.science/pith/UJYQNFXRHQYI2EN7ZB3YCCKERN/bundle.json","state":"https://pith.science/pith/UJYQNFXRHQYI2EN7ZB3YCCKERN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UJYQNFXRHQYI2EN7ZB3YCCKERN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:UJYQNFXRHQYI2EN7ZB3YCCKERN","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":"31c1ba6f84fa16def671a511b09c6394e0dc4eb98afda563d4dcf973f5a8d48d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.DB","submitted_at":"2014-03-10T17:12:09Z","title_canon_sha256":"933ed3f4ac2126185d3d07aa54c7c90f7cd3656c4258a5ee7515f43eec50e3b5"},"schema_version":"1.0","source":{"id":"1403.2307","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.2307","created_at":"2026-05-18T02:29:08Z"},{"alias_kind":"arxiv_version","alias_value":"1403.2307v2","created_at":"2026-05-18T02:29:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.2307","created_at":"2026-05-18T02:29:08Z"},{"alias_kind":"pith_short_12","alias_value":"UJYQNFXRHQYI","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UJYQNFXRHQYI2EN7","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UJYQNFXR","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:770a496ebc5e5db0dc0a28f4cb45d43dab93adf42ff07e9c72e79265c985b39b","target":"graph","created_at":"2026-05-18T02:29:08Z","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":"Datastores today rely on distribution and replication to achieve improved performance and fault-tolerance. But correctness of many applications depends on strong consistency properties - something that can impose substantial overheads, since it requires coordinating the behavior of multiple nodes. This paper describes a new approach to achieving strong consistency in distributed systems while minimizing communication between nodes. The key insight is to allow the state of the system to be inconsistent during execution, as long as this inconsistency is bounded and does not affect transaction co","authors_text":"Bailu Ding, Christoph Koch, Gabriel Bender, Hossein Hojjat, Johannes Gehrke, Lucja Kot, Nate Foster, Sudip Roy","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.DB","submitted_at":"2014-03-10T17:12:09Z","title":"The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.2307","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:820e063a29c2009d9853afee237c527926458696789ca4402f414188906b0500","target":"record","created_at":"2026-05-18T02:29:08Z","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":"31c1ba6f84fa16def671a511b09c6394e0dc4eb98afda563d4dcf973f5a8d48d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.DB","submitted_at":"2014-03-10T17:12:09Z","title_canon_sha256":"933ed3f4ac2126185d3d07aa54c7c90f7cd3656c4258a5ee7515f43eec50e3b5"},"schema_version":"1.0","source":{"id":"1403.2307","kind":"arxiv","version":2}},"canonical_sha256":"a2710696f13c308d11bfc8778109448b7f4bca811715c83d8ef6dc464d053c6e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a2710696f13c308d11bfc8778109448b7f4bca811715c83d8ef6dc464d053c6e","first_computed_at":"2026-05-18T02:29:08.387456Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:29:08.387456Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BrZAn/VHWpmyr25zMUCaN2MsJjhtzvXTAz0XNNILKmqRXUdEGx75T8CYfOVJhdOlcQgyDoQljI/V7vRhnzPcBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:29:08.387941Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.2307","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:820e063a29c2009d9853afee237c527926458696789ca4402f414188906b0500","sha256:770a496ebc5e5db0dc0a28f4cb45d43dab93adf42ff07e9c72e79265c985b39b"],"state_sha256":"42ab7a8d421b2b9bd3e2845c443858998cc32ec44ebccc55bb977471be0b3e3f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RZdgc8BoqYlDyZGrSkOybf9VAUprTttlonWJXnuRuwsmi26pAKp+3GUMlTTNxyKEIw6enyAA1U+L9BqGu3o+Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T20:48:06.312224Z","bundle_sha256":"46066d9db728c28e215547a3fae6fbbc63cf69a320239023ef16c6028187f3ed"}}