{{include:instructions/review-completion-retry-common}}

Recheck coverage explicitly required by the original review request. You may trace actual paths further for an invariant required by that request or already identified by the preceding report, but do not introduce unrelated review criteria.