{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:QRLCAH465KPKQ7SLTBIE2ZKKAP","short_pith_number":"pith:QRLCAH46","canonical_record":{"source":{"id":"2408.11015","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-08-20T17:10:24Z","cross_cats_sorted":[],"title_canon_sha256":"cf454ad08ecbc20b18d514011bd13ef7f9536fbcd7dd68669c85b3915fb535f9","abstract_canon_sha256":"046c98ddf7d9110debb3881f5d29a27ce221486b9372129b80ed7ad24210266f"},"schema_version":"1.0"},"canonical_sha256":"8456201f9eea9ea87e4b98504d654a03d273c77e87b085bd2f7e0f34dc984608","source":{"kind":"arxiv","id":"2408.11015","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.11015","created_at":"2026-07-05T08:57:21Z"},{"alias_kind":"arxiv_version","alias_value":"2408.11015v1","created_at":"2026-07-05T08:57:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.11015","created_at":"2026-07-05T08:57:21Z"},{"alias_kind":"pith_short_12","alias_value":"QRLCAH465KPK","created_at":"2026-07-05T08:57:21Z"},{"alias_kind":"pith_short_16","alias_value":"QRLCAH465KPKQ7SL","created_at":"2026-07-05T08:57:21Z"},{"alias_kind":"pith_short_8","alias_value":"QRLCAH46","created_at":"2026-07-05T08:57:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:QRLCAH465KPKQ7SLTBIE2ZKKAP","target":"record","payload":{"canonical_record":{"source":{"id":"2408.11015","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-08-20T17:10:24Z","cross_cats_sorted":[],"title_canon_sha256":"cf454ad08ecbc20b18d514011bd13ef7f9536fbcd7dd68669c85b3915fb535f9","abstract_canon_sha256":"046c98ddf7d9110debb3881f5d29a27ce221486b9372129b80ed7ad24210266f"},"schema_version":"1.0"},"canonical_sha256":"8456201f9eea9ea87e4b98504d654a03d273c77e87b085bd2f7e0f34dc984608","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:57:21.124938Z","signature_b64":"OgHzqr04TP7gtBFy8GowDFYiJGtIyfMb04KILiSwLww7pZhRG8WChe6Kw9xczpogVItbpr+EnNuhflsq6S7kBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8456201f9eea9ea87e4b98504d654a03d273c77e87b085bd2f7e0f34dc984608","last_reissued_at":"2026-07-05T08:57:21.124458Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:57:21.124458Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.11015","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-07-05T08:57:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sNiKQHrxjfvIo7YSqNsdpQwUHxjY8NeTA6QWsZnTtq6WREs3g/HygkBimf+HSVLs6stWm8zWMwxt4rQ3aJ48CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T16:50:01.321336Z"},"content_sha256":"ceb1b6b42b907d9ea942e446271e69041ebedbee0427e04d027a115414dc91fa","schema_version":"1.0","event_id":"sha256:ceb1b6b42b907d9ea942e446271e69041ebedbee0427e04d027a115414dc91fa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:QRLCAH465KPKQ7SLTBIE2ZKKAP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hyperproperty-Preserving Register Specifications (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Ori Lahav, Sharon Shoham, Yoav Ben Shimon","submitted_at":"2024-08-20T17:10:24Z","abstract_excerpt":"Reasoning about hyperproperties of concurrent implementations, such as the guarantees these implementations provide to randomized client programs, has been a long-standing challenge. Standard linearizability enables the use of atomic specifications for reasoning about standard properties, but not about hyperproperties. A stronger correctness criterion, called strong linearizability, enables such reasoning, but is rarely achievable, leaving various useful implementations with no means for reasoning about their hyperproperties. In this paper, we focus on registers and devise non-atomic specifica"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.11015","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2408.11015/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-05T08:57:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kg9utmyY4oStDs0wK76MoKmc219fvgFiN1lowvKqfWARjLTlK0F3wtjHITcqvCb0ZR9iK6WTqgzm2YHV7+oABA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T16:50:01.321846Z"},"content_sha256":"3ece5a5b82596f1c92fee7e1f56eadf86679bd28a33f300b3ab2cd3632ebb07e","schema_version":"1.0","event_id":"sha256:3ece5a5b82596f1c92fee7e1f56eadf86679bd28a33f300b3ab2cd3632ebb07e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP/bundle.json","state_url":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP/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-04T16:50:01Z","links":{"resolver":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP","bundle":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP/bundle.json","state":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:QRLCAH465KPKQ7SLTBIE2ZKKAP","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":"046c98ddf7d9110debb3881f5d29a27ce221486b9372129b80ed7ad24210266f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-08-20T17:10:24Z","title_canon_sha256":"cf454ad08ecbc20b18d514011bd13ef7f9536fbcd7dd68669c85b3915fb535f9"},"schema_version":"1.0","source":{"id":"2408.11015","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.11015","created_at":"2026-07-05T08:57:21Z"},{"alias_kind":"arxiv_version","alias_value":"2408.11015v1","created_at":"2026-07-05T08:57:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.11015","created_at":"2026-07-05T08:57:21Z"},{"alias_kind":"pith_short_12","alias_value":"QRLCAH465KPK","created_at":"2026-07-05T08:57:21Z"},{"alias_kind":"pith_short_16","alias_value":"QRLCAH465KPKQ7SL","created_at":"2026-07-05T08:57:21Z"},{"alias_kind":"pith_short_8","alias_value":"QRLCAH46","created_at":"2026-07-05T08:57:21Z"}],"graph_snapshots":[{"event_id":"sha256:3ece5a5b82596f1c92fee7e1f56eadf86679bd28a33f300b3ab2cd3632ebb07e","target":"graph","created_at":"2026-07-05T08:57:21Z","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/2408.11015/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reasoning about hyperproperties of concurrent implementations, such as the guarantees these implementations provide to randomized client programs, has been a long-standing challenge. Standard linearizability enables the use of atomic specifications for reasoning about standard properties, but not about hyperproperties. A stronger correctness criterion, called strong linearizability, enables such reasoning, but is rarely achievable, leaving various useful implementations with no means for reasoning about their hyperproperties. In this paper, we focus on registers and devise non-atomic specifica","authors_text":"Ori Lahav, Sharon Shoham, Yoav Ben Shimon","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-08-20T17:10:24Z","title":"Hyperproperty-Preserving Register Specifications (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.11015","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:ceb1b6b42b907d9ea942e446271e69041ebedbee0427e04d027a115414dc91fa","target":"record","created_at":"2026-07-05T08:57:21Z","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":"046c98ddf7d9110debb3881f5d29a27ce221486b9372129b80ed7ad24210266f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-08-20T17:10:24Z","title_canon_sha256":"cf454ad08ecbc20b18d514011bd13ef7f9536fbcd7dd68669c85b3915fb535f9"},"schema_version":"1.0","source":{"id":"2408.11015","kind":"arxiv","version":1}},"canonical_sha256":"8456201f9eea9ea87e4b98504d654a03d273c77e87b085bd2f7e0f34dc984608","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8456201f9eea9ea87e4b98504d654a03d273c77e87b085bd2f7e0f34dc984608","first_computed_at":"2026-07-05T08:57:21.124458Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:57:21.124458Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OgHzqr04TP7gtBFy8GowDFYiJGtIyfMb04KILiSwLww7pZhRG8WChe6Kw9xczpogVItbpr+EnNuhflsq6S7kBg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:57:21.124938Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.11015","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ceb1b6b42b907d9ea942e446271e69041ebedbee0427e04d027a115414dc91fa","sha256:3ece5a5b82596f1c92fee7e1f56eadf86679bd28a33f300b3ab2cd3632ebb07e"],"state_sha256":"3f3440ae5f2d1b4e681bdb722f904f8bf17e0134ad50704d45195c71fa634b50"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FfqYXtqYrsj0p2+glHUFVUtamoSSDTR2pI3rEcMop7ESdgEUOUcBLgi6y57j+hPn+C6non2PGLeX5Cu2AwY3Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T16:50:01.326929Z","bundle_sha256":"0941016bd5df28312b240966e26718ba449ee7d213b5266fb28154ffbfa69365"}}