synaps_cli/core/
models.rs

1//! Curated list of Claude models known to work with this CLI.
2//! Centralized so the settings dropdown, defaults, and subagent hints agree.
3
4pub const KNOWN_MODELS: &[(&str, &str)] = &[
5    ("claude-sonnet-4-6",         "Sonnet 4.6 — balanced (default)"),
6    ("claude-fable-5",            "Fable 5 — latest"),
7    ("claude-opus-4-7",           "Opus 4.7 — most capable"),
8    ("claude-opus-4-6",           "Opus 4.6 — previous flagship"),
9    ("claude-haiku-4-5-20251001", "Haiku 4.5 — fast"),
10];
11
12pub fn default_model() -> &'static str {
13    KNOWN_MODELS[0].0
14}
15
16/// Returns true for models that support (and require) adaptive thinking:
17/// `thinking: {type: "adaptive"}` with NO `budget_tokens` field.
18///
19/// Per Anthropic's docs as of 2026-04: Opus 4.6+/Sonnet 4.6+ deprecated
20/// the fixed-budget `{type: "enabled", budget_tokens: N}` shape. On those
21/// models the deprecated shape is silently accepted but returns no
22/// thinking content (observed S172 on Opus 4.7). Older models (Opus 4.5,
23/// Sonnet 4.5, Haiku, Opus 3.x) still use the enabled+budget shape.
24///
25/// Adaptive thinking also auto-enables interleaved thinking — no beta
26/// header required.
27pub fn model_supports_adaptive_thinking(model: &str) -> bool {
28    let m = model.to_ascii_lowercase();
29    // Only Opus 4.7+ REQUIRES adaptive. Opus 4.6 supports it optionally
30    // but works fine with enabled+budget_tokens (and doesn't support the
31    // xhigh effort level that adaptive users expect). Keep 4.6 on the
32    // legacy path to avoid effort-mapping headaches.
33    if m.contains("opus-4-7") || m.contains("opus-4-8") || m.contains("opus-4-9") {
34        return true;
35    }
36    if m.contains("sonnet-4-7") || m.contains("sonnet-4-8") || m.contains("sonnet-4-9") {
37        return true;
38    }
39    // 5.x and beyond — assume adaptive by default.
40    if m.contains("opus-5") || m.contains("sonnet-5") || m.contains("haiku-5") || m.contains("fable-5") {
41        return true;
42    }
43    false
44}
45
46/// Maps a SynapsCLI thinking level to an Anthropic `effort` value for models
47/// that use adaptive thinking (Opus 4.6+/Sonnet 4.6+). Effort controls
48/// thinking depth when `budget_tokens` is unavailable/deprecated.
49///
50/// "adaptive" as input means "let the model decide" — returns None so the
51/// caller omits `output_config.effort` entirely.
52pub fn effort_for_thinking_level(level: &str) -> Option<&'static str> {
53    match level {
54        "low" => Some("low"),
55        "medium" | "med" => Some("medium"),
56        "high" => Some("high"),
57        "xhigh" => Some("xhigh"),
58        "adaptive" => None, // model decides
59        _ => Some("high"),  // safe default
60    }
61}
62
63/// Maps a raw `thinking_budget` value to the user-facing level name.
64///
65/// `0` is the sentinel for "adaptive" (model decides). Positive values
66/// bucket into the four fixed tiers. Single source of truth — consumed by
67/// Runtime::thinking_level, the request builders in runtime/api.rs, and
68/// the status display.
69pub fn thinking_level_for_budget(budget: u32) -> &'static str {
70    match budget {
71        0 => "adaptive",
72        1..=2048 => "low",
73        2049..=4096 => "medium",
74        4097..=16384 => "high",
75        _ => "xhigh",
76    }
77}
78
79/// Default legacy-model thinking budget used when the "adaptive" sentinel
80/// (0) leaks into the non-adaptive request path. Matches the "high" tier.
81pub const DEFAULT_LEGACY_ADAPTIVE_FALLBACK: u32 = 16384;
82
83/// Returns true for models that *support* opting into the 1M context window
84/// via the `context-1m-2025-08-07` beta header.
85///
86/// Without that header, all current Claude models operate at the default
87/// 200k window — including those documented as "1M tokens", because the
88/// extended window is gated behind the beta opt-in. This matches Anthropic's
89/// own claude-code logic (`modelSupports1M` in src/utils/context.ts).
90pub fn model_supports_1m(model: &str) -> bool {
91    let m = model.to_ascii_lowercase();
92    // Opus 4.6+, Sonnet 4 family. Newer models (5.x) assumed supported.
93    m.contains("opus-4-6") || m.contains("opus-4-7")
94        || m.contains("opus-4-8") || m.contains("opus-4-9")
95        || m.contains("sonnet-4")
96        || m.contains("opus-5") || m.contains("sonnet-5")
97        || m.contains("fable-5")
98}
99
100/// Returns the input context window size for a given model, in tokens.
101/// Used as the denominator for the chatui context-usage bar and anywhere
102/// else the client needs to know how much prompt the model will accept.
103///
104/// **All models default to 200k** — matching Anthropic's claude-code
105/// behavior. Models that support a larger window (Opus 4.6+, Sonnet 4)
106/// require explicit opt-in via the `context-1m-2025-08-07` beta header.
107/// Without the header, the model operates in 200k mode (better inference
108/// quality — context rot at long contexts is real).
109///
110/// Use [`model_supports_1m`] to check whether a model *can* opt into 1M;
111/// the actual decision happens at request time based on the user's
112/// `context_window` setting.
113pub fn context_window_for_model(_model: &str) -> u64 {
114    200_000
115}
116
117#[cfg(test)]
118mod tests {
119    use super::*;
120
121    #[test]
122    fn default_model_is_first_entry() {
123        assert_eq!(default_model(), KNOWN_MODELS[0].0);
124    }
125
126    #[test]
127    fn known_models_has_expected_ids() {
128        let ids: Vec<&str> = KNOWN_MODELS.iter().map(|(id, _)| *id).collect();
129        assert!(ids.contains(&"claude-opus-4-7"));
130        assert!(ids.contains(&"claude-sonnet-4-6"));
131        assert!(ids.contains(&"claude-haiku-4-5-20251001"));
132    }
133
134    #[test]
135    fn descriptions_are_non_empty() {
136        for (_, desc) in KNOWN_MODELS {
137            assert!(!desc.is_empty(), "empty description");
138        }
139    }
140
141    #[test]
142    fn context_window_default_is_200k_for_all_models() {
143        // Without explicit 1M opt-in (context-1m beta), every model is 200k.
144        assert_eq!(context_window_for_model("claude-opus-4-7"), 200_000);
145        assert_eq!(context_window_for_model("claude-opus-4-6"), 200_000);
146        assert_eq!(context_window_for_model("claude-sonnet-4-6"), 200_000);
147        assert_eq!(context_window_for_model("claude-opus-4-5-20251101"), 200_000);
148        assert_eq!(context_window_for_model("claude-haiku-4-5-20251001"), 200_000);
149    }
150
151    #[test]
152    fn model_supports_1m_for_opus_46_and_sonnet_4() {
153        assert!(model_supports_1m("claude-opus-4-6"));
154        assert!(model_supports_1m("claude-opus-4-7"));
155        assert!(model_supports_1m("claude-sonnet-4-6"));
156        assert!(model_supports_1m("claude-sonnet-4-5-20250929"));
157    }
158
159    #[test]
160    fn model_supports_1m_rejects_older_and_haiku() {
161        assert!(!model_supports_1m("claude-opus-4-5"));
162        assert!(!model_supports_1m("claude-haiku-4-5-20251001"));
163        assert!(!model_supports_1m("claude-opus-3-5"));
164    }
165
166    #[test]
167    fn model_supports_1m_assumed_for_5x() {
168        assert!(model_supports_1m("claude-opus-5-0"));
169        assert!(model_supports_1m("claude-sonnet-5-1"));
170        assert!(model_supports_1m("claude-fable-5"));
171    }
172
173    #[test]
174    fn model_supports_1m_case_insensitive() {
175        assert!(model_supports_1m("CLAUDE-OPUS-4-6"));
176    }
177
178    #[test]
179    fn context_window_haiku_is_200k() {
180        assert_eq!(context_window_for_model("claude-haiku-4-5-20251001"), 200_000);
181    }
182
183    #[test]
184    fn context_window_opus3_is_200k() {
185        assert_eq!(context_window_for_model("claude-opus-3-5-20250101"), 200_000);
186    }
187
188    #[test]
189    fn context_window_unknown_defaults_200k() {
190        assert_eq!(context_window_for_model("some-future-model"), 200_000);
191        assert_eq!(context_window_for_model(""), 200_000);
192    }
193
194    #[test]
195    fn adaptive_thinking_required_for_opus_4_7_plus() {
196        assert!(model_supports_adaptive_thinking("claude-opus-4-7"));
197        assert!(model_supports_adaptive_thinking("claude-opus-4-8"));
198    }
199
200    #[test]
201    fn adaptive_thinking_not_for_opus_4_6() {
202        // 4.6 uses enabled+budget_tokens (deprecated but functional)
203        assert!(!model_supports_adaptive_thinking("claude-opus-4-6"));
204    }
205
206    #[test]
207    fn adaptive_thinking_not_for_sonnet_4_6() {
208        assert!(!model_supports_adaptive_thinking("claude-sonnet-4-6"));
209    }
210
211    #[test]
212    fn adaptive_thinking_required_for_sonnet_4_7_plus() {
213        assert!(model_supports_adaptive_thinking("claude-sonnet-4-7"));
214    }
215
216    #[test]
217    fn adaptive_thinking_not_for_older_models() {
218        assert!(!model_supports_adaptive_thinking("claude-opus-4-5"));
219        assert!(!model_supports_adaptive_thinking("claude-sonnet-4-5"));
220        assert!(!model_supports_adaptive_thinking("claude-haiku-4-5-20251001"));
221        assert!(!model_supports_adaptive_thinking("claude-opus-3-5"));
222    }
223
224    #[test]
225    fn adaptive_thinking_assumed_for_5x() {
226        assert!(model_supports_adaptive_thinking("claude-opus-5-0"));
227        assert!(model_supports_adaptive_thinking("claude-sonnet-5-1"));
228    }
229
230    #[test]
231    fn adaptive_thinking_case_insensitive() {
232        assert!(model_supports_adaptive_thinking("CLAUDE-OPUS-4-7"));
233    }
234}
synaps_cli/core/models.rs

synaps_cli/core/
models.rs
