dsh-ctxedit

在助手消息的动作行加一个「更改输出」按钮；在每条用户消息左侧有一个常显的回溯图标。

界面级「消失」= 就地回溯。 平台客户端只渲染「追加」事件、不折叠「替换」事件， 所以插件在模型侧遮蔽之外，还用 zones.json 记录「锚点 / 标记 / 死轮次」， 由客户端把对应 DOM 行隐藏。fork 路由（/rewind）保留，但 UI 已不再使用新会话。

改动只改「模型下一轮读到什么」。 会话日志是 append-only，原始字节一个都不动 —— 卸载插件后旧内容会重新显示出来。

HTTP 接口（宿主半体，全部回环 + 同源）

/apply 的 mode 取值：

全部路由只接受回环地址 + 同源请求（改会话内容的路由，不对 LAN 开放）。

兼容性：DSH 0.2.0-rc.2 与 0.2.1-rc.2 均已实测跑通（0.2.1 上 find/diagnose 正常、 phase/loopCtx 可访问、轮次号无重复）。0.2.1 的安装版与 npm 包在 surface.js / v3-to-v4 / agent-loop 三个关键文件上逐字节一致。证据见 docs/COMPATIBILITY.md；升级后跑一次 tools/verify-host.mjs 确认现场。

为什么能做到（机制）

DSH 的会话日志分两层：落盘的事件日志（append-only）与模型可见的那一层（surface）。

• 追加一条带 surfaceOp: { op: 'replace', startSeq, endSeq } + sourceEventSeqs 的事件，就能把旧节点从 surface 上遮蔽掉；
• 遮蔽后 session.deriveMessages() 里那个节点消失，模型就看不到它了。

这套写法有四条硬约束（全部实测撞出来的）：

1. 只有非 assistant 载体能做替换。assistant/message 一旦带 sourceEventSeqs 会被拒： assistant/message embeds its source stream and cannot carry sourceEventSeqs。 所以「遮蔽」用无回合的 user/message 空内容载体做。 已知代价：空 content 的 user/message 仍会投影成 1 条空 user 消息进入模型请求 （dsh-session/lib/types/surface.js:85-87 对 user/message 直接 return event.data）； 只有空 system / developer 才不投影，但它们必须落在开着的 step 里，成本更高，暂不采用。
2. 模型可见的 assistant 内容必须落在「开着的 turn + step」里，且 turn/step 要与当前开着的完全一致。 插件自己开一个合成轮次来承载改写后的消息。
3. 合成轮次必须带结算字段：data.turn、data.step、message、stream（数组，且与 content 自洽）。
4. source.replacedBy 是血统指针。 改写/还原是「先 append 新消息，再用空载体遮蔽旧节点」； 新节点与旧节点在日志里没有天然指针，所以载体上记 source.replacedBy = 新节点 seq。 /find 反过来按这个字段一路回溯到最初的助手消息，得到 history.rewrites / originSeq。 旧日志没有该字段 → rewrites 为 0。

为什么必须同步宿主的轮次计数器（最重要的一节）

症状：连续改写两次后，日志出现 …11, 12, 12, 13… 这种重复轮次号； 宿主关系校验器随后拒收整条日志：turn/start does not open the expected turn，会话打不开。

成因（源码位置：@deepseek-ai/dsh-agent-loop）：

修法（lib/index.js 的 syncAgentTurnCounter）：写完合成轮次后，把 agent.phase.lastTurn 设成投影给出的权威值：

const authoritative = agent.loopCtx.sessionProjections.stateOf(session, 'turnBoundary')?.lastTurn
phase.lastTurn = authoritative

拿 agent 的路径是 ctx.agents.get(sessionId)（宿主 typert 注册表里 resolve: sessionId => this.get(sessionId)）。

安全阀：

• 只在 phase.kind === 'idle' 时赋值 —— 轮次跑着的时候改计数器会污染在跑的轮次，这时直接拒绝；
• 全程 try/catch。字段名或结构一变（DSH 升级），同步函数返回 ok: false 而不抛错，接口会附带一句 warning 提示「需要重开会话」；
• 只读探针 diagnose?messageId=… 可以随时确认现场：phaseKind / phaseLastTurn / projectedLastTurn / canSync。

⚠ 升级 DSH 后第一件事：先跑一次 /diagnose。若 hasPhase: false 或 canSync: false， 说明宿主内部结构变了，同步会静默降级 → 此时每次改写后必须重开会话再继续对话。

已知限制

• 必须等 agent 空闲。/find 会返回 openTurn/openStep，非 null 时面板禁用写入并给提示。
• 被改写的原消息若含工具调用，工具调用/结果块不会跟着回到上下文（伪造「我调用过某工具」会被校验器挑出来）。
• 改写后新消息的 messageId 是全新的（这是刻意的）。早期版本复用了原 id，客户端按 id 认消息 → 把改写版当成旧版「重新生成」，用户的新内容会消失。实测踩过。
• stream 按 content 现场生成（block-end 序列）。现行 v4 读路径不复放 stream，但历史代迁移校验器会把 stream 重放成 blocks 与 content 深比较，自洽才安全。
• 0.5.1 之前做过的改写无法「还原原样」：当时没写 source.replacedBy，血统回溯不到原稿，面板不会出现「还原原样」按钮。此时只能手动重新改写。

安装与回退

安装位置：~\.dsh\profiles\desktop\plugins\dsh-ctxedit\，并在 profile 的 cordis.patch.yml 末尾注册一行：

- insert:
    - id: dsh-ctxedit
      name: ./plugins/dsh-ctxedit/lib/index.js
      config: {}

回退：

1. 删掉 cordis.patch.yml 里上面那段 insert → 重启 DSH 即停用；
2. 或删掉整个 plugins\dsh-ctxedit\ 目录；
3. 已经写进日志的替换事件不会被撤销（append-only）——卸载后界面会回到原始内容，但模型仍读着被改写的历史。要彻底还原，用面板里的「还原原样」。

工具（tools/）

常用入口（完整清单见 MANIFEST.md，共 17 个脚本）：

宿主源码路径由 tools/_lib/harness.mjs 统一解析；其他机器可用环境变量 DSH_ASAR_HARNESS 指向解包后的 @deepseek-ai 目录。

License

MIT © 2026 AtinyFurina。见 LICENSE。

docs/AUDIT-*.md 是开发期的内部审计记录，含本机路径与会话片段，仅作工程留档；不参与插件运行。