{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:A3RX5KKJDH5G5ASBNFEID3MIBR","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":"3fcd4e13b6f540fffd2b60b653bb13fa42b05227f79a78b98176976240219ef8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-07T09:15:23Z","title_canon_sha256":"06b585764e6b3e12191eeb117aa27c864432bbbe546f1a46097a0b664fc5dd34"},"schema_version":"1.0","source":{"id":"2607.06039","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.06039","created_at":"2026-07-08T01:18:54Z"},{"alias_kind":"arxiv_version","alias_value":"2607.06039v1","created_at":"2026-07-08T01:18:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.06039","created_at":"2026-07-08T01:18:54Z"},{"alias_kind":"pith_short_12","alias_value":"A3RX5KKJDH5G","created_at":"2026-07-08T01:18:54Z"},{"alias_kind":"pith_short_16","alias_value":"A3RX5KKJDH5G5ASB","created_at":"2026-07-08T01:18:54Z"},{"alias_kind":"pith_short_8","alias_value":"A3RX5KKJ","created_at":"2026-07-08T01:18:54Z"}],"graph_snapshots":[{"event_id":"sha256:5eff7f23a8363c6164734271070ceb99a46bb6f612c41b375edbb6a12bbaf81d","target":"graph","created_at":"2026-07-08T01:18:54Z","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/2607.06039/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"High-integrity systems, such as autonomous vehicle fleets and large-scale energy infrastructures, rely on structured assurance cases to justify safety claims. To remain valid under evolving operational conditions, such cases must be examined against potential challenges, known as defeaters. While large language models (LLMs) can support the scalable generation of candidate defeaters, assessing their quality remains largely manual and subjective process. This paper presents an automated approach for supporting the assessment of LLM-generated defeaters using natural language processing technique","authors_text":"Daniel Ratiu, Stefan Wagner, Tihomir Rohlinger","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-07T09:15:23Z","title":"Automating Quality Assessment with NLP of LLM-Generated Defeaters"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.06039","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:ddea31e5b93ddf834c30aa5bff821f73d9b74a79e21326ff5d1c5f137b3eb913","target":"record","created_at":"2026-07-08T01:18:54Z","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":"3fcd4e13b6f540fffd2b60b653bb13fa42b05227f79a78b98176976240219ef8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-07T09:15:23Z","title_canon_sha256":"06b585764e6b3e12191eeb117aa27c864432bbbe546f1a46097a0b664fc5dd34"},"schema_version":"1.0","source":{"id":"2607.06039","kind":"arxiv","version":1}},"canonical_sha256":"06e37ea94919fa6e8241694881ed880c7ab7b31ad0a3e508df35aacc4330a7ff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"06e37ea94919fa6e8241694881ed880c7ab7b31ad0a3e508df35aacc4330a7ff","first_computed_at":"2026-07-08T01:18:54.698606Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-08T01:18:54.698606Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oFoYpAY/5UsqMrHSUrhwY/CjnayLu6bBR34+T0BB52zy5C5tpRnTU+8vXc/ODviw4co9ZAqFVwGoe+NNChuJCw==","signature_status":"signed_v1","signed_at":"2026-07-08T01:18:54.699071Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.06039","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ddea31e5b93ddf834c30aa5bff821f73d9b74a79e21326ff5d1c5f137b3eb913","sha256:5eff7f23a8363c6164734271070ceb99a46bb6f612c41b375edbb6a12bbaf81d"],"state_sha256":"3b42f7ac645f8a7f00962e7415693038ea3a3ca02e8802ac0bc48d074d809eff"}