Earlier quoted context omitted.
If correctness is some kind of continuum rather than a binary choice, then pick whatever trade offs, cost, and other factors you want. Plenty of times correctness is binary. In some cases it would be: passes all tests. Or: meets all requirements. Even if it could be "more" correct (or "more" simple), but those aren't part of the tests / requirements.
I always thought correctness begins when the result of your work does what it's supposed to do. Maybe it's supposed to move from A to B, maybe it should do it in under x seconds, maybe it should go via Y, maybe it has to be easily understood by a 6 years old, etc. But I can't really imagine something that has simplicity as the only requirement ("nothing" is the simplest thing so that requirement would always be met w…
What about a process so painful nobody has even thought of it?