asked codex to try something or abandon it if it can't find a reasonable solution, and it created a goal with a token budget. so that's a feature. i don't think it's exposed in the ui yet, but you can say like "create this and that goal with a 50m token budget".