From 9e2f7387b2d97a54701e7ed156b4d449dda55166 Mon Sep 17 00:00:00 2001 From: xcs Date: Sun, 30 Aug 2026 11:49:27 +0800 Subject: [PATCH] =?UTF-8?q?fix(loop-engine):=20=E6=9C=89=E5=8D=A1=E5=9C=A8?= =?UTF-8?q?=E7=AD=89=E4=BA=BA=E4=BA=A4=E5=9B=9E=E6=97=B6=E9=85=8D=E6=96=B9?= =?UTF-8?q?=E5=86=99=E4=B8=8B=E6=96=B0=E8=A1=8C,=E6=94=B6=E6=8B=8D?= =?UTF-8?q?=E5=89=8D=E9=87=8D=E6=8E=A8=E7=94=BB=E9=9D=A2=20=E2=80=94?= =?UTF-8?q?=E2=80=94=20=E7=9F=AD=E8=B7=AF=E6=94=B6=E6=8B=8D=E4=BB=8E?= =?UTF-8?q?=E4=B8=8D=E6=8E=A8=E5=B8=A7?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 浏览器走查实测(ACT-WORK-05 数据工单):人给候选料选好芯片类型、按保存,S1_inputs 的 配方在 quiet 模式下铺出 7 行新参数骨架、红带同步点名要填这 7 格,而 `runTurn` 的 「叫了人就等人」分支(spec §5.4)写完就直接 `return { status: 'awaiting' }` —— 真正的 「推一帧」逻辑住在同一函数里更靠后的位置(action 循环之后 / `issuedCardId` 分支), 这条早退根本到不了那里。人刷新页面看到的仍是保存前那份服务端快照(件是渲好推来的, 重放不重渲),被红带点名要填的格子屏上根本不存在,走查到此卡死。 修法:quiet 分支里捕获 `autoRunner.run()` 的返回值,若这一拍真写下或撤掉过行 (`wrote>0 || dropped>0`)且当前在办的这一步声明了 `view`,收拍前调用同一个 `showView` 重推 —— 与 `issuedCardId` 分支「声明了画面才推」同一条纪律;quiet 模式 不迁移计划项状态,`runtime` 用的还是拍首那份,不会重犯 2026-08-23 那次「推错哪一步 画面」的错(这次没跨步,只是把同一步最新的草稿重渲一遍)。 回归测试用真 `createTurnRunner`/真 `createAutoRunner`(不手抄收拍逻辑),给共享 harness 加 `pushedScopes` 记录每次推帧的 scope,断言画面里真带着刚写的那一行(内容比对,不是 计数)。变异验证:git stash 掉修复后该测试从 157/157 变 156 passed + 1 failed (`expected [] to deeply equal ['input-supplement']`),stash pop 后回到 157/157。 `progress.md` H49 记录过一个高度相似的怀疑:e2e 反复撞见的「答完卡不推进」(案例4×3、 案例3×1,advancing_until 全程为空、零报错)——两者终态日志的最后一行逐字相同 (`等人交回:数据工单… —— 这一拍不动`,task_memory 定格在同一条、之后再无记录)。 候选缺库类案例的两阶段表单(选类型→保存→配方铺出新参数格→还要再填)恰好依赖画面 重推来发现第二轮要填什么;这条早退不推帧能完整解释「零报错 + 永久卡死」。未另跑 e2e 坐实(任务明令不跑,浏览器里留着一单要用来验证),记为高置信度推断。 pnpm gates 退出码 0(2448 passed | 34 skipped,基线 2447 + 本次新增 1 条)。 E04(crm-relationship-coverage)92/92、I01(brand-content-toolkit)55/55,均 exit 0。 manifest.ts 里那处与本次无关的未提交版本号改动(2.1.5→2.1.6)未动、未纳入本提交。 Co-Authored-By: Claude Opus 5 (1M context) Claude-Session: https://claude.ai/code/session_01LKMZDwMbyKzjw6Hembwvet --- .../__tests__/turn-runner-acceptance.test.ts | 46 ++++++++++++++++++- .../internal/usecase/turn-runner.ts | 24 +++++++++- 2 files changed, 68 insertions(+), 2 deletions(-) diff --git a/apps/api/src/modules/loop-engine/__tests__/turn-runner-acceptance.test.ts b/apps/api/src/modules/loop-engine/__tests__/turn-runner-acceptance.test.ts index f53af43..b15edc6 100644 --- a/apps/api/src/modules/loop-engine/__tests__/turn-runner-acceptance.test.ts +++ b/apps/api/src/modules/loop-engine/__tests__/turn-runner-acceptance.test.ts @@ -63,6 +63,8 @@ type Harness = { readonly pushed: string[]; /** 每次推帧时「已写下几行」—— 帧推在行动之前的话,它是 0 */ readonly writesAtPush: number[]; + /** 每次推帧时携带的 scope(`showView` 现读的 `deps.data.view()`)—— 断言「画面里真的有新行」走这里 */ + readonly pushedScopes: Array>; /** 这一拍写下的全部留痕 —— 断言「被拒/无事发生」走这里 */ readonly appended: Array<{ kind: string; title: string; detail: Record | undefined }>; /** 真被调到的工具名 —— 断言「拦没拦住调用」走这里 */ @@ -110,6 +112,7 @@ function harness( const dropped: Harness['dropped'] = []; const pushed: string[] = []; const writesAtPush: number[] = []; + const pushedScopes: Harness['pushedScopes'] = []; const appended: Harness['appended'] = []; const toolCalls: string[] = []; const listened: Array<{ eventType: string }> = []; @@ -121,6 +124,7 @@ function harness( dropped, pushed, writesAtPush, + pushedScopes, appended, toolCalls, listened, @@ -210,10 +214,11 @@ function harness( window: async () => over.trail ?? [], } as never, views: { - push: async (input: { template: string }) => { + push: async (input: { template: string; scope?: Record }) => { pushed.push(input.template); // 推这一帧时已经写下了几行 —— 帧推早了就是 0(见「推在行动之后」那条) writesAtPush.push(written.length); + pushedScopes.push(input.scope ?? {}); return { pushed: (over.templates ?? ['case-overview']).includes(input.template), templates: over.templates ?? ['case-overview'] }; }, } as never, @@ -2266,6 +2271,45 @@ describe('auto 步:配方在拍首跑', () => { expect(h.issued).toHaveLength(0); }); + /* + * **这一拍真写下过东西,收拍前要把画面重推一遍**(2026-08-30,W05 数据工单浏览器走查实测: + * 人给候选料选好芯片类型、按保存,配方铺出 7 行新参数、红带也点名要填这 7 格 —— 而这条路 + * 从不推帧,任务停在 `awaiting-event`,人刷新页面看到的仍是保存前那份快照(件是服务端渲好 + * 推来的快照,重放不重渲),被点名的格子屏上根本不存在,走查到此卡死。 + * 上一条用例(不发新卡)只断言了 `written`/`issued`,从没问过画面有没有跟上;这一条补上。 + */ + it('有卡在等人交回:配方写下新行 → 收拍前重推画面,画面里带着刚写的那一行', async () => { + const h = harness({ + parsed: AUTO_MODEL, + runtime: AUTO_RUNTIME, + unanswered: [{ id: 'card-9', title: '补数据' }], + sfeelCondition: () => false, + templates: ['input-supplement'], + // 画面的 scope 现读「已写下的那几行」—— 与 `showView` 实际调用 `deps.data.view()` 同一条路 + viewFn: (written) => ({ pns: written.map((w) => w.key['pn']) }), + steps: [ + { + item: 'S1', + guide: '', + writes: [], + reads: [], + tools: [], + view: 'input-supplement', + auto: { + do: [{ kind: 'project', into: 'quote_intake.record', from: { once: true }, fields: { pn: 'MP2596-5.0-WALK', eau: 1 } }], + }, + }, + ], + }); + const out = await h.runner.runTurn(TASK); + expect(h.written).toHaveLength(1); + expect(out.status).toBe('awaiting'); + // 画面真被重推了一次 —— 不是「一帧不推,留着保存前那份快照」 + expect(h.pushed).toEqual(['input-supplement']); + // 推的时候真带着刚写的那一行,不是拍首、写之前的那份旧 scope + expect(h.pushedScopes.at(-1)?.['pns']).toEqual(['MP2596-5.0-WALK']); + }); + it('配方抛错(地址不在台账声明里)→ 交人,不问模型、不重试', async () => { const h = harness({ parsed: AUTO_MODEL, diff --git a/apps/api/src/modules/loop-engine/internal/usecase/turn-runner.ts b/apps/api/src/modules/loop-engine/internal/usecase/turn-runner.ts index 8157cc5..bb83588 100644 --- a/apps/api/src/modules/loop-engine/internal/usecase/turn-runner.ts +++ b/apps/api/src/modules/loop-engine/internal/usecase/turn-runner.ts @@ -1727,8 +1727,9 @@ export function createTurnRunner(deps: TurnRunnerDeps): LoopEngineService { new Set(runtime.items.filter((i) => i.state === 'Completed' || i.state === 'Terminated').map((i) => i.id)), [...enabled.inProgress, ...enabled.entries], ); + let quietWrote = false; if (quietStep?.auto !== undefined) { - await autoRunner.run(quietStep.auto, { + const outcome = await autoRunner.run(quietStep.auto, { taskId, stepId: quietStep.item, ownerId: (await deps.tasks.of(taskId)).ownerId, @@ -1736,6 +1737,27 @@ export function createTurnRunner(deps: TurnRunnerDeps): LoopEngineService { quiet: true, carded: true, }); + quietWrote = outcome.wrote > 0 || outcome.dropped > 0; + } + /* + * **这一拍真写下过东西,收拍前把画面重推一遍**(2026-08-30,W05 数据工单浏览器走查 + * 实测:人给候选料选好芯片类型、按保存,上面的配方铺出 7 行新参数、红带也点名要填 + * 这 7 格,而这条路从不推帧 —— 任务停在 `awaiting-event`,人刷新页面看到的仍是保存前 + * 那份快照(件是服务端渲好推来的快照,重放不重渲),被点名的格子屏上根本不存在, + * 走查到此卡死。**这极可能与 e2e 反复撞见的「答完卡不推进」异常同一个短路**: + * 数据工单的下一轮填报要看这一步刚铺出来的新字段,画面不重推,人 / 脚本都无从下手, + * 之后再没有任何事件会把它唤醒。 + * + * 走到这儿状态机什么都没变(quiet 只跑 project/say,不迁移计划项),`runtime` 仍是 + * 拍首那份,画面按 `quietStep` 声明的那张推就够 —— 与「拍首跑配方」发卡那条同一份 + * 判断(下面 `issuedCardId` 那处:「这一步声明了画面才推,没声明就沿用上一帧」)。 + */ + if (quietWrote && quietStep?.view !== undefined && quietStep.view !== '') { + try { + await showView(taskId, quietStep.view, runtime, quietStep.view); + } catch { + // 呈现失败不影响回路:画面丢一帧,事实一件不少(与末尾推帧同一条纪律) + } } await deps.memory.append({ taskId,