Оно и так частично автоматизированно.
Но есть факторы, которые автоматически не проверить. Например, адекватные имена переменных.

> Дело в том, что оно результат ни разу не гарантирует, чо.
Не вижу логики. Если человека сначала двадцать дней много раз заставлять переписывать код, то он в некоторой мере овладевает кодстайлом. Если потом ему десять дней дают писать, как он хочет, и он выбрасывает на помойку обретенные ранее знания, то сам дурак, чо. От того, что его будут третировать еще десять дней, его навыки красиво кодить сильно не повысятся. Вот и выходит, что полный контроль нужен разве для эстетики, а не для результата.
Ну, как-то, конечно, повысятся, но преподский ресурс ограничен, и мы делаем в нем иные приоритеты.
Помимо прочего, зимняя смена все-таки позиционируется как немного праздничная. Мы даем более простые задачи, чем могли бы, чтобы дети больше решали и имели больше поводов порадоваться. Мы не заставляем переписывать плохой стиль, ибо это очень депрессивный процесс.