The Order Is the Guarantee: Verifier-Budgeted Code Deletion with Static-First Learned Proposals
The result is an auditable division of labor: models widen the search for removable code, order bounds the damage a mis-ranked proposal can do, and execution retains authority over every committed deletion.