But the problem was that the report is not saying "not found", it is saying "is not present" or "there is no X".

And I think we can easily have examples where we can reasonably trust this, and a spectrum of such.

E.g. there is a math solution and the report says "there is no errors in this solution", you would imagine that to be quite reliable, no?