Kiểm tra bộ nhớ vượt qua trong thử nghiệm, vậy bản nhị phân production có chắc cũng chứa các kiểm tra tương tự không? Bản nháp mono-move của Aptos đặt hardened và exhaustive làm thuộc tính build, đồng thời nêu rõ rằng các bản build production không tích hợp những kiểm tra này; cấp độ sau chủ yếu dành cho CI và kiểm thử fuzz. Khi tìm hiểu về xác minh thời gian chạy $APT , trước tiên cần xem cấp độ build của bản nhị phân. Tài liệu cũng liệt kê các kiểm tra cần ngữ cảnh để thực hiện sau này. Các kiểm tra theo từng giai đoạn không đồng nghĩa với một chứng minh đầy đủ, cũng không có nghĩa là hệ thống đang chạy đột nhiên phải chịu cùng mức chi phí vận hành.