A practical workflow: target selection, context packaging, error-path invariants, and verification—using an AI coding agent as an accelerator.