DSH 学习 · 日志到界面

四条记录折成一个节点;缺了终局,就诚实地写「中断」。

tool-workflow 往会话里追加四类 log-only 记录:run-start、成员 start/end、run-end。浏览器插件把它们经 Conversation Node 引擎折成一个 workflow-run 节点——锚在 run-start 上、原工具卡不变。相位分组只来自真正启动过的成员,省略 phase 与空字符串分属两组;截断的日志是合法前缀,按 interrupted 呈现且工具结果一字不改。勾上「模拟中断」,亲眼看这条边界。

阅读配套课程 打开编排实验

先押一个注:进程在 run-end 落册之前崩溃——重放时这个节点会怎样?

持久记录数
节点状态
相位分组
原工具卡
独立校验

左边是日志,右边是折出来的那一个节点

四事件 → 单节点

左列每条记录都是 log-only 的 Session 事件;右列是它们经 Node 引擎折出的唯一聊天节点。行可点击展开/收起——初始展开规则从持久事实重建:非完成层打开,完成层关闭。

六条不变量逐条重算

流程校验

独立校验重放同一份投影,再核对确定性、合法前缀、成员配对、相位分组来源、锚定位置与中断呈现;它不读渲染层的任何中间量。

    哪些结论可以带走

    能证明什么

      不能证明什么