"Correct" does not just mean "compiles" (syntactically correct), for one thing.

Correct code is that which does what is required of it at whatever level of correctness you are examining, as was said. But it's the whole thing.

There is no sensible distinction to be drawn between writing correct code and merely writing code. The former is the only definition of the job. We shouldn't define down competence.