{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:EPFIB4AVLNNKHDQNUBXY55HQT3","short_pith_number":"pith:EPFIB4AV","canonical_record":{"source":{"id":"2504.16526","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-23T08:50:24Z","cross_cats_sorted":[],"title_canon_sha256":"c30957bbc3287af1cf4da713e2ba37138bced0d8fff8955562027b4896a07ff3","abstract_canon_sha256":"9c8f7b1c7c1d02079546edc5e10afc4da6d6598028e6554b3b545abd3b4b61dc"},"schema_version":"1.0"},"canonical_sha256":"23ca80f0155b5aa38e0da06f8ef4f09ede9479f2c103377363335ac93585decb","source":{"kind":"arxiv","id":"2504.16526","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.16526","created_at":"2026-07-05T10:53:55Z"},{"alias_kind":"arxiv_version","alias_value":"2504.16526v2","created_at":"2026-07-05T10:53:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.16526","created_at":"2026-07-05T10:53:55Z"},{"alias_kind":"pith_short_12","alias_value":"EPFIB4AVLNNK","created_at":"2026-07-05T10:53:55Z"},{"alias_kind":"pith_short_16","alias_value":"EPFIB4AVLNNKHDQN","created_at":"2026-07-05T10:53:55Z"},{"alias_kind":"pith_short_8","alias_value":"EPFIB4AV","created_at":"2026-07-05T10:53:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:EPFIB4AVLNNKHDQNUBXY55HQT3","target":"record","payload":{"canonical_record":{"source":{"id":"2504.16526","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-23T08:50:24Z","cross_cats_sorted":[],"title_canon_sha256":"c30957bbc3287af1cf4da713e2ba37138bced0d8fff8955562027b4896a07ff3","abstract_canon_sha256":"9c8f7b1c7c1d02079546edc5e10afc4da6d6598028e6554b3b545abd3b4b61dc"},"schema_version":"1.0"},"canonical_sha256":"23ca80f0155b5aa38e0da06f8ef4f09ede9479f2c103377363335ac93585decb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:53:55.199485Z","signature_b64":"ZEwPbIb1drbcG/mIA07eHJwVHeYehBUhc6e52QRMEVidNhkSi5VkwvNq5EU9xqzoPIuOHjtHybeYfXLWywlADA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"23ca80f0155b5aa38e0da06f8ef4f09ede9479f2c103377363335ac93585decb","last_reissued_at":"2026-07-05T10:53:55.198893Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:53:55.198893Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.16526","source_version":2,"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:53:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OPaNJFKBeFxTTAlP5Ys9ZZnhzO6SNYwE0jP39w7ydr7K01bo0OO1ydIrG/UVSZEha/VDJ7LG1Vm4DSH9j4lzDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T04:55:37.780625Z"},"content_sha256":"f8142e8a06d1a5af654e9cd6045a1afa99187e41230cd32a732daa8ac99c2a17","schema_version":"1.0","event_id":"sha256:f8142e8a06d1a5af654e9cd6045a1afa99187e41230cd32a732daa8ac99c2a17"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:EPFIB4AVLNNKHDQNUBXY55HQT3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Christopher Wild, Donghwan Shin, Michael Foster, Neil Walkinshaw, Robert M. Hierons","submitted_at":"2025-04-23T08:50:24Z","abstract_excerpt":"Software systems with large parameter spaces, nondeterminism and high computational cost are challenging to test. Recently, software testing techniques based on causal inference have been successfully applied to systems that exhibit such characteristics, including scientific models and autonomous driving systems. One significant limitation is that these are restricted to test properties where all of the variables involved can be observed and where there are no interactions between variables. In practice, this is rarely guaranteed; the logging infrastructure may not be available to record all o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.16526","kind":"arxiv","version":2},"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/2504.16526/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:53:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KcZ8RrVtPB2TN9BIDqS9arUy5SJSGFAgrW4RjcjFez4KhXMuI0Epo3dY5+t49cGhhcdYNpgQqveixKXktjjDCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T04:55:37.781131Z"},"content_sha256":"99bad9510dcbfe05ba8c9fb10cd3b04d5aac3141b4e92c9be76450f604168903","schema_version":"1.0","event_id":"sha256:99bad9510dcbfe05ba8c9fb10cd3b04d5aac3141b4e92c9be76450f604168903"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EPFIB4AVLNNKHDQNUBXY55HQT3/bundle.json","state_url":"https://pith.science/pith/EPFIB4AVLNNKHDQNUBXY55HQT3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EPFIB4AVLNNKHDQNUBXY55HQT3/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-17T04:55:37Z","links":{"resolver":"https://pith.science/pith/EPFIB4AVLNNKHDQNUBXY55HQT3","bundle":"https://pith.science/pith/EPFIB4AVLNNKHDQNUBXY55HQT3/bundle.json","state":"https://pith.science/pith/EPFIB4AVLNNKHDQNUBXY55HQT3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EPFIB4AVLNNKHDQNUBXY55HQT3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:EPFIB4AVLNNKHDQNUBXY55HQT3","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":"9c8f7b1c7c1d02079546edc5e10afc4da6d6598028e6554b3b545abd3b4b61dc","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-23T08:50:24Z","title_canon_sha256":"c30957bbc3287af1cf4da713e2ba37138bced0d8fff8955562027b4896a07ff3"},"schema_version":"1.0","source":{"id":"2504.16526","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.16526","created_at":"2026-07-05T10:53:55Z"},{"alias_kind":"arxiv_version","alias_value":"2504.16526v2","created_at":"2026-07-05T10:53:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.16526","created_at":"2026-07-05T10:53:55Z"},{"alias_kind":"pith_short_12","alias_value":"EPFIB4AVLNNK","created_at":"2026-07-05T10:53:55Z"},{"alias_kind":"pith_short_16","alias_value":"EPFIB4AVLNNKHDQN","created_at":"2026-07-05T10:53:55Z"},{"alias_kind":"pith_short_8","alias_value":"EPFIB4AV","created_at":"2026-07-05T10:53:55Z"}],"graph_snapshots":[{"event_id":"sha256:99bad9510dcbfe05ba8c9fb10cd3b04d5aac3141b4e92c9be76450f604168903","target":"graph","created_at":"2026-07-05T10:53:55Z","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/2504.16526/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Software systems with large parameter spaces, nondeterminism and high computational cost are challenging to test. Recently, software testing techniques based on causal inference have been successfully applied to systems that exhibit such characteristics, including scientific models and autonomous driving systems. One significant limitation is that these are restricted to test properties where all of the variables involved can be observed and where there are no interactions between variables. In practice, this is rarely guaranteed; the logging infrastructure may not be available to record all o","authors_text":"Christopher Wild, Donghwan Shin, Michael Foster, Neil Walkinshaw, Robert M. Hierons","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-23T08:50:24Z","title":"Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.16526","kind":"arxiv","version":2},"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:f8142e8a06d1a5af654e9cd6045a1afa99187e41230cd32a732daa8ac99c2a17","target":"record","created_at":"2026-07-05T10:53:55Z","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":"9c8f7b1c7c1d02079546edc5e10afc4da6d6598028e6554b3b545abd3b4b61dc","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-23T08:50:24Z","title_canon_sha256":"c30957bbc3287af1cf4da713e2ba37138bced0d8fff8955562027b4896a07ff3"},"schema_version":"1.0","source":{"id":"2504.16526","kind":"arxiv","version":2}},"canonical_sha256":"23ca80f0155b5aa38e0da06f8ef4f09ede9479f2c103377363335ac93585decb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"23ca80f0155b5aa38e0da06f8ef4f09ede9479f2c103377363335ac93585decb","first_computed_at":"2026-07-05T10:53:55.198893Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:53:55.198893Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZEwPbIb1drbcG/mIA07eHJwVHeYehBUhc6e52QRMEVidNhkSi5VkwvNq5EU9xqzoPIuOHjtHybeYfXLWywlADA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:53:55.199485Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.16526","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f8142e8a06d1a5af654e9cd6045a1afa99187e41230cd32a732daa8ac99c2a17","sha256:99bad9510dcbfe05ba8c9fb10cd3b04d5aac3141b4e92c9be76450f604168903"],"state_sha256":"53586e51a20d4517bc6b58872f518772d6566be26a892584870614fbebc25e46"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yLum7VyNMPx0gQIziDB+iAa9w58zbsNUza5m8opb1KM0AKnvYNNVMl2GOJ64yKkMHmgGKbz7rsa0NcYGly60CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T04:55:37.785708Z","bundle_sha256":"6870e3b45ed40ce22798597cd2b5d1cef600f917681982c6cf26028c7f87a337"}}