Automated verification rules that produce the same result every time, used when there is clear evidence of task completion.