{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:DU7OLCTVX2ZBFEYNCMNLWUZKKU","short_pith_number":"pith:DU7OLCTV","canonical_record":{"source":{"id":"1511.08447","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-11-26T16:46:30Z","cross_cats_sorted":["cs.DC","cs.DS","cs.FL"],"title_canon_sha256":"e3b79bf70abde1aabcecac0d76144b8520e02c89990acbd9b4e472f236f028d6","abstract_canon_sha256":"ecdc55cd0c03593e383a3727b15bf358971d613cd2012256e75fd2a68a728695"},"schema_version":"1.0"},"canonical_sha256":"1d3ee58a75beb212930d131abb532a55119bea562b724ad7fcf64a4cd1fe3603","source":{"kind":"arxiv","id":"1511.08447","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.08447","created_at":"2026-05-18T01:25:54Z"},{"alias_kind":"arxiv_version","alias_value":"1511.08447v1","created_at":"2026-05-18T01:25:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.08447","created_at":"2026-05-18T01:25:54Z"},{"alias_kind":"pith_short_12","alias_value":"DU7OLCTVX2ZB","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"DU7OLCTVX2ZBFEYN","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"DU7OLCTV","created_at":"2026-05-18T12:29:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:DU7OLCTVX2ZBFEYNCMNLWUZKKU","target":"record","payload":{"canonical_record":{"source":{"id":"1511.08447","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-11-26T16:46:30Z","cross_cats_sorted":["cs.DC","cs.DS","cs.FL"],"title_canon_sha256":"e3b79bf70abde1aabcecac0d76144b8520e02c89990acbd9b4e472f236f028d6","abstract_canon_sha256":"ecdc55cd0c03593e383a3727b15bf358971d613cd2012256e75fd2a68a728695"},"schema_version":"1.0"},"canonical_sha256":"1d3ee58a75beb212930d131abb532a55119bea562b724ad7fcf64a4cd1fe3603","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:25:54.051596Z","signature_b64":"Jdqomh9CS4YCZ2ezvMjfo+YK+VA05SpLcOV6I737m1u2vKXj0oAvXefOxCkYlghCxI0fPZXgxuv0vcdD+IArCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1d3ee58a75beb212930d131abb532a55119bea562b724ad7fcf64a4cd1fe3603","last_reissued_at":"2026-05-18T01:25:54.050972Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:25:54.050972Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1511.08447","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:25:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sUzy0YY2uISUGux7JXh1Jdmt90XYR+BrIZ1sM5dh5v28OK5TwCF54M6/M6U/O/g4om0HZVRzyOhHHQS5790ECw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:14:58.583272Z"},"content_sha256":"3d8888f168348f4962e6c927666652d38ff0be72fba5c1e8327edfe6bb6c86b2","schema_version":"1.0","event_id":"sha256:3d8888f168348f4962e6c927666652d38ff0be72fba5c1e8327edfe6bb6c86b2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:DU7OLCTVX2ZBFEYNCMNLWUZKKU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decidability and Complexity for Quiescent Consistency and its Variations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.DS","cs.FL"],"primary_cat":"cs.LO","authors_text":"Brijesh Dongol, Robert M. Hierons","submitted_at":"2015-11-26T16:46:30Z","abstract_excerpt":"Quiescent consistency is a notion of correctness for a concurrent object that gives meaning to the object's behaviours in quiescent states, i.e., states in which none of the object's operations are being executed. Correctness of an implementation object is defined in terms of a corresponding abstract specification. This gives rise to two important verification questions: membership (checking whether a behaviour of the implementation is allowed by the specification) and correctness (checking whether all behaviours of the implementation are allowed by the specification). In this paper, we show t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.08447","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:25:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J0fio0G50v/fIiP1FK9Vg3xDZL8XBNhAmXVE1qfreQ8sQyU/dIShnsLLWypZ2+XtG1t8z+rBZy/YTqqfErnNDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:14:58.583653Z"},"content_sha256":"2f290a46750b8fdfde095df460f87778bdf88148e15c8f388c60794568b7098e","schema_version":"1.0","event_id":"sha256:2f290a46750b8fdfde095df460f87778bdf88148e15c8f388c60794568b7098e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DU7OLCTVX2ZBFEYNCMNLWUZKKU/bundle.json","state_url":"https://pith.science/pith/DU7OLCTVX2ZBFEYNCMNLWUZKKU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DU7OLCTVX2ZBFEYNCMNLWUZKKU/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-25T04:14:58Z","links":{"resolver":"https://pith.science/pith/DU7OLCTVX2ZBFEYNCMNLWUZKKU","bundle":"https://pith.science/pith/DU7OLCTVX2ZBFEYNCMNLWUZKKU/bundle.json","state":"https://pith.science/pith/DU7OLCTVX2ZBFEYNCMNLWUZKKU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DU7OLCTVX2ZBFEYNCMNLWUZKKU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:DU7OLCTVX2ZBFEYNCMNLWUZKKU","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":"ecdc55cd0c03593e383a3727b15bf358971d613cd2012256e75fd2a68a728695","cross_cats_sorted":["cs.DC","cs.DS","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-11-26T16:46:30Z","title_canon_sha256":"e3b79bf70abde1aabcecac0d76144b8520e02c89990acbd9b4e472f236f028d6"},"schema_version":"1.0","source":{"id":"1511.08447","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.08447","created_at":"2026-05-18T01:25:54Z"},{"alias_kind":"arxiv_version","alias_value":"1511.08447v1","created_at":"2026-05-18T01:25:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.08447","created_at":"2026-05-18T01:25:54Z"},{"alias_kind":"pith_short_12","alias_value":"DU7OLCTVX2ZB","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"DU7OLCTVX2ZBFEYN","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"DU7OLCTV","created_at":"2026-05-18T12:29:17Z"}],"graph_snapshots":[{"event_id":"sha256:2f290a46750b8fdfde095df460f87778bdf88148e15c8f388c60794568b7098e","target":"graph","created_at":"2026-05-18T01:25:54Z","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":"Quiescent consistency is a notion of correctness for a concurrent object that gives meaning to the object's behaviours in quiescent states, i.e., states in which none of the object's operations are being executed. Correctness of an implementation object is defined in terms of a corresponding abstract specification. This gives rise to two important verification questions: membership (checking whether a behaviour of the implementation is allowed by the specification) and correctness (checking whether all behaviours of the implementation are allowed by the specification). In this paper, we show t","authors_text":"Brijesh Dongol, Robert M. Hierons","cross_cats":["cs.DC","cs.DS","cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-11-26T16:46:30Z","title":"Decidability and Complexity for Quiescent Consistency and its Variations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.08447","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:3d8888f168348f4962e6c927666652d38ff0be72fba5c1e8327edfe6bb6c86b2","target":"record","created_at":"2026-05-18T01:25:54Z","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":"ecdc55cd0c03593e383a3727b15bf358971d613cd2012256e75fd2a68a728695","cross_cats_sorted":["cs.DC","cs.DS","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-11-26T16:46:30Z","title_canon_sha256":"e3b79bf70abde1aabcecac0d76144b8520e02c89990acbd9b4e472f236f028d6"},"schema_version":"1.0","source":{"id":"1511.08447","kind":"arxiv","version":1}},"canonical_sha256":"1d3ee58a75beb212930d131abb532a55119bea562b724ad7fcf64a4cd1fe3603","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1d3ee58a75beb212930d131abb532a55119bea562b724ad7fcf64a4cd1fe3603","first_computed_at":"2026-05-18T01:25:54.050972Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:25:54.050972Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Jdqomh9CS4YCZ2ezvMjfo+YK+VA05SpLcOV6I737m1u2vKXj0oAvXefOxCkYlghCxI0fPZXgxuv0vcdD+IArCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:25:54.051596Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.08447","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3d8888f168348f4962e6c927666652d38ff0be72fba5c1e8327edfe6bb6c86b2","sha256:2f290a46750b8fdfde095df460f87778bdf88148e15c8f388c60794568b7098e"],"state_sha256":"52397d0983f5b288544506a2823fc2e553d804920e15cbb1bb6f0c3a60f2215b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aRQR4qVQ93cPdXnEnLlGd04wtAUw61g46P9V6wQ7fFY45fpZWlVFS7Y5xOD3I5r1vynfDAi92TmbAfMx4AtkCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T04:14:58.585872Z","bundle_sha256":"44b4726e5a6b9df451bb2eaffbf91fee8268b6d764403fcb71a6755128ce7cc4"}}