# Bug 报告：会话历史冷读失败 —— "unknown to this harness and not marked ignorable"

[Autovab]

此文档是ai帮我解决问题后生成的
dsh-bug-report-2026-09-09.md

[argszero]

你的报告质量非常高，两个根因我现在都在当前 master 上重新核对了一遍（这次是 0.1.5-alpha.1 / 5dda764，比 0.1.2-rc.1 前进了约 430 个提交）。结论是一修一开：

1. 主缺陷（打包 chunk 行冷读被拒）—— 已在当前 master 修复

你在 0.1.2-rc.1 上确认的「写路径打包、读路径不展开」不对称，在 0.1.5 上已经被重构解决。打包行现在被建模成迁移 run，而不是裸的未知类型：

• packages/session/session-format-v0-to-v1/src/codec.ts:23 定义 PACKED_TAGS = new Set(['text-chunks', 'reasoning-chunks', 'tool-call-chunks'])；
• :91-93 解码时先识别 PACKED_TAGS → decodePackedRun，:121-124 以 context.emitRun(run) 发射，:110 用 run.firstSeq 参与 seq 连续性；
• migration 侧 migration.ts:61-63 的 transformRun 对 isReleasedAssistantChunkRun(run) 走 run.expand() 无损展开成 assistant/chunk 事件。

也就是说，冷读路径现在先展开打包行再进事件校验，与写路径的 pack 对称，「0.1.2-rc.1 自写自拒」这条链条在当前 master 不再成立。这是核心改动，不是我能从插件侧补的——它已随 released-format 重构一起合入，无需你额外处理。

若你仍在 0.1.2-rc.1 上，升级到 0.1.3+ / 0.1.5-alpha.1 即可规避主缺陷；你在第 7 节的「无损修补会话日志」作为临时缓解仍是对的（先展开再回写）。

2. 次缺陷（dsh-tabbit 事件未标记 ignorable）—— 仍真实存在，且是核心缺口

这一半我确认仍未修，它是另一个家族（不是本线程的 chunk 打包）：

• packages/core/session/src/index.ts:703-707 的 append<T>(type, data, ...opts: T extends SurfaceEventType ? [opts: SurfaceIntent<T>] : []) —— 非 surface 事件的 opts 元组是空的；
• SurfaceIntent（types.ts:442-450）只有 surfaceOp / sourceEventSeqs，没有任何公开路径能让插件为自定义事件打上 ignorable: true；
• 读侧 packages/core/session/src/known-event-types.ts:15-17 明确：out-of-repo 插件事件天然不在词汇表里，SessionEvent.ignorable 标记是唯一兼容机制——但写侧从未暴露这个标记。

这是累计 9+ 位独立插件作者撞过的同一堵墙（#1538 / #1584 / #1619 / #2778 / #3191 / #5463 / #5474 / #5769 / #5793），你的 dsh-tabbit 是第 10 位消费者。它的本质不是本线程「打包行」问题，而是 Session.append 对非仓库内事件类型缺少 ignorable 注入通道。

修复方向是核心改动，不是插件能解决的：给 Session.append 增加一个严格类型的 { ignorable?: true } 选项（opts 元组成员），让插件作者能显式给自定义事件打标记；读侧拒绝逻辑保持 fail-closed（未知且未标记 → 拒读），不能放宽——读侧的严格是损坏家族完整性的兜底，标记必须是每位写作者的显式决定。这个改动的形制已在 #5463（map-gated IgnorableSessionEventMap）与 #5793（plain AppendIntent）两帖收敛，upstream PR 通道目前仍关闭。

检测侧：已有插件能提前暴露这个失败模式

依赖冷读时才发现会话被拒是滞后的。如果你想让 tabbit/status 这类事件在写后就尽早暴露「会在下次重载被拒」的风险，可以用我已发布的检测插件 @argszero/cordis-plugin-session-audit（v0.1.3）：

• 它订阅会话日志做重放前审计，其中 UNKNOWN_REQUIRED_TYPE 精确对应你这种「未知且未标记 ignorable」的事件——在下次冷读崩溃之前，就把风险归因到具体 seq（而不是等重启后才看到误导性的 "written by a newer harness"）；
• 这不修复日志（插件定位只是诊断），但它把「延迟到重载的失败」前移为「可归因的重放前错误」，对插件作者排障很有用。

一句话：主缺陷已随 0.1.5 修复；次缺陷是核心 Session.append 的 ignorable 通道缺口，需要 core 改动，检测侧已有 session-audit 插件兜底。 如果你在 dsh-tabbit 侧能绕开（比如先不 append 自定义事件、或等 core 通道），可以先临时规避。