specrails-desktop 2.58.0 → 2.59.0

package/docs/guide/pt/pipeline/4-picking-an-engine-per-rail.md

@@ -1,9 +1,5 @@
 # Escolher um motor por rail
 
-O Specrails desktop trata **Claude Code**, **Codex CLI**, **Gemini CLI** e
-**Kimi Code** como motores de primeira classe. Pode instalar qualquer
-combinação compatível.
-
 ## Quando o seletor aparece
 
 O **seletor de motor** vive no cabeçalho do rail, mesmo ao lado do controlo de modo. Só aparece quando o projeto tem **mais do que um** fornecedor instalado.
@@ -14,10 +10,6 @@ Quando aparece, a sua escolha é **por rail e por lançamento** — rails difere
 
 ## Como escolher um motor
 
-1. Certifique-se de que o seletor de motor do rail está visível (projeto com 2+ fornecedores).
-2. Escolha **Claude**, **Codex**, **Gemini** ou **Kimi**.
-3. Lance o rail com **▶ Play**.
-
 O motor selecionado corre todas as fases do pipeline desse rail. Se a CLI do motor escolhido não estiver instalada, o lançamento falha de imediato — nada é criado. Instale a CLI em falta e tente de novo.
 
 ## Em que cada motor é bom
@@ -28,34 +20,21 @@ Os quatro correm o pipeline standard **Implement**:
 |--------|--------------------|-------|
 | **Claude** | Precisa de custo nativo, interação persistente ou tool policy rigorosa. | Perfis, Freestyle e transformações estruturadas. |
 | **Codex** | Prefere o Codex CLI da OpenAI ou quer comparar implementações entre fornecedores. | `codex` ≥ 0.128.0. Sem reporte de custo nativo — a app preenche o custo a partir da sua tabela de preços. Os perfis não se aplicam. |
-| **Gemini** | Quer o Gemini CLI da Google, telemetria nativa ou uma execução mais barata para specs de rotina. | `gemini` ≥ 0.11.0 (defina `GEMINI_API_KEY`). Telemetria OTLP nativa. Os perfis não se aplicam. |
-| **Kimi** | Quer Kimi agentic para Implement, Freestyle ou loops sem Decider. | `kimi` ≥ 0.27.0 externo; perfis/roles, effort só K3; tokens/custo indisponíveis. |
-
-### Diferenças de capability
-
-Claude/Kimi suportam perfis e Freestyle; Codex/Gemini usam legacy. Kimi
-recusa Loop Decider e os transforms pure-output do
-[guia Kimi](../../../kimi.md). Perfis Claude/Kimi ficam separados.
 
 ## Um fluxo de trabalho prático
 
 Os projetos com vários fornecedores brilham quando quer **comparar** ou **afinar custos**:
 
 - **Comparar implementações.** Ponha a mesma spec em dois rails, defina um com Claude e outro com Codex, lance ambos (entre projetos, ou um a seguir ao outro na fila do mesmo projeto) e depois use o botão **Comparar** na página Jobs para comparar os resultados.
-- **Afinar custos por spec.** Corra specs de alto risco no Claude com um perfil `max`; corra specs de limpeza de rotina no Gemini para poupar no gasto. Filtre `/analytics` por motor para ver a repartição.
 - **Defina um default sensato.** Defina o motor que mais usa como primário do projeto para que os rails assumam-no por default, e só mude por rail quando uma spec específica pedir outro.
 
 ## Coisas a ter em conta
 
 - **A escolha de fornecedor é imutável depois de criar o projeto** (v1). Escolhe os fornecedores instalados ao adicionar o projeto; não há um toggle nas Definições para acrescentar ou remover um mais tarde.
-- **As métricas disponíveis são registadas.** Kimi não fornece tokens/custo
-  USD autoritativos; os campos ficam vazios.
 - **O botão "Abrir CLI de IA" do terminal** também oferece um seletor de fornecedor em projetos com vários fornecedores, caso prefira conduzir uma CLI à mão.
 
 ## Para onde ir a seguir
 
 - [Usar o Codex](../integrations/using-codex) — instalar e iniciar sessão.
-- [Usar o Gemini](../integrations/using-gemini) — instalar, `GEMINI_API_KEY`, telemetria.
-- [Usar Kimi](../../../kimi.md) — instalação e matriz completa.
 - [Rails e jobs](rails-and-jobs) — a fila e o fluxo de lançamento.
 - [Acompanhar o custo](../analytics/tracking-cost) — repartição de custo por motor.

package/docs/guide/pt/pipeline/5-the-loop-builder.md

@@ -26,7 +26,6 @@ Um **loop** é a *receita* do trabalho; um **rail** é a *pista* que o roda cont
 
 - Os loops vivem na seção **Loops** (barra lateral esquerda, ao lado dos seus projetos) — eles são **globais**, compartilhados por todos os projetos.
 - Um rail **escolhe um loop** no cabeçalho (o seletor de Loop) e o roda quando você aperta Play.
-- O **rail** escolhe provider, modelo e effort compatível. Um loop compatível corre em Claude, Codex, Gemini ou Kimi.
 
 Ou seja: construa um loop uma vez e depois escolha-o em qualquer rail, em qualquer projeto.
 
@@ -50,10 +49,6 @@ Um loop é um grafo de **nós** conectados por **arestas** (as setas). Cada nó
 
 As arestas conectam os passos em ordem. O **Loop Decider** tem duas saídas rotuladas — **continue** e **stop** — então você liga o "ainda não terminei" de volta ao trabalho e o "terminei" para um End.
 
