{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:YS5T5HPGI7XG6SSX72BDADXRTK","short_pith_number":"pith:YS5T5HPG","canonical_record":{"source":{"id":"2012.01067","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2020-12-02T10:22:23Z","cross_cats_sorted":[],"title_canon_sha256":"acc234606660d5ce219c8d9c6e55ed7f862ce05dabf4bc67125fac975f551478","abstract_canon_sha256":"69a3437903460c6731bac57d88fa7f2a9b8706194007a0435ff6b51db8255f89"},"schema_version":"1.0"},"canonical_sha256":"c4bb3e9de647ee6f4a57fe82300ef19aa20e02811dfe41052d9f54c86c56b077","source":{"kind":"arxiv","id":"2012.01067","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.01067","created_at":"2026-07-05T03:12:46Z"},{"alias_kind":"arxiv_version","alias_value":"2012.01067v2","created_at":"2026-07-05T03:12:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.01067","created_at":"2026-07-05T03:12:46Z"},{"alias_kind":"pith_short_12","alias_value":"YS5T5HPGI7XG","created_at":"2026-07-05T03:12:46Z"},{"alias_kind":"pith_short_16","alias_value":"YS5T5HPGI7XG6SSX","created_at":"2026-07-05T03:12:46Z"},{"alias_kind":"pith_short_8","alias_value":"YS5T5HPG","created_at":"2026-07-05T03:12:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:YS5T5HPGI7XG6SSX72BDADXRTK","target":"record","payload":{"canonical_record":{"source":{"id":"2012.01067","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2020-12-02T10:22:23Z","cross_cats_sorted":[],"title_canon_sha256":"acc234606660d5ce219c8d9c6e55ed7f862ce05dabf4bc67125fac975f551478","abstract_canon_sha256":"69a3437903460c6731bac57d88fa7f2a9b8706194007a0435ff6b51db8255f89"},"schema_version":"1.0"},"canonical_sha256":"c4bb3e9de647ee6f4a57fe82300ef19aa20e02811dfe41052d9f54c86c56b077","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:12:46.121942Z","signature_b64":"Oc/GvSYFLX1Dgpl2Ow9EtYb6cIECbUQSYvcNYqIPeCnScs2CounQjdVuUkpaiApVdFnqKFKMXw1FAJCFECqyDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c4bb3e9de647ee6f4a57fe82300ef19aa20e02811dfe41052d9f54c86c56b077","last_reissued_at":"2026-07-05T03:12:46.121537Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:12:46.121537Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2012.01067","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-07-05T03:12:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wJGlmSP23O1t2RJYeBeDWGgpVdEFlHqTDp4R939hGBPNmTVAvOZ2gBXI0hz/CfgrljPuVgXNGHGfW6HUVpsBCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:59:26.012296Z"},"content_sha256":"2934637fa76c3df02763d389df074458855d70cd1143be4dfb4136d14515fafe","schema_version":"1.0","event_id":"sha256:2934637fa76c3df02763d389df074458855d70cd1143be4dfb4136d14515fafe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:YS5T5HPGI7XG6SSX72BDADXRTK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Making Weak Memory Models Fair","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"(2) St Petersburg University, 3), (3) JetBrains Research, (4) Huawei Dresden Research Center, 5), (5) Huawei OS Kernel Lab, 6), (6) NRU HSE, (7) MPI-SWS), Anton Podkopaev (3, Egor Namakonov (2, Jonas Oberhauser (4, Ori Lahav (1), Viktor Vafeiadis (7) ((1) Tel Aviv University","submitted_at":"2020-12-02T10:22:23Z","abstract_excerpt":"Liveness properties, such as termination, of even the simplest shared-memory concurrent programs under sequential consistency typically require some fairness assumptions about the scheduler. Under weak memory models, we observe that the standard notions of thread fairness are insufficient, and an additional fairness property, which we call memory fairness, is needed. In this paper, we propose a uniform definition for memory fairness that can be integrated into any declarative memory model enforcing acyclicity of the union of the program order and the reads-from relation. For the well-known mod"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.01067","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/2012.01067/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-07-05T03:12:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wIzkVR+K6RxLvZ7+tzcMXiy4D1V6iwg8BdnNJYFRAhIyom+haOUYgtxt7SIgDfrAYaA0oQAB1AE4xKyLrvSMDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:59:26.012692Z"},"content_sha256":"c1293779aae47c37eceeaada05ad2daddaf378d4cc3b243f69476b523212e5e5","schema_version":"1.0","event_id":"sha256:c1293779aae47c37eceeaada05ad2daddaf378d4cc3b243f69476b523212e5e5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YS5T5HPGI7XG6SSX72BDADXRTK/bundle.json","state_url":"https://pith.science/pith/YS5T5HPGI7XG6SSX72BDADXRTK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YS5T5HPGI7XG6SSX72BDADXRTK/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-08-03T17:59:26Z","links":{"resolver":"https://pith.science/pith/YS5T5HPGI7XG6SSX72BDADXRTK","bundle":"https://pith.science/pith/YS5T5HPGI7XG6SSX72BDADXRTK/bundle.json","state":"https://pith.science/pith/YS5T5HPGI7XG6SSX72BDADXRTK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YS5T5HPGI7XG6SSX72BDADXRTK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:YS5T5HPGI7XG6SSX72BDADXRTK","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":"69a3437903460c6731bac57d88fa7f2a9b8706194007a0435ff6b51db8255f89","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2020-12-02T10:22:23Z","title_canon_sha256":"acc234606660d5ce219c8d9c6e55ed7f862ce05dabf4bc67125fac975f551478"},"schema_version":"1.0","source":{"id":"2012.01067","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.01067","created_at":"2026-07-05T03:12:46Z"},{"alias_kind":"arxiv_version","alias_value":"2012.01067v2","created_at":"2026-07-05T03:12:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.01067","created_at":"2026-07-05T03:12:46Z"},{"alias_kind":"pith_short_12","alias_value":"YS5T5HPGI7XG","created_at":"2026-07-05T03:12:46Z"},{"alias_kind":"pith_short_16","alias_value":"YS5T5HPGI7XG6SSX","created_at":"2026-07-05T03:12:46Z"},{"alias_kind":"pith_short_8","alias_value":"YS5T5HPG","created_at":"2026-07-05T03:12:46Z"}],"graph_snapshots":[{"event_id":"sha256:c1293779aae47c37eceeaada05ad2daddaf378d4cc3b243f69476b523212e5e5","target":"graph","created_at":"2026-07-05T03:12: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2012.01067/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Liveness properties, such as termination, of even the simplest shared-memory concurrent programs under sequential consistency typically require some fairness assumptions about the scheduler. Under weak memory models, we observe that the standard notions of thread fairness are insufficient, and an additional fairness property, which we call memory fairness, is needed. In this paper, we propose a uniform definition for memory fairness that can be integrated into any declarative memory model enforcing acyclicity of the union of the program order and the reads-from relation. For the well-known mod","authors_text":"(2) St Petersburg University, 3), (3) JetBrains Research, (4) Huawei Dresden Research Center, 5), (5) Huawei OS Kernel Lab, 6), (6) NRU HSE, (7) MPI-SWS), Anton Podkopaev (3, Egor Namakonov (2, Jonas Oberhauser (4, Ori Lahav (1), Viktor Vafeiadis (7) ((1) Tel Aviv University","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2020-12-02T10:22:23Z","title":"Making Weak Memory Models Fair"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.01067","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:2934637fa76c3df02763d389df074458855d70cd1143be4dfb4136d14515fafe","target":"record","created_at":"2026-07-05T03:12: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":"69a3437903460c6731bac57d88fa7f2a9b8706194007a0435ff6b51db8255f89","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2020-12-02T10:22:23Z","title_canon_sha256":"acc234606660d5ce219c8d9c6e55ed7f862ce05dabf4bc67125fac975f551478"},"schema_version":"1.0","source":{"id":"2012.01067","kind":"arxiv","version":2}},"canonical_sha256":"c4bb3e9de647ee6f4a57fe82300ef19aa20e02811dfe41052d9f54c86c56b077","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c4bb3e9de647ee6f4a57fe82300ef19aa20e02811dfe41052d9f54c86c56b077","first_computed_at":"2026-07-05T03:12:46.121537Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:12:46.121537Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Oc/GvSYFLX1Dgpl2Ow9EtYb6cIECbUQSYvcNYqIPeCnScs2CounQjdVuUkpaiApVdFnqKFKMXw1FAJCFECqyDw==","signature_status":"signed_v1","signed_at":"2026-07-05T03:12:46.121942Z","signed_message":"canonical_sha256_bytes"},"source_id":"2012.01067","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2934637fa76c3df02763d389df074458855d70cd1143be4dfb4136d14515fafe","sha256:c1293779aae47c37eceeaada05ad2daddaf378d4cc3b243f69476b523212e5e5"],"state_sha256":"42d70473a0b8282a36450eb856e28bc1ba5ecf44b10d22b38d027a9dd610af6d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y+WqQiFF8lKptdh6QsC0n6YbocuxZNaICUFCFjaTcCnzn24GkCbm2BftcQ/uMWZTlZXlY2v+uKHPDy6rheitCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T17:59:26.015140Z","bundle_sha256":"783805288314b0542bbbc80f525d284988cfe44eedd70669ddf0429b5c339a9f"}}