{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:A63F7BA7PIXGVU3BIXDGD3OQAX","short_pith_number":"pith:A63F7BA7","canonical_record":{"source":{"id":"2607.16533","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-17T22:16:17Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"2054d12c076aec4ecb287774a234101153feea63dd06a2e09760d33455e35ceb","abstract_canon_sha256":"9066072045c80f8d27b48f5b0f1a9a8877b0d16faea0738cad9e6567b97f3763"},"schema_version":"1.0"},"canonical_sha256":"07b65f841f7a2e6ad36145c661edd005fb93fa9fe8d55e446ddef7ec2553e1e7","source":{"kind":"arxiv","id":"2607.16533","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.16533","created_at":"2026-07-21T00:20:23Z"},{"alias_kind":"arxiv_version","alias_value":"2607.16533v1","created_at":"2026-07-21T00:20:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.16533","created_at":"2026-07-21T00:20:23Z"},{"alias_kind":"pith_short_12","alias_value":"A63F7BA7PIXG","created_at":"2026-07-21T00:20:23Z"},{"alias_kind":"pith_short_16","alias_value":"A63F7BA7PIXGVU3B","created_at":"2026-07-21T00:20:23Z"},{"alias_kind":"pith_short_8","alias_value":"A63F7BA7","created_at":"2026-07-21T00:20:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:A63F7BA7PIXGVU3BIXDGD3OQAX","target":"record","payload":{"canonical_record":{"source":{"id":"2607.16533","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-17T22:16:17Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"2054d12c076aec4ecb287774a234101153feea63dd06a2e09760d33455e35ceb","abstract_canon_sha256":"9066072045c80f8d27b48f5b0f1a9a8877b0d16faea0738cad9e6567b97f3763"},"schema_version":"1.0"},"canonical_sha256":"07b65f841f7a2e6ad36145c661edd005fb93fa9fe8d55e446ddef7ec2553e1e7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-21T00:20:23.603348Z","signature_b64":"Ojplw+EYOE4ee2yUh3u4MwDCjPhqRHDgP+1fT58w54zN/oJDgdGy/r7C9RoX6s19Bo0+PYxRy/q9eqz00GhgBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"07b65f841f7a2e6ad36145c661edd005fb93fa9fe8d55e446ddef7ec2553e1e7","last_reissued_at":"2026-07-21T00:20:23.602509Z","signature_status":"signed_v1","first_computed_at":"2026-07-21T00:20:23.602509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.16533","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-07-21T00:20:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BhYa8CQvvyE5PCXiDHhvEG0a/6TOk/y8xig9wYOnBFO/2u+MaXDQsFUbdJ9ZlcFGJ701hz1S8FI4FOr7SR3XAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T07:12:52.016234Z"},"content_sha256":"5747ecef3b27b2b6afc578f4e16abfcfec5dc7f92d13db8053b309695fa21e7d","schema_version":"1.0","event_id":"sha256:5747ecef3b27b2b6afc578f4e16abfcfec5dc7f92d13db8053b309695fa21e7d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:A63F7BA7PIXGVU3BIXDGD3OQAX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Alexandra Silva, Andrew C. Myers, Hanxi Chen, Noam Zilberstein","submitted_at":"2026-07-17T22:16:17Z","abstract_excerpt":"In the context of probabilistic programs, an oblivious adversary resolves nondeterminism without seeing the outcomes of random draws. Obliviousness is a common assumption in online algorithms and distributed protocols, but the complex interaction between random draws and adversarial choices makes it challenging to reason about correctness. While there has been significant progress toward reasoning about programs that combine randomization with nondeterminism, most of the work has focused on the adaptive model, whose omniscient view of program state is too powerful to establish correctness for "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.16533","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.16533/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-21T00:20:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sqgrh/STlg05Re58jkMvqfnezbc3HghhVQVu/9NkT8flgqSni/vO6u9OmFV69D0EH4ZhSQpf1WcNC5IsZvmQBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T07:12:52.016735Z"},"content_sha256":"45a2480ec7eadc43467a1f75820cf245d83ddfba4e651bc8a3db93ae5b46a63d","schema_version":"1.0","event_id":"sha256:45a2480ec7eadc43467a1f75820cf245d83ddfba4e651bc8a3db93ae5b46a63d"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:A63F7BA7PIXGVU3BIXDGD3OQAX","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-540-28644-8_2) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"A Semantics for Concurrent Separation Logic. InCONCUR 2004 - Concurrency Theory, Philippa Gardner and Nobuko Yoshida (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 16–34. doi:10.1007/978-3-540-28644- 8_2 Benny Chor, Amos Israeli, a","arxiv_id":"2607.16533","detector":"doi_compliance","evidence":{"ref_index":2004,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-540-28644-","reconstructed_doi":"10.1007/978-3-540-28644-8_2"},"severity":"advisory","ref_index":2004,"audited_at":"2026-08-01T20:59:00.320824Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-540-28644-8_2","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"7b2071b5b39cbac6f55d72416b5790c5a0f90862213de43b52c93e66f9f5ce57","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":16609,"payload_sha256":"d18a3269b446df50d5f019f2351d8b1d58736a1658804808977a0f651a5c845d","signature_b64":"vz2Kgr1QfpXkd7/SFFHRzJ3qNZFCgfefKdZEuCPp4blq54o2M67975qGcbATooJAFw3HY28E3oFSZVrSdslqAQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-01T21:03:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n8qZFZpJnS/z6JzS+pVwKRzHAH+7XQj94xKAl1l13Zmui+iw8+AwK8IFlsYTQXUNR/dLT6VqeIrpv+Xhx9jUBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T07:12:52.018864Z"},"content_sha256":"605a37163a38ed74f9e19d29a41332009571f44f9f67138499ca93b730b24697","schema_version":"1.0","event_id":"sha256:605a37163a38ed74f9e19d29a41332009571f44f9f67138499ca93b730b24697"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX/bundle.json","state_url":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A63F7BA7PIXGVU3BIXDGD3OQAX/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-08-09T07:12:52Z","links":{"resolver":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX","bundle":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX/bundle.json","state":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A63F7BA7PIXGVU3BIXDGD3OQAX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:A63F7BA7PIXGVU3BIXDGD3OQAX","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"9066072045c80f8d27b48f5b0f1a9a8877b0d16faea0738cad9e6567b97f3763","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-17T22:16:17Z","title_canon_sha256":"2054d12c076aec4ecb287774a234101153feea63dd06a2e09760d33455e35ceb"},"schema_version":"1.0","source":{"id":"2607.16533","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.16533","created_at":"2026-07-21T00:20:23Z"},{"alias_kind":"arxiv_version","alias_value":"2607.16533v1","created_at":"2026-07-21T00:20:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.16533","created_at":"2026-07-21T00:20:23Z"},{"alias_kind":"pith_short_12","alias_value":"A63F7BA7PIXG","created_at":"2026-07-21T00:20:23Z"},{"alias_kind":"pith_short_16","alias_value":"A63F7BA7PIXGVU3B","created_at":"2026-07-21T00:20:23Z"},{"alias_kind":"pith_short_8","alias_value":"A63F7BA7","created_at":"2026-07-21T00:20:23Z"}],"graph_snapshots":[{"event_id":"sha256:45a2480ec7eadc43467a1f75820cf245d83ddfba4e651bc8a3db93ae5b46a63d","target":"graph","created_at":"2026-07-21T00:20:23Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.16533/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In the context of probabilistic programs, an oblivious adversary resolves nondeterminism without seeing the outcomes of random draws. Obliviousness is a common assumption in online algorithms and distributed protocols, but the complex interaction between random draws and adversarial choices makes it challenging to reason about correctness. While there has been significant progress toward reasoning about programs that combine randomization with nondeterminism, most of the work has focused on the adaptive model, whose omniscient view of program state is too powerful to establish correctness for ","authors_text":"Alexandra Silva, Andrew C. Myers, Hanxi Chen, Noam Zilberstein","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-17T22:16:17Z","title":"Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.16533","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:5747ecef3b27b2b6afc578f4e16abfcfec5dc7f92d13db8053b309695fa21e7d","target":"record","created_at":"2026-07-21T00:20:23Z","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":"9066072045c80f8d27b48f5b0f1a9a8877b0d16faea0738cad9e6567b97f3763","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-17T22:16:17Z","title_canon_sha256":"2054d12c076aec4ecb287774a234101153feea63dd06a2e09760d33455e35ceb"},"schema_version":"1.0","source":{"id":"2607.16533","kind":"arxiv","version":1}},"canonical_sha256":"07b65f841f7a2e6ad36145c661edd005fb93fa9fe8d55e446ddef7ec2553e1e7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"07b65f841f7a2e6ad36145c661edd005fb93fa9fe8d55e446ddef7ec2553e1e7","first_computed_at":"2026-07-21T00:20:23.602509Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-21T00:20:23.602509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ojplw+EYOE4ee2yUh3u4MwDCjPhqRHDgP+1fT58w54zN/oJDgdGy/r7C9RoX6s19Bo0+PYxRy/q9eqz00GhgBQ==","signature_status":"signed_v1","signed_at":"2026-07-21T00:20:23.603348Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.16533","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5747ecef3b27b2b6afc578f4e16abfcfec5dc7f92d13db8053b309695fa21e7d","sha256:45a2480ec7eadc43467a1f75820cf245d83ddfba4e651bc8a3db93ae5b46a63d","sha256:605a37163a38ed74f9e19d29a41332009571f44f9f67138499ca93b730b24697"],"state_sha256":"dd6c0a12bcfb74154b3d64ebd4bbed2f97302b1be1fb18fa7a3eca4682db5a31"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rma4z1q2sndO7fpd6PwM6XPCXv85PozaM3gBBQP9KPVMIxZsQqWur1/44Egt273pAYyVQbJOnzpVsBatdGxYDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T07:12:52.021006Z","bundle_sha256":"84b89803c57c1b18e3ee83893af6146c84c762042d44cb7e17d899503af4541a"}}