A After-Update Comparison reading of verification evidence: using submitted and verified counts together to find the real constraint, a single contextual target link, and the checks that decide.