Earlier quoted context omitted.
If you are writing the correct tests that mirror the requirements, why wouldn’t passing tests mean the code is correct?
Because it doesn’t? Thats why the field of formal methods exists.
Then that sounds like you aren’t writing good tests…