{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:RL3ALU7MAV554CVTYU5XAB575F","short_pith_number":"pith:RL3ALU7M","schema_version":"1.0","canonical_sha256":"8af605d3ec057bde0ab3c53b7007bfe9425dba2d7d28763aa397bbefd099ea76","source":{"kind":"arxiv","id":"2606.11462","version":1},"attestation_state":"computed","paper":{"title":"Defeater Cards: Characterizing and Managing Safety Assurance Case Defeaters","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jordan J. Rios, Michael C. Hunter, Myra B. Cohen, Robyn R. Lutz, Salil Purandare, Usman Gohar","submitted_at":"2026-06-09T21:33:07Z","abstract_excerpt":"Safety assurance cases provide structured justifications that safety-critical systems meet their safety requirements. Recently, the notion of defeaters has emerged as a rigorous means of challenging the validity of safety arguments. Examples of defeaters might include overly strict claims, unreliable evidence, or reasoning gaps. However, defeaters remain ad hoc, lack structured support for critical reflection, are inconsistently described, are difficult to review, and lack documentation standards. To address this, we propose Defeater Cards, a new structured documentation artifact for systemati"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.11462","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T21:33:07Z","cross_cats_sorted":[],"title_canon_sha256":"b17bfee53d1cef228ba41caf233068b421be1054df9df62fa96ea18455f4ed23","abstract_canon_sha256":"7123b1ecc0fc069c19eae827dab1668ef5a6fed58a312ded70b249c1937338cb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-11T01:09:49.883505Z","signature_b64":"NIB8awHliV5eqI4YYjcUSXRGXPRgRCnPtGXq25OxOeIjGxbO7DOx+2XsMIyYM25CTFlgH/rrtxi/ncSQqsEyAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8af605d3ec057bde0ab3c53b7007bfe9425dba2d7d28763aa397bbefd099ea76","last_reissued_at":"2026-06-11T01:09:49.882662Z","signature_status":"signed_v1","first_computed_at":"2026-06-11T01:09:49.882662Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Defeater Cards: Characterizing and Managing Safety Assurance Case Defeaters","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jordan J. Rios, Michael C. Hunter, Myra B. Cohen, Robyn R. Lutz, Salil Purandare, Usman Gohar","submitted_at":"2026-06-09T21:33:07Z","abstract_excerpt":"Safety assurance cases provide structured justifications that safety-critical systems meet their safety requirements. Recently, the notion of defeaters has emerged as a rigorous means of challenging the validity of safety arguments. Examples of defeaters might include overly strict claims, unreliable evidence, or reasoning gaps. However, defeaters remain ad hoc, lack structured support for critical reflection, are inconsistently described, are difficult to review, and lack documentation standards. To address this, we propose Defeater Cards, a new structured documentation artifact for systemati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.11462","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.11462/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.11462","created_at":"2026-06-11T01:09:49.882802+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.11462v1","created_at":"2026-06-11T01:09:49.882802+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.11462","created_at":"2026-06-11T01:09:49.882802+00:00"},{"alias_kind":"pith_short_12","alias_value":"RL3ALU7MAV55","created_at":"2026-06-11T01:09:49.882802+00:00"},{"alias_kind":"pith_short_16","alias_value":"RL3ALU7MAV554CVT","created_at":"2026-06-11T01:09:49.882802+00:00"},{"alias_kind":"pith_short_8","alias_value":"RL3ALU7M","created_at":"2026-06-11T01:09:49.882802+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F","json":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F.json","graph_json":"https://pith.science/api/pith-number/RL3ALU7MAV554CVTYU5XAB575F/graph.json","events_json":"https://pith.science/api/pith-number/RL3ALU7MAV554CVTYU5XAB575F/events.json","paper":"https://pith.science/paper/RL3ALU7M"},"agent_actions":{"view_html":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F","download_json":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F.json","view_paper":"https://pith.science/paper/RL3ALU7M","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.11462&json=true","fetch_graph":"https://pith.science/api/pith-number/RL3ALU7MAV554CVTYU5XAB575F/graph.json","fetch_events":"https://pith.science/api/pith-number/RL3ALU7MAV554CVTYU5XAB575F/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F/action/storage_attestation","attest_author":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F/action/author_attestation","sign_citation":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F/action/citation_signature","submit_replication":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F/action/replication_record"}},"created_at":"2026-06-11T01:09:49.882802+00:00","updated_at":"2026-06-11T01:09:49.882802+00:00"}