I haven't looked into the code in detail yet, but it seems that when all "high" messages are exhausted, it still switches to "o3-mini".
By
–

I haven't looked into the code in detail yet, but it seems that when all "high" messages are exhausted, it still switches to "o3-mini".