fn describe_rung(effort: ReasoningEffort, budget: i32) -> StringExpand description
The description shown in /v1/models and the settings UI for one rung.
Spells out both halves, including the fact that the effort half is only a request: a user reading the list should not have to know ADR 0007 to learn that a template may ignore it.