{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:NKKDH7CQXNTZPFF5FCABHJ3ZOJ","short_pith_number":"pith:NKKDH7CQ","canonical_record":{"source":{"id":"1703.08525","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-24T17:29:58Z","cross_cats_sorted":[],"title_canon_sha256":"202de4aa0153ba0f5dd73aaa11d0a67a90ea0ec0f6d5c41d0d331904dcdc9f25","abstract_canon_sha256":"a8bd6cafd702e0a2378ed0e93f1e012f315d2685be7e3090a92a77af39e7d277"},"schema_version":"1.0"},"canonical_sha256":"6a9433fc50bb679794bd288013a77972477d5730f903e1d524163277a3c9ff75","source":{"kind":"arxiv","id":"1703.08525","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.08525","created_at":"2026-05-18T00:47:59Z"},{"alias_kind":"arxiv_version","alias_value":"1703.08525v1","created_at":"2026-05-18T00:47:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08525","created_at":"2026-05-18T00:47:59Z"},{"alias_kind":"pith_short_12","alias_value":"NKKDH7CQXNTZ","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NKKDH7CQXNTZPFF5","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NKKDH7CQ","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:NKKDH7CQXNTZPFF5FCABHJ3ZOJ","target":"record","payload":{"canonical_record":{"source":{"id":"1703.08525","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-24T17:29:58Z","cross_cats_sorted":[],"title_canon_sha256":"202de4aa0153ba0f5dd73aaa11d0a67a90ea0ec0f6d5c41d0d331904dcdc9f25","abstract_canon_sha256":"a8bd6cafd702e0a2378ed0e93f1e012f315d2685be7e3090a92a77af39e7d277"},"schema_version":"1.0"},"canonical_sha256":"6a9433fc50bb679794bd288013a77972477d5730f903e1d524163277a3c9ff75","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:47:59.749758Z","signature_b64":"zyk0EWu51M+hEMpSeTjjxWbbwL3BdRW2GM0u5wwtATbeiXEEzzMtKkeZfFgBOCzzZcK2Q8pKLIAyQsURT81OAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6a9433fc50bb679794bd288013a77972477d5730f903e1d524163277a3c9ff75","last_reissued_at":"2026-05-18T00:47:59.749236Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:47:59.749236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.08525","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-18T00:47:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wG5Xprn5QtW9dMQv0aFZCPz+/Bc3pRK//2MHPvjL5cV9qesh7i7XxzKo/IE8k8mkry/rooPlLvWGoE3OVrZrBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T23:34:31.045739Z"},"content_sha256":"0418154ee71dd1cb4a565c3a3b30198adb4a82439e6d3db72e9d79846d5f0363","schema_version":"1.0","event_id":"sha256:0418154ee71dd1cb4a565c3a3b30198adb4a82439e6d3db72e9d79846d5f0363"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:NKKDH7CQXNTZPFF5FCABHJ3ZOJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Algorithmic Approach to the Asynchronous Computability Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Eli Gafni, Maurice Herlihy, Vikram Saraph","submitted_at":"2017-03-24T17:29:58Z","abstract_excerpt":"The asynchronous computability theorem (ACT) uses concepts from combinatorial topology to characterize which tasks have wait-free solutions in read-write memory. A task can be expressed as a relation between two chromatic simplicial complexes. The theorem states that a task has a protocol (algorithm) if and only if there is a certain chromatic simplicial map compatible with that relation.\n  While the original proof of the ACT relied on an involved combinatorial argument, Borowsky and Gafni later proposed an alternative proof that relied on a algorithmic construction, termed the \"convergence al"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.08525","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-18T00:47:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/F7aQhKE3xh89QzDNCfJj2qcWew+OiVCHtMcSqTNetIkVf1ugWszG9GUG4o/C9wiVZT8I8vWqfGKCY8/1LUQCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T23:34:31.046165Z"},"content_sha256":"e29d25e63c1aea041c6c69028e791b7d0c83bf9ead4a15a6c7950ccbadc1e599","schema_version":"1.0","event_id":"sha256:e29d25e63c1aea041c6c69028e791b7d0c83bf9ead4a15a6c7950ccbadc1e599"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NKKDH7CQXNTZPFF5FCABHJ3ZOJ/bundle.json","state_url":"https://pith.science/pith/NKKDH7CQXNTZPFF5FCABHJ3ZOJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NKKDH7CQXNTZPFF5FCABHJ3ZOJ/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-22T23:34:31Z","links":{"resolver":"https://pith.science/pith/NKKDH7CQXNTZPFF5FCABHJ3ZOJ","bundle":"https://pith.science/pith/NKKDH7CQXNTZPFF5FCABHJ3ZOJ/bundle.json","state":"https://pith.science/pith/NKKDH7CQXNTZPFF5FCABHJ3ZOJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NKKDH7CQXNTZPFF5FCABHJ3ZOJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:NKKDH7CQXNTZPFF5FCABHJ3ZOJ","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":"a8bd6cafd702e0a2378ed0e93f1e012f315d2685be7e3090a92a77af39e7d277","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-24T17:29:58Z","title_canon_sha256":"202de4aa0153ba0f5dd73aaa11d0a67a90ea0ec0f6d5c41d0d331904dcdc9f25"},"schema_version":"1.0","source":{"id":"1703.08525","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.08525","created_at":"2026-05-18T00:47:59Z"},{"alias_kind":"arxiv_version","alias_value":"1703.08525v1","created_at":"2026-05-18T00:47:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08525","created_at":"2026-05-18T00:47:59Z"},{"alias_kind":"pith_short_12","alias_value":"NKKDH7CQXNTZ","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NKKDH7CQXNTZPFF5","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NKKDH7CQ","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:e29d25e63c1aea041c6c69028e791b7d0c83bf9ead4a15a6c7950ccbadc1e599","target":"graph","created_at":"2026-05-18T00:47:59Z","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":"The asynchronous computability theorem (ACT) uses concepts from combinatorial topology to characterize which tasks have wait-free solutions in read-write memory. A task can be expressed as a relation between two chromatic simplicial complexes. The theorem states that a task has a protocol (algorithm) if and only if there is a certain chromatic simplicial map compatible with that relation.\n  While the original proof of the ACT relied on an involved combinatorial argument, Borowsky and Gafni later proposed an alternative proof that relied on a algorithmic construction, termed the \"convergence al","authors_text":"Eli Gafni, Maurice Herlihy, Vikram Saraph","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-24T17:29:58Z","title":"An Algorithmic Approach to the Asynchronous Computability Theorem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.08525","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:0418154ee71dd1cb4a565c3a3b30198adb4a82439e6d3db72e9d79846d5f0363","target":"record","created_at":"2026-05-18T00:47:59Z","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":"a8bd6cafd702e0a2378ed0e93f1e012f315d2685be7e3090a92a77af39e7d277","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-24T17:29:58Z","title_canon_sha256":"202de4aa0153ba0f5dd73aaa11d0a67a90ea0ec0f6d5c41d0d331904dcdc9f25"},"schema_version":"1.0","source":{"id":"1703.08525","kind":"arxiv","version":1}},"canonical_sha256":"6a9433fc50bb679794bd288013a77972477d5730f903e1d524163277a3c9ff75","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6a9433fc50bb679794bd288013a77972477d5730f903e1d524163277a3c9ff75","first_computed_at":"2026-05-18T00:47:59.749236Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:47:59.749236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zyk0EWu51M+hEMpSeTjjxWbbwL3BdRW2GM0u5wwtATbeiXEEzzMtKkeZfFgBOCzzZcK2Q8pKLIAyQsURT81OAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:47:59.749758Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.08525","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0418154ee71dd1cb4a565c3a3b30198adb4a82439e6d3db72e9d79846d5f0363","sha256:e29d25e63c1aea041c6c69028e791b7d0c83bf9ead4a15a6c7950ccbadc1e599"],"state_sha256":"80f8a6622b6d8d195a67163f33543c71fb87aa083a7e11e5c3e74bf6a2ee36ad"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HWMuN0w+XCfk4iNoWZB4h8bn+pCDF88A6XpvaecxNc5YwPWM6G8jSL/ljKfunCH5IAhJrY/jK4FV9otZhaS2Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T23:34:31.049299Z","bundle_sha256":"9d753846f5962eaf90536ac3a5048f689917e2071c46bbb6b6cca86c08a7cfd7"}}