Si las comprobaciones de memoria pasan en las pruebas, ¿significa eso que el binario de producción incluye las mismas comprobaciones? El borrador de mono-move de Aptos define hardened y exhaustive como propiedades de compilación, y especifica claramente que las compilaciones de producción no incorporan estas comprobaciones; esta última opción está pensada principalmente para CI y pruebas de fuzzing. Para entender la verificación en tiempo de ejecución $APT , primero hay que fijarse en el perfil de compilación del binario. La documentación también indica que las comprobaciones que requieren contexto se posponen para más adelante; las comprobaciones por etapas no equivalen a una prueba completa ni implican que el entorno de producción vaya a tener de repente el mismo coste de ejecución.