Zdůvodnění
Pomalá nebo nespolehlivá kontrola se obchází a kontrola, která blokuje rozdělanou práci, lidi učí ji přeskakovat. Odmítnout smí jen to, co je ustálené a rozhodnutelné.
Požadované chování
Kontrola, která může zastavit příkaz, je deterministická a levná; rozpracovaná práce se hlásí, nikdy neblokuje.
Chování při selhání
O tomto pravidle nerozhoduje žádný příkaz; rozhoduje recenzent a změna, která je porušuje, se nemerguje. Kde část pravidla pokrývá případ chování, je tento případ uveden níže.
Ověření
Revize. Třída každé doktríny je deklarována v balíčku pravidel; test/cases/17_doctrine_enforcement.sh dokazuje, že třída rozhoduje, zda příkaz zastaví.