A–J validation.
The rules here are the corpus rules made mechanical. The most important one is that every goal carries at least one blocking validation: a goal you cannot check is a goal the loop can never honestly finish.