DSH 学习 · 客户端组件族

界面是会话的投影:状态来自切片,分组来自事实。

三个组件族撑起 Web 界面:ui-tool 把每次调用渲染成卡片——生命周期四态只出自冻结的 call/result 切片;ui-conversation 按日志序折叠出聊天流——压缩行、上下文注入披露、思考行各有各的规矩;ui-user-questions 用提问接管输入条——plan-review 只在五个条件齐备时才换成审阅卡。切下面的模式逐个推。

阅读配套课程 打开节点折叠实验

先押一个注:结果事件永远没到达时,工具卡的最终状态是什么?

接表面 / 阶段数
节点数
原工具卡
不变
独立校验

契约原文落到每个格子

tool-card

四个阶段的状态只来自冻结切片;未知名字与失败/中断都会改变最后一列。

阶段状态卡片锚点键

三条不变量逐条重算

流程校验

独立校验重建同一次投影,再核对状态词表封闭性、未知名回落、压缩行展开条件与 plan-review 接管规则。

    哪些结论可以带走

    能证明什么

      不能证明什么