David decided: Workspace model default changed to Gemini Flash, agents mode gated to Pro

David set two product decisions in a single instruction to a Codex agent working in the Kerra workspace:

go study the workspace on kerra. i want you to change the default model in the dropdown from 'auto' to gemini 3 flash. and also, i want you to make that 'agents — has its own computer' only a pro feature. ie. similar to the other models that are blocked for free/plus users, block that model too for

Both changes were about controlling cost exposure and feature positioning: the default model change reduces AI compute cost for free-tier users by routing them to the cheaper Flash model, while the agents mode gate reserves the most resource-intensive mode for paying users.