テストでメモリ検査に合格しても、本番用バイナリにも同じ検査が必ず含まれるのでしょうか？Aptos の mono-move 草案では、hardened と exhaustive をビルド属性として設定し、本番ビルドにはこれらの検査を組み込まないことを明記しています。後者の設定は主に CI とファジングテストで使われます。$APT の実行時検証を理解するには、まずバイナリのビルド設定を確認する必要があります。文書には、コンテキストが必要な検査は後の段階に回すとも記載されています。段階的な検査は完全な証明とは異なり、運用環境で同じ実行コストが突然増えることを意味するわけでもありません。