{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:UTXSHFCIKWOZF22CBOCHTI3SE3","short_pith_number":"pith:UTXSHFCI","canonical_record":{"source":{"id":"2405.07373","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-12T20:25:36Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"0b742c219fa9fa826c7b94468b8fbd35ad949e907bb295d7c27e090f5662bede","abstract_canon_sha256":"5b2c95a36de628bde290f5fcaf3b8094a275022250614e54a405595ab87c4381"},"schema_version":"1.0"},"canonical_sha256":"a4ef239448559d92eb420b8479a37226e070a1e405b274799a40e8242d45aedc","source":{"kind":"arxiv","id":"2405.07373","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.07373","created_at":"2026-07-05T10:10:23Z"},{"alias_kind":"arxiv_version","alias_value":"2405.07373v3","created_at":"2026-07-05T10:10:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.07373","created_at":"2026-07-05T10:10:23Z"},{"alias_kind":"pith_short_12","alias_value":"UTXSHFCIKWOZ","created_at":"2026-07-05T10:10:23Z"},{"alias_kind":"pith_short_16","alias_value":"UTXSHFCIKWOZF22C","created_at":"2026-07-05T10:10:23Z"},{"alias_kind":"pith_short_8","alias_value":"UTXSHFCI","created_at":"2026-07-05T10:10:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:UTXSHFCIKWOZF22CBOCHTI3SE3","target":"record","payload":{"canonical_record":{"source":{"id":"2405.07373","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-12T20:25:36Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"0b742c219fa9fa826c7b94468b8fbd35ad949e907bb295d7c27e090f5662bede","abstract_canon_sha256":"5b2c95a36de628bde290f5fcaf3b8094a275022250614e54a405595ab87c4381"},"schema_version":"1.0"},"canonical_sha256":"a4ef239448559d92eb420b8479a37226e070a1e405b274799a40e8242d45aedc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:10:23.251184Z","signature_b64":"Wx3DDkl7A826BmJEMdtg1OSoKENl5O28nr572eMKKuI5OsZ9Lfzno4tQ4ya5T2EAAQiT9+yxg8ywv8P55x6CBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a4ef239448559d92eb420b8479a37226e070a1e405b274799a40e8242d45aedc","last_reissued_at":"2026-07-05T10:10:23.250726Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:10:23.250726Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.07373","source_version":3,"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:10:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QbrppbUG/HUDySxOA7rBQM/8XjuT9MEzJyLrugT2H9uKGH8ADaJH0yUud8QBpUtlheCvZYJLCyoC/QvGpGZdAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T04:06:05.636679Z"},"content_sha256":"729698d5438cd45723ae9e3da02f272a148d5ec0a0e3c2de672904d59f7716a2","schema_version":"1.0","event_id":"sha256:729698d5438cd45723ae9e3da02f272a148d5ec0a0e3c2de672904d59f7716a2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:UTXSHFCIKWOZF22CBOCHTI3SE3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.AI","authors_text":"Benito van der Zander, Julian D\\\"orfler, Maciej Liskiewicz, Markus Bl\\\"aser","submitted_at":"2024-05-12T20:25:36Z","abstract_excerpt":"The framework of Pearl's Causal Hierarchy (PCH) formalizes three types of reasoning: probabilistic (i.e. purely observational), interventional, and counterfactual, that reflect the progressive sophistication of human thought regarding causation. We investigate the computational complexity aspects of reasoning in this framework focusing mainly on satisfiability problems expressed in probabilistic and causal languages across the PCH. That is, given a system of formulas in the standard probabilistic and causal languages, does there exist a model satisfying the formulas?\n  Our main contribution is"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.07373","kind":"arxiv","version":3},"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/2405.07373/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:10:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M9kHxvTQmD3M5vNKNFmNJs0sVyOLBRmePrYo9uOlrllErIo457urwwdaLmcDASq/Xy7OAPc17c13D/IDchlSCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T04:06:05.637182Z"},"content_sha256":"cd3150b23f2a0f89f3b45f800725052817cf3a9c5f7fa6fdae9b70139bd5453a","schema_version":"1.0","event_id":"sha256:cd3150b23f2a0f89f3b45f800725052817cf3a9c5f7fa6fdae9b70139bd5453a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3/bundle.json","state_url":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UTXSHFCIKWOZF22CBOCHTI3SE3/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-18T04:06:05Z","links":{"resolver":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3","bundle":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3/bundle.json","state":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UTXSHFCIKWOZF22CBOCHTI3SE3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:UTXSHFCIKWOZF22CBOCHTI3SE3","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":"5b2c95a36de628bde290f5fcaf3b8094a275022250614e54a405595ab87c4381","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-12T20:25:36Z","title_canon_sha256":"0b742c219fa9fa826c7b94468b8fbd35ad949e907bb295d7c27e090f5662bede"},"schema_version":"1.0","source":{"id":"2405.07373","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.07373","created_at":"2026-07-05T10:10:23Z"},{"alias_kind":"arxiv_version","alias_value":"2405.07373v3","created_at":"2026-07-05T10:10:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.07373","created_at":"2026-07-05T10:10:23Z"},{"alias_kind":"pith_short_12","alias_value":"UTXSHFCIKWOZ","created_at":"2026-07-05T10:10:23Z"},{"alias_kind":"pith_short_16","alias_value":"UTXSHFCIKWOZF22C","created_at":"2026-07-05T10:10:23Z"},{"alias_kind":"pith_short_8","alias_value":"UTXSHFCI","created_at":"2026-07-05T10:10:23Z"}],"graph_snapshots":[{"event_id":"sha256:cd3150b23f2a0f89f3b45f800725052817cf3a9c5f7fa6fdae9b70139bd5453a","target":"graph","created_at":"2026-07-05T10:10: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/2405.07373/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The framework of Pearl's Causal Hierarchy (PCH) formalizes three types of reasoning: probabilistic (i.e. purely observational), interventional, and counterfactual, that reflect the progressive sophistication of human thought regarding causation. We investigate the computational complexity aspects of reasoning in this framework focusing mainly on satisfiability problems expressed in probabilistic and causal languages across the PCH. That is, given a system of formulas in the standard probabilistic and causal languages, does there exist a model satisfying the formulas?\n  Our main contribution is","authors_text":"Benito van der Zander, Julian D\\\"orfler, Maciej Liskiewicz, Markus Bl\\\"aser","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-12T20:25:36Z","title":"From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.07373","kind":"arxiv","version":3},"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:729698d5438cd45723ae9e3da02f272a148d5ec0a0e3c2de672904d59f7716a2","target":"record","created_at":"2026-07-05T10:10: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":"5b2c95a36de628bde290f5fcaf3b8094a275022250614e54a405595ab87c4381","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-12T20:25:36Z","title_canon_sha256":"0b742c219fa9fa826c7b94468b8fbd35ad949e907bb295d7c27e090f5662bede"},"schema_version":"1.0","source":{"id":"2405.07373","kind":"arxiv","version":3}},"canonical_sha256":"a4ef239448559d92eb420b8479a37226e070a1e405b274799a40e8242d45aedc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a4ef239448559d92eb420b8479a37226e070a1e405b274799a40e8242d45aedc","first_computed_at":"2026-07-05T10:10:23.250726Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:10:23.250726Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Wx3DDkl7A826BmJEMdtg1OSoKENl5O28nr572eMKKuI5OsZ9Lfzno4tQ4ya5T2EAAQiT9+yxg8ywv8P55x6CBA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:10:23.251184Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.07373","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:729698d5438cd45723ae9e3da02f272a148d5ec0a0e3c2de672904d59f7716a2","sha256:cd3150b23f2a0f89f3b45f800725052817cf3a9c5f7fa6fdae9b70139bd5453a"],"state_sha256":"53298ba5af05586234efb39179586c71e6674305fd96228fdc1491c31a490bd6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ek1H7hzuTw/ZG7Sr6X1lqWBRn441lLaxZhWjKwDs+3EIT3RgbGFtZEY7uMMVd1t+2KIf+02JKs8FCc9G4uGfAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T04:06:05.640969Z","bundle_sha256":"9f78b54e5676282419967e03083e4f370f1b37dfb3d2c990e46a278e458beacc"}}