测试里的内存检查通过，生产二进制就一定带着同样检查吗？Aptos 的 mono-move 草稿把 hardened 与 exhaustive 设成构建属性，并明确生产构建不编入这些检查；后一档主要用于 CI 和模糊测试。理解 $APT 运行时验证时，应先看二进制的构建档位。文档还列出需要上下文的检查留待后续，阶段性检查既不等于完整证明，也不意味着现网突然增加了同样的运行开销。