独立校验
两条规则逐条重算
独立校验把同一输入整体重建一遍再逐字节比较时间线,并核对热发布必然出现;它不读渲染层的任何中间量。
有序时间线
读取、写入、热发布三条泳道。外部编辑跳过写入锁直接落在文件上,但仍然汇入同一条热发布泳道——这就是两条路径等价的证据。悬停圆点看每步说明。
独立校验
独立校验把同一输入整体重建一遍再逐字节比较时间线,并核对热发布必然出现;它不读渲染层的任何中间量。
证据边界
完整文字替代
图里的每一步,这张表都逐行给出:属于哪条泳道、处于哪个阶段、做了什么。
| # | 泳道 | 阶段 | 说明 |
|---|