Inconsistent model availability

Alright, I registered new account to try using Codex. There seems to be a lot of inconsistency:

  1. I was able to use o3 in Codex, although limits are so low it’s impractical for anything
  2. o4-mini works
  3. “Limits” in profile shows “o3” as locked due to lacking verification (?!?)
  4. There’s no o3-mini on limits page, also in /v1/models endpoint

Looks like a bug? What can be a reason to allow o4-mini but not o3-mini? Also seems like web site info is inconsistent with backend.