{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:VLT3PFA3YVYGJTCXLOPXP6GULF","short_pith_number":"pith:VLT3PFA3","canonical_record":{"source":{"id":"1807.11139","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-30T01:38:58Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"1cde4c5375265930364d2767a21ef2b00656477954d8f671f9f937ba2a593e05","abstract_canon_sha256":"25568faccccbf537035d75984ec293702c3662244c3e5f7342f69446ee0f4855"},"schema_version":"1.0"},"canonical_sha256":"aae7b7941bc57064cc575b9f77f8d459583983b7983beb648dcf49f42b8e3218","source":{"kind":"arxiv","id":"1807.11139","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.11139","created_at":"2026-05-18T00:09:32Z"},{"alias_kind":"arxiv_version","alias_value":"1807.11139v1","created_at":"2026-05-18T00:09:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.11139","created_at":"2026-05-18T00:09:32Z"},{"alias_kind":"pith_short_12","alias_value":"VLT3PFA3YVYG","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VLT3PFA3YVYGJTCX","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VLT3PFA3","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:VLT3PFA3YVYGJTCXLOPXP6GULF","target":"record","payload":{"canonical_record":{"source":{"id":"1807.11139","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-30T01:38:58Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"1cde4c5375265930364d2767a21ef2b00656477954d8f671f9f937ba2a593e05","abstract_canon_sha256":"25568faccccbf537035d75984ec293702c3662244c3e5f7342f69446ee0f4855"},"schema_version":"1.0"},"canonical_sha256":"aae7b7941bc57064cc575b9f77f8d459583983b7983beb648dcf49f42b8e3218","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:09:32.820349Z","signature_b64":"YeNsBHG1rkGyxTJ7EVzn5sKuzVNiCEmg73zn3+Sw8slX41bFvay9Ncicj7LYtOu43lxmNDNz6qysd+xD/OyLAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aae7b7941bc57064cc575b9f77f8d459583983b7983beb648dcf49f42b8e3218","last_reissued_at":"2026-05-18T00:09:32.819953Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:09:32.819953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.11139","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-05-18T00:09:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FFR2FhMA0CnUKLt2IlM5NWoAEiEvO2WOXZA5cnZC3QBlIIuVMNInlFIRWAF5ooLD0iRWqoEY8lFrQKBnfeUOCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T04:47:35.792700Z"},"content_sha256":"cef461c446c4756ed6c2d4f16b56949eae810353c63b2c1ff058d6a6b338345b","schema_version":"1.0","event_id":"sha256:cef461c446c4756ed6c2d4f16b56949eae810353c63b2c1ff058d6a6b338345b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:VLT3PFA3YVYGJTCXLOPXP6GULF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Causal Modeling with Probabilistic Simulation Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Duligur Ibeling","submitted_at":"2018-07-30T01:38:58Z","abstract_excerpt":"Recent authors have proposed analyzing conditional reasoning through a notion of intervention on a simulation program, and have found a sound and complete axiomatization of the logic of conditionals in this setting. Here we extend this setting to the case of probabilistic simulation models. We give a natural definition of probability on formulas of the conditional language, allowing for the expression of counterfactuals, and prove foundational results about this definition. We also find an axiomatization for reasoning about linear inequalities involving probabilities in this setting. We prove "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.11139","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":""},"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-18T00:09:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yVOhr9IGntrtmw0NWvt2WOZya7Lx+9IGbDSu22tuTQiSC6rltW7iW9bvMIrz2153mgVwPPYCsKr5OqdeUtE9Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T04:47:35.793452Z"},"content_sha256":"6b238d3de9b3eefba4350e8975fab389e912cda208baa8abdc1e74bf2fae78e4","schema_version":"1.0","event_id":"sha256:6b238d3de9b3eefba4350e8975fab389e912cda208baa8abdc1e74bf2fae78e4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VLT3PFA3YVYGJTCXLOPXP6GULF/bundle.json","state_url":"https://pith.science/pith/VLT3PFA3YVYGJTCXLOPXP6GULF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VLT3PFA3YVYGJTCXLOPXP6GULF/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-05-27T04:47:35Z","links":{"resolver":"https://pith.science/pith/VLT3PFA3YVYGJTCXLOPXP6GULF","bundle":"https://pith.science/pith/VLT3PFA3YVYGJTCXLOPXP6GULF/bundle.json","state":"https://pith.science/pith/VLT3PFA3YVYGJTCXLOPXP6GULF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VLT3PFA3YVYGJTCXLOPXP6GULF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:VLT3PFA3YVYGJTCXLOPXP6GULF","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":"25568faccccbf537035d75984ec293702c3662244c3e5f7342f69446ee0f4855","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-30T01:38:58Z","title_canon_sha256":"1cde4c5375265930364d2767a21ef2b00656477954d8f671f9f937ba2a593e05"},"schema_version":"1.0","source":{"id":"1807.11139","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.11139","created_at":"2026-05-18T00:09:32Z"},{"alias_kind":"arxiv_version","alias_value":"1807.11139v1","created_at":"2026-05-18T00:09:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.11139","created_at":"2026-05-18T00:09:32Z"},{"alias_kind":"pith_short_12","alias_value":"VLT3PFA3YVYG","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VLT3PFA3YVYGJTCX","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VLT3PFA3","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:6b238d3de9b3eefba4350e8975fab389e912cda208baa8abdc1e74bf2fae78e4","target":"graph","created_at":"2026-05-18T00:09: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"},"paper":{"abstract_excerpt":"Recent authors have proposed analyzing conditional reasoning through a notion of intervention on a simulation program, and have found a sound and complete axiomatization of the logic of conditionals in this setting. Here we extend this setting to the case of probabilistic simulation models. We give a natural definition of probability on formulas of the conditional language, allowing for the expression of counterfactuals, and prove foundational results about this definition. We also find an axiomatization for reasoning about linear inequalities involving probabilities in this setting. We prove ","authors_text":"Duligur Ibeling","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-30T01:38:58Z","title":"Causal Modeling with Probabilistic Simulation Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.11139","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:cef461c446c4756ed6c2d4f16b56949eae810353c63b2c1ff058d6a6b338345b","target":"record","created_at":"2026-05-18T00:09: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":"25568faccccbf537035d75984ec293702c3662244c3e5f7342f69446ee0f4855","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-30T01:38:58Z","title_canon_sha256":"1cde4c5375265930364d2767a21ef2b00656477954d8f671f9f937ba2a593e05"},"schema_version":"1.0","source":{"id":"1807.11139","kind":"arxiv","version":1}},"canonical_sha256":"aae7b7941bc57064cc575b9f77f8d459583983b7983beb648dcf49f42b8e3218","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aae7b7941bc57064cc575b9f77f8d459583983b7983beb648dcf49f42b8e3218","first_computed_at":"2026-05-18T00:09:32.819953Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:09:32.819953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YeNsBHG1rkGyxTJ7EVzn5sKuzVNiCEmg73zn3+Sw8slX41bFvay9Ncicj7LYtOu43lxmNDNz6qysd+xD/OyLAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:09:32.820349Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.11139","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cef461c446c4756ed6c2d4f16b56949eae810353c63b2c1ff058d6a6b338345b","sha256:6b238d3de9b3eefba4350e8975fab389e912cda208baa8abdc1e74bf2fae78e4"],"state_sha256":"d38027a851a79a8953809d2b496865ae206618a34493d1c372203a11e9a1cc74"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sj/XXCx3YoBE1HYbEEqoGwpQ7Tvj1/TaazBMBBDW68yLp3ktnnMguTj2zOVhpzTJqYkFgboS9hqwyAxTQ99UCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T04:47:35.797001Z","bundle_sha256":"f0c670062196aed853628f357ec3f1ead8d42030055be1147092fab8ef5416ca"}}