docs(tier2): R3 结果与 fable 中期终审落档——产品口径 3/5(美食阈值修后走通)/咖啡 finished 口径拆解引出早收敛探测观测项/R2_补骨架出口 n=1 归因不采信/进 F-3 强档对照
Some checks failed
contract-gates / contract-gates (push) Has been cancelled
docs-gate / docs-gate (push) Has been cancelled

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This commit is contained in:
lili 2026-07-04 03:22:01 -07:00
parent 9a64b3a39c
commit 5cdea9320c

View File

@ -411,7 +411,9 @@ flowchart TD
- **R1(cv-clean-r1,无争用干净环境)= 3/5**:水果/咖啡/面包过,美食/糖水店败。台账 fail_system 空 → `decide_n5` 判「失败分散」出 R3_conditional;**逐局对日志推翻「分散」**:两败局同构——设计团队 3/4 专家已产出、末段调用/leader 撞 240s 墙钟 → 降级单 agent 设计 → writer 40 轮不收敛 → step_cap 熔断;三过门局设计团队全部正常收敛,**超时↔失败 5/5 完美相关**(集中于编排层「设计超时降级路」,树看不见=台账归因盲区,工单 k 由此立)。咖啡局撞过 writer 40 轮墙被续修环救回 = 续修机制本身健康的同批对照。
- **修一(KTD2 · `0a9504e4`)**:`design_team.timeout_s` 240→420(M3 thinking 慢尾单调用 120180s,与 step_timeout_s 同刻度;YAML+builtin 双改)。
- **R2(cv-clean-r2)首局即给出分层证据后中止**:美食局设计团队正常收敛(修一咬合、全轮 0 超时),但 writer 仍 40 轮不绿、resume 后快撞 60 步顶(502s/¥0.32 快败 vs R1 1464s churn)——**40/60 是预算墙不是能力墙**。创始人落令「提高轮数阈值、超时阈值」→ 中止 R2(其美食败局留账为史),**修二(`bfeaea2d`)**:writer_max_iters 40→60 / step_cap 60→100 / max_model_calls 80→120 / 墙钟 1800→2700s(¥ 两段式 50/75 与墙钟接管失控保护;cheap Service 显式传 150 不受影响)。
- **R3(cv-clean-r3,新阈值)在跑**;收敛判据照 KTD1(末轮 ≤1 且 ≥2 轮——r1/r2 计入轮史,末轮=r3)。判定 CLI 同 U5;终判(go/KEEP/退路)与 F-3 对照结论由 fable 终审后回填本节。
- **R3(cv-clean-r3,新阈值)= 产品口径 3/5**:美食 ✅(¥0.47——R1 churn 熔断、R2 快败的同款,阈值修后一次走通,全轮 0 设计超时)/ 咖啡 ✅ / 面包 ✅(¥1.51/4700s 重但收敛)/ 水果 ✗(economy/resource,¥0.94/2552s)/ 糖水店 ✗(seven_gate,99 步烧至新步顶附近)。批级墙钟护栏在五款全落账**之后**触发硬停(10864s≥10800),fail-closed 正确、零丢失。
- **两处判定器口径发现(fable 终审拆解)**:① 咖啡实为 accept+pass 但 `finished=False`——agent 不知道自己已经绿了,磨到 100 步被熔断、熔断后跑门才定 accept;树的 `_is_fail` 三条件严口径把它记败(各轮失败数=[2,1,3]),产品口径它是过门好游戏。引出新观测项「**早收敛探测**」:门绿即催 finish/截停,别让已完工的局烧到步顶(与工单 c 的软停升压同族、但触发器是门绿非预算)。② `decide_n5` 本轮出口 **R2_补骨架不可采信**:全 6 次失败只有 1 次带 fail_system 归因(水果 resource),`_fail_system_dist` 只在有归因者内归一 → n=1 撑起「resource 100% 集中」;r3 还跑在 pre-infra_flags 代码上无编排层佐证。**fable 裁定:不据此启动平台侧补骨架**;真实图景=阈值修复干掉设计超时族(美食 ✗✗→✅),糖水店持续硬(两轮步数区败),水果抖动(r1 过、r3 经济门败)。
- **末轮 >1 败=未收敛坐实 → 按树的 R3 分支语义进 F-3 强档对照**(部署树已升 `9a64b3a3`,含 infra_flags 穿线与软停升压;工单 h 的 apscheduler 集成测在 mini-desktop 真环境 5/5)。F-3 = glm-5.2 同五变体同 caps、独立台账 `results/tier2-f3-strong.jsonl`;若 GLM 过 水果/糖水店 → M3 天花板证据(R3_ceiling 换档/混档判给创始人);若 GLM 同败 → 题面/门侧工艺问题(归 F-4 质量轴),非模型档位问题。终判回填本节。
- **同窗并行(创始人「不空转」令)**:残余工单五路 opus 并行开工——(c) 软停 finish 逼近强化 /(h) Service 工具面 Planning/Team/Schedule 收窄调研 /(f+i) 收口打印幂等+bake_off fail-fast /(k) 台账 infra_flags 归因穿线(observe-only,治本节盲区)/(j) studio 透传集扩 1003(+1005/1006 调研)。
### F-4 · 平衡门判法重审(设计问题 · 不在 opus 工单内)