Use Codex on a Small, Known Migration First
Before applying a mechanical change across a repository, prove it on a file whose intended result you can inspect completely.
Create an isolated worktree and choose a small example with one normal case and one exception. Ask Codex to make the migration, run the relevant checks and show the exact diff. Keep a record of any rule that needed clarification.
Only then expand the same procedure to the larger set. Compare the touched-file list with the intended scope and inspect exceptions separately. A worktree keeps the experiment's edits apart from your main checkout; it does not prove that the transformation is correct. The known example and the repository's checks supply that evidence.