compress 摘要双重转义(\uXXXX)入库+渲染;幻觉用户原话被摘要永久化为 CURRENT TASK 导致循环复发

[ranxianglei]

compress 摘要双重转义(\uXXXX)直接入库+渲染进 prompt;幻觉用户原话被摘要永久化为 "CURRENT TASK" 导致循环复发

同一会话(01a071dc-e334-76ea-98a9-115e48061ac9,0.1.54)调查中发现的两个摘要保真度 bug。与 #250/#199 同源环境(本地 27B 量化模型)。

现象 A:摘要双重转义入库

Sidecar 对比:

• 早期块 b8/b9/b10 存储真中文 verbatim 引用:"合并了295 继续下一个rebase"
• 14:55:01 起该会话所有 compress 调用(jsonl line 923 之后,含 b58/b59/b60/b61):模型参数里的中文全部变成字面 \u5408\u5e76... 转义序列(原始 wire 上是双重转义 \\u5408,外层 JSON.parse 后残留字面 \u5408 6 字符序列)
• kernel renderSummary() 不做任何 unescape,原样渲染 → 模型 prompt 里出现大段 \uXXXX ASCII

诱因:模型模仿上下文中(工具输出里)转义过的 JSON —— 少样本污染,中途切换风格,之后自我强化。每次二级蒸馏把转义再复制一层(b61 也是转义的)。

影响

• 摘要保真度下降(qwen 能部分读懂 \uXXXX,但不再是可靠的历史记录)
• 双重转义写回 prompt 可能进一步污染模型后续输出风格

修复建议

