Les vérifications mémoire réussissent dans les tests, mais le binaire de production intègre-t-il forcément les mêmes vérifications ? Le brouillon mono-move d’Aptos définit hardened et exhaustive comme des propriétés de compilation, et précise clairement que les compilations de production n’intègrent pas ces vérifications ; le niveau exhaustive est principalement destiné à la CI et au fuzzing. Pour comprendre la vérification à l’exécution $APT , il faut d’abord examiner le profil de compilation du binaire. La documentation répertorie également des vérifications nécessitant un contexte, qui seront reportées à une étape ultérieure. Des vérifications par étapes ne constituent ni une preuve complète ni la garantie que la production subira soudainement la même surcharge à l’exécution.