{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:SPCBNWHGX7OWVE5HW5YXQVOBGX","short_pith_number":"pith:SPCBNWHG","canonical_record":{"source":{"id":"2605.15238","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-05-14T03:18:16Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"89af96dffa207f814395c1be1e965d1aeec62dbae698d1c1bb69135258e2e1ae","abstract_canon_sha256":"e6b887b5a2d0d9c05a9a4fb154a132205430ae9beea2bd85e39bfb952ed308a1"},"schema_version":"1.0"},"canonical_sha256":"93c416d8e6bfdd6a93a7b7717855c135d7b3eb95dc6a47f843ea5025475be76c","source":{"kind":"arxiv","id":"2605.15238","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.15238","created_at":"2026-05-20T00:00:47Z"},{"alias_kind":"arxiv_version","alias_value":"2605.15238v1","created_at":"2026-05-20T00:00:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.15238","created_at":"2026-05-20T00:00:47Z"},{"alias_kind":"pith_short_12","alias_value":"SPCBNWHGX7OW","created_at":"2026-05-20T00:00:47Z"},{"alias_kind":"pith_short_16","alias_value":"SPCBNWHGX7OWVE5H","created_at":"2026-05-20T00:00:47Z"},{"alias_kind":"pith_short_8","alias_value":"SPCBNWHG","created_at":"2026-05-20T00:00:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:SPCBNWHGX7OWVE5HW5YXQVOBGX","target":"record","payload":{"canonical_record":{"source":{"id":"2605.15238","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-05-14T03:18:16Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"89af96dffa207f814395c1be1e965d1aeec62dbae698d1c1bb69135258e2e1ae","abstract_canon_sha256":"e6b887b5a2d0d9c05a9a4fb154a132205430ae9beea2bd85e39bfb952ed308a1"},"schema_version":"1.0"},"canonical_sha256":"93c416d8e6bfdd6a93a7b7717855c135d7b3eb95dc6a47f843ea5025475be76c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:00:47.867129Z","signature_b64":"0/GKLaxlQRlIYDdd0fm6mShXJqE6dbZjD5SVsQzzTLfP9h+bHFERx8SVoKlrnwVT0A4ge1pumm1EdYdoOPOkDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"93c416d8e6bfdd6a93a7b7717855c135d7b3eb95dc6a47f843ea5025475be76c","last_reissued_at":"2026-05-20T00:00:47.866234Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:00:47.866234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.15238","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-05-20T00:00:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NefgB1blQVrk2T7Z11JpxBYv7IceYR8u6g6q9wGbK9FcnfOcBVmiW7lPNBu1oUZkEZKlYwnQ/hekK2fb1T1HDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T03:12:31.257818Z"},"content_sha256":"b23009235fdd0bbfa20582113bb190169cd42b8fba799bf86539a522390517a7","schema_version":"1.0","event_id":"sha256:b23009235fdd0bbfa20582113bb190169cd42b8fba799bf86539a522390517a7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:SPCBNWHGX7OWVE5HW5YXQVOBGX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Hydra enables asynchronous compile checks and targeted rollback repairs for LLM-generated C/C++ code.","cross_cats":["cs.AI","cs.PL"],"primary_cat":"cs.SE","authors_text":"Alexander Du, Danyang Zhuo, Jianjun Ou, Matthew Lentz","submitted_at":"2026-05-14T03:18:16Z","abstract_excerpt":"Large language models are increasingly used for code generation, but many generated programs fail to compile, a prerequisite for further correctness checks such as unit tests. Existing solutions for repairing static errors are costly in both latency and token consumption. Post-hoc repair delays error detection until generation completes and commonly regenerates large regions of previously valid code. Constrained semantic decoding checks after each token, incurring per-token overhead while limiting repair to the current token even when the root cause lies earlier.\n  We present Hydra, a system f"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Paired with a token-efficient repair strategy, Hydra reduces latency by up to 71% and token consumption by up to 70% relative to post-hoc repair on C/C++ code generation tasks that encounter static errors.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That retrofitting the Clang C/C++ compiler with modest modifications is sufficient to provide reliable checkpoint-and-rollback support without introducing substantial overhead or breaking compatibility for typical code generation workloads.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Hydra enables asynchronous static error checking and targeted checkpoint-rollback repair during LLM code generation, cutting latency by up to 71% and token use by up to 70% versus post-hoc repair on C/C++ tasks.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Hydra enables asynchronous compile checks and targeted rollback repairs for LLM-generated C/C++ code.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"1df7969ab240d05ddbf9aba7aaf73eb2ec51119ac8760483aff134379138b8be"},"source":{"id":"2605.15238","kind":"arxiv","version":1},"verdict":{"id":"3dc3bb36-d03d-40eb-925c-8dec88008e7d","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-19T16:28:08.503480Z","strongest_claim":"Paired with a token-efficient repair strategy, Hydra reduces latency by up to 71% and token consumption by up to 70% relative to post-hoc repair on C/C++ code generation tasks that encounter static errors.","one_line_summary":"Hydra enables asynchronous static error checking and targeted checkpoint-rollback repair during LLM code generation, cutting latency by up to 71% and token use by up to 70% versus post-hoc repair on C/C++ tasks.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That retrofitting the Clang C/C++ compiler with modest modifications is sufficient to provide reliable checkpoint-and-rollback support without introducing substantial overhead or breaking compatibility for typical code generation workloads.","pith_extraction_headline":"Hydra enables asynchronous compile checks and targeted rollback repairs for LLM-generated C/C++ code."},"integrity":{"clean":false,"summary":{"advisory":1,"critical":0,"by_detector":{"doi_compliance":{"total":1,"advisory":1,"critical":0,"informational":0}},"informational":0},"endpoint":"/pith/2605.15238/integrity.json","findings":[{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.5555/1387589.1387601) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detector":"doi_compliance","severity":"advisory","ref_index":9,"audited_at":"2026-05-19T16:36:34.879914Z","detected_doi":"10.5555/1387589.1387601","finding_type":"recoverable_identifier","verdict_class":"incontrovertible","detected_arxiv_id":null}],"available":true,"detectors_run":[{"name":"doi_title_agreement","ran_at":"2026-05-19T17:01:18.457683Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T16:36:34.879914Z","status":"completed","version":"1.0.0","findings_count":1},{"name":"claim_evidence","ran_at":"2026-05-19T16:01:54.929824Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T13:33:22.824902Z","status":"skipped","version":"1.0.0","findings_count":0}],"snapshot_sha256":"775e732fa7d6441e9d487aa2c6a2e0a1a4f4ef3e0cc5ff2b44d97e4662994d0e"},"references":{"count":42,"sample":[{"doi":"","year":2023,"title":"Lakshya Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K Lahiri, and Sriram Rajamani. 2023. Monitor-guided decoding of code LMs with static analysis of repository context. InConference on Neural Inform","work_id":"ff496f85-8752-46c6-bfb7-21a3e351b238","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2026,"title":"Anthropic. 2026. Claude Code.https://claude.com/product/claude- codeAccessed: 2026-04-09","work_id":"07b1757e-3ba0-4d96-ad71-f33105983384","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.18653/v1/2024.findings-","year":2024,"title":"InFindings of the Association for Computational Linguistics: EMNLP 2024, Yaser Al-Onaizan, Mohit Bansal, and Yun-Nung Chen (Eds.)","work_id":"fffd831e-2bf2-4f3a-b0a5-062434ae1d3e","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1145/3689728","year":2024,"title":"Statically contextualizing large language models with typed holes","work_id":"2f105b35-00d3-4807-839b-cb19f8b7a18d","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"Test Intention Guided LLM-Based Unit Test Generation","work_id":"c383b7e9-bd1e-4268-b134-a4e43d7560a3","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":42,"snapshot_sha256":"237f2d80289bc8f3eae74f36e314f5d00051601146d43cb6dd91e2a8f7e8e411","internal_anchors":3},"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":"3dc3bb36-d03d-40eb-925c-8dec88008e7d"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-20T00:00:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u6T5Myg41FtFsp4BvQsLtMR1I8GHhOrVAuvhizUoigg/GlrjMjDUDXlaO3QsMSlhMaviz/9rX56SVAM2w2rJDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T03:12:31.258489Z"},"content_sha256":"8c571fb7660046c49b4d25a1a8275257e5d5e99398b1298930030f9e1ef63d11","schema_version":"1.0","event_id":"sha256:8c571fb7660046c49b4d25a1a8275257e5d5e99398b1298930030f9e1ef63d11"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:SPCBNWHGX7OWVE5HW5YXQVOBGX","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.5555/1387589.1387601) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Brendan Cully, Geoffrey Lefebvre, Dutch Meyer, Mike Feeley, Norm Hutchinson, and Andrew Warfield. 2008. Remus: high availability via asynchronous virtual machine replication. InSymposium on Networked Systems Design and Implementation (NSDI)","arxiv_id":"2605.15238","detector":"doi_compliance","evidence":{"ref_index":9,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Brendan Cully, Geoffrey Lefebvre, Dutch Meyer, Mike Feeley, Norm Hutchinson, and Andrew Warfield. 2008. Remus: high availability via asynchronous virtual machine replication. InSymposium on Networked Systems Design and Implementation (NSDI)","reconstructed_doi":"10.5555/1387589.1387601"},"severity":"advisory","ref_index":9,"audited_at":"2026-05-19T16:36:34.879914Z","event_type":"pith.integrity.v1","detected_doi":"10.5555/1387589.1387601","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"c4695959d9590d2b4e29fd6194c06c6b974fbc95feab1d574c52f8d4852768b6","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":2067,"payload_sha256":"5778b7d076e2ae64fc94a7c20b3ad905843fed3fec8da16bea4086765f8322d5","signature_b64":"AoNoDBOqoyFRM0HrRVfferC73h14IdPlhBT6lVeUVhfe/L++M+zj71S9YABe7VGNR3IcMTwVcb8zWHDJe0s4CA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T16:37:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+Cas585xG5acK/MfEpD1+euIPr727UiE/VpXel8ebS8P1wdQhd/pOnsnmYZf0RhbsNDLBV/GxzZ/pDeFrva+Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T03:12:31.259366Z"},"content_sha256":"828efadba81d46eb4bbe062dcdc78a33de5b71a897dcb711883cec0856a59874","schema_version":"1.0","event_id":"sha256:828efadba81d46eb4bbe062dcdc78a33de5b71a897dcb711883cec0856a59874"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SPCBNWHGX7OWVE5HW5YXQVOBGX/bundle.json","state_url":"https://pith.science/pith/SPCBNWHGX7OWVE5HW5YXQVOBGX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SPCBNWHGX7OWVE5HW5YXQVOBGX/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-05-22T03:12:31Z","links":{"resolver":"https://pith.science/pith/SPCBNWHGX7OWVE5HW5YXQVOBGX","bundle":"https://pith.science/pith/SPCBNWHGX7OWVE5HW5YXQVOBGX/bundle.json","state":"https://pith.science/pith/SPCBNWHGX7OWVE5HW5YXQVOBGX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SPCBNWHGX7OWVE5HW5YXQVOBGX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:SPCBNWHGX7OWVE5HW5YXQVOBGX","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":"e6b887b5a2d0d9c05a9a4fb154a132205430ae9beea2bd85e39bfb952ed308a1","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-05-14T03:18:16Z","title_canon_sha256":"89af96dffa207f814395c1be1e965d1aeec62dbae698d1c1bb69135258e2e1ae"},"schema_version":"1.0","source":{"id":"2605.15238","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.15238","created_at":"2026-05-20T00:00:47Z"},{"alias_kind":"arxiv_version","alias_value":"2605.15238v1","created_at":"2026-05-20T00:00:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.15238","created_at":"2026-05-20T00:00:47Z"},{"alias_kind":"pith_short_12","alias_value":"SPCBNWHGX7OW","created_at":"2026-05-20T00:00:47Z"},{"alias_kind":"pith_short_16","alias_value":"SPCBNWHGX7OWVE5H","created_at":"2026-05-20T00:00:47Z"},{"alias_kind":"pith_short_8","alias_value":"SPCBNWHG","created_at":"2026-05-20T00:00:47Z"}],"graph_snapshots":[{"event_id":"sha256:8c571fb7660046c49b4d25a1a8275257e5d5e99398b1298930030f9e1ef63d11","target":"graph","created_at":"2026-05-20T00:00:47Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Paired with a token-efficient repair strategy, Hydra reduces latency by up to 71% and token consumption by up to 70% relative to post-hoc repair on C/C++ code generation tasks that encounter static errors."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That retrofitting the Clang C/C++ compiler with modest modifications is sufficient to provide reliable checkpoint-and-rollback support without introducing substantial overhead or breaking compatibility for typical code generation workloads."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Hydra enables asynchronous static error checking and targeted checkpoint-rollback repair during LLM code generation, cutting latency by up to 71% and token use by up to 70% versus post-hoc repair on C/C++ tasks."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Hydra enables asynchronous compile checks and targeted rollback repairs for LLM-generated C/C++ code."}],"snapshot_sha256":"1df7969ab240d05ddbf9aba7aaf73eb2ec51119ac8760483aff134379138b8be"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":false,"detectors_run":[{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T17:01:18.457683Z","status":"completed","version":"1.0.0"},{"findings_count":1,"name":"doi_compliance","ran_at":"2026-05-19T16:36:34.879914Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T16:01:54.929824Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T13:33:22.824902Z","status":"skipped","version":"1.0.0"}],"endpoint":"/pith/2605.15238/integrity.json","findings":[{"audited_at":"2026-05-19T16:36:34.879914Z","detected_arxiv_id":null,"detected_doi":"10.5555/1387589.1387601","detector":"doi_compliance","finding_type":"recoverable_identifier","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.5555/1387589.1387601) was visible in the surrounding text but could not be confirmed against doi.org as printed.","ref_index":9,"severity":"advisory","verdict_class":"incontrovertible"}],"snapshot_sha256":"775e732fa7d6441e9d487aa2c6a2e0a1a4f4ef3e0cc5ff2b44d97e4662994d0e","summary":{"advisory":1,"by_detector":{"doi_compliance":{"advisory":1,"critical":0,"informational":0,"total":1}},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models are increasingly used for code generation, but many generated programs fail to compile, a prerequisite for further correctness checks such as unit tests. Existing solutions for repairing static errors are costly in both latency and token consumption. Post-hoc repair delays error detection until generation completes and commonly regenerates large regions of previously valid code. Constrained semantic decoding checks after each token, incurring per-token overhead while limiting repair to the current token even when the root cause lies earlier.\n  We present Hydra, a system f","authors_text":"Alexander Du, Danyang Zhuo, Jianjun Ou, Matthew Lentz","cross_cats":["cs.AI","cs.PL"],"headline":"Hydra enables asynchronous compile checks and targeted rollback repairs for LLM-generated C/C++ code.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-05-14T03:18:16Z","title":"Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support"},"references":{"count":42,"internal_anchors":3,"resolved_work":42,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Lakshya Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K Lahiri, and Sriram Rajamani. 2023. Monitor-guided decoding of code LMs with static analysis of repository context. InConference on Neural Inform","work_id":"ff496f85-8752-46c6-bfb7-21a3e351b238","year":2023},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Anthropic. 2026. Claude Code.https://claude.com/product/claude- codeAccessed: 2026-04-09","work_id":"07b1757e-3ba0-4d96-ad71-f33105983384","year":2026},{"cited_arxiv_id":"","doi":"10.18653/v1/2024.findings-","is_internal_anchor":false,"ref_index":3,"title":"InFindings of the Association for Computational Linguistics: EMNLP 2024, Yaser Al-Onaizan, Mohit Bansal, and Yun-Nung Chen (Eds.)","work_id":"fffd831e-2bf2-4f3a-b0a5-062434ae1d3e","year":2024},{"cited_arxiv_id":"","doi":"10.1145/3689728","is_internal_anchor":false,"ref_index":4,"title":"Statically contextualizing large language models with typed holes","work_id":"2f105b35-00d3-4807-839b-cb19f8b7a18d","year":2024},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Test Intention Guided LLM-Based Unit Test Generation","work_id":"c383b7e9-bd1e-4268-b134-a4e43d7560a3","year":2025}],"snapshot_sha256":"237f2d80289bc8f3eae74f36e314f5d00051601146d43cb6dd91e2a8f7e8e411"},"source":{"id":"2605.15238","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-19T16:28:08.503480Z","id":"3dc3bb36-d03d-40eb-925c-8dec88008e7d","model_set":{"reader":"grok-4.3"},"one_line_summary":"Hydra enables asynchronous static error checking and targeted checkpoint-rollback repair during LLM code generation, cutting latency by up to 71% and token use by up to 70% versus post-hoc repair on C/C++ tasks.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Hydra enables asynchronous compile checks and targeted rollback repairs for LLM-generated C/C++ code.","strongest_claim":"Paired with a token-efficient repair strategy, Hydra reduces latency by up to 71% and token consumption by up to 70% relative to post-hoc repair on C/C++ code generation tasks that encounter static errors.","weakest_assumption":"That retrofitting the Clang C/C++ compiler with modest modifications is sufficient to provide reliable checkpoint-and-rollback support without introducing substantial overhead or breaking compatibility for typical code generation workloads."}},"verdict_id":"3dc3bb36-d03d-40eb-925c-8dec88008e7d"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b23009235fdd0bbfa20582113bb190169cd42b8fba799bf86539a522390517a7","target":"record","created_at":"2026-05-20T00:00:47Z","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":"e6b887b5a2d0d9c05a9a4fb154a132205430ae9beea2bd85e39bfb952ed308a1","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-05-14T03:18:16Z","title_canon_sha256":"89af96dffa207f814395c1be1e965d1aeec62dbae698d1c1bb69135258e2e1ae"},"schema_version":"1.0","source":{"id":"2605.15238","kind":"arxiv","version":1}},"canonical_sha256":"93c416d8e6bfdd6a93a7b7717855c135d7b3eb95dc6a47f843ea5025475be76c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"93c416d8e6bfdd6a93a7b7717855c135d7b3eb95dc6a47f843ea5025475be76c","first_computed_at":"2026-05-20T00:00:47.866234Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:00:47.866234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0/GKLaxlQRlIYDdd0fm6mShXJqE6dbZjD5SVsQzzTLfP9h+bHFERx8SVoKlrnwVT0A4ge1pumm1EdYdoOPOkDQ==","signature_status":"signed_v1","signed_at":"2026-05-20T00:00:47.867129Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.15238","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:828efadba81d46eb4bbe062dcdc78a33de5b71a897dcb711883cec0856a59874","sha256:b23009235fdd0bbfa20582113bb190169cd42b8fba799bf86539a522390517a7","sha256:8c571fb7660046c49b4d25a1a8275257e5d5e99398b1298930030f9e1ef63d11"],"state_sha256":"877ba31182478cf0a0daed18f510d48ae90863e9cb5cc18ea8c18856f92521a1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pDKcT8e4lJofp4ck6mF+moxHoEb6RQp+Gg+LuN74nGTDj7wtfnISS7am4B0ATwBElDg/+f70sZbDharn0vkwDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T03:12:31.262113Z","bundle_sha256":"afbd64beb2d9a5bdfc6f10a14f1e2691f59c87a00240e7c098c31adf09fa54cf"}}