{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:2Q37FEOF5AWKHIDTCGAQMGQJKB","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":"c2cee8423eb3a7f0d655e95c4d7b8da5226d499b79b40dc406a517d14864e454","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-01T00:38:41Z","title_canon_sha256":"c2274dacec2c13402bb833dbe1197199cb178a5a834520c1a7602f316b2312ae"},"schema_version":"1.0","source":{"id":"2502.00238","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.00238","created_at":"2026-07-05T10:08:30Z"},{"alias_kind":"arxiv_version","alias_value":"2502.00238v1","created_at":"2026-07-05T10:08:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.00238","created_at":"2026-07-05T10:08:30Z"},{"alias_kind":"pith_short_12","alias_value":"2Q37FEOF5AWK","created_at":"2026-07-05T10:08:30Z"},{"alias_kind":"pith_short_16","alias_value":"2Q37FEOF5AWKHIDT","created_at":"2026-07-05T10:08:30Z"},{"alias_kind":"pith_short_8","alias_value":"2Q37FEOF","created_at":"2026-07-05T10:08:30Z"}],"graph_snapshots":[{"event_id":"sha256:aa803b85f1ad933e3e344947e26dec283020055047aacdce8f1c19802d91c090","target":"graph","created_at":"2026-07-05T10:08:30Z","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/2502.00238/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The rise of cyber-physical systems in safety-critical domains calls for robust risk-evaluation frameworks. Assurance cases, often required by regulatory bodies, are a structured approach to demonstrate that a system meets its safety requirements. However, assurance cases are fraught with challenges, such as incomplete evidence and gaps in reasoning, called defeaters, that can call into question the credibility and robustness of assurance cases. Identifying these defeaters increases confidence in the assurance case and can prevent catastrophic failures. The search for defeaters in an assurance ","authors_text":"Michael C. Hunter, Myra B. Cohen, Robyn R. Lutz, Usman Gohar","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-01T00:38:41Z","title":"A Taxonomy of Real-World Defeaters in Safety Assurance Cases"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.00238","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:0911b686c44c39857b9fdb1560ac1ff669342bb1c616f0a2f7093ca27c6a3164","target":"record","created_at":"2026-07-05T10:08:30Z","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":"c2cee8423eb3a7f0d655e95c4d7b8da5226d499b79b40dc406a517d14864e454","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-01T00:38:41Z","title_canon_sha256":"c2274dacec2c13402bb833dbe1197199cb178a5a834520c1a7602f316b2312ae"},"schema_version":"1.0","source":{"id":"2502.00238","kind":"arxiv","version":1}},"canonical_sha256":"d437f291c5e82ca3a0731181061a09507320bcfe25642bea926eaeead1fbf9a8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d437f291c5e82ca3a0731181061a09507320bcfe25642bea926eaeead1fbf9a8","first_computed_at":"2026-07-05T10:08:30.963959Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:08:30.963959Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QKudKcULk4GrFzY8vqkVu5DmnGIFYk0/rYCIwLV7jWFPh04VYSACDec++aV/rDm03SgGI/0mPAOZ7F1c854eAA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:08:30.964375Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.00238","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0911b686c44c39857b9fdb1560ac1ff669342bb1c616f0a2f7093ca27c6a3164","sha256:aa803b85f1ad933e3e344947e26dec283020055047aacdce8f1c19802d91c090"],"state_sha256":"48905dfb3dc772825cd65ec06d08f1184b5d27096a6bf0d94b4738932bbde521"}