compress 工具结果缺少新块 ID 与实际 ref 跨度,模型块账本随会话漂移

[ranxianglei]

来源: #375 (#375) 分析"模型为什么不使用推荐而是自己调用 acp_status"时发现

现象

真实会话中,模型对"之前的压缩块覆盖到哪里"的记忆与 nudge 推荐的 ranges 矛盾(记忆 b2 止于 m00056,实际 b1 止于 ≤m00043),被迫先调 acp_status 验证再执行。该记忆错误源于 compress 结果不回报新块的 ID 和实际覆盖:模型只能从自己提交的 startId/endId 推断。

根因

src/compress-tool.ts:455-458 构造的结果只有 ▣ ACP | X → Y tokens (~Z reclaimed, N blocks) + warnings;newBlockIds(L446)仅写入 debug log。同时 acp-kernel 的保护排除(src/compress.ts L806-837)与 turn-integrity 撤回(L839-879)会在事后改变实际覆盖范围——warning 只列被排除的 ref,不给最终覆盖。于是每次 compress 后模型的块账本都与现实偏差一点,累积到与 nudge 冲突时触发一次可避免的 acp_status 往返(~1.8K tokens + 一轮 LLM)。

建议方案

在 src/compress-tool.ts 的结果行中附带新块 ID 与实际 ref 跨度(数据已在 applied.state.blocks,取 effectiveMessageIds 的首尾 ref):

▣ ACP | 61.1K → 13.7K tokens (~47.4K reclaimed, blocks: b3=m00044–m00097*, b4=m00103–m00123*)

(* 表示范围含被保护/撤回排除的消息,实际覆盖以 warning 为准)。多块时逐块列出;tier 块标注 tier。

验收标准

成功 compress 的结果包含每个新建块的 id → ref 跨度;失败/partial 时仍准确;现有 45 个测试保持通过并新增对结果格式的断言。配套 acp-kernel#251(nudge 块地图)落地后两项共同消除验证性 acp_status 往返。

[ranxianglei]

🤖 Powered by ework · qwen3.8-27b

[bot] 🏷 已完成,PR 已提交:#377

审核结论(动手前的验证):根因属实。src/compress-tool.ts:455-458 的结果行确实只有 N blocks,newBlockIds(L446)仅进 debug log;kernel 的保护排除与 turn-integrity 撤回事后改变实际覆盖,模型只能从自己提交的 startId/endId 推断 → 块账本逐次漂移。本方案打到核心(让结果行直接报账本事实),不是治标。

实现(纯本仓库改动,无 acp-kernel bump):

• 新增 blockSpanLabel(block, state):取 effectiveMessageIds 首尾 ref 作为实际跨度;跨度内存在仍存活但未被该块覆盖的 ref(被保护/撤回排除)时标 *;tier ≥ 2 标 (T2)/(T3);单消息跨度渲染裸 ref(对齐 kernel 的 count===1 约定);不可解析时退化为裸块 ID。
• 成功面板:▣ ACP | 61.1K → 13.7K tokens (~47.4K reclaimed, blocks: b3=m00044–m00097*, b4=m00103–m00123*)
• 两个额外决策:① 0-block 运行保持旧格式 0 blocks(与 dead/cap 拒绝面板一致);② compressPanelBlocks 解析器双格式兼容——index/floor-stale 会回放历史 transcript 里的旧面板,只认新格式会让老会话状态重建失明。
• * 的语义细化:只在跨度内部有排除时才标;尾部撤回(turn-integrity)直接缩短跨度本身,无需星号——span 即真相。

测试:新增 9 个(e2e 多块列出、partial 运行只列创建的块、star/tier/单消息/编号空洞/退化 6 个单元、解析器双格式);更新 7 处对真实输出断言旧格式的 /1 block/(decompress-cmd、integration ×5、view-recount)。全量 657 pass / 0 fail / 3 skipped(skipped 为既有);typecheck + tsup build clean。

配套 acp-kernel#251(nudge 块地图)落地后,两项共同消除验证性 acp_status 往返。

中文摘要:compress 结果行现在逐块回报"块 ID = 实际 ref 跨度"(内部排除标 *、tier 标注),解析器向后兼容旧面板,657 测试全绿,可合并。

[ranxianglei]

🤖 Powered by ework · qwen3.8-27b

[bot] 🏷 实现过程中发现一个相邻问题,已单独开 issue(不在本 PR 范围内修):

#378 — compress-tool 的 multi-block afterTokens 守卫测试空转:tests/compress-tool.test.ts:87 声称验证多块 summary-anchor 尺度,但实测其两条压缩调用都被 minCompressRange(5000 chars)门槛拒绝(~0 reclaimed, 0 blocks + Errors),而它的断言在 no-op 面板上同样成立——守卫从未真正执行过。已附完整实测证据与修复建议。

本 PR(#377)不受影响:新增的 e2e 测试均使用 ≥5000 chars payload 并显式断言 blocks: bN= 出现,确保压缩真实发生后再校验格式。

[ranxianglei]

🤖 Powered by ework · qwen3.8-27b

[bot] 🏷 内核侧构件已随 ranxianglei/acp-kernel#253 提交:src/block-map.ts 导出 formatCreatedBlocks(state, newBlocks) → blocks: b3=m00044–m00097, b4=m00103–m00123(span 优先取块存储的 startRef/endRef,缺失回退 effectiveMessageIds→ref 表;不可解析时退化为裸块 ID)。本仓库的跟进改动(compress 结果拼接该行)等 acp-kernel 合并发布、升内核版本后实施——届时 compress 工具返回里模型就能直接看到新块的精确覆盖范围,不再靠记忆核对。

[ranxianglei]

🤖 Powered by ework · qwen3.8-27b

[bot] 🏷 已实施:PR ranxianglei/billion-context-pi#384(内核 0.0.64 发布后开的)。compress 结果现在带 blocks: bN=mXXXXX–mYYYYY 行(内核 formatCreatedBlocks,非 tier-1 块带 tN 后缀),并附了回归测试;pin 同步升到 0.0.64。验证:typecheck + 694/694 测试 + build 全绿。等人工合并。