{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:Y7AI35OVILJJUMTGW7E4BWMKNP","short_pith_number":"pith:Y7AI35OV","canonical_record":{"source":{"id":"1707.09242","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-07-28T14:09:01Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"620f51b2ee7952f84dd3d6fc98c3311e978f0b3703ea2f27deb6abe2318560c4","abstract_canon_sha256":"1fd1f71dc39bea74fbdb0a89b2d0679bfd5def2850664b46a0b75681f76fc202"},"schema_version":"1.0"},"canonical_sha256":"c7c08df5d542d29a3266b7c9c0d98a6be31cfa933376f19c0528ada802cdc37e","source":{"kind":"arxiv","id":"1707.09242","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.09242","created_at":"2026-05-18T00:39:16Z"},{"alias_kind":"arxiv_version","alias_value":"1707.09242v1","created_at":"2026-05-18T00:39:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.09242","created_at":"2026-05-18T00:39:16Z"},{"alias_kind":"pith_short_12","alias_value":"Y7AI35OVILJJ","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"Y7AI35OVILJJUMTG","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"Y7AI35OV","created_at":"2026-05-18T12:31:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:Y7AI35OVILJJUMTGW7E4BWMKNP","target":"record","payload":{"canonical_record":{"source":{"id":"1707.09242","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-07-28T14:09:01Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"620f51b2ee7952f84dd3d6fc98c3311e978f0b3703ea2f27deb6abe2318560c4","abstract_canon_sha256":"1fd1f71dc39bea74fbdb0a89b2d0679bfd5def2850664b46a0b75681f76fc202"},"schema_version":"1.0"},"canonical_sha256":"c7c08df5d542d29a3266b7c9c0d98a6be31cfa933376f19c0528ada802cdc37e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:16.675870Z","signature_b64":"HONJ8cKIS2rax+kmgNQoinFGhg8Ub6Xq5KaUYDhXmdMWT7gpZhFKnuHuFv+YYYa1PgOhgZrPfUb4oDlLB9lIBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c7c08df5d542d29a3266b7c9c0d98a6be31cfa933376f19c0528ada802cdc37e","last_reissued_at":"2026-05-18T00:39:16.674991Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:16.674991Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.09242","source_version":1,"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-18T00:39:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T1J1D3qF3PZxZOdWNzBSMFPAaGgjmTUmbQRMweR1knzQno0vJDLWX3W++iypkkSC9eXmRoVmGmRkWOhrOLAzCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T09:15:13.782110Z"},"content_sha256":"85786d3633dde6fc9ad24d386ecfe52c8bf7556ae6b649d0968d107dd998a49f","schema_version":"1.0","event_id":"sha256:85786d3633dde6fc9ad24d386ecfe52c8bf7556ae6b649d0968d107dd998a49f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:Y7AI35OVILJJUMTGW7E4BWMKNP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Consistency models with global operation sequencing and their composition (extended version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DC","authors_text":"Alexey Gotsman, Sebastian Burckhardt","submitted_at":"2017-07-28T14:09:01Z","abstract_excerpt":"Modern distributed systems often achieve availability and scalability by providing consistency guarantees about the data they manage weaker than linearizability. We consider a class of such consistency models that, despite this weakening, guarantee that clients eventually agree on a global sequence of operations, while seeing a subsequence of this final sequence at any given point of time. Examples of such models include the classical Total Store Order (TSO) and recently proposed dual TSO, Global Sequence Protocol (GSP) and Ordered Sequential Consistency.\n  We define a unified model, called Gl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.09242","kind":"arxiv","version":1},"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-18T00:39:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zd9C0BAtofvEIVfG1ZFXoopHCPubSV+kXVWIE3q9IW2qb40MjpQJYvIK+FVOSNnJZmdIIJw6EiJoh1glgDYVAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T09:15:13.782474Z"},"content_sha256":"1254cefd22d983ccfb26e25f10dfa07edb7616fbedf17ffdf340be8d6f9a0c30","schema_version":"1.0","event_id":"sha256:1254cefd22d983ccfb26e25f10dfa07edb7616fbedf17ffdf340be8d6f9a0c30"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y7AI35OVILJJUMTGW7E4BWMKNP/bundle.json","state_url":"https://pith.science/pith/Y7AI35OVILJJUMTGW7E4BWMKNP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y7AI35OVILJJUMTGW7E4BWMKNP/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-06-01T09:15:13Z","links":{"resolver":"https://pith.science/pith/Y7AI35OVILJJUMTGW7E4BWMKNP","bundle":"https://pith.science/pith/Y7AI35OVILJJUMTGW7E4BWMKNP/bundle.json","state":"https://pith.science/pith/Y7AI35OVILJJUMTGW7E4BWMKNP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y7AI35OVILJJUMTGW7E4BWMKNP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:Y7AI35OVILJJUMTGW7E4BWMKNP","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":"1fd1f71dc39bea74fbdb0a89b2d0679bfd5def2850664b46a0b75681f76fc202","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-07-28T14:09:01Z","title_canon_sha256":"620f51b2ee7952f84dd3d6fc98c3311e978f0b3703ea2f27deb6abe2318560c4"},"schema_version":"1.0","source":{"id":"1707.09242","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.09242","created_at":"2026-05-18T00:39:16Z"},{"alias_kind":"arxiv_version","alias_value":"1707.09242v1","created_at":"2026-05-18T00:39:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.09242","created_at":"2026-05-18T00:39:16Z"},{"alias_kind":"pith_short_12","alias_value":"Y7AI35OVILJJ","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"Y7AI35OVILJJUMTG","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"Y7AI35OV","created_at":"2026-05-18T12:31:56Z"}],"graph_snapshots":[{"event_id":"sha256:1254cefd22d983ccfb26e25f10dfa07edb7616fbedf17ffdf340be8d6f9a0c30","target":"graph","created_at":"2026-05-18T00:39:16Z","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":"Modern distributed systems often achieve availability and scalability by providing consistency guarantees about the data they manage weaker than linearizability. We consider a class of such consistency models that, despite this weakening, guarantee that clients eventually agree on a global sequence of operations, while seeing a subsequence of this final sequence at any given point of time. Examples of such models include the classical Total Store Order (TSO) and recently proposed dual TSO, Global Sequence Protocol (GSP) and Ordered Sequential Consistency.\n  We define a unified model, called Gl","authors_text":"Alexey Gotsman, Sebastian Burckhardt","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-07-28T14:09:01Z","title":"Consistency models with global operation sequencing and their composition (extended version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.09242","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:85786d3633dde6fc9ad24d386ecfe52c8bf7556ae6b649d0968d107dd998a49f","target":"record","created_at":"2026-05-18T00:39:16Z","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":"1fd1f71dc39bea74fbdb0a89b2d0679bfd5def2850664b46a0b75681f76fc202","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-07-28T14:09:01Z","title_canon_sha256":"620f51b2ee7952f84dd3d6fc98c3311e978f0b3703ea2f27deb6abe2318560c4"},"schema_version":"1.0","source":{"id":"1707.09242","kind":"arxiv","version":1}},"canonical_sha256":"c7c08df5d542d29a3266b7c9c0d98a6be31cfa933376f19c0528ada802cdc37e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c7c08df5d542d29a3266b7c9c0d98a6be31cfa933376f19c0528ada802cdc37e","first_computed_at":"2026-05-18T00:39:16.674991Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:16.674991Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HONJ8cKIS2rax+kmgNQoinFGhg8Ub6Xq5KaUYDhXmdMWT7gpZhFKnuHuFv+YYYa1PgOhgZrPfUb4oDlLB9lIBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:16.675870Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.09242","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85786d3633dde6fc9ad24d386ecfe52c8bf7556ae6b649d0968d107dd998a49f","sha256:1254cefd22d983ccfb26e25f10dfa07edb7616fbedf17ffdf340be8d6f9a0c30"],"state_sha256":"498ef10eb9c37b2088a9be6953f9d67e811368ed5047795b12684ae4b702773a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8o4PZMRUop/hP4p3uRiATE0wwUetd4L7iX//cAXgYsT45pxOVP6s4C7uNtzi/OG+motQJ82s6SZqzBEmkWuOCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T09:15:13.784660Z","bundle_sha256":"51d88bfe77403a9c25e9a290c55f496b042299f01a4fa2b8c69ce3f52da21d95"}}