feat(spec): 让 #4001 严格性账本接受机器校验（首次运行抓到 11 处漂移）

feat(spec): 让 #4001 严格性账本接受机器校验（首次运行抓到 11 处漂移） #2509