Status: implemented
English | 中文
MVP 要求严格的基于事件的追踪,以及完全可回放的会话(严格的基于事件的 trace、logging 系统,会话完全可回放)。
Session 是一份仅追加的、类型化的 SessionEvent 日志,是唯一的真源。LLM(大语言模型)消息历史从日志派生(deriveMessages());原始流分片被记录以保证 token 级别的回放保真度,而组装后的 assistant/message 事件才是派生的权威依据。回放/fork = 用已有日志初始化一个新会话。
追加操作是同步的(热路径从不阻塞于 I/O);session/event 是同步通知;持久化插件缓冲延后写入,并在每个轮次结束时触发的 session/flush 检查点处等待排空。
顺序约定:agent loop(智能体循环)先领取 inbox 消息,再运行 agent/pre-step;仅在作出 enter 决策后才打开 step/start,随后在请求派生前追加返回的 user/message 批次。提供方输出组装并以 assistant/message 追加后才分派工具,因此持久日志记录工具实际遵循的确切消息。回归测试固定了这一顺序。
可变消息数组 + 事件仅作通知发出:更简单,但状态与日志可能分歧;采用事件溯源后,日志本身即是状态,分歧在结构上不可能发生。
- 回放、追踪与遥测在结构上得到保证,而非事后附加。
- 持久化仍是插件关注点;内存存储随 dsh-session 一起提供。
- 事件词汇可通过合并扩展(插件可添加如压缩(compaction)事件);会话持久化在日志具备持久性后固定了其结构。
- 派生成本随日志长度增长,压缩(dsh-compaction)是预期的缓解手段,而不是改写日志。