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

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