Sind die Speicherprüfungen aus den Tests automatisch auch in den Produktions-Binärdateien enthalten? Im Entwurf von Aptos mono-move sind „hardened“ und „exhaustive“ als Build-Eigenschaften festgelegt. Zugleich wird ausdrücklich darauf hingewiesen, dass diese Prüfungen nicht in Produktions-Builds einfließen; die zweite Stufe ist vor allem für CI und Fuzz-Tests gedacht. Bei der Laufzeitverifizierung $APT sollte man daher zuerst die Build-Stufe der Binärdatei prüfen. Die Dokumentation führt außerdem Prüfungen auf, die Kontext erfordern und später behandelt werden sollen. Zwischenprüfungen sind weder ein vollständiger Beweis noch bedeuten sie, dass sich der Laufzeitaufwand in der Produktion plötzlich im gleichen Maß erhöht.