压缩约束守卫 zhengqiuyang/dsh-compaction-guard

dsh-compaction-guard

为 DeepSeek Harness（dsh）提供压缩完整性保障。

长会话会触发压缩；被压缩掉的那段内容会带走其中的约束——「never commit to main」「必须先跑测试」——智能体就这样悄悄忘掉了那些要求它记住的规则。这个插件监听 compaction/summary 会话事件：从被遮蔽的用户编写事件中提取指令行，逐条对照摘要做校验（逐字、空白归一化，或实质内容——按实词覆盖率设阈值），并报告智能体刚刚忘掉的每一条约束——输出到控制台，同时写入一份持久化的 JSONL 台账。配置里的固定约束在每次压缩时都会校验。信任路径中零 LLM 调用。

家族频道 #9：读 / 写 / 做 / 调用 / 留下 / 外发 / 被告知 / 运行中 / 被记住——智能体忘掉的东西。

为什么是现在（核查于 2026-10-17）

awesome 列表里有 209 个记忆插件，dsh 自身也有一整套压缩包家族——但没有一个校验约束能否在压缩后存活。记忆插件增加召回；这个插件审计丢失。compaction/summary 事件甚至自带 shadowedSeqs（正是被压缩掉的内容）——完整性校验在构造上就是确定性的。

工作原理

compaction/summary event
├── shadowedSeqs → session.eventAt(seq) → user/message directive lines
├── pinned constraints from config (always verified)
├── verify against the summary text:
│ verbatim (whitespace-normalized substring) → kept
│ content-word coverage ≥ threshold (default 0.6) → kept
│ otherwise → LOST (reported + ledgered)
└── ledger: .dsh-compaction-guard/ledger.jsonl (CI-consumable)

有意保留的诚实局限：词覆盖率追踪的是词，不是含义——摘要把「run the tests」改写成「execute the checks」且没有共享词汇时，会被判为丢失（保守方向：误报，而非静默丢失）。同义词感知匹配需要嵌入或 LLM，而这正是本家族拒绝放进信任路径的东西。

安装

dsh plugin --profile default add github:zhengqiuyang/dsh-compaction-guard

预构建的 lib/ 随仓库发布——无需构建步骤，无需 allowBuilds。

配置

- id: dsh-compaction-guard
name: dsh-compaction-guard
config:
pinned: ["Never force-push to main"] # always verified, verbatim
coverage: 0.6
ledgerPath: .dsh-compaction-guard/ledger.jsonl

开发

npm install && npm test

路线图

- reinject 模式：压缩后把丢失的约束重新引导回会话（默认仍为 observe——自动注入值得先做实测）
- 压缩后重申监听器（摘要之后再次声明的约束也算存活）
- 轮次边界约束（首轮的任务简报按轮固定）

终止条件

如果 dsh 推出第一方压缩完整性校验，本插件冻结于它最后一个能用的版本，以及一份事后复盘，都在这里。