{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:DXPRU3JKZGIMV4NBLULPL3S4BL","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"d291396de7e1fa3d487eeef4751fbe76065af573dec6fc48639a7d042ba3928f","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-05-19T11:00:34Z","title_canon_sha256":"eabbacd2d44945832e6a77b53b1cb05928e6aab1e8c0426745611dc529070287"},"schema_version":"1.0","source":{"id":"2605.19668","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.19668","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"arxiv_version","alias_value":"2605.19668v1","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.19668","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"pith_short_12","alias_value":"DXPRU3JKZGIM","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"pith_short_16","alias_value":"DXPRU3JKZGIMV4NB","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"pith_short_8","alias_value":"DXPRU3JK","created_at":"2026-05-20T01:05:57Z"}],"graph_snapshots":[{"event_id":"sha256:51721ce670c16a350e96718a21948c3653ba59a942b1970d60b1607681094a61","target":"graph","created_at":"2026-05-20T01:05:57Z","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/2605.19668/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Critical-infrastructure operators are increasingly expected to assess and remediate vulnerabilities in deployed industrial software. However, much of this software exists as opaque industrial software (OIS), including stripped firmware, proprietary protocol handlers, and compiled control logic without source code, symbols, build environments, or hardware interfaces. While binary analysis can identify vulnerability candidates, existing automated repair systems largely rely on source code, compilable artifacts, sanitizer feedback, or instrumentable builds, leaving a gap between binary-level disc","authors_text":"Bowei Ning, Guogang Wang, Jinyang Liu, Kan He, Lian Lian, Xuejun Zong, Yifei Sun","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-05-19T11:00:34Z","title":"SCARA: A Semantics-Constrained Autonomous Remediation Agent for Opaque Industrial Software Vulnerabilities"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.19668","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:cf0cffa65405b391235382ac5d67d818e0a2f66d5d2b09ce69fdf09e977e2cb9","target":"record","created_at":"2026-05-20T01:05:57Z","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":"d291396de7e1fa3d487eeef4751fbe76065af573dec6fc48639a7d042ba3928f","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-05-19T11:00:34Z","title_canon_sha256":"eabbacd2d44945832e6a77b53b1cb05928e6aab1e8c0426745611dc529070287"},"schema_version":"1.0","source":{"id":"2605.19668","kind":"arxiv","version":1}},"canonical_sha256":"1ddf1a6d2ac990caf1a15d16f5ee5c0aeeb43f752708174d6b48ed92983208d0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1ddf1a6d2ac990caf1a15d16f5ee5c0aeeb43f752708174d6b48ed92983208d0","first_computed_at":"2026-05-20T01:05:57.008999Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T01:05:57.008999Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XdTfWiNKpTxkxhgarZEVINQzpYxp/vWdTn9iayJeN9vCOPnVLzccdZq4+leBU+1Z6kXqPI1RVubTnpM6JBY9Dg==","signature_status":"signed_v1","signed_at":"2026-05-20T01:05:57.009732Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.19668","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cf0cffa65405b391235382ac5d67d818e0a2f66d5d2b09ce69fdf09e977e2cb9","sha256:51721ce670c16a350e96718a21948c3653ba59a942b1970d60b1607681094a61","sha256:79566ac07f7c854d066c74912db6901b0d34c889e1ad556efa2c39ef901b3b4e"],"state_sha256":"640b86511b29b7db6d333a67a82021c8d7dc916db24ec81afdcdbd489b9de1e6"}