fix(spec): 不再承诺根本不会跑的校验，并让严格性账本闸门看见嵌套目录（#4001） (#4412)

fix(spec): 不再承诺根本不会跑的校验，并让严格性账本闸门看见嵌套目录（#4001） (#4412) #10400