mirror of
https://gitcode.com/JianFeeeee/HomeAgent.git
synced 2026-11-05 16:57:32 +00:00
## 上一个提交修的是另一半,这是主因
263b651 修了"并发批次漏记 ToolCalls"(历史脏数据)。但**新会话仍然报同样的错**,
说明还有一条独立的路径在制造非法序列。
## 定位过程
① 先读内核自己写的日志(homed_<时间>.log):
overflow check #1: ratio=1.21 events=41 (threshold=1.25)
上下文**没触发裁剪**(1.21 < 1.25)——所以不是裁剪切断配对。
② 于是直接拿生产 context.json 的真实数据跑渲染,按 call_id 统计配对:
budget=480000 → 469 calls / 386 answered / **83 dangling**
budget=100000 → 469 calls / 40 answered / 429 dangling
**默认预算下就已经在切断。**
## 根因
renderL1Messages 的预算截断是**逐条消息**累加的:
for _, m := range msgs {
if maxTokens > 0 && used+cost > maxTokens && len(out) > 0 {
return out // ← 可能切在 assistant(tool_calls) 之后、tool 之前
}
out = append(out, m)
}
`msgs` 是一组 [user?, assistant(tool_calls), tool, tool, ...]。`return` 落在
组中间 ⇒ 序列里留下一个永远等不到结果的 tool_calls ⇒ 上游 400。
这与 InactivePages 的约束是同一件事(那边注释已写着"剔掉 call 却留下 result
就是造一个必崩的帧")—— **整组要么全留,要么全丢**。
## 修法:以事件(消息组)为截断单位 + 跳过失控帧
① 组内完整:groupCost 一次算完,整组 append 或整组不 append
② 单组超过预算 1/4 视为**失控帧**(实测见过 468 个 tool_call 的单帧,
51 万 token),此时跳过它继续往后渲染 —— 否则它会把之后的全部
历史一起吞掉(实测 49 个事件只剩 8 个,上下文几乎清空)
② 的判据只看"这一组自己是否失控",**不看 out 是否为空**:
第一版写成 `len(out)==0 || groupCost*4 <= maxTokens`,于是失控帧恰好
排在第一位时仍然 return —— 判据实测抓到"渲染出 0 条消息"。
## 判据(均经变异验证)
TestRenderBudgetNeverSplitsToolPairing
扫 8 个预算档位,任何档位都不得有悬空调用
变异:改回逐条累加 ⇒ budget=50 时 "call ca0 无配对结果"(实测红)
TestRenderOversizedFrameDoesNotDropNewerHistory
失控帧之后的新对话必须仍然可见,且跳过时不产生悬空
变异:去掉"跳过"分支 ⇒ "渲染出 0 条消息"(实测红)
## 用生产真实数据验证修复效果
修复前:budget=358553 → 14 条消息(5 assistant / 1 tool / 8 user)
修复后:budget=358553 → 236 条消息(41 assistant / 147 tool / 48 user)
dangling=0,四个预算档位均为 0
即:不再有非法序列,且上下文不再被单帧吞空。
## 验证
go build ./... PASS
go vet ./... PASS
gofmt -l 干净
go test ./... -count=1 63 包全过,0 FAIL
干净检出(git worktree) build + TestRender* 全绿