{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:WAED3DY2JGYQUOKFIBAFM3QPS3","short_pith_number":"pith:WAED3DY2","canonical_record":{"source":{"id":"1509.06220","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-21T13:33:33Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"ea46401e7da812f7c3ea1d11baa75b6ad9446e00d57ecb41db02311566b9cb9f","abstract_canon_sha256":"078ca00866eca2ded8bf656e7afbfe110127cb149943332d37909683465ae432"},"schema_version":"1.0"},"canonical_sha256":"b0083d8f1a49b10a39454040566e0f96c2d1c90ed135fc3b6adbcca6b65f1281","source":{"kind":"arxiv","id":"1509.06220","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.06220","created_at":"2026-05-18T01:10:42Z"},{"alias_kind":"arxiv_version","alias_value":"1509.06220v3","created_at":"2026-05-18T01:10:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.06220","created_at":"2026-05-18T01:10:42Z"},{"alias_kind":"pith_short_12","alias_value":"WAED3DY2JGYQ","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"WAED3DY2JGYQUOKF","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"WAED3DY2","created_at":"2026-05-18T12:29:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:WAED3DY2JGYQUOKFIBAFM3QPS3","target":"record","payload":{"canonical_record":{"source":{"id":"1509.06220","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-21T13:33:33Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"ea46401e7da812f7c3ea1d11baa75b6ad9446e00d57ecb41db02311566b9cb9f","abstract_canon_sha256":"078ca00866eca2ded8bf656e7afbfe110127cb149943332d37909683465ae432"},"schema_version":"1.0"},"canonical_sha256":"b0083d8f1a49b10a39454040566e0f96c2d1c90ed135fc3b6adbcca6b65f1281","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:10:42.968545Z","signature_b64":"vF7ljYb0fDjKV/rMf5UcOCbdAuUXMRBvBRKauhdrgslutwhMOvy2BskRGdyoWa1WkdZn2KHmP55Ll5lg5BX3Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b0083d8f1a49b10a39454040566e0f96c2d1c90ed135fc3b6adbcca6b65f1281","last_reissued_at":"2026-05-18T01:10:42.968139Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:10:42.968139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.06220","source_version":3,"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-18T01:10:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5iXx7u5g/aIET9OgTh/ySw1MTwOYj7vmc9JIOYu1eM+mzxrxuLSxagZKv6Jxdjj6m51P3i7yfyotqc86fidSAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T23:48:42.730831Z"},"content_sha256":"18498b58556a00b8192c44a76b4d8ed9764397a6524438c249321780d3d8dbf2","schema_version":"1.0","event_id":"sha256:18498b58556a00b8192c44a76b4d8ed9764397a6524438c249321780d3d8dbf2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:WAED3DY2JGYQUOKFIBAFM3QPS3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Aleksandar Nanevski, Anindya Banerjee, German Andres Delbianco, Ilya Sergey","submitted_at":"2015-09-21T13:33:33Z","abstract_excerpt":"Designing scalable concurrent objects, which can be efficiently used on multicore processors, often requires one to abandon standard specification techniques, such as linearizability, in favor of more relaxed consistency requirements. However, the variety of alternative correctness conditions makes it difficult to choose which one to employ in a particular case, and to compose them when using objects whose behaviors are specified via different criteria. The lack of syntactic verification methods for most of these criteria poses challenges in their systematic adoption and application.\n  In this"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.06220","kind":"arxiv","version":3},"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-18T01:10:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tCdhjIgaP+yqq3PcOJ+eu+iG72p9+IPC6gPfmNEY6dQej6vCOixhEYymgBE4Ty4yLH0L/Lyj4ziGs22Kv+AcCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T23:48:42.731423Z"},"content_sha256":"1a5a695e287830f2ceb16e722dba1ec4de752233bfcdf33572a71b0bb16cdd99","schema_version":"1.0","event_id":"sha256:1a5a695e287830f2ceb16e722dba1ec4de752233bfcdf33572a71b0bb16cdd99"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WAED3DY2JGYQUOKFIBAFM3QPS3/bundle.json","state_url":"https://pith.science/pith/WAED3DY2JGYQUOKFIBAFM3QPS3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WAED3DY2JGYQUOKFIBAFM3QPS3/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-05-29T23:48:42Z","links":{"resolver":"https://pith.science/pith/WAED3DY2JGYQUOKFIBAFM3QPS3","bundle":"https://pith.science/pith/WAED3DY2JGYQUOKFIBAFM3QPS3/bundle.json","state":"https://pith.science/pith/WAED3DY2JGYQUOKFIBAFM3QPS3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WAED3DY2JGYQUOKFIBAFM3QPS3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:WAED3DY2JGYQUOKFIBAFM3QPS3","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":"078ca00866eca2ded8bf656e7afbfe110127cb149943332d37909683465ae432","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-21T13:33:33Z","title_canon_sha256":"ea46401e7da812f7c3ea1d11baa75b6ad9446e00d57ecb41db02311566b9cb9f"},"schema_version":"1.0","source":{"id":"1509.06220","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.06220","created_at":"2026-05-18T01:10:42Z"},{"alias_kind":"arxiv_version","alias_value":"1509.06220v3","created_at":"2026-05-18T01:10:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.06220","created_at":"2026-05-18T01:10:42Z"},{"alias_kind":"pith_short_12","alias_value":"WAED3DY2JGYQ","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"WAED3DY2JGYQUOKF","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"WAED3DY2","created_at":"2026-05-18T12:29:47Z"}],"graph_snapshots":[{"event_id":"sha256:1a5a695e287830f2ceb16e722dba1ec4de752233bfcdf33572a71b0bb16cdd99","target":"graph","created_at":"2026-05-18T01:10:42Z","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":"Designing scalable concurrent objects, which can be efficiently used on multicore processors, often requires one to abandon standard specification techniques, such as linearizability, in favor of more relaxed consistency requirements. However, the variety of alternative correctness conditions makes it difficult to choose which one to employ in a particular case, and to compose them when using objects whose behaviors are specified via different criteria. The lack of syntactic verification methods for most of these criteria poses challenges in their systematic adoption and application.\n  In this","authors_text":"Aleksandar Nanevski, Anindya Banerjee, German Andres Delbianco, Ilya Sergey","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-21T13:33:33Z","title":"Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.06220","kind":"arxiv","version":3},"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:18498b58556a00b8192c44a76b4d8ed9764397a6524438c249321780d3d8dbf2","target":"record","created_at":"2026-05-18T01:10:42Z","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":"078ca00866eca2ded8bf656e7afbfe110127cb149943332d37909683465ae432","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-21T13:33:33Z","title_canon_sha256":"ea46401e7da812f7c3ea1d11baa75b6ad9446e00d57ecb41db02311566b9cb9f"},"schema_version":"1.0","source":{"id":"1509.06220","kind":"arxiv","version":3}},"canonical_sha256":"b0083d8f1a49b10a39454040566e0f96c2d1c90ed135fc3b6adbcca6b65f1281","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b0083d8f1a49b10a39454040566e0f96c2d1c90ed135fc3b6adbcca6b65f1281","first_computed_at":"2026-05-18T01:10:42.968139Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:10:42.968139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vF7ljYb0fDjKV/rMf5UcOCbdAuUXMRBvBRKauhdrgslutwhMOvy2BskRGdyoWa1WkdZn2KHmP55Ll5lg5BX3Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:10:42.968545Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.06220","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:18498b58556a00b8192c44a76b4d8ed9764397a6524438c249321780d3d8dbf2","sha256:1a5a695e287830f2ceb16e722dba1ec4de752233bfcdf33572a71b0bb16cdd99"],"state_sha256":"8b08f7adc61c26f2f4559f68bf38a4215e545fc7ccaa86e77753ab45e8ff97a9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8vel6aNv3+orLN+N57yRGZyRoAB/HXP6j6eg4dnGGhuTHbQu+fFVQCv8P3xczvErxIzWKoyYGsG4ZIKlZlVECw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T23:48:42.735178Z","bundle_sha256":"1ab3aceed21754d94e669efa58b208fbde25fa447b9db2148173e764626db8d7"}}