TY - RPRT TI - Post-Edit Re-Verification in Simulator-Backed Engineering Agents: A Controlled Comparison of Verification-Cadence Guidance AU - Qingchuan Zhu AU - Shuyue Tong AU - Pengju Ren PY - 2026 UR - https://arxiv.org/abs/2608.28147 ID - 2608.28147 ER -