DSH 学习 · 客户端投影
客户端没有自己的小本本:用户气泡、打字中的助手块、工具卡的 pending → settled,全部从 Session 事件流按呈现契约折叠出来。工具调用卡只有三种——generic / terminal / diff;search 族在等待态保持 generic,因为那时还没有任何匹配可展示。拖动重放滑杆,看卡片一张张长出来。
先押一个注:模型刚发起 grep 调用、结果还没回来时,这张工具卡是什么样?
双栏对照
左列每一条事件的去向都写明「新增卡片」还是「更新已有卡片」;右列就是截至当前步的完整界面。淡出的左列条目尚未发生。
独立校验
独立校验重新折叠一遍事件流比对卡片,再核对视图类别契约、search 等待态、文本块定稿数量和结算范围。
证据边界