-> **Kimi corre loops com passos AI/shell, mas não com Loop Decider.** O
-> veredito é pure-output e `kimi -p` não consegue impor o limite no-tools; o
-> run é recusado antes do primeiro passo.
-
 ### Escrevendo o texto dos passos
 
 Dentro de qualquer AI Step ou Decider você pode referenciar:
@@ -70,7 +65,6 @@ Um loop que nunca para queimaria dinheiro para sempre, então toda execução te
 |-------|--------------|
 | **Max iterations** | Teto rígido de quantas vezes o Decider pode voltar atrás, independentemente do seu veredito. |
 | **Timeout (min)** | Limite de tempo de relógio para toda a execução. |
-| **Max cost ($)** | *Opcional.* Claude reporta custo; Codex/Gemini usam estimativas. Kimi não reporta custo USD autoritativo. |
 
 ## Construindo com confiança
 

package/docs/guide/pt/specs/2-add-spec-quick-mode.md

@@ -2,10 +2,6 @@
 
 O modo Quick é para quando já sabe o que quer. Escreve a sua ideia, a IA redige a spec completa, e ela aterra no seu quadro como **Por fazer**. Sem idas e vindas — basta descrever e avançar.
 
-> **Kimi não está disponível no Quick Spec.** `kimi -p` não consegue impor
-> o limite pure-output deste formulário. O pedido é recusado antes do spawn;
-> use Explore, Raw ou Quick Launcher (`/opsx:ff`).
-
 ## Criar uma spec no modo Quick
 
 Para criar uma spec rapidamente:
@@ -23,9 +19,6 @@ Enquanto a spec está a ser escrita, uma pequena notificação no canto mostra o
 
 **Modelo** — por predefinição, a IA escolhe um modelo sensato. Pode substituí-lo por spec a partir do seletor de modelo se quiser um mais rápido ou mais capaz.
 
-**Motor** — o seletor mostra apenas providers **compatíveis**; Kimi fica
-excluído de Quick Spec.
-
 **Contexto** — o modo Quick normalmente corre como um único turno, porque não precisa de ler a sua base de código para escrever uma spec a partir da sua descrição. Mas um seletor de contexto permite dar-lhe mais material para trabalhar:
 
 - No nível mais baixo, lê apenas a sua descrição.

package/docs/guide/zh/agents/2-profiles-and-the-balanced-default.md

@@ -35,13 +35,6 @@ Profile 的选择就发生在你启动的地方——**rail 头部**，通过 Pr
 
 整个流程就这么简单：选一个 Profile、启动、搞定。同一批次中并发运行的 rail 各自带着自己的 Profile，所以一个快速修复和一个重量级功能可以并排运行、采用各不相同的配置。
 
-## 当 Agents 区悄无声息时
-
-Profile 按 provider 隔离。Claude 和 Kimi 支持 profile/role；Codex 和
-Gemini 使用 legacy mode。混合项目中相同名称也不会在 Claude/Kimi 之间
-串用。Kimi 支持手动 role，但 Agent Studio 的 generation、smoke test
-和 AI Refine 会在 spawn 前拒绝。Kimi 需要 `specrails-core` 4.12.0+。
-
 ## 接下来去哪儿
 
 - [按 Agent 自定义模型](customizing-models-per-agent)——打造 `fast` 和 `max` Profile。

package/docs/guide/zh/agents/4-custom-agents-catalog.md

@@ -11,29 +11,14 @@ Profile 决定的是*哪些 Agent 运行、用什么模型*。但 Agent 本身
 
 ## 添加一个自定义 Agent
 
-Role 是 provider-native asset：Claude 使用
-`.claude/agents/custom-<name>.md`；Kimi 使用
-`.kimi-code/skills/custom-<name>/SKILL.md`。
-
-Asset 存在后会出现在对应 provider 的目录中，其 id 只能加入同 provider 的 Profile。`custom-docs` 在 Claude 中对应 `.claude/agents/custom-docs.md`，在 Kimi 中对应 `.kimi-code/skills/custom-docs/SKILL.md`；二者互不混用。
-
 由于它们就住在你的仓库里，自定义 Agent 是**可提交的团队资产**：提交这个文件，你的整个团队就都拥有了这个 Agent。这呼应了贯穿整个 Agents 区的核心观念——
 
 > **Agent 定义是共享的（它们住在仓库里，随 `git` 一起流转）。模型配置则因项目而异（它住在 Profile 里）。**
 
-Core 保护两种格式。Kimi 支持手动 create/edit/run；Generate、Test 和
-AI Refine 会在 spawn 前拒绝。
-
 ## 让自定义 Agent 上岗
 
 典型流程如下：
 
-1. 创建 native Claude asset 或 Kimi Skill，并使用有效指令/model。
-2. 确认它出现在 **Agents → 目录** 的「自定义」分组下。
-3. 在 **Agents → Profile** 中，把这个 Agent 加入某条 Profile 链（也可在该 Profile 内覆盖它的模型）。
-4. 添加一条路由规则，让带有合适标签的任务到达它——或者依赖链的顺序。
-5. 在 rail 头部用该 Profile 启动一条 rail。
-
 ## 观察 Profile 的表现
 
 Agents 区还有一个 **用量** 标签页——按 Profile 拆分，展示在所选时间窗口内每个 Profile 各启动了多少个任务。这是个快速的途径，既能确认你的 `fast`/`max` 划分是否真按你设想的方式在被使用，也能看出你的团队更偏爱哪个 Profile。

package/docs/guide/zh/getting-started/1-what-is-specrails.md

@@ -35,8 +35,6 @@ specrails 支持主流的 AI 编程 CLI：
 
 - **Claude**（Claude Code）
 - **Codex**（Codex CLI）
