{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:2B7LQQ3ET5VD6K75KVLQLDJPLO","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":"109a04e84d643102d1a9b4858d33f0e6784063ff6a4579537d9f98334fad65bb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-05T03:07:10Z","title_canon_sha256":"5ef72f0f357d93fa5b0d0ab5fbddae57c5d52c664211420983c4081786c95d2d"},"schema_version":"1.0","source":{"id":"2607.04092","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.04092","created_at":"2026-07-07T02:18:57Z"},{"alias_kind":"arxiv_version","alias_value":"2607.04092v1","created_at":"2026-07-07T02:18:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.04092","created_at":"2026-07-07T02:18:57Z"},{"alias_kind":"pith_short_12","alias_value":"2B7LQQ3ET5VD","created_at":"2026-07-07T02:18:57Z"},{"alias_kind":"pith_short_16","alias_value":"2B7LQQ3ET5VD6K75","created_at":"2026-07-07T02:18:57Z"},{"alias_kind":"pith_short_8","alias_value":"2B7LQQ3E","created_at":"2026-07-07T02:18:57Z"}],"graph_snapshots":[{"event_id":"sha256:4385052240b9c6091137aaf9c7838319090e1a7b3080c0a53841eae800b25f7f","target":"graph","created_at":"2026-07-07T02:18: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/2607.04092/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"COBOL remains critical across banking, insurance, and government infrastructure. However, maintenance is increasingly challenging due to outdated technologies, sparse documentation, and developer retirement, necessitating code translation into modern languages like C. Traditional rule-based transcompilers yield outputs that are difficult to read and maintain, while general-purpose large language models (LLMs) achieve suboptimal correctness because COBOL is a low-resource language with distinct logic patterns. To bridge this gap, we propose SEDCoT, a novel COBOL-to-C translation framework. SEDC","authors_text":"Alexander Knapp, Chunyang Chen, Phillip Entin, Wenchao Gu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-05T03:07:10Z","title":"SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.04092","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:1da46d552eec7e4981d8d06ee025158e529b0a0f55076f7e71411742555ff4da","target":"record","created_at":"2026-07-07T02:18: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":"109a04e84d643102d1a9b4858d33f0e6784063ff6a4579537d9f98334fad65bb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-05T03:07:10Z","title_canon_sha256":"5ef72f0f357d93fa5b0d0ab5fbddae57c5d52c664211420983c4081786c95d2d"},"schema_version":"1.0","source":{"id":"2607.04092","kind":"arxiv","version":1}},"canonical_sha256":"d07eb843649f6a3f2bfd5557058d2f5baad014f91aad16916ca120fc6e6f451d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d07eb843649f6a3f2bfd5557058d2f5baad014f91aad16916ca120fc6e6f451d","first_computed_at":"2026-07-07T02:18:57.012996Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-07T02:18:57.012996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tNnrWGy1NdtaLHuwyY+ZaUTRPt0MVlzzAV/Op9JH2v2hp//tpCV0cynTJOYJVT3cYobGJgOp96DtMyBW5Dw9DA==","signature_status":"signed_v1","signed_at":"2026-07-07T02:18:57.013770Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.04092","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1da46d552eec7e4981d8d06ee025158e529b0a0f55076f7e71411742555ff4da","sha256:4385052240b9c6091137aaf9c7838319090e1a7b3080c0a53841eae800b25f7f"],"state_sha256":"2758d0371dcc90412f00ec110119485718364b9350beb22fea02b54c8446af72"}