Recall-biased /code-review verification phase that treats realistic uncertain findings as plausible unless code refutes them