DSH 学习 · Surface 与历史

压缩换掉的是视图,不是日志。

上下文太长时,把久远的历史替换成一份摘要,最近几轮原样保留——这是 surface 的变化。原始日志是只追加的事实:被替换的每一条事件都还在,摘要必须逐条引用它们。这个实验让你亲手拉「保留轮数」,看两层折叠怎么算账。

阅读配套课程 打开日志重放实验

先押一个注:把「保留轮数」拉到 0,除摘要以外全部历史都被替换。这时原始日志里的事件数会怎么变?

当前输入写进地址栏 #state= 后面:刷新不丢,发给别人打开的是同一份输入。不用账号,不写本机存储。
原始事件
表面节点
压缩前估算
压缩后估算
估算节省
独立校验

上排是日志事实,下排是进入模型的表面

事件 × 表面节点

上排一格是一条原始事件,位置就是它的序号。下排一个节点横跨它引用的序号范围:chunk 先折成整条消息,久远轮次再换成一份摘要。摘要节点的虚线连回它替换的范围——这条线就是 sourceEventSeqs。矩形长度编码覆盖的事件数,不编码 token。

三条规则逐条重算

折叠校验

独立校验 不读渲染层的中间量:它自己重建一遍折叠、数一遍事件、加一遍 token,再检查摘要引用、最近轮保留和确定性。

    哪些结论可以带走

    能证明什么

      不能证明什么

        当前表面的全部节点

        不用脚本也能读

        图里的每个节点,这张表都逐行给出:属于哪一轮、引用了哪些事件序号、估算多少 token。没有脚本或图形支持时从这里读。

        当前表面的全部节点
        节点 所属范围 引用的事件序号 估算 token