The Fact & Gap Checker prevents recursive loops by requiring claims to originate from unprompted recall before they can be marked correct, classifying repeated discoveries as a non-validating regrounds relation instead.