{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:DTY3VJOGR5U34GLQ4FQOLVHICP","short_pith_number":"pith:DTY3VJOG","canonical_record":{"source":{"id":"1608.07880","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-29T01:35:55Z","cross_cats_sorted":[],"title_canon_sha256":"4c8882541bec3effc31c18ee35d204c730a5e7fae4f94e52ba5a28fdb274744d","abstract_canon_sha256":"3eeee95913ffe4c737510aee9091db62b1fb75960fd6db1207f2161b78d5a5fc"},"schema_version":"1.0"},"canonical_sha256":"1cf1baa5c68f69be1970e160e5d4e813d1d287205e5ad4226b789f40671aa82b","source":{"kind":"arxiv","id":"1608.07880","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.07880","created_at":"2026-05-18T01:07:49Z"},{"alias_kind":"arxiv_version","alias_value":"1608.07880v1","created_at":"2026-05-18T01:07:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.07880","created_at":"2026-05-18T01:07:49Z"},{"alias_kind":"pith_short_12","alias_value":"DTY3VJOGR5U3","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"DTY3VJOGR5U34GLQ","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"DTY3VJOG","created_at":"2026-05-18T12:30:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:DTY3VJOGR5U34GLQ4FQOLVHICP","target":"record","payload":{"canonical_record":{"source":{"id":"1608.07880","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-29T01:35:55Z","cross_cats_sorted":[],"title_canon_sha256":"4c8882541bec3effc31c18ee35d204c730a5e7fae4f94e52ba5a28fdb274744d","abstract_canon_sha256":"3eeee95913ffe4c737510aee9091db62b1fb75960fd6db1207f2161b78d5a5fc"},"schema_version":"1.0"},"canonical_sha256":"1cf1baa5c68f69be1970e160e5d4e813d1d287205e5ad4226b789f40671aa82b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:07:49.716216Z","signature_b64":"ZbOZDOkX2DDLOsMfUV0f+ZzWyxEoKPNbVgXAwqItXhwBJCIaFzOxDbgXOxcFylcP6NQg4cMd2wI+ZdCVS3RaBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1cf1baa5c68f69be1970e160e5d4e813d1d287205e5ad4226b789f40671aa82b","last_reissued_at":"2026-05-18T01:07:49.715783Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:07:49.715783Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.07880","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-18T01:07:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"03DwPKcwaSGuGLrv15fnfqNtv+vQ7WpcUz1FhUb+vcAgtOdwZ/gV3vn+MrYX+ilgLIgYm+yFxUl+YmclVWRWCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T03:32:12.212641Z"},"content_sha256":"4d5c9ced49a0f945619960ef790d545e4769ec8d37dfee8d2cdfe27cb49e480f","schema_version":"1.0","event_id":"sha256:4d5c9ced49a0f945619960ef790d545e4769ec8d37dfee8d2cdfe27cb49e480f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:DTY3VJOGR5U34GLQ4FQOLVHICP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"(De-)Composing Causality in Labeled Transition Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Georgiana Caltais (Department for Computer, Germany), Halmstad University, Information Science, Mohammad Reza Mousavi (Centre for Research on Embedded Systems, Stefan Leue (Department for Computer, Sweden), University of Konstanz","submitted_at":"2016-08-29T01:35:55Z","abstract_excerpt":"In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The formal framework for reasoning on what caused the violation of a safety property is established in the context of labeled transition systems and Hennessy Milner logic. The compositionality results are devised for non-communicating systems."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.07880","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-18T01:07:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k6Vb56HZa8cRTuBPVQ8VZ4khVVEug48VGFBJLBwdbLbE1KYowP6sL8Sc+Snp6H8yN3yYxjLAIK4KTqHJegRsCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T03:32:12.213084Z"},"content_sha256":"0e88de6d53c5f3d3c46840f7d6aced6bd36a61b99de5928fcb58a8d8198abc6b","schema_version":"1.0","event_id":"sha256:0e88de6d53c5f3d3c46840f7d6aced6bd36a61b99de5928fcb58a8d8198abc6b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DTY3VJOGR5U34GLQ4FQOLVHICP/bundle.json","state_url":"https://pith.science/pith/DTY3VJOGR5U34GLQ4FQOLVHICP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DTY3VJOGR5U34GLQ4FQOLVHICP/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-27T03:32:12Z","links":{"resolver":"https://pith.science/pith/DTY3VJOGR5U34GLQ4FQOLVHICP","bundle":"https://pith.science/pith/DTY3VJOGR5U34GLQ4FQOLVHICP/bundle.json","state":"https://pith.science/pith/DTY3VJOGR5U34GLQ4FQOLVHICP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DTY3VJOGR5U34GLQ4FQOLVHICP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:DTY3VJOGR5U34GLQ4FQOLVHICP","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":"3eeee95913ffe4c737510aee9091db62b1fb75960fd6db1207f2161b78d5a5fc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-29T01:35:55Z","title_canon_sha256":"4c8882541bec3effc31c18ee35d204c730a5e7fae4f94e52ba5a28fdb274744d"},"schema_version":"1.0","source":{"id":"1608.07880","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.07880","created_at":"2026-05-18T01:07:49Z"},{"alias_kind":"arxiv_version","alias_value":"1608.07880v1","created_at":"2026-05-18T01:07:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.07880","created_at":"2026-05-18T01:07:49Z"},{"alias_kind":"pith_short_12","alias_value":"DTY3VJOGR5U3","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"DTY3VJOGR5U34GLQ","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"DTY3VJOG","created_at":"2026-05-18T12:30:12Z"}],"graph_snapshots":[{"event_id":"sha256:0e88de6d53c5f3d3c46840f7d6aced6bd36a61b99de5928fcb58a8d8198abc6b","target":"graph","created_at":"2026-05-18T01:07:49Z","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":"In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The formal framework for reasoning on what caused the violation of a safety property is established in the context of labeled transition systems and Hennessy Milner logic. The compositionality results are devised for non-communicating systems.","authors_text":"Georgiana Caltais (Department for Computer, Germany), Halmstad University, Information Science, Mohammad Reza Mousavi (Centre for Research on Embedded Systems, Stefan Leue (Department for Computer, Sweden), University of Konstanz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-29T01:35:55Z","title":"(De-)Composing Causality in Labeled Transition Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.07880","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:4d5c9ced49a0f945619960ef790d545e4769ec8d37dfee8d2cdfe27cb49e480f","target":"record","created_at":"2026-05-18T01:07:49Z","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":"3eeee95913ffe4c737510aee9091db62b1fb75960fd6db1207f2161b78d5a5fc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-29T01:35:55Z","title_canon_sha256":"4c8882541bec3effc31c18ee35d204c730a5e7fae4f94e52ba5a28fdb274744d"},"schema_version":"1.0","source":{"id":"1608.07880","kind":"arxiv","version":1}},"canonical_sha256":"1cf1baa5c68f69be1970e160e5d4e813d1d287205e5ad4226b789f40671aa82b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1cf1baa5c68f69be1970e160e5d4e813d1d287205e5ad4226b789f40671aa82b","first_computed_at":"2026-05-18T01:07:49.715783Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:07:49.715783Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZbOZDOkX2DDLOsMfUV0f+ZzWyxEoKPNbVgXAwqItXhwBJCIaFzOxDbgXOxcFylcP6NQg4cMd2wI+ZdCVS3RaBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:07:49.716216Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.07880","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4d5c9ced49a0f945619960ef790d545e4769ec8d37dfee8d2cdfe27cb49e480f","sha256:0e88de6d53c5f3d3c46840f7d6aced6bd36a61b99de5928fcb58a8d8198abc6b"],"state_sha256":"de96058dfd4da919544615314ccefe9a5f28a398d8ecf5f2139101cd2f08d485"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZFIsudUipfBQm0cC+eQgklqdNUwi2Kyi8GVyvu8eQDVlnez+NFifAlpC7kv6c0hceifQwEACZ6eE43IJyzHlDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T03:32:12.216127Z","bundle_sha256":"d7f05671999e099e60d7d6c7730bbb40d4a3ced046379a2744590c4bddc18ba0"}}