DSH 学习 · Hook 与瀑布

不调用 next,瀑布就停在你这里。

三个监听器按声明顺序挂在同一条瀑布事件上:审计只记录、策略做裁决、默认放行负责兜底。切换策略监听器的返回方式——委托给链条,还是直接 return——看兜底还会不会执行、最终结果由谁写出。仓库不变式说得很短:不调用 next 就短路;这里把它变成可以亲手弄坏的东西。

先押一个注:把「策略监听器」切到「直接 return」且裁决是 deny——「默认放行」还会执行吗?最终结果由谁写出?

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

执行的监听器
被跳过
兜底执行
最终结果
结果作者
独立校验

四条泳道上的短路时刻

步骤 × 监听器

纵轴是参与方,横轴是步骤序号。实心点是真实执行的动作,虚线点是「被短路跳过」;最后一格落在调用方泳道上,写明最终结果和它的作者。

五条规则逐条重算

流程校验

独立校验自己重推一遍时间线,再核对确定性、短路规则、委托顺序、审计账目和结果作者;它不读渲染层的任何中间量。

    哪些结论可以带走

    能证明什么

      不能证明什么

        完整步骤表

        不用脚本也能读

        图里的每一步,这张表都逐行给出:属于哪条泳道、做了什么、是否调用了委托、有没有被短路跳过。

        当前输入的全部步骤
        监听器 阶段 说明 委托调用