DSH 学习 · 溢出与转储

模型看到预览,工件留着全文,两边加起来不超预算。

一条超大的纯文本工具结果不会原样挤进上下文:spill-policy 把完整文本逐字存入会话作用域的溢出工件,再在 maxInlineBytes 预算内拼一段 head/tail 预览加定位符提示——提示行自己的字节成本也计在预算里。read 工具被豁免以免转储循环;没有后端时尽力而为、原样放行;maxInlineBytes 没配置,这个插件根本不注册。

先押一个注:把 read 工具的 3000 字节输出对着 cap 600 跑一遍——这条结果会被转储吗?

当前选择写在地址栏 #state= 后面:刷新不丢,发给别人打开的是同一份输入。
分叉形态
结果字节
进入上下文
工件保留
循环预防
独立校验

一条结果的两个去处

字节 × 去处

上面一条是工具产出的原始尺寸;竖线是 maxInlineBytes。越线时下面出现替换条:head 与 tail 从预算两端对半取材,中间省略的部分连同定位符提示一起指向溢出工件。悬停各段看字节数。

这一步发生了什么

步骤 × 参与方
当前输入的推演步骤
#泳道阶段说明
独立校验逐条判定(只读步骤与观测值,自己重算)

    规则逐条重算

    预算校验

    独立校验把同一输入整体重建一遍再逐条核对预算、逐字保留与豁免规则;它不读渲染层的任何中间量。

      哪些结论可以带走

      能证明什么

        不能证明什么