🐛 fix(sdk): engine 执行循环九项修复——运行锁 TOCTOU、缓存计价、压缩边界 uuid 回填

[CavinHuang]

概述

修复 sdk 全量 review 提出的 9 个 issue（engine 执行循环域），每个 commit 独立可跑绿。

Issue	修复
#358	repeat guard 熔断：跨签名连续计数 + 结构化 errorCode（rebase 时采用 main 先行落地的更严实现 208c818，本分支保留其交替击穿用例）
#352	estimateCost 补 cache read(0.1x)/write(1.25x) 计价 + recordProviderUsage 透传——maxBudgetUsd 预算熔断不再失真
#353	prompt-too-long 守卫改 consecutiveFailures < 3：压缩成功后可再次触发，失败自增自带熔断收口
#357 (P2)	运行锁同步置位/finally 复位闭合 TOCTOU 窗口，并发 query 不再双引擎写坏同一会话
#363	compact 边界后 uuid 队尾对齐回填；合成摘要排除出配对强制 fresh uuid（返工修复：否则摘要偷走被摘要消息的 uuid，rewindFiles 会恢复错误轮次文件快照）
#365	protectedUserMessage 按引用剔除出摘要区间，插回逻辑不动——双重包含消除
#359	pendingLspDiagnostics 改非破坏性读取+成功后清空，压缩重试不再永久吞诊断
#360	非流式 api_retry 经 onAsyncEvent 即时投递，与流式路径一致（数组仅无宿主回调兜底）
#361	max_tokens 续写耗尽的纯文本回复终态映射 error_max_output_tokens，不再以 success 掩盖截断

注：#304（max_tokens 占位 tool_result）已由 main 侧 515d6ad 上游修复，本分支在其上叠加 #361 耗尽标志。

验证

• bun run typecheck 六 workspace 全绿
• 指定套件 130 pass / 0 fail；SDK 全量 577 pass / 0 fail / 1 skip
• 独立 code review 通过：逐 commit 验证（cache 价系数依据、consecutiveFailures 循环收敛推演、锁覆盖路径枚举、repeat guard 三场景推演、uuid 对齐算法实证等）；[P3][sdk/agent] compact 边界后全量重建 sessionMessages 换发新 uuid，checkpoint 键与 UI 引用脱钩 #363 初版实现被 review 抓出摘要偷 uuid 缺陷并实证复现，已返工为 compaction 块剔除方案

Closes #358, closes #352, closes #353, closes #357, closes #359, closes #360, closes #361, closes #363, closes #365

🤖 Generated with Claude Code

[CavinHuang]

Code Review

九项逐项核对完毕，全部真实落地、方向正确、无 P0/P1/P2，CI 6/6 绿，可合。

亮点核验

• 运行锁 TOCTOU([P2][sdk/agent] currentEngine 运行守卫存在宽 TOCTOU 窗口，并发 query 双引擎共享并写坏同一会话 #357)：锁布尔在 generator 首个 next() 的同步前缀置位；同 tick 双 generator 测试钉死惰性启动窗口
• 压缩边界 uuid 回填([P3][sdk/agent] compact 边界后全量重建 sessionMessages 换发新 uuid，checkpoint 键与 UI 引用脱钩 #363)：推演连续两次 compaction 危险场景成立（increment-push 保证 previous 含当轮真实 uuid）；prev>hist 方向与摘要不偷 uuid 反例有测试
• 计价([P2][sdk/engine] 成本估算不计缓存 token，maxBudgetUsd 预算熔断失真 #352)：0.1x/1.25x 与 normalizeProviderUsage 的 cached 扣减前提核实成立，不双重计费
• repeat guard([P3][sdk/engine] repeat guard 条目永不过期，且双签名交替可绕过 blockedRepeatAttempts 熔断 #358)：采用 main 先行的全局 blockedRepeatAttempts 更严实现，交替击穿回归测试断言有效
• prompt-too-long 三处收口自洽；pendingLspDiagnostics 非破坏读取无丢失窗口（push 只在 toolCallActive gate 内）

非阻塞 P3 记录

• 0.1x/1.25x 对所有 provider 一视同仁，非 Anthropic 价目有残余偏差
• [P3][sdk/agent] compact 边界后全量重建 sessionMessages 换发新 uuid，checkpoint 键与 UI 引用脱钩 #363 正确性依赖两条隐式不变量（synthetic 恒在头部/user 先 increment-push），缺「连续两次 compaction」序列回归测试
• 宿主自定义 compactConversation「成功即有效收缩」的隐含信任

BEHIND，merge main 过 gate 后即可合。

[CavinHuang]

Code Review

九项逐项核对完毕,全部真实落地且各有行为钉死测试,可合。merge-tree 实测与 main 零冲突(仅 BEHIND,main 唯一触碰点 c0cc273 新增 stop_reason:'aborted' 与本分支正交,自动合并干净);无 .tmp 残留。

亮点验证

• [P2][sdk/agent] currentEngine 运行守卫存在宽 TOCTOU 窗口，并发 query 双引擎共享并写坏同一会话 #357 运行锁 TOCTOU 真闭环(agent.ts:921-934):runLocked 同步检查+置位后才有首个 await(setupDone 移入锁内),finally 复位——JS 单线程下检查与置位间无挂起点,窗口闭合;同 tick 双 next 拒绝 + 完成后放行双测试
• [P3][sdk/agent] compact 边界后全量重建 sessionMessages 换发新 uuid，checkpoint 键与 UI 引用脱钩 #363 uuid 回填:合成摘要经 _meta.contextBlock==='compaction'(compact.ts:640 写入/agent.ts:245-248 识别)排除出配对,含"摘要不得偷旧 uuid"红例
• [P3][sdk/engine] repeat guard 条目永不过期，且双签名交替可绕过 blockedRepeatAttempts 熔断 #358 repeat guard:采 main 先行落地版(全局跨签名计数),分支保留交替击穿负例(A/B 各只执行 2 次)
• [P2][sdk/engine] 成本估算不计缓存 token，maxBudgetUsd 预算熔断失真 #352 缓存计价:read 0.1x/write 1.25x 接线 recordProviderUsage,系数与 totalTokens 口径均有断言
• [P3][sdk/engine] 连续 max_tokens 截断的纯文本回复最终以 success 收尾 #361 截断终态:含"预算耗尽后带 tool_use 仍执行"边界测试

P3(不阻塞)

1. estimateCost 对 PRICING_ENTRIES 全模型统一套缓存系数,非 Anthropic 系口径可能不同——方向保守(高估成本→预算熔断更早),可接受。
2. [P3][sdk/agent] compact 边界后全量重建 sessionMessages 换发新 uuid，checkpoint 键与 UI 引用脱钩 #363 配对是纯 role 尾对齐启发式,history 与 previous 同角色条目数错位时会静默串号(checkpoint 键错位不崩溃);主路径已钉死。

结论

可合,走 PR 正常合并即可。