DSH 学习 · 宿主半区

没人认领的请求才轮到回退座位;接缝换了后端,消费方的契约原样不动。

webserver 是所有客户端形态共用的 HTTP 载体。请求进来先扫已注册路由,命中即由注册插件应答;全部未命中时,坐在回退座位上的 frontend-static 才把 SPA dist 发出去。目录选择走另一条思路:ctx.directoryPicker 是一条共享接缝,native 与 browse 两个后端互相替换,auto 按宿主能力装配其一——消费方的请求契约一个字都不改。

先押一个注:GET / 这个 SPA 文档请求进来时,frontend-static 什么时候出手?

当前输入写进地址栏 #state= 后面:刷新不丢,发给别人打开的是同一份输入。

应答方
扫描步数
走了回退座位
接缝后面的注册者
独立校验

从载体进入到应答离开的每一步

载体 × 扫描 × 应答

每一格是一次宿主动作:扫描格逐条比较路由表,应答格标出是谁出的手——已注册路由还是回退座位。

    五条不变量逐条重算

    流程校验

    独立校验只读模型:核对单载体、短路、回退时机、接缝契约不变和确定性重放。

      哪些结论可以带走

      能证明什么

        不能证明什么