-- **Gemini**（Gemini CLI）
-- **Kimi**（Kimi Code）
 
 挑一个你已经在用的就行——或者多装几个，按任务来选。一个项目可以只跑一个提供商，也可以同时跑多个，所以你永远不会被某一个绑死。
 

package/docs/guide/zh/getting-started/2-installing-and-first-run.md

@@ -22,8 +22,6 @@ specrails 唯一无法内置的，是 **AI 提供商 CLI** 本身。你至少需
 
 - **Claude Code**
 - **Codex CLI**
-- **Gemini CLI**
-- **Kimi Code**
 
 把你打算用的那个装好，在终端里登录一次，就齐活了。specrails 会自动检测出有哪些提供商可用。
 

package/docs/guide/zh/getting-started/3-adding-your-first-project.md

@@ -20,10 +20,6 @@
 
 整个表单就这些 — 点击**添加**即可。
 
-## AI 提供商自动检测
-
-你不再需要选择提供商。specrails 会检测你机器上安装的每个 AI CLI — **Claude**、**Codex**、**Gemini**、**Kimi** — 且每个项目始终可以使用它们全部。之后安装新的提供商，下次回到应用时它会自动出现在所有地方；无需重新配置，无需按项目设置。如果某个提供商已安装但未登录，其选择器会显示一个不显眼的*未登录*标记。
-
 ## 配置在后台静默完成
 
 不再有设置向导。点击**添加**的那一刻，项目即注册完成并出现在侧边栏中 — 你可以立即打开它。specrails 会在后台组装项目的 workspace（几秒钟，完全离线）：项目行上一个轻微闪烁的小点表示正在工作，一切就绪后它会自然消失。如果某个提供商的组装失败，项目仍可使用其他提供商 — 会出现一个琥珀色圆点，点击即可重试。

package/docs/guide/zh/getting-started/4-the-dashboard-tour.md

@@ -26,14 +26,9 @@
 
 - **仪表盘**——spec 看板和 rails（你刚才待的地方）。
 - **任务**——这个项目的每一次流水线运行，无论过去还是当下，都带有状态、耗时，并能深入查看任意一次运行的详情和日志。
-- **分析**——按天、活动、模型和工单拆分的调用。Claude 报告账单成本，Codex/Gemini 使用估算值；Kimi 会把无法获得的 token/USD 字段留空。
-- **Agent**——Claude 与 Kimi 各自独立的 Profile 和 Role 目录。Kimi Role 可手动创建/编辑；Generate、Test 和 AI Refine 不可用。
-- **代码**——只读文件浏览器，以及显示 AI 动过哪些文件的标签。通俗 AI 摘要只对兼容 provider 显示，Kimi 不支持该转换。
 - **集成**——可选的附加组件，比如把你的 spec 连接到 **Jira** 看板，或为 AI 启用额外的工具。
 - **设置**——项目级选项（遥测、预算、提供商配置等等）。
 
-> 区块和操作会遵循当前 provider 的 capability。例如 Profile 可用于 Claude/Kimi，但 Kimi 的 Agent Studio AI 操作会 fail closed。
-
 ## 状态栏
 
 窗口最底部有一条细长的横条。它虽小，却很顺手：

package/docs/guide/zh/integrations/1-ai-providers.md

