TY - RPRT TI - Don't Trust the Code, Check Its Effects: Runtime Refinement for Regenerated Systems Code Under an Adversarial Generator AU - Jinhao Hu AU - Ashvin Goel AU - Laurent Bindschaedler PY - 2026 DO - 10.1145/3843967.3844678 UR - https://arxiv.org/abs/2609.00430 ID - 2609.00430 ER -