Specify model for rescue agent

The codex-rescue agent now explicitly declares which AI model it uses (Sonnet), ensuring predictable performance and cost. Previously it relied on a default assignment, which could vary.