Это хороший аргумент в пользу первого жёсткого варианта. Но в целом не перевешивающий проблему с повышением токсичности в команде при его использовании.
Я считаю, если ошибка подобного рода впервые – это ценный опыт и адекватный спец в след раз будет несколько раз перепроверять, благодаря некритичному, но значимому опыту. Часто ошибки помогают включать гиперответственность, в результате которой, есть большая вероятность, что человек не повторит, как минимум такую глупость, а может и в целом станет более внимательным. Это точно история не про увольнение, но ретро провести и сделать выводы точно необходимо.
Соот-но если повтор случился – то "на выход".