DSH 学习 · 客户端投影

UI 不是另一份真相,是事件流的投影。

客户端没有自己的小本本:用户气泡、打字中的助手块、工具卡的 pending → settled,全部从 Session 事件流按呈现契约折叠出来。工具调用卡只有三种——generic / terminal / diff;search 族在等待态保持 generic,因为那时还没有任何匹配可展示。拖动重放滑杆,看卡片一张张长出来。

阅读配套课程 打开文件编辑实验

先押一个注:模型刚发起 grep 调用、结果还没回来时,这张工具卡是什么样?

卡片数
等待中
diff 卡
定稿文本块
独立校验

左边是日志,右边是你看到的界面

事件 × 投影

左列每一条事件的去向都写明「新增卡片」还是「更新已有卡片」;右列就是截至当前步的完整界面。淡出的左列条目尚未发生。

五条规则逐条重算

流程校验

独立校验重新折叠一遍事件流比对卡片,再核对视图类别契约、search 等待态、文本块定稿数量和结算范围。

    哪些结论可以带走

    能证明什么

      不能证明什么