SAGA-Edit: Tracking Natural-Language Obligations to Reduce Unauthorized Drift in Repository-Level Code Editing
Abstract
Repository-level code edits can solve an issue while changing behavior the task did not authorize. We study this failure as drift across accepted editing transitions. SAGA-EDIT tracks evidence-backed fix and preserve obligations, checks candidate changes against them, and records decisions in a persistent ledger. On a 104-task subset, the full controller solves tasks, with drift in trajectories, compared with tasks solved and with drift without the ledger. Across 168 tasks, full evidence yields solved tasks and with drift, versus and with code/test/API evidence alone. In a 12-outcome exploratory family, the corresponding code-only drift contrast has Holm-adjusted ; no-ledger and final-state-only drift contrasts have adjusted and . A 120-task public-set comparison does not establish solve noninferiority within a 2-percentage-point margin. These results support tracking obligations through a trajectory, while incomplete specifications and limited test coverage preclude a general guarantee of semantic preservation.
est. 32% chance this paper gets accepted at ICLR 2027.
What do you think this paper will get?
All positions stay anonymous.