Comment by happytoexplain

Yes, but only if auditing includes an exhaustive human review of the code, not just passing the tests we (or an AI) thought to write.