{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:VMNIUCOPEK62C5SSJXE6YIEU2N","short_pith_number":"pith:VMNIUCOP","canonical_record":{"source":{"id":"2606.24514","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-06-23T12:46:08Z","cross_cats_sorted":["math.PR"],"title_canon_sha256":"c8094685313f24b858a4ae10340847e333ded28d88cbf9f4358c225f939d95eb","abstract_canon_sha256":"f0e38fe085783afec386f4a7b1ecc7dad6a986139754b96b6eff9295d7176571"},"schema_version":"1.0"},"canonical_sha256":"ab1a8a09cf22bda176524dc9ec2094d36456ad72c5083bf3e5ed4e01dee5107d","source":{"kind":"arxiv","id":"2606.24514","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.24514","created_at":"2026-06-24T01:15:32Z"},{"alias_kind":"arxiv_version","alias_value":"2606.24514v1","created_at":"2026-06-24T01:15:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.24514","created_at":"2026-06-24T01:15:32Z"},{"alias_kind":"pith_short_12","alias_value":"VMNIUCOPEK62","created_at":"2026-06-24T01:15:32Z"},{"alias_kind":"pith_short_16","alias_value":"VMNIUCOPEK62C5SS","created_at":"2026-06-24T01:15:32Z"},{"alias_kind":"pith_short_8","alias_value":"VMNIUCOP","created_at":"2026-06-24T01:15:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:VMNIUCOPEK62C5SSJXE6YIEU2N","target":"record","payload":{"canonical_record":{"source":{"id":"2606.24514","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-06-23T12:46:08Z","cross_cats_sorted":["math.PR"],"title_canon_sha256":"c8094685313f24b858a4ae10340847e333ded28d88cbf9f4358c225f939d95eb","abstract_canon_sha256":"f0e38fe085783afec386f4a7b1ecc7dad6a986139754b96b6eff9295d7176571"},"schema_version":"1.0"},"canonical_sha256":"ab1a8a09cf22bda176524dc9ec2094d36456ad72c5083bf3e5ed4e01dee5107d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-24T01:15:32.718189Z","signature_b64":"7KZET2IOfnRnU3gb3TevRETdY3f5ySA2i68GjmtjkJ+qObU7lHudqB26QLeICRoP5TSyLghqhIJbSjrxDapQDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ab1a8a09cf22bda176524dc9ec2094d36456ad72c5083bf3e5ed4e01dee5107d","last_reissued_at":"2026-06-24T01:15:32.717847Z","signature_status":"signed_v1","first_computed_at":"2026-06-24T01:15:32.717847Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.24514","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-06-24T01:15:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+h0QDGZb4nHL4jFGbsXPOjn6RV94iNMvfe8nJuwzdh2OY0BmkGytzHO5MTrAB7VxvmniD+tTUtPCM72/DQ41AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T14:56:30.645758Z"},"content_sha256":"aa557b9cc62aeee8d842e5cd2ccd6e8d4a5ad66e181a5f79b5d0d14740292c45","schema_version":"1.0","event_id":"sha256:aa557b9cc62aeee8d842e5cd2ccd6e8d4a5ad66e181a5f79b5d0d14740292c45"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:VMNIUCOPEK62C5SSJXE6YIEU2N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exact Evaluation of Probabilistic Programs with Cylindrical Algebraic Decomposition","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.PR"],"primary_cat":"cs.SC","authors_text":"Fredrik Dahlqvist, Mohamed Hamza Bandukara, Niki Omidvari","submitted_at":"2026-06-23T12:46:08Z","abstract_excerpt":"We present a method for computing the exact output distribution of small programs with random inputs. Specifically, we are interested in inline programs manipulating sensor data such as \\eg GPS or inertial measurement sensors whose inputs have a known or well-modelled distribution. These programs typically only include relatively few variables, arithmetic operations, square roots and if-else statements. This small syntax allows us to recast the problem of computing the exact output distribution as a cylindrical algebraic decomposition problem followed by symbolic and/or numerical integration. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.24514","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/2606.24514/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-06-24T01:15:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VrGXlkP+mH9F730AoFJnRNBCO818W32+W4LL0LtcpBmXtiV8mJTpVuKOUDGr3Xw8i0/qYfeKSEyPsssNCggCBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T14:56:30.646228Z"},"content_sha256":"24fbdb20c92de6269b0bafacb7f644e62caeb7069efa89e0949745e33d657ff1","schema_version":"1.0","event_id":"sha256:24fbdb20c92de6269b0bafacb7f644e62caeb7069efa89e0949745e33d657ff1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VMNIUCOPEK62C5SSJXE6YIEU2N/bundle.json","state_url":"https://pith.science/pith/VMNIUCOPEK62C5SSJXE6YIEU2N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VMNIUCOPEK62C5SSJXE6YIEU2N/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-27T14:56:30Z","links":{"resolver":"https://pith.science/pith/VMNIUCOPEK62C5SSJXE6YIEU2N","bundle":"https://pith.science/pith/VMNIUCOPEK62C5SSJXE6YIEU2N/bundle.json","state":"https://pith.science/pith/VMNIUCOPEK62C5SSJXE6YIEU2N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VMNIUCOPEK62C5SSJXE6YIEU2N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:VMNIUCOPEK62C5SSJXE6YIEU2N","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":"f0e38fe085783afec386f4a7b1ecc7dad6a986139754b96b6eff9295d7176571","cross_cats_sorted":["math.PR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-06-23T12:46:08Z","title_canon_sha256":"c8094685313f24b858a4ae10340847e333ded28d88cbf9f4358c225f939d95eb"},"schema_version":"1.0","source":{"id":"2606.24514","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.24514","created_at":"2026-06-24T01:15:32Z"},{"alias_kind":"arxiv_version","alias_value":"2606.24514v1","created_at":"2026-06-24T01:15:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.24514","created_at":"2026-06-24T01:15:32Z"},{"alias_kind":"pith_short_12","alias_value":"VMNIUCOPEK62","created_at":"2026-06-24T01:15:32Z"},{"alias_kind":"pith_short_16","alias_value":"VMNIUCOPEK62C5SS","created_at":"2026-06-24T01:15:32Z"},{"alias_kind":"pith_short_8","alias_value":"VMNIUCOP","created_at":"2026-06-24T01:15:32Z"}],"graph_snapshots":[{"event_id":"sha256:24fbdb20c92de6269b0bafacb7f644e62caeb7069efa89e0949745e33d657ff1","target":"graph","created_at":"2026-06-24T01:15:32Z","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/2606.24514/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a method for computing the exact output distribution of small programs with random inputs. Specifically, we are interested in inline programs manipulating sensor data such as \\eg GPS or inertial measurement sensors whose inputs have a known or well-modelled distribution. These programs typically only include relatively few variables, arithmetic operations, square roots and if-else statements. This small syntax allows us to recast the problem of computing the exact output distribution as a cylindrical algebraic decomposition problem followed by symbolic and/or numerical integration. ","authors_text":"Fredrik Dahlqvist, Mohamed Hamza Bandukara, Niki Omidvari","cross_cats":["math.PR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-06-23T12:46:08Z","title":"Exact Evaluation of Probabilistic Programs with Cylindrical Algebraic Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.24514","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:aa557b9cc62aeee8d842e5cd2ccd6e8d4a5ad66e181a5f79b5d0d14740292c45","target":"record","created_at":"2026-06-24T01:15:32Z","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":"f0e38fe085783afec386f4a7b1ecc7dad6a986139754b96b6eff9295d7176571","cross_cats_sorted":["math.PR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-06-23T12:46:08Z","title_canon_sha256":"c8094685313f24b858a4ae10340847e333ded28d88cbf9f4358c225f939d95eb"},"schema_version":"1.0","source":{"id":"2606.24514","kind":"arxiv","version":1}},"canonical_sha256":"ab1a8a09cf22bda176524dc9ec2094d36456ad72c5083bf3e5ed4e01dee5107d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab1a8a09cf22bda176524dc9ec2094d36456ad72c5083bf3e5ed4e01dee5107d","first_computed_at":"2026-06-24T01:15:32.717847Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-24T01:15:32.717847Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7KZET2IOfnRnU3gb3TevRETdY3f5ySA2i68GjmtjkJ+qObU7lHudqB26QLeICRoP5TSyLghqhIJbSjrxDapQDQ==","signature_status":"signed_v1","signed_at":"2026-06-24T01:15:32.718189Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.24514","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aa557b9cc62aeee8d842e5cd2ccd6e8d4a5ad66e181a5f79b5d0d14740292c45","sha256:24fbdb20c92de6269b0bafacb7f644e62caeb7069efa89e0949745e33d657ff1"],"state_sha256":"ac7c0b28a14a2fef961d6a1e9e0b48d6452f0c8dadff5057a44437aff4ca2a15"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eRC/1xNWuqKK3Y475MgP7B6WvOoYClc34VlNWihgZTmlFezUrJ93oOsIPH5LncNbg0tgGRNgSRrN98/WFLvTCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T14:56:30.648406Z","bundle_sha256":"328999bfc0ee1b5b6ac81dc170a491abbc78737c25aae6e31b4df7671023b7d8"}}