{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:HJUYNM6AMUDTWHIODI6USIRQHE","short_pith_number":"pith:HJUYNM6A","canonical_record":{"source":{"id":"1603.01412","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-03-04T10:20:23Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"79aeb820ca18653f66419523f95c10bb02aad5937f05ece65d8a0283ace6b66a","abstract_canon_sha256":"418151482953d59e28050ba63bd607581fa1833f0dcccc442088f8e60f1d7fc0"},"schema_version":"1.0"},"canonical_sha256":"3a6986b3c065073b1d0e1a3d492230390f3e0c464699b10af8cfd3e08addc747","source":{"kind":"arxiv","id":"1603.01412","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.01412","created_at":"2026-05-18T01:19:36Z"},{"alias_kind":"arxiv_version","alias_value":"1603.01412v1","created_at":"2026-05-18T01:19:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.01412","created_at":"2026-05-18T01:19:36Z"},{"alias_kind":"pith_short_12","alias_value":"HJUYNM6AMUDT","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"HJUYNM6AMUDTWHIO","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"HJUYNM6A","created_at":"2026-05-18T12:30:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:HJUYNM6AMUDTWHIODI6USIRQHE","target":"record","payload":{"canonical_record":{"source":{"id":"1603.01412","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-03-04T10:20:23Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"79aeb820ca18653f66419523f95c10bb02aad5937f05ece65d8a0283ace6b66a","abstract_canon_sha256":"418151482953d59e28050ba63bd607581fa1833f0dcccc442088f8e60f1d7fc0"},"schema_version":"1.0"},"canonical_sha256":"3a6986b3c065073b1d0e1a3d492230390f3e0c464699b10af8cfd3e08addc747","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:19:36.087626Z","signature_b64":"50DnpFgEf4sPtYtaykGwEjTw978ZDtX+paaED0PrAX+kNtSo9gXPlaRA/IK6NYHQ/1A5Cx61WRSFQnSXhV2hCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3a6986b3c065073b1d0e1a3d492230390f3e0c464699b10af8cfd3e08addc747","last_reissued_at":"2026-05-18T01:19:36.086935Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:19:36.086935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.01412","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-18T01:19:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3PHcfQddGBOH3VTkzXF5BQ9H3d0+KPCt3jv4ulJSYXErUgPubVS2bN7xoZWq+OsSBDAY3rNunZz2Iey5RYmQAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T23:38:03.757369Z"},"content_sha256":"4afa1d94ad119627b622ba9fb308d64fcd3e7641f895e0f45497485e841f6288","schema_version":"1.0","event_id":"sha256:4afa1d94ad119627b622ba9fb308d64fcd3e7641f895e0f45497485e841f6288"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:HJUYNM6AMUDTWHIODI6USIRQHE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Contextual trace refinement for concurrent objects: Safety and progress","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DC","authors_text":"Brijesh Dongol, Lindsay Groves","submitted_at":"2016-03-04T10:20:23Z","abstract_excerpt":"Correctness of concurrent objects is defined in terms of safety properties such as linearizability, sequential consistency, and quiescent consistency, and progress properties such as wait-, lock-, and obstruction-freedom. These properties, however, only refer to the behaviours of the object in isolation, which does not tell us what guarantees these correctness conditions on concurrent objects provide to their client programs. This paper investigates the links between safety and progress properties of concurrent objects and a form of trace refinement for client programs, called contextual trace"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.01412","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-18T01:19:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RA2LXmENT5otyzwKTOuj54yFKDfSwpG8u1Lw+IiEuD2LQdPLwKsRCXNjgW/Pu5gg70gL0L05vGZQJq3J/8BDAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T23:38:03.758016Z"},"content_sha256":"d326c405f7299f7277fb109ab8b08fb718de6a2ba83024d09dde4f0dae407143","schema_version":"1.0","event_id":"sha256:d326c405f7299f7277fb109ab8b08fb718de6a2ba83024d09dde4f0dae407143"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HJUYNM6AMUDTWHIODI6USIRQHE/bundle.json","state_url":"https://pith.science/pith/HJUYNM6AMUDTWHIODI6USIRQHE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HJUYNM6AMUDTWHIODI6USIRQHE/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-25T23:38:03Z","links":{"resolver":"https://pith.science/pith/HJUYNM6AMUDTWHIODI6USIRQHE","bundle":"https://pith.science/pith/HJUYNM6AMUDTWHIODI6USIRQHE/bundle.json","state":"https://pith.science/pith/HJUYNM6AMUDTWHIODI6USIRQHE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HJUYNM6AMUDTWHIODI6USIRQHE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:HJUYNM6AMUDTWHIODI6USIRQHE","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":"418151482953d59e28050ba63bd607581fa1833f0dcccc442088f8e60f1d7fc0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-03-04T10:20:23Z","title_canon_sha256":"79aeb820ca18653f66419523f95c10bb02aad5937f05ece65d8a0283ace6b66a"},"schema_version":"1.0","source":{"id":"1603.01412","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.01412","created_at":"2026-05-18T01:19:36Z"},{"alias_kind":"arxiv_version","alias_value":"1603.01412v1","created_at":"2026-05-18T01:19:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.01412","created_at":"2026-05-18T01:19:36Z"},{"alias_kind":"pith_short_12","alias_value":"HJUYNM6AMUDT","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"HJUYNM6AMUDTWHIO","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"HJUYNM6A","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:d326c405f7299f7277fb109ab8b08fb718de6a2ba83024d09dde4f0dae407143","target":"graph","created_at":"2026-05-18T01:19:36Z","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":"Correctness of concurrent objects is defined in terms of safety properties such as linearizability, sequential consistency, and quiescent consistency, and progress properties such as wait-, lock-, and obstruction-freedom. These properties, however, only refer to the behaviours of the object in isolation, which does not tell us what guarantees these correctness conditions on concurrent objects provide to their client programs. This paper investigates the links between safety and progress properties of concurrent objects and a form of trace refinement for client programs, called contextual trace","authors_text":"Brijesh Dongol, Lindsay Groves","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-03-04T10:20:23Z","title":"Contextual trace refinement for concurrent objects: Safety and progress"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.01412","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:4afa1d94ad119627b622ba9fb308d64fcd3e7641f895e0f45497485e841f6288","target":"record","created_at":"2026-05-18T01:19:36Z","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":"418151482953d59e28050ba63bd607581fa1833f0dcccc442088f8e60f1d7fc0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-03-04T10:20:23Z","title_canon_sha256":"79aeb820ca18653f66419523f95c10bb02aad5937f05ece65d8a0283ace6b66a"},"schema_version":"1.0","source":{"id":"1603.01412","kind":"arxiv","version":1}},"canonical_sha256":"3a6986b3c065073b1d0e1a3d492230390f3e0c464699b10af8cfd3e08addc747","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3a6986b3c065073b1d0e1a3d492230390f3e0c464699b10af8cfd3e08addc747","first_computed_at":"2026-05-18T01:19:36.086935Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:19:36.086935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"50DnpFgEf4sPtYtaykGwEjTw978ZDtX+paaED0PrAX+kNtSo9gXPlaRA/IK6NYHQ/1A5Cx61WRSFQnSXhV2hCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:19:36.087626Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.01412","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4afa1d94ad119627b622ba9fb308d64fcd3e7641f895e0f45497485e841f6288","sha256:d326c405f7299f7277fb109ab8b08fb718de6a2ba83024d09dde4f0dae407143"],"state_sha256":"089fb38d4373a1ea6b772252632e37def169a86f93e25e55c1afa707b773eaaa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e5ofw0dtPJZ65deQP26B2cYdtEm4ylxjWQTd1XqM23qri8GNfmQL/gmcqt3Y0R6SvcTVhn/fsczdfgHHr28XDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T23:38:03.761597Z","bundle_sha256":"20698d7df7e0ab801d7f0ce65c909b209d10c6fae0de4627778e096625029ed6"}}