@@ -1,67 +1 @@
-# AI 提供方（Claude、Codex、Gemini、Kimi）
-
-Specrails 并不绑定某一个 AI。Claude、Codex、Gemini 和 Kimi 都是一流
-提供方；每个界面只显示满足该功能 capability 合约的引擎。
-
-## 四家提供方
-
-| 提供方 | CLI | 出品方 | 说明 |
-|---|---|---|---|
-| **Claude** | `claude` | Anthropic | 原生成本和持久交互 transport。 |
-| **Codex** | `codex` | OpenAI | 需要 codex `0.128.0+`。从你的全局 `~/.codex/config.toml` 读取 MCP 服务器。 |
-| **Gemini** | `gemini` | Google | 需要 gemini `0.11.0+`。使用原生遥测，以及 `GEMINI.md` 指令文件。 |
-| **Kimi Code** | `kimi` | Moonshot AI | 需要 Kimi `0.27.0+`。Desktop 用 `-p` 启动外部 CLI，不安装或启动 server。 |
-
-四家都是**默认启用**的。CLI 在 `PATH` 上就会显示。Kimi 请先确认
-`kimi --version`，再运行 `kimi login`。
-
-## 提供方自动检测
-
-你永远不需要按项目挑选提供方。specrails 会检测你机器上安装的每个提供方 CLI，并让**所有**项目始终可以使用**全部**提供方。之后各个界面会检查提供方声明的能力。Kimi 的确切能力矩阵参见[使用 Kimi](../../../kimi.md)。
-
-如果你想要的提供方哪里都没出现，几乎总是因为该 CLI 未安装或不在 `PATH` 中。安装并登录后切回应用 — 检测会在窗口获得焦点时重新运行，该提供方会自动出现在所有地方，其项目 workspace 也会在后台组装完成。已安装但未登录的提供方仍会出现，只是在引擎选择器上带有*未登录*标记。
-
-关于多提供方机器的几点说明：
-
-- **只有一个提供方时行为与从前完全一致。** 只检测到一个提供方时，你不会在任何地方看到提供方选择器 — 应用保持干净简洁。
-- **能力决定侧边栏。** 只要至少一个已检测的提供方支持某个版块，它就可见；版块内与引擎相关的操作只会提供有能力的提供方。Kimi 声明了配置文件、自定义角色和 Freestyle；不声明需要可强制执行的无工具边界的结构化操作。
-- **没有任何锁定。** 安装或移除某个提供方 CLI 会自动更新所有项目 — 不存在需要管理的按项目提供方设置。
-
-## 按调用逐个选择提供方
-
-多提供方项目真正的价值，在于为每个任务挑到合适的 AI——而无需改动任何全局设置。凡是会运行 AI 的地方，都会出现一个小小的提供方选择器（仅当项目拥有不止一个提供方时）：
-
-- **Add Spec**——Explore 支持 Kimi；Quick Spec 只显示能够保证安全
-  pure-output 边界的提供方，因此不包含 Kimi。
-- **rail 头部**——在启动某条具体的 rail 之前，为它挑选引擎。
-- **终端**——「Open AI CLI」（Sparkles）按钮会打开一个提供方菜单，让你在该项目目录下进入任意已安装的 CLI。
-
-你的选择会按项目被记住，默认是主提供方，所以你不用每次都重新选。
-
-## Capability 差异
-
-Kimi 支持 Project/Agent Chat、Explore/proposal、Quick Launcher
-（`/opsx:ff`）、rail、Freestyle、没有 Decider 的 loop、profile/手动 role、
-MCP、Serena、terminal 和附件。
-
-`kimi -p` 会自动批准工具，无法强制 no-tools/read-only 边界。因此
-Quick Spec、AI Edit、Contract Refine、SMASH/Re-SMASH、Project Builder
-blueprint/milestone 生成、Loop Decider、文件摘要/construction story 和
-Agent Studio automation 都会在 spawn 前拒绝。AI auto-title 使用确定性
-fallback。详见 [Kimi 指南](../../../kimi.md)。
-
-## 跨提供方的成本追踪
-
-**Analytics** 记录实际启动的调用。Claude 报告成本，Codex/Gemini
-使用估算。Kimi 不报告 authoritative token 或 USD cost，因此这些字段
-保持为空。
-
-## 疑难排查
-
-- **我装了某个提供方，却没出现在选项里。** 检查 `claude --version` / `codex --version` / `gemini --version` / `kimi --version`。
-- **聊天里没加载 Codex 的 MCP 服务器。** Codex 从你的全局 `~/.codex/config.toml` 读取 MCP 服务器——用 `codex mcp add` 在那里注册它们。
-- **紧急停用。** 可以通过环境变量在应用范围内关闭某个提供方（`SPECRAILS_CODEX_BETA=0` 或 `SPECRAILS_GEMINI_BETA=0`）。这只会把提供方从*选择列表*中隐藏；很少会用到。
-
-## 另见
-
-请参阅 [Kimi 指南](../../../kimi.md)、Codex 指南和 Gemini 指南。
+# AI 提供方（Claude、Codex、、）

package/docs/guide/zh/integrations/2-plugins.md

@@ -34,11 +34,3 @@
 - **rail。** 在 rail 运行之前，Specrails 会检查哪些插件已安装且健康，并把那些工具提供给本次任务的 agent。一个已降级的插件会在这次运行中被直接跳过——rail 照常启动。每个任务都会记录一份当时哪些插件处于活动状态的快照，你可以在该任务的诊断导出里看到。
 - **聊天。** 聊天会自动采用你项目的 MCP 配置，所以已安装的插件在那里也同样可用。
 - **Setup。** 在项目仍处于安装设置阶段时，插件会被忽略——等项目准备就绪后它们才会发挥作用。
-
-## 提供方相关说明
-
-插件是 provider-aware 的。Serena 通过 `.mcp.json` 支持 Claude，通过项目隔离的 `CODEX_HOME` 和 `codex mcp add` 支持 Codex，并通过 `.kimi-code/mcp.json` 支持 Kimi。只有 manifest 声明支持时才显示，因此 Gemini 不提供 Serena。Jira 卡片与 provider 无关。
-
-## 受保留的文件
-
-插件只管理 provider 的原生 MCP 配置、`.specrails/plugins/` 状态，以及 Claude 确实需要时的 `.claude/agents/custom-<plugin>.md` 片段。Kimi 条目位于 `.kimi-code/mcp.json`；应用不会为 Kimi 写 Claude-only 片段，也不会盲目覆盖配置。

package/docs/guide/zh/integrations/5-mcp-server.md

@@ -1,6 +1,6 @@
 # 从任意 AI 操控 Specrails（MCP 服务器）
 
