{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:UCHPDV2K2HFX5WSWSAVFNOX5AY","short_pith_number":"pith:UCHPDV2K","canonical_record":{"source":{"id":"1712.08661","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-12-22T21:09:56Z","cross_cats_sorted":[],"title_canon_sha256":"f873d44d0afef9a36edebe54bb847cc8c0a2053ca3a749fcfaa88bd430c72c2c","abstract_canon_sha256":"0b58d7ac385f5ef278f6e0c4b713fb3bbaab4c6520cef70d279bcede7787b1a9"},"schema_version":"1.0"},"canonical_sha256":"a08ef1d74ad1cb7eda56902a56bafd0621a173614a4a91abe08456a467f301be","source":{"kind":"arxiv","id":"1712.08661","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.08661","created_at":"2026-05-18T00:16:08Z"},{"alias_kind":"arxiv_version","alias_value":"1712.08661v3","created_at":"2026-05-18T00:16:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.08661","created_at":"2026-05-18T00:16:08Z"},{"alias_kind":"pith_short_12","alias_value":"UCHPDV2K2HFX","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"UCHPDV2K2HFX5WSW","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"UCHPDV2K","created_at":"2026-05-18T12:31:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:UCHPDV2K2HFX5WSWSAVFNOX5AY","target":"record","payload":{"canonical_record":{"source":{"id":"1712.08661","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-12-22T21:09:56Z","cross_cats_sorted":[],"title_canon_sha256":"f873d44d0afef9a36edebe54bb847cc8c0a2053ca3a749fcfaa88bd430c72c2c","abstract_canon_sha256":"0b58d7ac385f5ef278f6e0c4b713fb3bbaab4c6520cef70d279bcede7787b1a9"},"schema_version":"1.0"},"canonical_sha256":"a08ef1d74ad1cb7eda56902a56bafd0621a173614a4a91abe08456a467f301be","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:08.133581Z","signature_b64":"H77KTTEypCI0W5sz6q+czC+5qCbEu3GgIBVBGRsEqOILBc4LaQoxqxEgxv586FlBtVomaItd7HndYNnzgxhnAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a08ef1d74ad1cb7eda56902a56bafd0621a173614a4a91abe08456a467f301be","last_reissued_at":"2026-05-18T00:16:08.132830Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:08.132830Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.08661","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-05-18T00:16:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FW7Am0x2tVwYxSG8W3pLnrRLF+KR4WnR57Aal1Pusd2Va/clEFanPQlBzCMNZ9xDGaY5E0lnr0NBYoOBd0QACA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T12:36:56.930597Z"},"content_sha256":"b287b6ffa6dcd584075d5fc7309ba2f87e36ae11fc4b362ad0a4e49bcf256da1","schema_version":"1.0","event_id":"sha256:b287b6ffa6dcd584075d5fc7309ba2f87e36ae11fc4b362ad0a4e49bcf256da1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:UCHPDV2K2HFX5WSWSAVFNOX5AY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Team semantics for interventionist counterfactuals and causal dependence","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Fausto Barbero, Gabriel Sandu","submitted_at":"2017-12-22T21:09:56Z","abstract_excerpt":"We introduce a generalization of team semantics which provides a framework for manipulationist theories of causation based on structural equation models, such as Woodward's and Pearl's; our causal teams incorporate (partial or total) information about functional dependencies that are invariant under interventions. We give a unified treatment of observational and causal aspects of causal models by isolating two operators on causal teams which correspond, respectively, to conditioning and to interventionist counterfactual implication.\n  The evaluation of counterfactuals may involve the productio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.08661","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":""},"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:16:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ozCoyVDwySS2hAMzcuarsjmnMUm95fBKOmuhf78sBXKmZqs4zboVOlosP7AiNguriT7IFEElMlKObnoAUZ5QDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T12:36:56.930940Z"},"content_sha256":"d02257ad0358a55a2636e2820b25b6bed98d8cffdd8a0f0330d6863bd93be9b6","schema_version":"1.0","event_id":"sha256:d02257ad0358a55a2636e2820b25b6bed98d8cffdd8a0f0330d6863bd93be9b6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UCHPDV2K2HFX5WSWSAVFNOX5AY/bundle.json","state_url":"https://pith.science/pith/UCHPDV2K2HFX5WSWSAVFNOX5AY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UCHPDV2K2HFX5WSWSAVFNOX5AY/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-07-01T12:36:56Z","links":{"resolver":"https://pith.science/pith/UCHPDV2K2HFX5WSWSAVFNOX5AY","bundle":"https://pith.science/pith/UCHPDV2K2HFX5WSWSAVFNOX5AY/bundle.json","state":"https://pith.science/pith/UCHPDV2K2HFX5WSWSAVFNOX5AY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UCHPDV2K2HFX5WSWSAVFNOX5AY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:UCHPDV2K2HFX5WSWSAVFNOX5AY","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":"0b58d7ac385f5ef278f6e0c4b713fb3bbaab4c6520cef70d279bcede7787b1a9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-12-22T21:09:56Z","title_canon_sha256":"f873d44d0afef9a36edebe54bb847cc8c0a2053ca3a749fcfaa88bd430c72c2c"},"schema_version":"1.0","source":{"id":"1712.08661","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.08661","created_at":"2026-05-18T00:16:08Z"},{"alias_kind":"arxiv_version","alias_value":"1712.08661v3","created_at":"2026-05-18T00:16:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.08661","created_at":"2026-05-18T00:16:08Z"},{"alias_kind":"pith_short_12","alias_value":"UCHPDV2K2HFX","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"UCHPDV2K2HFX5WSW","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"UCHPDV2K","created_at":"2026-05-18T12:31:46Z"}],"graph_snapshots":[{"event_id":"sha256:d02257ad0358a55a2636e2820b25b6bed98d8cffdd8a0f0330d6863bd93be9b6","target":"graph","created_at":"2026-05-18T00:16:08Z","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":"We introduce a generalization of team semantics which provides a framework for manipulationist theories of causation based on structural equation models, such as Woodward's and Pearl's; our causal teams incorporate (partial or total) information about functional dependencies that are invariant under interventions. We give a unified treatment of observational and causal aspects of causal models by isolating two operators on causal teams which correspond, respectively, to conditioning and to interventionist counterfactual implication.\n  The evaluation of counterfactuals may involve the productio","authors_text":"Fausto Barbero, Gabriel Sandu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-12-22T21:09:56Z","title":"Team semantics for interventionist counterfactuals and causal dependence"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.08661","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:b287b6ffa6dcd584075d5fc7309ba2f87e36ae11fc4b362ad0a4e49bcf256da1","target":"record","created_at":"2026-05-18T00:16:08Z","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":"0b58d7ac385f5ef278f6e0c4b713fb3bbaab4c6520cef70d279bcede7787b1a9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-12-22T21:09:56Z","title_canon_sha256":"f873d44d0afef9a36edebe54bb847cc8c0a2053ca3a749fcfaa88bd430c72c2c"},"schema_version":"1.0","source":{"id":"1712.08661","kind":"arxiv","version":3}},"canonical_sha256":"a08ef1d74ad1cb7eda56902a56bafd0621a173614a4a91abe08456a467f301be","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a08ef1d74ad1cb7eda56902a56bafd0621a173614a4a91abe08456a467f301be","first_computed_at":"2026-05-18T00:16:08.132830Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:08.132830Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"H77KTTEypCI0W5sz6q+czC+5qCbEu3GgIBVBGRsEqOILBc4LaQoxqxEgxv586FlBtVomaItd7HndYNnzgxhnAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:08.133581Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.08661","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b287b6ffa6dcd584075d5fc7309ba2f87e36ae11fc4b362ad0a4e49bcf256da1","sha256:d02257ad0358a55a2636e2820b25b6bed98d8cffdd8a0f0330d6863bd93be9b6"],"state_sha256":"e325ddc160d9cf279d429cfc2179ec3db32fe266e914dbdf0f973acf6bcdfca7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iBkEw3oHIMwTG6IrLBBxRzFYf8bYQqjhM3fyazgCjKwcg4uU1FIgjRgBQDbPwxbKPBZYXpFVaFgYJRW5ygdxCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T12:36:56.933002Z","bundle_sha256":"6a138e118964239954984ffe4e822c7f78cb1bf233438a11b09adf56e0d7e958"}}