{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:A63F7BA7PIXGVU3BIXDGD3OQAX","short_pith_number":"pith:A63F7BA7","schema_version":"1.0","canonical_sha256":"07b65f841f7a2e6ad36145c661edd005fb93fa9fe8d55e446ddef7ec2553e1e7","source":{"kind":"arxiv","id":"2607.16533","version":1},"attestation_state":"computed","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 "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2607.16533","created_at":"2026-07-21T00:20:23.602938+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.16533v1","created_at":"2026-07-21T00:20:23.602938+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.16533","created_at":"2026-07-21T00:20:23.602938+00:00"},{"alias_kind":"pith_short_12","alias_value":"A63F7BA7PIXG","created_at":"2026-07-21T00:20:23.602938+00:00"},{"alias_kind":"pith_short_16","alias_value":"A63F7BA7PIXGVU3B","created_at":"2026-07-21T00:20:23.602938+00:00"},{"alias_kind":"pith_short_8","alias_value":"A63F7BA7","created_at":"2026-07-21T00:20:23.602938+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX","json":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX.json","graph_json":"https://pith.science/api/pith-number/A63F7BA7PIXGVU3BIXDGD3OQAX/graph.json","events_json":"https://pith.science/api/pith-number/A63F7BA7PIXGVU3BIXDGD3OQAX/events.json","paper":"https://pith.science/paper/A63F7BA7"},"agent_actions":{"view_html":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX","download_json":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX.json","view_paper":"https://pith.science/paper/A63F7BA7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.16533&json=true","fetch_graph":"https://pith.science/api/pith-number/A63F7BA7PIXGVU3BIXDGD3OQAX/graph.json","fetch_events":"https://pith.science/api/pith-number/A63F7BA7PIXGVU3BIXDGD3OQAX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX/action/storage_attestation","attest_author":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX/action/author_attestation","sign_citation":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX/action/citation_signature","submit_replication":"https://pith.science/pith/A63F7BA7PIXGVU3BIXDGD3OQAX/action/replication_record"}},"created_at":"2026-07-21T00:20:23.602938+00:00","updated_at":"2026-07-21T00:20:23.602938+00:00"}