It's not documented - that's the whole point. They can scale it back and forth opaquely, letting the high volume users get more usage whenever the low-volume users aren't using it much. If it's explicit and transparent, you don't get the benefit of that, since it would be gamed by unscrupulous power users.

Also there's a cli argument that lets you specify the model. try `claude --help`.