Actually both don't work. The human also needs to make sure the code does what the Ticket asked for. And sometimes not even what the Ticket asked for, but what

Actually both don't work. The human also needs to make sure the code does what the Ticket asked for. And sometimes not even what the Ticket asked for, but what the business and user want/need. Honestly writing code is such a small part of a dev's job. It's figuring out how to translate the human (often non-tech) requirements into code that is also in a way that's also looking at requests that haven't been made yet.