-> **For agents (English):** use the [current connection runbook](../../../agents/mcp.md) for Claude, Codex, Kimi and Gemini. It includes verified bridge discovery, registration and read-only checks.
+> **For agents (English):** use the [current connection runbook](../../../agents/mcp.md) for Claude and Codex. It includes verified bridge discovery, registration and read-only checks.
 
 Specrails 可以把**自己**暴露给任何会说 [Model Context Protocol](https://modelcontextprotocol.io) 的 AI 助手——Claude Desktop、Claude Code、Cursor、Cline，或者你自己的 agent。打开这个功能，把你的助手指向 Specrails，你就能靠聊天来驱动整个应用：*「列出我的项目」「在 API 项目里为社交登录创建一份规格」「启动 rail 0，跑完了告诉我」「我这周花了多少钱？」*。你的助手会在幕后调用 Specrails 的工具，而不用你点来点去。
 
@@ -33,19 +33,6 @@ Specrails 可以把**自己**暴露给任何会说 [Model Context Protocol](http
 
 支持远程 HTTP MCP 服务器的客户端，则可以直接指向 `http://127.0.0.1:4200/api/mcp`，并配上面板里的令牌。
 
-### 从终端连接: Claude Code、Gemini CLI、Codex CLI
-
-先在 **设置 ▸ MCP ▸ 复制令牌** 复制令牌, 然后:
-
-```bash
-# Claude Code
-claude mcp add --transport http specrails http://localhost:4200/api/mcp \
-  --header "X-Desktop-Token: <你的令牌>"
-
-# Gemini CLI
-gemini mcp add --transport http specrails http://localhost:4200/api/mcp \
-  --header "X-Desktop-Token: <你的令牌>"
-
 # Codex CLI (stdio — 注册 设置 ▸ MCP 中显示的 bridge 命令)
 codex mcp add specrails -- <设置 ▸ MCP 中的 bridge 命令>
 ```

package/docs/guide/zh/integrations/6-agent-chat.md

@@ -20,15 +20,6 @@ Agent Chat 通过内嵌的 **Specrails MCP 服务器**来驱动应用，因此
 
 在这里选择项目**不会**移动你的仪表盘——智能体的目标和你正在看的内容是彼此独立的。
 
-## 提供方与模型
-
-在消息框上方可选择**提供方**（Claude、Codex、Gemini 或 Kimi）及其
-**模型**。切换提供方会开始独立 session。
-
-对于 Kimi，level 会限制 Specrails MCP 工具，但不会把 `kimi -p` 变成
-sandbox：Kimi native 工具会自动批准。不安全的 pure-output action 会在
-spawn 前拒绝；详见 [Kimi matrix](../../../kimi.md)。
-
 ## 权限级别——缰绳在你手里
 
 智能体可以触及整个应用，因此由你来决定给它多大的自由，方法是按 **Shift+Tab** 实时切换的一个**级别**（与 Claude Code 使用的是同一套循环）。每个级别都包含其下方的一切：

package/docs/guide/zh/integrations/7-local-engines.md

@@ -24,10 +24,6 @@
 
 > 任务需要服务器提供**较大的上下文窗口**（64k token 以上）：operator 提示词加上 Specrails 工具 schema 体积很大。聊天和 Explore 在 32k 下即可。若某轮以 *exceeds the available context size* 失败，请增大窗口（Ollama `OLLAMA_CONTEXT_LENGTH`、llama.cpp `-c`、LM Studio *Context Length*）。
 
-## 只安装了本地引擎？
-
-无需任何配置。Specrails 只提供你的机器真正能运行的引擎，并在所有地方用同一条规则选择默认值：已安装的 CLI（Claude → Codex → Gemini → Kimi），否则是第一个端点有响应的本地引擎。在只有本地端点的机器上，rails、Add Spec、聊天、**agent 任务和 Project Builder** 都会直接在它上面启动，无需碰任何选择器。服务器未运行的引擎在恢复响应前不会被提供。已有任务保留创建时的引擎；选择器仍可切换。
-
 ## 选择模型
 
 质量取决于模型而非 Specrails。运行 rails 请使用 30B 参数以上、针对工具调用调优的代码模型；较小的 instruct 模型足以应对聊天、Explore 和 Quick spec。将完整的 implement rail 交给新模型之前，先试试 **Freestyle** 或一次 Explore 会话。

package/docs/guide/zh/pipeline/1-rails-and-jobs.md

@@ -35,8 +35,6 @@ rail 是一条**执行通道**。你从 SpecsBoard 上拖一张 spec 卡片放
 | **状态标签** | `idle`、`running` 或 `failed`。这里没有单独的"completed"——任务干净地跑完后，rail 会回到 `idle`。 |
 | **spec 列表** | 分配给这条 rail 的 ID。可以再拖进来，也可以拖出去解除关联。 |
 | **Loop 选择器** | 这条 rail 运行的 Loop——内置的（`Implement` / `Freestyle` / `SDD Quick (OpenSpec)`）或某个自定义 loop。见下表。按 rail 单独记忆。 |
-| **Profile 选择器** | 使用哪个 provider profile（Claude/Kimi rail）。 |
-| **引擎选择器** | 哪个 provider 运行 rail——Claude、Codex、Gemini 或 Kimi。 |
 | **▶ Play / ■ Stop** | 启动或取消。 |
 
 ### rail 运行的是什么：Loop
@@ -46,14 +44,9 @@ rail 是一条**执行通道**。你从 SpecsBoard 上拖一张 spec 卡片放
 | 内置 loop | 命令 | 作用 |
 |------|---------|--------------|
 | **Implement** | `/specrails:implement` | 一个任务覆盖这条 rail 上的所有 spec。跑完整的 Architect → Developer → Reviewer → Ship 流水线。日常默认选项。 |
-| **Freestyle** | Freestyle | Claude 或 Kimi 自主实现每个 spec，**绕过**流水线。 |
 
 要运行多个 spec，可以把相关的（最多 3 个）放到同一条 rail 上——`Implement` 会把它们作为一个整体任务运行——或者把彼此独立的 spec 分到多条 rail：每条基于 git 的 rail 都在自己隔离的 worktree 中并行运行。
 
-Freestyle 使用 provider 的 native tool/model。Claude 有 persistent
-interactive transport；Kimi 使用没有 persistent stdin 的 agentic
-`kimi -p` process。
-
 内置 loop 也可以编辑：在 Loop Builder 里编辑并发布后，所有选用它的 rail 都会运行你的版本（用 **恢复原始版本** 可以改回去）。
 
 除了这些内置 loop，你还可以**搭建自己的 loop**——重复一个 verify → fix → verify 的循环直到目标达成、在 AI 步骤之间串联 shell 命令，等等。这些自定义 loop 会出现在同一个 Loop 选择器里。这就是下一个大点子：[Loop Builder](the-loop-builder)。
@@ -84,11 +77,6 @@ interactive transport；Kimi 使用没有 persistent stdin 的 agentic
 
 点击 rail 头部的 **■ Stop**。应用会向子进程发送 `SIGTERM`，等 **5 秒**让它干净退出，然后再 `SIGKILL` 掉它。不会留下半生不熟、还没启动完的进程。
 
-## 如果一条 rail 启动不起来
-
-如果缺少所选 CLI，会在 spawn 前失败。Kimi 需要安装并登录 `kimi`
-0.27+；Desktop 不会启动 server。
-
 ## 全部停下
 
 如果哪里看起来不对劲：
@@ -101,4 +89,3 @@ interactive transport；Kimi 使用没有 persistent stdin 的 agentic
 
 - [Loop Builder](the-loop-builder)——rail 运行的是什么，以及如何搭建你自己的 loop。
 - [任务详情视图](the-job-detail-view)——阶段、实时指标、工单卡片。
-- [为每条 rail 选择引擎](picking-an-engine-per-rail)——Claude、Codex、Gemini 或 Kimi。

package/docs/guide/zh/pipeline/2-the-job-detail-view.md

@@ -94,8 +94,6 @@ Architect ──► Developer ──► Reviewer ──► Ship
 - **总计行是真实的。** 输入框会显示一条实时的 `N 轮 · $X` 摘要，由每个已完成轮次的真实用量累加而来——和本页"绝不猜数字"的承诺一致。
 - **会话有两种结束方式。** 大多数任务**自己收尾**：一旦某轮结束且没有排队的消息，会话就自行落定、任务完成——你的消息是可选的引导，从来不是义务。一个低调的**立即收尾**操作可以提前结束它，保留到目前为止产出的一切。**Freestyle** 任务是例外：它们在轮次之间待命，直到你点击 **Finalize**——这正是它的设计，一场由你来关闭的往返会话。
 - **loop 运行中，消息会送到活跃的步骤。** 在内置或自定义 loop 上，你的消息会到达**此刻正在运行的 AI 步骤**。步骤之间（Loop Decider 思考时，或 shell 命令运行时）输入框会短暂显示*"等待下一步……"*状态——你草拟的文字会保留，下一个 AI 步骤启动时发送会重新可用。**结算此步骤**可以提前结束当前步骤，让 loop 带着它的产出继续前进。
-- **persistent interaction 仅限 Claude。** Codex、Gemini、Kimi 都是
-  one-shot；Kimi chat 在收到 resume hint 后用新的 `kimi --session=<id> -p` 恢复。
 
 ## 诊断导出
 

package/docs/guide/zh/pipeline/4-picking-an-engine-per-rail.md

@@ -1,8 +1,5 @@
 # 为每条 rail 选择引擎
 
-Specrails desktop 把 **Claude Code**、**Codex CLI**、**Gemini CLI** 和
-**Kimi Code** 都当作一等引擎。可安装任何 compatible 组合。
-
 ## 选择器何时出现
 
 **引擎选择器**就在 rail 头部，紧挨着模式控件。只有当项目装了**不止一个**提供方时它才会出现。
@@ -13,10 +10,6 @@ Specrails desktop 把 **Claude Code**、**Codex CLI**、**Gemini CLI** 和
 
 ## 如何选择一个引擎
 
-1. 确认这条 rail 的引擎选择器正在显示（项目有 2 个及以上提供方）。
-2. 选择 **Claude**、**Codex**、**Gemini** 或 **Kimi**。
-3. 用 **▶ Play** 启动这条 rail。
-
 被选中的引擎会跑这条 rail 流水线的每一个阶段。如果所选引擎对应的 CLI 没装，启动会快速失败——什么都不会启动。装上缺失的 CLI 再试一次即可。
 
 ## 每个引擎擅长什么
@@ -27,34 +20,21 @@ Specrails desktop 把 **Claude Code**、**Codex CLI**、**Gemini CLI** 和
 |--------|--------------------|-------|
 | **Claude** | 需要原生成本、持久交互或严格 tool policy。 | Profile、Freestyle 和 structured transform。 |
 | **Codex** | 你更喜欢 OpenAI Codex CLI，或想跨提供方对比实现。 | `codex` ≥ 0.128.0。无原生成本上报——应用会用自己的价格表来补上成本。Profile 不适用。 |
-| **Gemini** | 你想用 Google 的 Gemini CLI、原生遥测，或为常规 spec 跑得更省钱。 | `gemini` ≥ 0.11.0（需设置 `GEMINI_API_KEY`）。原生 OTLP 遥测。Profile 不适用。 |
-| **Kimi** | 用 agentic Kimi 跑 Implement、Freestyle 或无 Decider 的 loop。 | 外部 `kimi` ≥ 0.27.0；profile/role，effort 仅 K3；token/cost unavailable。 |
-
-### Capability 差异
-
-Claude/Kimi 支持 Profile 和 Freestyle；Codex/Gemini 使用 legacy。Kimi
-拒绝 Loop Decider 和 [Kimi 指南](../../../kimi.md) 中的 pure-output
-transform。Claude/Kimi Profile 彼此隔离。
 
 ## 一套实用的工作流
 
 多提供方项目在你想要**对比**或**调成本**时格外出彩：
 
 - **对比实现。** 把同一个 spec 放到两条 rail 上，一条设为 Claude、一条设为 Codex，两条都启动（跨项目，或在同一个项目的队列里一前一后），然后用 Jobs 页面上的**对比**按钮来 diff 结果。
-- **按 spec 调成本。** 高风险的 spec 用 Claude 配 `max` Profile 来跑；常规清理类的 spec 用 Gemini 跑以省钱。在 `/analytics` 里按引擎筛选，看清各自的明细。
 - **设好合理的默认。** 把你最常用的引擎设为项目的主引擎，让 rail 默认用它，只在某个特定 spec 想换引擎时才按 rail 临时切换。
 
 ## 几点需要记住
 
 - **提供方选择在项目创建后不可更改**（v1）。你在添加项目时选定要安装的提供方；之后没有 Settings 开关可以再增删。
-- **available metrics 会记录。** Kimi 不提供 authoritative token/USD
-  cost，字段保持为空。
 - 在多提供方项目上，**终端的"Open AI CLI"按钮**也会提供一个提供方选择器，方便你想手动驱动某个 CLI 时使用。
 
 ## 接下来去哪儿
 
 - [使用 Codex](../integrations/using-codex)——安装与登录。
-- [使用 Gemini](../integrations/using-gemini)——安装、`GEMINI_API_KEY`、遥测。
-- [使用 Kimi](../../../kimi.md)——安装与完整矩阵。
 - [Rail 与任务](rails-and-jobs)——队列与启动流程。
 - [追踪成本](../analytics/tracking-cost)——按引擎的成本明细。

package/docs/guide/zh/pipeline/5-the-loop-builder.md

@@ -26,7 +26,6 @@
 
 - loop 住在 **Loops** 区里（左侧栏，和你的项目并列）——它们是**全局**的，跨所有项目共享。
 - 一条 rail 在它的头部（Loop 选择器）**挑一个 loop**，按下 Play 时就运行它。
-- **rail** 决定 provider、model 和 compatible effort。compatible loop 可在 Claude、Codex、Gemini 或 Kimi 上运行。
 
 所以：一个 loop 只需搭一次，之后就能在任意项目的任意 rail 上挑来用。
 
@@ -50,10 +49,6 @@
 
 边按顺序把各个步骤连起来。**Loop Decider** 有两个带标签的输出——**continue** 和 **stop**——所以你把"还没完"接回到活儿里去，把"完成了"接出去到一个 End。
 
-> **Kimi 支持包含 AI/shell step 的 loop，但不支持 Loop Decider。**
-> verdict 是 pure-output，`kimi -p` 无法强制 no-tools 边界；run 会在第一
-> 个 step 前拒绝。
-
 ### 编写步骤文本
 
 在任意 AI Step 或 Decider 里，你都可以引用：
@@ -70,7 +65,6 @@
 |-------|--------------|
 | **Max iterations** | 不管 Decider 怎么裁决，它最多能绕回多少次的硬上限。 |
 | **Timeout (min)** | 整次运行的挂钟时间上限。 |
-| **Max cost ($)** | *可选。* Claude 报告 cost；Codex/Gemini 使用估算。Kimi 不报告 authoritative USD cost。 |
 
 ## 有把握地搭建
 

package/docs/guide/zh/specs/2-add-spec-quick-mode.md

@@ -2,10 +2,6 @@
 
 当你已经清楚自己想要什么时，Quick 模式正合适。你输入想法，AI 写出完整的 spec，它就以 **待办** 状态落在你的看板上。不需要来回讨论——只管描述，然后开干。
 
-> **Kimi 不支持 Quick Spec。** `kimi -p` 无法强制此表单的 pure-output
-> 边界，因此请求会在 spawn 前拒绝。请使用 Explore、Raw 或 Quick
-> Launcher（`/opsx:ff`）。
-
 ## 用 Quick 模式创建 spec
 
 要快速创建一份 spec：
@@ -23,9 +19,6 @@
 
 **模型**——默认情况下，AI 会挑选一个合适的模型。如果你想要更快或更强的模型，可以在模型选择器里按 spec 单独覆写。
 
-**引擎**——选择器只显示 **compatible** provider；Quick Spec 不包含
-Kimi。
-
 **上下文**——Quick 模式通常作为单轮运行，因为它不需要读取你的代码库就能根据你的描述写出 spec。但一个上下文滑块可以给它更多素材：
 
 - 在最低档时，它只读取你的描述。

package/docs/internals/adding-a-provider.md

@@ -404,3 +404,10 @@ The `opus` catalog value selects Claude Opus 5.5 (`claude-opus-5-5`). Keep the
 Claude adapter pin, selector labels, Core CLI executor and cost estimates aligned
 when advancing this alias. Concrete historical model IDs in usage events retain
 their existing estimates; provider-reported cost remains authoritative.
+
+Codex GPT-6.1 Sol (`gpt-6.1-sol`) is selectable in all static catalogs. Its
+CLI effort list is low, medium, high, xhigh, max and ultra, as advertised by
+Codex models/list on 2026-09-30. Codex defaults to GPT-6.1 Sol with medium effort. GPT-5.5, GPT-5.4, GPT-5.4 Mini
+and GPT-5.3 Codex are omitted from selectable catalogs. The
+[OpenAI model page](https://developers.openai.com/api/docs/models/gpt-6.1-sol)
+describes the API model; Codex-specific effort metadata controls CLI selectors.

package/docs/internals/desktop-owned-workflows.md

@@ -0,0 +1,121 @@
+# Desktop workflows and loop agents
+
+Desktop owns workflow recipes, agent definitions and decisions. Core supplies
+reusable execution primitives, scoped tools, durable checkpoints and real host
+verification. `workflowAgentSteps: 1` (catalog version 7) enables the current
+recipes. A new step is a `role-turn` bound to a loop-defined role, not a Core
+implementation phase.
+
+## Editable recipes
+
+Implement and Ship and Green use loop roles `plan`, `build`, `assess` and
+`correct`. Their names, instructions, engines, effort, turn limits, permissions,
+OpenSpec skill, task prompts and structured result schemas are editable. The
+graph defines confidence questions, review thresholds, correction edges, optional
+candidate approval, archive routing and post-archive verification. These are
+explicit nodes, not policies hidden behind a phase selector.
+
+The recipe declares `ticketScope: all` to preserve a single execution for a
+rail's selected specs. This Desktop launch setting is independent of Core's
+journal format; other loops can declare `per-ticket`.
+
+Add **Agent step** to any loop or component to create an independent agent
+configuration. Select the node to edit it. Its role identifier accepts a new
+name or an existing role; selecting an existing role intentionally shares that
+role's definition within this loop. With no node selected, the inspector shows
+a selection hint. Advanced settings holds workflow limits and composition.
+
+Freestyle, Quick SDD and the remaining starter templates also own their agent
+configuration. Their prompt and decider nodes retain their existing semantics.
+Freestyle and free-form starters use agent definitions for direct code work,
+without requiring an active OpenSpec change or an apply binding. Command
+templates resolve their spec/constant placeholders at admission; inserted task
+data remains literal and cannot introduce commands or Core runtime tokens.
+Provider connections stay global; repository verification commands stay with
+the project. Launch provider, model and effort supply inherited defaults;
+explicit loop-owned assignments take precedence. Publishing a builtin edit applies to future runs in
+all projects. Duplicate it for a specific flow.
+
+## Host gates and recovery
+
+`artifact-contract` freezes proposal, design, delta specs and task descriptions
+in private state owned by the execution scope. Checks allow task checkbox
+completion and can require all tasks complete. Workflow variables and fork
+output patches cannot replace that private contract. Verification retains all
+configured host checks; bounded planner proposals supply actual commands only
+for repositories without configured checks. Scoped subprocess validation and
+real candidate receipts apply to both sources.
+Committed verification outputs include bounded actual command diagnostics for
+the reviewer and fixer, prioritizing failures; full evidence stays in receipts.
+
+Agent outputs include the host candidate hash. Optional approval captures its
+candidate before interruption and retains it on resume. The archive gate checks
+real committed full verification and the reviewed/approved candidate before
+publishing the recoverable write set. The final host check certifies the archived
+candidate. Reviewer assertions remain AI evidence and cannot create verification.
+
+Admission freezes the graph, agents, Core package and repository checks. Resume
+uses this snapshot. Generic forks copy an active change into a separate change,
+carry scope-owned contracts forward, rebind `run.changeId`, and clear verification.
+A changed candidate must be verified and reviewed again.
+
+## Existing loops
+
+Unedited builtin rows refresh when the selected Core supports the capability.
+Edited graphs are preserved. **Restore original** adopts the new builtin recipe;
+duplicating it leaves the existing customization intact. Older packages continue
+to receive compatible recipes. Saved `implementation` and `implementation-step`
+nodes remain executable for historical graphs and retained runs. They are hidden
+from the new-node palette and marked historical in their inspector.
+
+Historical project agent import remains an explicit draft operation. It copies
+configuration without modifying the source project. The current recipe's role
+names should be configured directly in each node.
+
+## Validation and local development
+
+`loop-factory-paired.test.ts` executes the actual Desktop bridge and Core CLI with
+deterministic executors, including arbitrary roles and correction after failed
+verification. Core contract, approval and fork tests check real files and durable
+recovery. UI tests add two independent agents and save their separate definitions.
+
+For paired checks, build Core and set `SPECRAILS_CORE_SOURCE_DIR` to its checkout.
+For local Desktop execution, set `SPECRAILS_CORE_RUNTIME_PATH` to the built
+`specrails-core/dist/agent-runtime/index.js` when starting the dev server or native
+dev app. Restart after rebuilding Core so capability detection refreshes.
+
+Loop agent providers default to `inherit`: resolve the launching mission/rail’s
+provider, model and effort before freezing the Core runtime configuration. A
+provider explicitly selected in the loop wins; its blank model uses that
+provider’s default rather than an incompatible mission model. Inherited agents
+may still override model or effort individually. The inheritance marker is never
+passed to Core as a connection. Builtin refresh upgrades unchanged factory
+recipes; customized loops retain their explicit selections.
+
+## Projects and code workspaces
+
+Registration and project settings accept `workspacePaths`, one directory per line,
+absolute or relative to the registered repository. For `skills`, configure
+`skills-studio` to work in that child directory. Configure several folders of the
+same Git checkout under one membership to preserve one branch and delivery owner.
+An omitted list means the registered folder is itself the code workspace.
+Independent nested Git checkouts can be attached to a non-Git project container as
+separate memberships; specs must select those members for isolated writes.
+
+Rails and mission implementation cards expose workspace checkboxes.
+`workspaceSelection` maps repository IDs to a nonempty subset of their registered
+paths. The operator discovers these paths from project context and may include
+`repositoryIds` and `workspaceSelection` in a `rail-launch` proposal or a direct MCP
+launch. Unknown paths and memberships fail before resource allocation. A launch
+never modifies project workspace configuration. Rail choices are saved with the
+project's dashboard state; card choices are saved in the message's launch intent.
+
+All three workflows freeze selected code scopes and configured checks. Checks
+without a directory expand across selected workspaces; explicit checks for other
+registered workspaces are excluded. Every executed check must remain inside a
+selected code workspace, including after symlink resolution. Multiple scopes require
+an explicit workspace directory for agent-proposed checks. Logs show actual command
+directories, and agents receive the same absolute paths for manual checks. These
+code workspaces are distinct from the internal agent/artifact workspace.
+
+The MCP exposes workspace inventory and membership configuration through `specrails_projects` (`repositories`, `repository_add`, `repository_update`, `repository_remove`). Updates reuse the HTTP lifecycle guards. `specrails_setup(add_project)` accepts primary `workspacePaths` and additional `repositories`; both `specrails_rails(launch)` and `specrails_loops(run)` accept the same `workspaceSelection` map. Project resolution also recognizes registered workspace paths.