{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:QRLCAH465KPKQ7SLTBIE2ZKKAP","short_pith_number":"pith:QRLCAH46","schema_version":"1.0","canonical_sha256":"8456201f9eea9ea87e4b98504d654a03d273c77e87b085bd2f7e0f34dc984608","source":{"kind":"arxiv","id":"2408.11015","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2408.11015","created_at":"2026-07-05T08:57:21.124512+00:00"},{"alias_kind":"arxiv_version","alias_value":"2408.11015v1","created_at":"2026-07-05T08:57:21.124512+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.11015","created_at":"2026-07-05T08:57:21.124512+00:00"},{"alias_kind":"pith_short_12","alias_value":"QRLCAH465KPK","created_at":"2026-07-05T08:57:21.124512+00:00"},{"alias_kind":"pith_short_16","alias_value":"QRLCAH465KPKQ7SL","created_at":"2026-07-05T08:57:21.124512+00:00"},{"alias_kind":"pith_short_8","alias_value":"QRLCAH46","created_at":"2026-07-05T08:57:21.124512+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP","json":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP.json","graph_json":"https://pith.science/api/pith-number/QRLCAH465KPKQ7SLTBIE2ZKKAP/graph.json","events_json":"https://pith.science/api/pith-number/QRLCAH465KPKQ7SLTBIE2ZKKAP/events.json","paper":"https://pith.science/paper/QRLCAH46"},"agent_actions":{"view_html":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP","download_json":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP.json","view_paper":"https://pith.science/paper/QRLCAH46","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2408.11015&json=true","fetch_graph":"https://pith.science/api/pith-number/QRLCAH465KPKQ7SLTBIE2ZKKAP/graph.json","fetch_events":"https://pith.science/api/pith-number/QRLCAH465KPKQ7SLTBIE2ZKKAP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP/action/storage_attestation","attest_author":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP/action/author_attestation","sign_citation":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP/action/citation_signature","submit_replication":"https://pith.science/pith/QRLCAH465KPKQ7SLTBIE2ZKKAP/action/replication_record"}},"created_at":"2026-07-05T08:57:21.124512+00:00","updated_at":"2026-07-05T08:57:21.124512+00:00"}