DSH 学习 · Session 投影

四条投影管线并行折叠同一条事件流，互不干扰。

SessionProjectionMap 的每个键对应一个独立的折叠单元：todos 只看 todo/write、planMode 只看 plan/mode、goal 只看 goal/change。无关事件返回同一个引用——下游零开销。拖动滑杆逐条重放，看四个投影各自怎样响应（或不响应）。

阅读配套课程打开计划栈实验

双栏对照

左边是日志，右边是四列投影状态

事件 × 投影

左列每条事件的去向写明哪些投影被更新；右列显示截至当前步的四个投影状态并排。

独立校验

流程校验

独立校验重放同一段事件流比对四列投影，再核对整值替换、last-write-wins、revision 追踪与无关事件零副作用。

证据边界