Token 计量：决策用重放，展示用投影

先玩再讲。左表是重放实测 measure()，压缩决策读它。右表是 UI 投影 projectedTokens，状态行显示它。一场对话逐步推进：大工具输出、压缩、换模型、新请求。你会看到两表大部分时候贴得很近，然后在换模型那一步公开分叉，还理直气壮。

先给结论：这两个数回答的问题不一样。压缩决策要回答此刻这个会话如果发请求会有多大，答案必须准，可以贵。UI 状态行只要给用户看个占用率，答案必须便宜、持久、重连后立刻能显示，准到小数点没有意义。DSH 干脆各修一条路，谁也不迁就谁。

决策这条路叫重放。ctx.tokenMeter.measure() 每次被调用，都把持久日志的当前尾部折叠成一份不可变快照：最近一次成功请求的 provider usage 若能匹配当前请求信封、且总量不低于它的完整启发式锚点，就拿来当锚；surface（模型可见表面）此后的增减用有符号 delta 重新定价；没有可复用的锚就整体按固定启发式定价。

代价也明明白白：每次调用 O(surface)，所以只有压缩这样的决策方在自己的请求边界调它。

出处：docs/subsystems/token-meter.zh.md 对 baseline 两种取值（usage 锚 / estimated 启发式锚）的定义。

展示这条路叫投影。它是普通的持久会话投影状态，只有两个各自后者胜的字段：pressureTokens，最近一次请求报告的提示词侧规模，口径是输入加缓存读写、不含输出（usage-projection.ts 第 70 到 72 行）；还有 contextWindow，来自最新一条 request/context 日志记录。分子分母各写各的，从不凑成一次原子观测。

光有 pressureTokens 有个尴尬：它只在请求报 usage 时更新，Turn 流式期间一动不动，更看不见压缩。压缩替换了一大段 surface，状态行上的数却纹丝不动，用户会以为压缩没干活。所以 fold（折叠函数）顺手带一份 surface 的运行总量，公布的是样本加上此后 surface 的有符号变动。源码注释把意图写得很直白：occupancy answers for the next request rather than the last one，占用率回答下一次请求的大小（usage-projection.ts 第 150 到 161 行注释）。演示第 5 步就是这个效果：压缩刚落盘、一个新请求都没发，投影已经掉下来了。

还有一个时序细节：usage 样本在同一事件加入 surface 之前盖章（stamped BEFORE），所以 assistant/message 锚定的是它自己那次请求看到的 surface，增量的起点不会错位。

整个投影的对外视图就这 7 行。第三个展开项是全课的题眼：pressureTokens + surfaceTokens - sampledSurfaceTokens，样本加上取样之后 surface 的净变动，再用 Math.max(0, …) 兜住下界。两个来源字段缺一个，对应的输出干脆不出现。

  view: ({ contextWindow, pressureTokens, surfaceTokens, sampledSurfaceTokens }) => ({
    ...contextWindow === undefined ? {} : { contextWindow },
    ...pressureTokens === undefined ? {} : { pressureTokens },
    ...pressureTokens === undefined || sampledSurfaceTokens === undefined
      ? {}
      : { projectedTokens: Math.max(0, pressureTokens + surfaceTokens - sampledSurfaceTokens) },
  }),

两个边界条件顺着这段代码就能推出来。其一，provider 不回 usage：投影侧 pressureTokens 一直缺席，第二、三个展开项都不出现，UI 干脆不显示占用率（Agent Note 明确：只有压力与容量都已知时才显示占用率）；决策侧不受影响，measure() 退化为 estimated 启发式锚，照常给数。其二，占用率的非原子分叉，文档的辩护词在演示第 6 步已经弹出来过，出处是 Agent Note 第 29 到 35 行，标题就叫「上下文占用率是近似值，而这正是决策本身」。

对比下来，三家其实答了同一道题：占用率这个数给谁用、错了谁买单。Grok 选了永远一致的粗数，Claude Code 给展示计数打了防重复的补丁，DSH 把两个消费方彻底分开，然后在文档里承认展示那份就是近似值。