{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:RL3ALU7MAV554CVTYU5XAB575F","short_pith_number":"pith:RL3ALU7M","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"},"canonical_sha256":"8af605d3ec057bde0ab3c53b7007bfe9425dba2d7d28763aa397bbefd099ea76","source":{"kind":"arxiv","id":"2606.11462","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.11462","created_at":"2026-06-11T01:09:49Z"},{"alias_kind":"arxiv_version","alias_value":"2606.11462v1","created_at":"2026-06-11T01:09:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.11462","created_at":"2026-06-11T01:09:49Z"},{"alias_kind":"pith_short_12","alias_value":"RL3ALU7MAV55","created_at":"2026-06-11T01:09:49Z"},{"alias_kind":"pith_short_16","alias_value":"RL3ALU7MAV554CVT","created_at":"2026-06-11T01:09:49Z"},{"alias_kind":"pith_short_8","alias_value":"RL3ALU7M","created_at":"2026-06-11T01:09:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:RL3ALU7MAV554CVTYU5XAB575F","target":"record","payload":{"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"},"canonical_sha256":"8af605d3ec057bde0ab3c53b7007bfe9425dba2d7d28763aa397bbefd099ea76","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"},"source_kind":"arxiv","source_id":"2606.11462","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-06-11T01:09:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XJNe1GzE1eeBCCB5wwtao1Usc1gkz7zqYjL93g2tl4LOrBRTAHVdRsBr2aWyiDdsp1Cl8cZiRScEXLougqSOCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T18:41:11.925748Z"},"content_sha256":"33c000153fd83a9b6c2ccdedf79007a5872866ef7992c6e4837fac27e6558f75","schema_version":"1.0","event_id":"sha256:33c000153fd83a9b6c2ccdedf79007a5872866ef7992c6e4837fac27e6558f75"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:RL3ALU7MAV554CVTYU5XAB575F","target":"graph","payload":{"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"},"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-06-11T01:09:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MtGVcaP1exlFeMP9ZsQqSOW9D4b7b0M9Z9lQNOrOir62b7vEavVRZyLRGZvbfHIYdWKfTc4skocB0p7LSUdFBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T18:41:11.926131Z"},"content_sha256":"506316e8ca856d5831fd31249db302b47292e54a9481aa0ac89a6fdee839bbd5","schema_version":"1.0","event_id":"sha256:506316e8ca856d5831fd31249db302b47292e54a9481aa0ac89a6fdee839bbd5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F/bundle.json","state_url":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RL3ALU7MAV554CVTYU5XAB575F/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-06-25T18:41:11Z","links":{"resolver":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F","bundle":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F/bundle.json","state":"https://pith.science/pith/RL3ALU7MAV554CVTYU5XAB575F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RL3ALU7MAV554CVTYU5XAB575F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RL3ALU7MAV554CVTYU5XAB575F","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":"7123b1ecc0fc069c19eae827dab1668ef5a6fed58a312ded70b249c1937338cb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T21:33:07Z","title_canon_sha256":"b17bfee53d1cef228ba41caf233068b421be1054df9df62fa96ea18455f4ed23"},"schema_version":"1.0","source":{"id":"2606.11462","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.11462","created_at":"2026-06-11T01:09:49Z"},{"alias_kind":"arxiv_version","alias_value":"2606.11462v1","created_at":"2026-06-11T01:09:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.11462","created_at":"2026-06-11T01:09:49Z"},{"alias_kind":"pith_short_12","alias_value":"RL3ALU7MAV55","created_at":"2026-06-11T01:09:49Z"},{"alias_kind":"pith_short_16","alias_value":"RL3ALU7MAV554CVT","created_at":"2026-06-11T01:09:49Z"},{"alias_kind":"pith_short_8","alias_value":"RL3ALU7M","created_at":"2026-06-11T01:09:49Z"}],"graph_snapshots":[{"event_id":"sha256:506316e8ca856d5831fd31249db302b47292e54a9481aa0ac89a6fdee839bbd5","target":"graph","created_at":"2026-06-11T01:09: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.11462/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Jordan J. Rios, Michael C. Hunter, Myra B. Cohen, Robyn R. Lutz, Salil Purandare, Usman Gohar","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T21:33:07Z","title":"Defeater Cards: Characterizing and Managing Safety Assurance Case Defeaters"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.11462","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:33c000153fd83a9b6c2ccdedf79007a5872866ef7992c6e4837fac27e6558f75","target":"record","created_at":"2026-06-11T01:09: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":"7123b1ecc0fc069c19eae827dab1668ef5a6fed58a312ded70b249c1937338cb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T21:33:07Z","title_canon_sha256":"b17bfee53d1cef228ba41caf233068b421be1054df9df62fa96ea18455f4ed23"},"schema_version":"1.0","source":{"id":"2606.11462","kind":"arxiv","version":1}},"canonical_sha256":"8af605d3ec057bde0ab3c53b7007bfe9425dba2d7d28763aa397bbefd099ea76","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8af605d3ec057bde0ab3c53b7007bfe9425dba2d7d28763aa397bbefd099ea76","first_computed_at":"2026-06-11T01:09:49.882662Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-11T01:09:49.882662Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NIB8awHliV5eqI4YYjcUSXRGXPRgRCnPtGXq25OxOeIjGxbO7DOx+2XsMIyYM25CTFlgH/rrtxi/ncSQqsEyAA==","signature_status":"signed_v1","signed_at":"2026-06-11T01:09:49.883505Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.11462","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:33c000153fd83a9b6c2ccdedf79007a5872866ef7992c6e4837fac27e6558f75","sha256:506316e8ca856d5831fd31249db302b47292e54a9481aa0ac89a6fdee839bbd5"],"state_sha256":"e903a4ff03a9b05c02d2a8e995fa3d1bc83c1fb6bb5128710aa8a23399f5e117"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WoPrvSETr/qjCEJYjNbLrCC6fGXXAXaOHPUVP4zmEovv8p9E5HcAdRvejO6fJEYoMdUWAW/jP1EMGuknWpYpDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T18:41:11.928161Z","bundle_sha256":"21864026a504fda5a86ef04f4fc5332437ac5bae74634da6fd8e5ee3f1832f6b"}}