Dokončení
důkaz svázaný se soubory
Test, lint, typecheck nebo build se počítá, jen pokud prošel, o výsledku řádku rozhodl jeho vlastní návratový kód, během běhu se nezměnil žádný soubor a soubory jsou pořád přesně ty, na kterých běžel.
Volitelné
exact: počítá se jen celý příkaz acwdurčuje, kde musí běžet.scope(spolu sexact): změna mimo uvedené adresáře nechá výsledek čerstvý.ignore(pro celou policy): výstup, který kontrola zapisuje, například coverage, se nepočítá jako změna.
