{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:SSUAPLVJOREICGSTN3MWWNYZGM","short_pith_number":"pith:SSUAPLVJ","canonical_record":{"source":{"id":"1802.04954","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-14T04:45:19Z","cross_cats_sorted":[],"title_canon_sha256":"b622c821db14cfdd59606f9f91df6eb516afa97090f6d473ad8b51356fb91d28","abstract_canon_sha256":"1466e563c200537bc2ff93f741bb68b9354f46c6cddd41872143cd99056be326"},"schema_version":"1.0"},"canonical_sha256":"94a807aea97448811a536ed96b3719330252501233546b162b9175a77a30266f","source":{"kind":"arxiv","id":"1802.04954","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.04954","created_at":"2026-05-17T23:41:46Z"},{"alias_kind":"arxiv_version","alias_value":"1802.04954v2","created_at":"2026-05-17T23:41:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.04954","created_at":"2026-05-17T23:41:46Z"},{"alias_kind":"pith_short_12","alias_value":"SSUAPLVJOREI","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"SSUAPLVJOREICGST","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"SSUAPLVJ","created_at":"2026-05-18T12:32:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:SSUAPLVJOREICGSTN3MWWNYZGM","target":"record","payload":{"canonical_record":{"source":{"id":"1802.04954","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-14T04:45:19Z","cross_cats_sorted":[],"title_canon_sha256":"b622c821db14cfdd59606f9f91df6eb516afa97090f6d473ad8b51356fb91d28","abstract_canon_sha256":"1466e563c200537bc2ff93f741bb68b9354f46c6cddd41872143cd99056be326"},"schema_version":"1.0"},"canonical_sha256":"94a807aea97448811a536ed96b3719330252501233546b162b9175a77a30266f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:41:46.836375Z","signature_b64":"8yQvhBnwxIDAesMsw7cno3S+ZfgzHSORtr3egWsDdV5eConXxFJUFkZNVqUKkIU8MecDiHqjM2ps48afVIR7Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"94a807aea97448811a536ed96b3719330252501233546b162b9175a77a30266f","last_reissued_at":"2026-05-17T23:41:46.835631Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:41:46.835631Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.04954","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-17T23:41:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wrKCzMI/I1HWdm9J2xMoo/Gw0X7M2vmS4Ydvn8dijfvGMt2B1tTQVlfxwwKsxN9TnxdWaDJFNfREwF79hrs3AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:50:29.617068Z"},"content_sha256":"57638abc7dfcb3be10c7276d071c76e0e27d484cbe464d1fa3f461e94917a4b8","schema_version":"1.0","event_id":"sha256:57638abc7dfcb3be10c7276d071c76e0e27d484cbe464d1fa3f461e94917a4b8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:SSUAPLVJOREICGSTN3MWWNYZGM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A sound and complete definition of linearizability on weak memory models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Graeme Smith, Kirsten Winter, Robert J. Colvin","submitted_at":"2018-02-14T04:45:19Z","abstract_excerpt":"Linearizability is a widely accepted notion of correctness for concurrent objects. Recent research has investigated redefining linearizability for particular hardware weak memory models, in particular for TSO. In this paper, we provide an overview of this research and show that such redefinitions of linearizability are not required: under an interpretation of specification behaviour which abstracts from weak memory effects, the standard definition of linearizability is sound and complete on all hardware weak memory models. We prove our result with respect to a definition of object refinement w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.04954","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-17T23:41:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ze0bnj8J5ErTWWkHWoVPxu825ncee+mr6A2Ji0nP1LPDKEL5kZ8o3CTBDcB651yIj377biZI046knzLm33f0DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:50:29.617424Z"},"content_sha256":"43263144a8dfaa135e7a8bbce5838b3616e4b38f3e25a5d4850925113eb4f84b","schema_version":"1.0","event_id":"sha256:43263144a8dfaa135e7a8bbce5838b3616e4b38f3e25a5d4850925113eb4f84b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SSUAPLVJOREICGSTN3MWWNYZGM/bundle.json","state_url":"https://pith.science/pith/SSUAPLVJOREICGSTN3MWWNYZGM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SSUAPLVJOREICGSTN3MWWNYZGM/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-01T21:50:29Z","links":{"resolver":"https://pith.science/pith/SSUAPLVJOREICGSTN3MWWNYZGM","bundle":"https://pith.science/pith/SSUAPLVJOREICGSTN3MWWNYZGM/bundle.json","state":"https://pith.science/pith/SSUAPLVJOREICGSTN3MWWNYZGM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SSUAPLVJOREICGSTN3MWWNYZGM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:SSUAPLVJOREICGSTN3MWWNYZGM","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":"1466e563c200537bc2ff93f741bb68b9354f46c6cddd41872143cd99056be326","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-14T04:45:19Z","title_canon_sha256":"b622c821db14cfdd59606f9f91df6eb516afa97090f6d473ad8b51356fb91d28"},"schema_version":"1.0","source":{"id":"1802.04954","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.04954","created_at":"2026-05-17T23:41:46Z"},{"alias_kind":"arxiv_version","alias_value":"1802.04954v2","created_at":"2026-05-17T23:41:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.04954","created_at":"2026-05-17T23:41:46Z"},{"alias_kind":"pith_short_12","alias_value":"SSUAPLVJOREI","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"SSUAPLVJOREICGST","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"SSUAPLVJ","created_at":"2026-05-18T12:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:43263144a8dfaa135e7a8bbce5838b3616e4b38f3e25a5d4850925113eb4f84b","target":"graph","created_at":"2026-05-17T23:41:46Z","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":"Linearizability is a widely accepted notion of correctness for concurrent objects. Recent research has investigated redefining linearizability for particular hardware weak memory models, in particular for TSO. In this paper, we provide an overview of this research and show that such redefinitions of linearizability are not required: under an interpretation of specification behaviour which abstracts from weak memory effects, the standard definition of linearizability is sound and complete on all hardware weak memory models. We prove our result with respect to a definition of object refinement w","authors_text":"Graeme Smith, Kirsten Winter, Robert J. Colvin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-14T04:45:19Z","title":"A sound and complete definition of linearizability on weak memory models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.04954","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:57638abc7dfcb3be10c7276d071c76e0e27d484cbe464d1fa3f461e94917a4b8","target":"record","created_at":"2026-05-17T23:41:46Z","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":"1466e563c200537bc2ff93f741bb68b9354f46c6cddd41872143cd99056be326","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-14T04:45:19Z","title_canon_sha256":"b622c821db14cfdd59606f9f91df6eb516afa97090f6d473ad8b51356fb91d28"},"schema_version":"1.0","source":{"id":"1802.04954","kind":"arxiv","version":2}},"canonical_sha256":"94a807aea97448811a536ed96b3719330252501233546b162b9175a77a30266f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"94a807aea97448811a536ed96b3719330252501233546b162b9175a77a30266f","first_computed_at":"2026-05-17T23:41:46.835631Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:46.835631Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8yQvhBnwxIDAesMsw7cno3S+ZfgzHSORtr3egWsDdV5eConXxFJUFkZNVqUKkIU8MecDiHqjM2ps48afVIR7Cw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:46.836375Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.04954","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:57638abc7dfcb3be10c7276d071c76e0e27d484cbe464d1fa3f461e94917a4b8","sha256:43263144a8dfaa135e7a8bbce5838b3616e4b38f3e25a5d4850925113eb4f84b"],"state_sha256":"f665321270f200b47952e641d09c8a53c580c1e3651cd50a3af4386b72e07749"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ScP0GACrUWgZFrXnjFqIqVSbQLmy7ZkLoVYam/QBQqMnM4DVuS0yeFxxIkcuqPElLgBSYqoh3Ynjwknd8eG8DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T21:50:29.619365Z","bundle_sha256":"3b5562085c7ecb339a127042eec7c72d6cc46af8aeb48b5b92e2c9de79b8b10f"}}