From c920ab4b8374ce41f55b764e00c68bacad93bb51 Mon Sep 17 00:00:00 2001 From: iomgaa Date: Fri, 4 Sep 2026 23:51:25 -0400 Subject: [PATCH] docs: record the human approval and the tier-mapping call it settled Codex argued `effort_fallback` had no verifiable consumer and could wait. The human overruled that: swapping models is routine, and between "it stops booting" and "it silently costs more" the caller deserves a middle option it selects on purpose. So the mapping ships with this round. --- research-wiki/designs/2026-09-04-reasoning-effort-design.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/research-wiki/designs/2026-09-04-reasoning-effort-design.md b/research-wiki/designs/2026-09-04-reasoning-effort-design.md index 9e0d7f3..49001fa 100644 --- a/research-wiki/designs/2026-09-04-reasoning-effort-design.md +++ b/research-wiki/designs/2026-09-04-reasoning-effort-design.md @@ -1,10 +1,11 @@ # 推理档位一等化设计(issue #20 及其一般形式) - **日期**: 2026-09-04 -- **状态**: 待人类审批 +- **状态**: **2026-09-04 人类已批准**(经 Claude 自审 → Codex 独立审 → 人类审批门) - **触发**: issue #20 —— 智谱无 profile,下游只能手写 `extra_body`,本库为推理准备的三道机制被**静默**绕过 - **影响面**: `SourceConfig`/`ChatRequest` 公共类型、`ProviderProfile`/`ThinkingCapability` 公共类型、`resolve_thinking`/`reconcile_thinking` 公共函数、缓存 key 公式(ARCH §7.5)、遥测端口(25 → 26 字段)、`.env` 键 - **人类拍板(2026-09-04)**: 作用域取「源级默认 + 请求级覆盖」;档位不支持时「默认报错、可显式开映射」;不可关闭时「报错并给可执行替代」 +- **人类复核(2026-09-04,针对 Codex 异议)**: `effort_fallback` 的最近档映射**要实现**,不因当前无已知消费者而推迟;方案选择标准 = 架构可维护性/清晰度 > 代码简洁 > 鲁棒性 --- @@ -142,7 +143,7 @@ Phase 4 的文案是本设计的一个交付物,而非装饰: 映射(Phase 5 的逃生口)默认关闭,由 `SourceConfig.effort_fallback="nearest"` 显式开启,按 `supported_efforts` 的顺序取最近档并 warning。 -> **Codex 审查异议(留待人类定夺)**: 本项当前无可复验的消费者——没有任何已知调用场景要求自动降/升档,引入它会带来配置项、映射算法、warning 口径与测试面。人类 2026-09-04 已明确选择「默认报错 + 可显式开映射」,故设计保留其形状;但**实现阶段可只落报错分支**,待真实需求出现再补映射,不影响 API 形状。默认关闭的理由是钱: 一次静默的 `medium→max` 在 GLM-5.3 上是数倍账单,「严禁默认值掩盖错误」(P5)在此有真金白银的含义。 +> **Codex 审查异议与人类复核**: Codex 指出本项当前无可复验的消费者,引入它要带来配置项、映射算法、warning 口径与测试面。人类 2026-09-04 复核后**确认实现**——理由是这条逃生口的价值不取决于今天有没有人用它:换模型是常态,而「换完就跑不起来」与「换完静默涨价」之间需要一个下游可以显式选择的中间档。故本项**随本期一并实现**,含映射方向、warning 口径与测试。默认关闭的理由是钱: 一次静默的 `medium→max` 在 GLM-5.3 上是数倍账单,「严禁默认值掩盖错误」(P5)在此有真金白银的含义。 ### 4.2 生效档位的优先级