{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:OP3FKLE27P6ABSYE6D2VPLLUSX","short_pith_number":"pith:OP3FKLE2","canonical_record":{"source":{"id":"1810.09612","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-10-23T00:48:06Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"62f6685237950080d4ef037904e269272b040dccd7d9db1f090134a9b4441903","abstract_canon_sha256":"390a3e1d56d80442e70a9220fd3e7c3bc2296b77e1b27caf85dea7cd317284b6"},"schema_version":"1.0"},"canonical_sha256":"73f6552c9afbfc00cb04f0f557ad7495e53faf829bc7124ad2cd3a2bd55c32bc","source":{"kind":"arxiv","id":"1810.09612","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.09612","created_at":"2026-05-18T00:02:29Z"},{"alias_kind":"arxiv_version","alias_value":"1810.09612v1","created_at":"2026-05-18T00:02:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.09612","created_at":"2026-05-18T00:02:29Z"},{"alias_kind":"pith_short_12","alias_value":"OP3FKLE27P6A","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"OP3FKLE27P6ABSYE","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"OP3FKLE2","created_at":"2026-05-18T12:32:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:OP3FKLE27P6ABSYE6D2VPLLUSX","target":"record","payload":{"canonical_record":{"source":{"id":"1810.09612","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-10-23T00:48:06Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"62f6685237950080d4ef037904e269272b040dccd7d9db1f090134a9b4441903","abstract_canon_sha256":"390a3e1d56d80442e70a9220fd3e7c3bc2296b77e1b27caf85dea7cd317284b6"},"schema_version":"1.0"},"canonical_sha256":"73f6552c9afbfc00cb04f0f557ad7495e53faf829bc7124ad2cd3a2bd55c32bc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:29.954628Z","signature_b64":"k8ThBYYq968myp28qRepKOeEPmyfo6eKLvwdATWvr5HfL6YrrSu9/8jrmnUMGS97oV7c2qm2+hqEdryX2WQTDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"73f6552c9afbfc00cb04f0f557ad7495e53faf829bc7124ad2cd3a2bd55c32bc","last_reissued_at":"2026-05-18T00:02:29.953985Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:29.953985Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.09612","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:02:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YRyXxLANx+dESGIGLDvrsItA5HcbhHc+6ZB+0tGJZkQZ97PXgVP/rD6n/a2lu/45eSBfmetpBNERSjYpxvC/CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:06:34.725453Z"},"content_sha256":"42433a65d85c0cf29c846c5912aaee15dbf06ed0a1dd8d56e4b800230fb70bae","schema_version":"1.0","event_id":"sha256:42433a65d85c0cf29c846c5912aaee15dbf06ed0a1dd8d56e4b800230fb70bae"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:OP3FKLE27P6ABSYE6D2VPLLUSX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Correctness of Concurrent Objects under Weak Memory Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Graeme Smith, Kirsten Winter, Robert J. Colvin","submitted_at":"2018-10-23T00:48:06Z","abstract_excerpt":"In this paper we develop a theory for correctness of concurrent objects under weak memory models. Central to our definitions is the concept of observations which determine when effects of operations become visible, and hence determine the semantics of objects, under a given memory model. The resulting notion of correctness, called object refinement, is generic as it is parameterised by the memory model under consideration. Our theory enforces the minimal constraints on the placing of observations and on the semantics of objects that underlie object refinement. Object refinement is suitable as "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.09612","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:02:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zTdhiG34jCEScDhCymBbaudT0XknmB/ui64CIK8EZ2W+5ZDZR5s4u2X6vBkkT9lYnhRYM1I5zlhFFOD0KQ/dDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:06:34.725796Z"},"content_sha256":"6907078215b014a90c9c2bbdd7af6878d9dc6bf68da74b694d3d5ea350981868","schema_version":"1.0","event_id":"sha256:6907078215b014a90c9c2bbdd7af6878d9dc6bf68da74b694d3d5ea350981868"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OP3FKLE27P6ABSYE6D2VPLLUSX/bundle.json","state_url":"https://pith.science/pith/OP3FKLE27P6ABSYE6D2VPLLUSX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OP3FKLE27P6ABSYE6D2VPLLUSX/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:06:34Z","links":{"resolver":"https://pith.science/pith/OP3FKLE27P6ABSYE6D2VPLLUSX","bundle":"https://pith.science/pith/OP3FKLE27P6ABSYE6D2VPLLUSX/bundle.json","state":"https://pith.science/pith/OP3FKLE27P6ABSYE6D2VPLLUSX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OP3FKLE27P6ABSYE6D2VPLLUSX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:OP3FKLE27P6ABSYE6D2VPLLUSX","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":"390a3e1d56d80442e70a9220fd3e7c3bc2296b77e1b27caf85dea7cd317284b6","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-10-23T00:48:06Z","title_canon_sha256":"62f6685237950080d4ef037904e269272b040dccd7d9db1f090134a9b4441903"},"schema_version":"1.0","source":{"id":"1810.09612","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.09612","created_at":"2026-05-18T00:02:29Z"},{"alias_kind":"arxiv_version","alias_value":"1810.09612v1","created_at":"2026-05-18T00:02:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.09612","created_at":"2026-05-18T00:02:29Z"},{"alias_kind":"pith_short_12","alias_value":"OP3FKLE27P6A","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"OP3FKLE27P6ABSYE","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"OP3FKLE2","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:6907078215b014a90c9c2bbdd7af6878d9dc6bf68da74b694d3d5ea350981868","target":"graph","created_at":"2026-05-18T00:02:29Z","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":"In this paper we develop a theory for correctness of concurrent objects under weak memory models. Central to our definitions is the concept of observations which determine when effects of operations become visible, and hence determine the semantics of objects, under a given memory model. The resulting notion of correctness, called object refinement, is generic as it is parameterised by the memory model under consideration. Our theory enforces the minimal constraints on the placing of observations and on the semantics of objects that underlie object refinement. Object refinement is suitable as ","authors_text":"Graeme Smith, Kirsten Winter, Robert J. Colvin","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-10-23T00:48:06Z","title":"Correctness of Concurrent Objects under Weak Memory Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.09612","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:42433a65d85c0cf29c846c5912aaee15dbf06ed0a1dd8d56e4b800230fb70bae","target":"record","created_at":"2026-05-18T00:02:29Z","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":"390a3e1d56d80442e70a9220fd3e7c3bc2296b77e1b27caf85dea7cd317284b6","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-10-23T00:48:06Z","title_canon_sha256":"62f6685237950080d4ef037904e269272b040dccd7d9db1f090134a9b4441903"},"schema_version":"1.0","source":{"id":"1810.09612","kind":"arxiv","version":1}},"canonical_sha256":"73f6552c9afbfc00cb04f0f557ad7495e53faf829bc7124ad2cd3a2bd55c32bc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73f6552c9afbfc00cb04f0f557ad7495e53faf829bc7124ad2cd3a2bd55c32bc","first_computed_at":"2026-05-18T00:02:29.953985Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:29.953985Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"k8ThBYYq968myp28qRepKOeEPmyfo6eKLvwdATWvr5HfL6YrrSu9/8jrmnUMGS97oV7c2qm2+hqEdryX2WQTDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:29.954628Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.09612","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:42433a65d85c0cf29c846c5912aaee15dbf06ed0a1dd8d56e4b800230fb70bae","sha256:6907078215b014a90c9c2bbdd7af6878d9dc6bf68da74b694d3d5ea350981868"],"state_sha256":"566d1d285d2125de0f4483851b98da0ad73c273cbb3f5dca790fa00a638c9d85"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PpE27tR3wHauRTz5303krRCk8CSGR4gQI5m1s/P44KksJ3EIC5f8u/U0y3v943P+loO+by40BCVaEoHBaZKGBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T21:06:34.727827Z","bundle_sha256":"98cb325bad44b11e8cd68be9b67f47ea0db4d5d9226d97c06b5636f757464e68"}}