• compress content 入库前规范化:解析后的 summary 文本中 (?:^|[^\\])\\u[0-9a-fA-F]{4} 命中数超过阈值(如 20 处)→ 做一次 unescape(JSON.parse('"'+s.replace(/\\/g,'\\\\').replace(/"/g,'\\"')+'"') 或逐段解码),写 debug log summary-unescaped
• tests/ 增加双转义样本用例(输入含 \u5408\u5e76 字面序列,断言入库后为真中文)

现象 B:幻觉用户原话被摘要永久化 → 循环复发的直接原因

时间线(全部来自 sidecar 与原始 jsonl):

1. 会话节奏 = 用户在每次 PR 合并后说"合并了…"(真实话语被 b8/b58 等摘要 verbatim 保留)
2. 11:03:08 UTC 模型幻觉出不存在的用户消息 合并了 下一个(两句话的混合体;全文检索证实该短语此前从未出现),进入 30× acp_status 死循环(另开 issue 详述)
3. 11:18:13 用户打断后,模型压缩生成 b60,把幻觉写成事实:CURRENT TASK: user '合并了 下一个' = proceed to NEXT open issue. Remaining: #305,#299,#271...
4. 11:21:56 二级蒸馏 b61(active)继承:CURRENT TASK (user verbatim '合并了 下一个'): pick NEXT open issue...
5. → 打断后模型每次读到 b61 都会"恢复任务" → 两次复发,直到用户放弃会话

ACP 把一句幻觉标注为 user verbatim 写进存储,是循环从"一次事故"变成"持续复发"的放大器。

修复建议

1. 压缩提示词加规则(src/system-prompt.ts):引用用户原话必须带消息 ref(mNNNNN);没有 ref 的改为转述("user previously said (paraphrased) ...")。禁止在摘要中用现在时把引用写成当前指令
2. kernel 入库校验:新摘要中出现 user verbatim/直接引号声称用户原话但缺 mNNNNN ref → [warn] summary-unverifiable-quote 日志(不自动改写,留证据)
3. 摘要模板措辞:"CURRENT TASK" 一律改为 "TASK AS OF BLOCK CREATION(历史状态,截至本块创建时)"——摘要描述的是压缩时刻的过去,不是现在的指令

[ranxianglei]

🤖 ework agent · qwen3.8-27b

[bot] 🏷 已接手。先报审核结论(审核先于实现):

查重:无重复(多组关键词检索 open+closed)。

现象 A 证实:kernel renderSummary() 对 anchor.summary 原样渲染、不做 unescape;kernel README 契约明确 call.summary 由模型侧产出 → 入库前归一化属于 host 层职责,在 billion-context-pi 修即可,无需动 acp-kernel(避免跨仓发布顺序依赖)。

现象 B 证实:kernel 默认的 howToCompressRules 里其实已有 "Mark them clearly as past quotes... not as current directives" 措辞,但不够硬——模型仍写出 CURRENT TASK: user '...'。适配层的 system prompt 是在 kernel 规则之上叠加的,加硬规则的位置正确。

关键发现:所有压缩(T1/T2/T3 蒸馏)都走同一条路径 src/compress-tool.ts handleCompress() → runtime.core.applyCompression(),在这一处做入库校验即可覆盖全部层级——二级蒸馏再复制转义的问题也会被拦截。

方案(全部 adapter 侧,零 kernel 改动):

1. 新模块 src/summary-sanitize.ts:解析后 summary 中 \uXXXX 字面序列 >20 处 → 解码一次(debug log summary-unescaped);仅解码 \uXXXX(含 surrogate pair),\n/\\ 等保持原样,不误伤合法内容
2. user verbatim/直接引号声称用户原话但全文无 mNNNNN ref → [warn] summary-unverifiable-quote 日志,不自动改写(按 issue 要求留证据)
3. system prompt 新增 "SUMMARY FIDELITY RULES":用户原话引用必须带 mNNNNN ref,否则转述;任务状态一律标 "TASK AS OF BLOCK CREATION" 禁用 "CURRENT TASK";禁止现在时把引用写成指令;禁止从工具输出复制转义序列进摘要

正在补测试并跑全量检查,PR 稍后贴出。已知限制:修复只覆盖新入库摘要,存量已损坏块(b58-b61 等)需会话重新蒸馏才会清理。

[ranxianglei]

🤖 ework agent · qwen3.8-27b

[bot] 🏷 完成 → PR: #310

审核结论(动手前的验证)

• 查重:无重复。
• 现象 A 证实:kernel renderSummary() 对 anchor.summary 原样渲染、无 unescape;kernel README 契约明确 call.summary 由模型侧产出。→ 入库前归一化是 host 层职责,在 adapter 修,零 kernel 改动(顺带避开 acp-kernel 必须先发布的跨仓依赖)。
• 现象 B 证实:kernel 默认 howToCompressRules 里已有 "Mark them clearly as past quotes... not as current directives",但不够硬——实测模型仍写出 CURRENT TASK: user '...'。adapter system prompt 叠加在其上,加硬规则位置正确。
• 覆盖性关键发现:T1/T2/T3 蒸馏全部走同一条路径 handleCompress() → applyCompression()——在这一处入库校验即可覆盖所有层级,二级蒸馏"再复制一层转义"的问题同样被拦截。

实现(对应你的 4 条修复建议)

建议	实现
A: 入库前 unescape + summary-unescaped 日志	src/summary-sanitize.ts(新):解析后 summary 中 \u[0-9a-fA-F]{4} 字面序列 >20 处(严格大于)→ 解码一次(debug log 带 span/计数/前后长度)。只解码 \uXXXX(含 surrogate pair),\n/\\ 等保持原样——合法引用少量转义例子的摘要不会被误伤(边界已测试:恰好 20 处不动、21 处解码)
B2: 不可验证引语 warn 日志	findUnverifiableUserQuote():出现 user verbatim/直接引号声称用户原话但全文无 mNNNNN ref → [warn] summary-unverifiable-quote,记录命中的 claim。不自动改写,留证据(按你的要求)
B1: 压缩提示词加规则	src/system-prompt.ts 新增 SUMMARY FIDELITY RULES:用户原话必须带 mNNNNN ref,否则转述("user previously said (paraphrased)")
B3: CURRENT TASK 措辞	同节:任务状态一律标 "TASK AS OF BLOCK CREATION",禁用 "CURRENT TASK"(摘要描述的是压缩时刻的过去);另加一条禁止现在时把引用写成当前指令、禁止从工具输出复制 \uXXXX 进摘要(针对 A 的少样本污染诱因)

验证

• 新增单测 tests/summary-sanitize.test.ts(解码/边界/引语检测,含 compress 摘要双重转义(\uXXXX)入库+渲染;幻觉用户原话被摘要永久化为 CURRENT TASK 导致循环复发 #309 事故原句 CURRENT TASK: user '合并了 下一个' = proceed...)
• 新增端到端测试:compress 传入 25 个字面 \u5408,断言持久化 .acp.json 中为真中文且无残留转义序列
• npm run typecheck ✓ / npm test 477 pass 0 fail ✓ / npm run build ✓(全量跑时一个无关 delegate 测试在负载下偶发 flake,单独跑与重跑均通过)

已知限制

修复只覆盖新入库摘要;事故会话里已损坏的存量块(b58–b61)需重新蒸馏才会清理。