轴拖到哪一步，下面就停在哪一步；右边四行是它走到那一步时手上已经有的东西。
下面这条轴会自己走一遍，走完了拖回去看哪一步都行。右边那四行， 是它走到那一步时手上已经有的东西。
朱红那条竖线跟着下面的轴走。
它走到第 13 步才头一回说出自己要验什么。在那之前的 12 步，全花在试这个库里到底有什么。
它在摸这个库有什么，这几步一次没踩坑——问过的每一样库里都有。
环境认 17 种，这次做出 15 种。没做过的照样列着，写 0，不拿别的运行来凑。
「被退回」和「改稿」是给两种情况准备的：算出了像样的结果却没交检查，退回去补；结论整理不出来，打回重写。这一次两样都没碰上——这一批都走到了裁决，整理也一次过。
账本原文是机器写的，带着一串串字段名和指纹。这一页把它翻成了人话，步数、次数、结论一个没动，措辞是我们转述的。原样的账本在仓库里。
靠这一页自带的脚本推进。脚本没跑起来时只显示第一步，账本本身仍然完整在页。
整本账能不能对得上，在校验那一页，由你自己的浏览器现算。