{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ZO6YUH6WFGFXYHLKWXKMR645RW","short_pith_number":"pith:ZO6YUH6W","canonical_record":{"source":{"id":"2501.06579","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-01-11T16:25:32Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"fadc9f1b7908896a40847b0baba1aba2fda03509f4cccd3b001def107eebf15f","abstract_canon_sha256":"4d21015f900ab9a85cef61a28e157a567bb70e0f78e33ad85128ba0d7f2fa894"},"schema_version":"1.0"},"canonical_sha256":"cbbd8a1fd6298b7c1d6ab5d4c8fb9d8d80d4498bc1f9e41c1488b8194c330366","source":{"kind":"arxiv","id":"2501.06579","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.06579","created_at":"2026-07-05T10:00:05Z"},{"alias_kind":"arxiv_version","alias_value":"2501.06579v1","created_at":"2026-07-05T10:00:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.06579","created_at":"2026-07-05T10:00:05Z"},{"alias_kind":"pith_short_12","alias_value":"ZO6YUH6WFGFX","created_at":"2026-07-05T10:00:05Z"},{"alias_kind":"pith_short_16","alias_value":"ZO6YUH6WFGFXYHLK","created_at":"2026-07-05T10:00:05Z"},{"alias_kind":"pith_short_8","alias_value":"ZO6YUH6W","created_at":"2026-07-05T10:00:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ZO6YUH6WFGFXYHLKWXKMR645RW","target":"record","payload":{"canonical_record":{"source":{"id":"2501.06579","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-01-11T16:25:32Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"fadc9f1b7908896a40847b0baba1aba2fda03509f4cccd3b001def107eebf15f","abstract_canon_sha256":"4d21015f900ab9a85cef61a28e157a567bb70e0f78e33ad85128ba0d7f2fa894"},"schema_version":"1.0"},"canonical_sha256":"cbbd8a1fd6298b7c1d6ab5d4c8fb9d8d80d4498bc1f9e41c1488b8194c330366","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:00:05.581629Z","signature_b64":"Z6AQVJ57Dv/PkWVYx/DDW944apkaiGFyoKZ2Akoh4P2tadzUBIifHbeWPIsdlGqOL5MbP3ZBQmZwmr6JcGeLCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cbbd8a1fd6298b7c1d6ab5d4c8fb9d8d80d4498bc1f9e41c1488b8194c330366","last_reissued_at":"2026-07-05T10:00:05.581066Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:00:05.581066Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2501.06579","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-05T10:00:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pxWkiI6Mxa6DapcpTaJZs5JwjBz1A+2BdPMjrXTbUc3Ahm+A/SnWn8FcAaHR5D9rkIOsCvZcCilMVnsEyGKdBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T11:26:00.658423Z"},"content_sha256":"d8b28a1c2f99eb02062a7a0d1bbfac0a3dccb940cc5ed33367e2c68b73885767","schema_version":"1.0","event_id":"sha256:d8b28a1c2f99eb02062a7a0d1bbfac0a3dccb940cc5ed33367e2c68b73885767"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ZO6YUH6WFGFXYHLKWXKMR645RW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Refuting Equivalence in Probabilistic Programs with Conditioning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.PL","authors_text":"{\\DJ}or{\\dj}e \\v{Z}ikeli\\'c, Ehsan Kafshdar Goharshady, Krishnendu Chatterjee, Petr Novotn\\'y","submitted_at":"2025-01-11T16:25:32Z","abstract_excerpt":"We consider the problem of refuting equivalence of probabilistic programs, i.e., the problem of proving that two probabilistic programs induce different output distributions. We study this problem in the context of programs with conditioning (i.e., with observe and score statements), where the output distribution is conditioned by the event that all the observe statements along a run evaluate to true, and where the probability densities of different runs may be updated via the score statements. Building on a recent work on programs without conditioning, we present a new equivalence refutation "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.06579","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/2501.06579/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-05T10:00:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"etO+0xrwLAZx89Cr7nf3DLq/dlfJkGGIq+rqCVmPJuZ9kqsFkTPaSQeGsO4cCcvAy1kQ7SMeY4hNHv78oAI9Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T11:26:00.659486Z"},"content_sha256":"31731de9d279243e9fb92f6dfc34f458e2b3894210ac337aedecbe4d052e8047","schema_version":"1.0","event_id":"sha256:31731de9d279243e9fb92f6dfc34f458e2b3894210ac337aedecbe4d052e8047"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZO6YUH6WFGFXYHLKWXKMR645RW/bundle.json","state_url":"https://pith.science/pith/ZO6YUH6WFGFXYHLKWXKMR645RW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZO6YUH6WFGFXYHLKWXKMR645RW/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-20T11:26:00Z","links":{"resolver":"https://pith.science/pith/ZO6YUH6WFGFXYHLKWXKMR645RW","bundle":"https://pith.science/pith/ZO6YUH6WFGFXYHLKWXKMR645RW/bundle.json","state":"https://pith.science/pith/ZO6YUH6WFGFXYHLKWXKMR645RW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZO6YUH6WFGFXYHLKWXKMR645RW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ZO6YUH6WFGFXYHLKWXKMR645RW","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":"4d21015f900ab9a85cef61a28e157a567bb70e0f78e33ad85128ba0d7f2fa894","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-01-11T16:25:32Z","title_canon_sha256":"fadc9f1b7908896a40847b0baba1aba2fda03509f4cccd3b001def107eebf15f"},"schema_version":"1.0","source":{"id":"2501.06579","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.06579","created_at":"2026-07-05T10:00:05Z"},{"alias_kind":"arxiv_version","alias_value":"2501.06579v1","created_at":"2026-07-05T10:00:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.06579","created_at":"2026-07-05T10:00:05Z"},{"alias_kind":"pith_short_12","alias_value":"ZO6YUH6WFGFX","created_at":"2026-07-05T10:00:05Z"},{"alias_kind":"pith_short_16","alias_value":"ZO6YUH6WFGFXYHLK","created_at":"2026-07-05T10:00:05Z"},{"alias_kind":"pith_short_8","alias_value":"ZO6YUH6W","created_at":"2026-07-05T10:00:05Z"}],"graph_snapshots":[{"event_id":"sha256:31731de9d279243e9fb92f6dfc34f458e2b3894210ac337aedecbe4d052e8047","target":"graph","created_at":"2026-07-05T10:00:05Z","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/2501.06579/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We consider the problem of refuting equivalence of probabilistic programs, i.e., the problem of proving that two probabilistic programs induce different output distributions. We study this problem in the context of programs with conditioning (i.e., with observe and score statements), where the output distribution is conditioned by the event that all the observe statements along a run evaluate to true, and where the probability densities of different runs may be updated via the score statements. Building on a recent work on programs without conditioning, we present a new equivalence refutation ","authors_text":"{\\DJ}or{\\dj}e \\v{Z}ikeli\\'c, Ehsan Kafshdar Goharshady, Krishnendu Chatterjee, Petr Novotn\\'y","cross_cats":["cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-01-11T16:25:32Z","title":"Refuting Equivalence in Probabilistic Programs with Conditioning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.06579","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:d8b28a1c2f99eb02062a7a0d1bbfac0a3dccb940cc5ed33367e2c68b73885767","target":"record","created_at":"2026-07-05T10:00:05Z","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":"4d21015f900ab9a85cef61a28e157a567bb70e0f78e33ad85128ba0d7f2fa894","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-01-11T16:25:32Z","title_canon_sha256":"fadc9f1b7908896a40847b0baba1aba2fda03509f4cccd3b001def107eebf15f"},"schema_version":"1.0","source":{"id":"2501.06579","kind":"arxiv","version":1}},"canonical_sha256":"cbbd8a1fd6298b7c1d6ab5d4c8fb9d8d80d4498bc1f9e41c1488b8194c330366","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cbbd8a1fd6298b7c1d6ab5d4c8fb9d8d80d4498bc1f9e41c1488b8194c330366","first_computed_at":"2026-07-05T10:00:05.581066Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:00:05.581066Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Z6AQVJ57Dv/PkWVYx/DDW944apkaiGFyoKZ2Akoh4P2tadzUBIifHbeWPIsdlGqOL5MbP3ZBQmZwmr6JcGeLCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:00:05.581629Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.06579","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d8b28a1c2f99eb02062a7a0d1bbfac0a3dccb940cc5ed33367e2c68b73885767","sha256:31731de9d279243e9fb92f6dfc34f458e2b3894210ac337aedecbe4d052e8047"],"state_sha256":"078700ca859f84534969163cb1dafcddde059cd56e11af09c8094b3802e9682a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PQbYWMtSepEYLaCIUgqJM+12km9i6p5LkLLeAD0j7dxpndQkxSvTTHLADOf3jGAXwgf3s7q104ujEZBscc90AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T11:26:00.665666Z","bundle_sha256":"1596d730e3d3c8aeab9a845238a67a1445237679db9693ad5559af25f6fe7be9"}}