feat: add DeepSeek extreme reasoning tier

agent_platform/models.py

@@ -4,7 +4,8 @@ from dataclasses import dataclass
 from typing import Literal
 
 Mode = Literal["chat", "work"]
-Strength = Literal["light", "medium", "high"]
+Strength = Literal["light", "medium", "high", "extreme"]
+Provider = Literal["k1412", "deepseek"]
 
 
 @dataclass(frozen=True, slots=True)
@@ -13,15 +14,20 @@ class ModelSpec:
     display_name: str
     mode: Mode
     strength: Strength
+    provider: Provider
     provider_model: str
+    thinking_enabled: bool
+    reasoning_effort: str | None
+    max_output_tokens: int
     max_iterations: int
     context_char_budget: int
 
 
 _TIERS = {
-    "light": ("轻度", "ChatGPT-5.6:Luna", 8, 120_000),
-    "medium": ("中", "ChatGPT-5.6:Terra", 16, 240_000),
-    "high": ("高", "ChatGPT-5.6:Sol", 24, 400_000),
+    "light": ("轻度", "k1412", "ChatGPT-5.6:Luna", False, None, 4_096, 8, 120_000),
+    "medium": ("中", "k1412", "ChatGPT-5.6:Terra", False, None, 4_096, 16, 240_000),
+    "high": ("高", "k1412", "ChatGPT-5.6:Sol", False, None, 4_096, 24, 400_000),
+    "extreme": ("极高", "deepseek", "deepseek-v4-pro", True, "max", 16_384, 32, 800_000),
 }
 
 MODEL_SPECS: dict[str, ModelSpec] = {
@@ -30,12 +36,25 @@ MODEL_SPECS: dict[str, ModelSpec] = {
         display_name=f"{'Chat' if mode == 'chat' else 'Work'} · {label}",
         mode=mode,
         strength=strength,
-        provider_model=provider,
+        provider=provider,
+        provider_model=provider_model,
+        thinking_enabled=thinking_enabled,
+        reasoning_effort=reasoning_effort,
+        max_output_tokens=max_output_tokens,
         max_iterations=max_iterations,
         context_char_budget=context_budget,
     )
     for mode in ("chat", "work")
-    for strength, (label, provider, max_iterations, context_budget) in _TIERS.items()
+    for strength, (
+        label,
+        provider,
+        provider_model,
+        thinking_enabled,
+        reasoning_effort,
+        max_output_tokens,
+        max_iterations,
+        context_budget,
+    ) in _TIERS.items()
 }