Завершення
докази прив'язані до файлів
Test, lint, typecheck чи build зараховується, лише якщо він пройшов, результат визначив його власний exit code, під час запуску не змінився жоден файл, а файли досі точно такі, на яких він запускався.
Необов'язково
exact: зараховується лише повна команда, аcwdзадає, де її треба запускати.scope(разом зexact): зміна поза вказаними каталогами залишає результат актуальним.ignore(для всієї policy): вивід, який пише перевірка, як-от coverage, не вважається зміною.
