Pi discovery used one High-capped picker for every reasoning model.
get_available_thinking_levels is session-scoped, so catalog discovery
now reads each get_available_models thinkingLevelMap instead. Extra
High and Max appear only when the map has a non-null entry.