{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:VOEIOSAP3OCSJEYV4DVHLPTQ3E","short_pith_number":"pith:VOEIOSAP","canonical_record":{"source":{"id":"1011.0551","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-02T09:36:43Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"4f3ea4185d3f28702460eb6a6f2b5ebffe91989dc7711067a6c6b5a5bc30f0a9","abstract_canon_sha256":"80ba4317a524bc928749901ce3cc71d8c7489a601f425b2ee734a88e7ca8db53"},"schema_version":"1.0"},"canonical_sha256":"ab8887480fdb85249315e0ea75be70d93a7d5b8b985285a8123bf253f1719e8b","source":{"kind":"arxiv","id":"1011.0551","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.0551","created_at":"2026-05-18T02:23:37Z"},{"alias_kind":"arxiv_version","alias_value":"1011.0551v3","created_at":"2026-05-18T02:23:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.0551","created_at":"2026-05-18T02:23:37Z"},{"alias_kind":"pith_short_12","alias_value":"VOEIOSAP3OCS","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_16","alias_value":"VOEIOSAP3OCSJEYV","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_8","alias_value":"VOEIOSAP","created_at":"2026-05-18T12:26:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:VOEIOSAP3OCSJEYV4DVHLPTQ3E","target":"record","payload":{"canonical_record":{"source":{"id":"1011.0551","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-02T09:36:43Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"4f3ea4185d3f28702460eb6a6f2b5ebffe91989dc7711067a6c6b5a5bc30f0a9","abstract_canon_sha256":"80ba4317a524bc928749901ce3cc71d8c7489a601f425b2ee734a88e7ca8db53"},"schema_version":"1.0"},"canonical_sha256":"ab8887480fdb85249315e0ea75be70d93a7d5b8b985285a8123bf253f1719e8b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:23:37.868991Z","signature_b64":"byCX21Xba4x/HjmkzPUeMu32PuU+b5BJv1If3n1fC51fiR7eWDICNXraUeWshSOkQXH8iOz09GLVGTz1vLA4CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ab8887480fdb85249315e0ea75be70d93a7d5b8b985285a8123bf253f1719e8b","last_reissued_at":"2026-05-18T02:23:37.868306Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:23:37.868306Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1011.0551","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-18T02:23:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1plnTCNihS/CQVIS3EZ8hkjFkGukikenc5cxPCoMLQ9EoD3iAPR4Hh7ucwoPJGovBLJRVpYkom2Ra33/fMwcAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T18:33:09.958355Z"},"content_sha256":"05352fc671728726351a9c1798ad194ecf5962c10d85ace5bc8667287c2b4ea2","schema_version":"1.0","event_id":"sha256:05352fc671728726351a9c1798ad194ecf5962c10d85ace5bc8667287c2b4ea2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:VOEIOSAP3OCSJEYV4DVHLPTQ3E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algorithmic Verification of Asynchronous Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Pierre Ganty, Rupak Majumdar","submitted_at":"2010-11-02T09:36:43Z","abstract_excerpt":"Asynchronous programming is a ubiquitous systems programming idiom to manage concurrent interactions with the environment. In this style, instead of waiting for time-consuming operations to complete, the programmer makes a non-blocking call to the operation and posts a callback task to a task buffer that is executed later when the time-consuming operation completes. A co-operative scheduler mediates the interaction by picking and executing callback tasks from the task buffer to completion (and these callbacks can post further callbacks to be executed later). Writing correct asynchronous progra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.0551","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-18T02:23:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+MLvTVZHicHcrS/eb4JxLE5eonCqPCw3xxLtWNhMQ1ah5XeXei5GrCP+oABZaPb9i3KGh3/bvdgK01mPiJ0lDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T18:33:09.958990Z"},"content_sha256":"2c255a82cb79040cd69daf8f5b04c753c1a008cf567df04b3d14ae849d215b4e","schema_version":"1.0","event_id":"sha256:2c255a82cb79040cd69daf8f5b04c753c1a008cf567df04b3d14ae849d215b4e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VOEIOSAP3OCSJEYV4DVHLPTQ3E/bundle.json","state_url":"https://pith.science/pith/VOEIOSAP3OCSJEYV4DVHLPTQ3E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VOEIOSAP3OCSJEYV4DVHLPTQ3E/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-06-07T18:33:09Z","links":{"resolver":"https://pith.science/pith/VOEIOSAP3OCSJEYV4DVHLPTQ3E","bundle":"https://pith.science/pith/VOEIOSAP3OCSJEYV4DVHLPTQ3E/bundle.json","state":"https://pith.science/pith/VOEIOSAP3OCSJEYV4DVHLPTQ3E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VOEIOSAP3OCSJEYV4DVHLPTQ3E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:VOEIOSAP3OCSJEYV4DVHLPTQ3E","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":"80ba4317a524bc928749901ce3cc71d8c7489a601f425b2ee734a88e7ca8db53","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-02T09:36:43Z","title_canon_sha256":"4f3ea4185d3f28702460eb6a6f2b5ebffe91989dc7711067a6c6b5a5bc30f0a9"},"schema_version":"1.0","source":{"id":"1011.0551","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.0551","created_at":"2026-05-18T02:23:37Z"},{"alias_kind":"arxiv_version","alias_value":"1011.0551v3","created_at":"2026-05-18T02:23:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.0551","created_at":"2026-05-18T02:23:37Z"},{"alias_kind":"pith_short_12","alias_value":"VOEIOSAP3OCS","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_16","alias_value":"VOEIOSAP3OCSJEYV","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_8","alias_value":"VOEIOSAP","created_at":"2026-05-18T12:26:15Z"}],"graph_snapshots":[{"event_id":"sha256:2c255a82cb79040cd69daf8f5b04c753c1a008cf567df04b3d14ae849d215b4e","target":"graph","created_at":"2026-05-18T02:23:37Z","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":"Asynchronous programming is a ubiquitous systems programming idiom to manage concurrent interactions with the environment. In this style, instead of waiting for time-consuming operations to complete, the programmer makes a non-blocking call to the operation and posts a callback task to a task buffer that is executed later when the time-consuming operation completes. A co-operative scheduler mediates the interaction by picking and executing callback tasks from the task buffer to completion (and these callbacks can post further callbacks to be executed later). Writing correct asynchronous progra","authors_text":"Pierre Ganty, Rupak Majumdar","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-02T09:36:43Z","title":"Algorithmic Verification of Asynchronous Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.0551","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:05352fc671728726351a9c1798ad194ecf5962c10d85ace5bc8667287c2b4ea2","target":"record","created_at":"2026-05-18T02:23:37Z","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":"80ba4317a524bc928749901ce3cc71d8c7489a601f425b2ee734a88e7ca8db53","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-02T09:36:43Z","title_canon_sha256":"4f3ea4185d3f28702460eb6a6f2b5ebffe91989dc7711067a6c6b5a5bc30f0a9"},"schema_version":"1.0","source":{"id":"1011.0551","kind":"arxiv","version":3}},"canonical_sha256":"ab8887480fdb85249315e0ea75be70d93a7d5b8b985285a8123bf253f1719e8b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab8887480fdb85249315e0ea75be70d93a7d5b8b985285a8123bf253f1719e8b","first_computed_at":"2026-05-18T02:23:37.868306Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:23:37.868306Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"byCX21Xba4x/HjmkzPUeMu32PuU+b5BJv1If3n1fC51fiR7eWDICNXraUeWshSOkQXH8iOz09GLVGTz1vLA4CA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:23:37.868991Z","signed_message":"canonical_sha256_bytes"},"source_id":"1011.0551","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:05352fc671728726351a9c1798ad194ecf5962c10d85ace5bc8667287c2b4ea2","sha256:2c255a82cb79040cd69daf8f5b04c753c1a008cf567df04b3d14ae849d215b4e"],"state_sha256":"351b43b9cc5bfc40fe6d6be5c161a1ae91336f9c190267636e31ef3c74d2bb7a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9ERO0oZyPs4/Dauswnb6CmUjytpoWrFKt5QHT4QHN2yRxZu7Ho/RW8kKMENQ2tT5Kg+KN1igPkbERqHlp9dzBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T18:33:09.962782Z","bundle_sha256":"fc31ab836824c518820672e5878eda528fc82b4210ef9b49bb96755df1d21ded"}}