I don’t think any of what you just said is true. Code quality matters even with testing even up to proof of correctness using formal methods, because working so

I don’t think any of what you just said is true. Code quality matters even with testing even up to proof of correctness using formal methods, because working software is a moving target and quality is a measure of how easy / expensive it is to continue to track that target going forward.