{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:2B7LQQ3ET5VD6K75KVLQLDJPLO","short_pith_number":"pith:2B7LQQ3E","canonical_record":{"source":{"id":"2607.04092","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-05T03:07:10Z","cross_cats_sorted":[],"title_canon_sha256":"5ef72f0f357d93fa5b0d0ab5fbddae57c5d52c664211420983c4081786c95d2d","abstract_canon_sha256":"109a04e84d643102d1a9b4858d33f0e6784063ff6a4579537d9f98334fad65bb"},"schema_version":"1.0"},"canonical_sha256":"d07eb843649f6a3f2bfd5557058d2f5baad014f91aad16916ca120fc6e6f451d","source":{"kind":"arxiv","id":"2607.04092","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:2B7LQQ3ET5VD6K75KVLQLDJPLO","target":"record","payload":{"canonical_record":{"source":{"id":"2607.04092","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-05T03:07:10Z","cross_cats_sorted":[],"title_canon_sha256":"5ef72f0f357d93fa5b0d0ab5fbddae57c5d52c664211420983c4081786c95d2d","abstract_canon_sha256":"109a04e84d643102d1a9b4858d33f0e6784063ff6a4579537d9f98334fad65bb"},"schema_version":"1.0"},"canonical_sha256":"d07eb843649f6a3f2bfd5557058d2f5baad014f91aad16916ca120fc6e6f451d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-07T02:18:57.013770Z","signature_b64":"tNnrWGy1NdtaLHuwyY+ZaUTRPt0MVlzzAV/Op9JH2v2hp//tpCV0cynTJOYJVT3cYobGJgOp96DtMyBW5Dw9DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d07eb843649f6a3f2bfd5557058d2f5baad014f91aad16916ca120fc6e6f451d","last_reissued_at":"2026-07-07T02:18:57.012996Z","signature_status":"signed_v1","first_computed_at":"2026-07-07T02:18:57.012996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.04092","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-07-07T02:18:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KkWjZvO+PoDaKzWJmBpx0eK5JpjYeuKXacnsrJHijpbMjXVz9n4Y8AlR0/tq+h+ua5m7ZiIPioqz4tJe9TfsBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T17:39:25.186178Z"},"content_sha256":"1da46d552eec7e4981d8d06ee025158e529b0a0f55076f7e71411742555ff4da","schema_version":"1.0","event_id":"sha256:1da46d552eec7e4981d8d06ee025158e529b0a0f55076f7e71411742555ff4da"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:2B7LQQ3ET5VD6K75KVLQLDJPLO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexander Knapp, Chunyang Chen, Phillip Entin, Wenchao Gu","submitted_at":"2026-07-05T03:07:10Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.04092","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/2607.04092/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-07-07T02:18:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pj0LiXjKzPaIFbT0gA/AcJ7MHnKMb2VP1Y7Ur3qzERGJrsVdTzkek4g2AXoLTsnmWaqsryvU4AGBmq/2dsAWAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T17:39:25.186475Z"},"content_sha256":"4385052240b9c6091137aaf9c7838319090e1a7b3080c0a53841eae800b25f7f","schema_version":"1.0","event_id":"sha256:4385052240b9c6091137aaf9c7838319090e1a7b3080c0a53841eae800b25f7f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2B7LQQ3ET5VD6K75KVLQLDJPLO/bundle.json","state_url":"https://pith.science/pith/2B7LQQ3ET5VD6K75KVLQLDJPLO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2B7LQQ3ET5VD6K75KVLQLDJPLO/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-07-31T17:39:25Z","links":{"resolver":"https://pith.science/pith/2B7LQQ3ET5VD6K75KVLQLDJPLO","bundle":"https://pith.science/pith/2B7LQQ3ET5VD6K75KVLQLDJPLO/bundle.json","state":"https://pith.science/pith/2B7LQQ3ET5VD6K75KVLQLDJPLO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2B7LQQ3ET5VD6K75KVLQLDJPLO/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fGmMJVv6Hbn96qOnupTuZ6JUimFmPswZej80sq9Z2Xi7dEiAI9UEOGrt4yvMIGT7TwNWX7ZaG0bsCC9sINBLAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-31T17:39:25.189720Z","bundle_sha256":"50ac7876c1fd0ebff81c0323457939b58b0ab6f4c6624dc1c7bf3441b881c5c5"}}