DSH 学习 · 工作区

同一路径只留一条记录,先到者永远排在前。

workspace 注册表按 realpath 规范化后的根路径去重:重复注册返回同一条记录而非新增一行。注册序稳定——先到者永远排在前。会话经 header 校验后才能挂到工作区名下;移动到非法目标时 WorkspaceMoveInvalidError 抛出且原记录原地不动。

先押一个注:同一路径注册两次,注册表里有几行?

当前选择写在地址栏 #state= 后面:刷新不丢。
分叉形态
记录条数
注册序稳定
非法移动被拒
会话挂接
独立校验

每一步发生了什么

步骤 × 参与方
当前输入的全部步骤
#泳道阶段说明
独立校验逐条判定

    规则逐条重算

    注册校验

    独立校验自己重算记录数、原子移动与挂接行为;它不读渲染层的任何中间量。

      哪些结论可以带走

      能证明什么

        不能证明什么