The model was chosen for time-to-first-token, not for reasoning
On a phone call the strongest model is the wrong model if it thinks for two seconds. The default is a small fast one, and the choice is written down in the source next to the alternatives it was picked over — so the next person changing it knows the constraint they are trading against.
Verify: The model constant carries a comment comparing three candidates on speed against naturalness, and reads from an environment variable so it can be changed without a code edit.