甜甜圈压缩 bochen2029-pixel/dsh-donut

Donut

永不结束的会话

窗口填满，会话也不结束。

Donut 是 DeepSeek Harness 的压缩后端。它让长时间运行的智能体留在上下文窗口内，既不用把整段对话压成一条有损消息，也不用重启 harness。

模型是无状态的：每个请求都携带完整对话。Donut 改的是下一个请求携带什么，而不是已经发生的事。会话是一份只追加的日志；模型看到的是折叠在日志之上的一个切面。Donut 只替换中段最老的部分，且只替换到刚好落在窗口 55% 附近。

[ system ][ HEAD frozen ][ cards... ][ STATE ][ band ][ TAIL ]
node 0 <= 20 % per chunk one oldest newest 25 %

- HEAD —— 开场白，以及随它一起注入的上下文，逐字保留。第一张卡片出现之后，它就不再移动。
- Cards —— 每个压缩块一张冻结的索引卡：一行 WHAT，一行 KEYS，KEYS 是带序号的原样字面量。写一次，永不重写。
- STATE —— 一份工作记忆文档：任务、生效中的指令、决策、当前状态、已验证结果、已否决方案、未完成工作。
- TAIL —— 窗口最新的 25%，原样保留。

原始日志永不编辑。每张卡片都标明它替换的 seq 区间，以及读回该区间的 recall 调用。压缩掉的内容不会丢失，只是被索引了。

状态

实验性。设计已在临时 harness 中针对 DeepSeek Harness Desktop 0.2.1-rc.3 完成规格说明与测量。插件代码尚未发布。 本仓库目前存放设计记录；端到端测试完成后，实现会跟进。

- 设计记录：docs/SPEC-v1.md
- 规格里有两个未填的占位符（RUN_FULL5_RESULT、REVIEW_STATUS），标记着仍在进行的工作。
- 代码将以 dsh-compaction-donut 发布，MIT 协议。

为什么

每个 harness 迟早都会撞上窗口。常见做法要么是把所有内容压成一条消息（丢掉细节），要么是停下来。Donut 把高级用户早就在手动跑的循环自动化了：写一段再水合提示词，砍掉最老的三分之一，重启，再水合。它实时完成，在同一个会话里，什么都不删。

路线图

- [ ] 全量运行与评审记录完成后，发布插件（dsh-compaction-donut）
- [ ] 三遍 recall 测试：答案只存在于某张卡片里的问题
- [ ] 为超过约 5M token 的会话做卡片汇总
- [ ] /donut 状态命令
- [ ] 一条静态规则，要求模型在依据模糊卡片行动前先 recall 原文

许可证

MIT。见 LICENSE。