Если проверки памяти проходят в тестах, обязательно ли в производственном бинарном файле будут те же проверки? В черновике Aptos mono-move hardened и exhaustive заданы как свойства сборки, при этом явно указано, что в производственные сборки эти проверки не включаются; последний режим предназначен главным образом для CI и фаззинг-тестирования. При анализе проверок во время выполнения $APT сначала следует посмотреть на профиль сборки бинарного файла. В документации также перечислены проверки, требующие контекста и отложенные на будущее: поэтапные проверки — это не полное доказательство, и они не означают, что в действующей сети внезапно появятся такие же накладные расходы во время выполнения.