Комментарии с намерением: почему один и тот же код может быть одновременно правильным и багованным

Парадокс: return sorted(list) — это одновременно правильный код и баг. Зависит от одного: нужна ли сортировка с учётом регистра или без. Модель без контекста намерения не знает что тут не так — она видит корректный паттерн и молчит. Метод структурированных комментариев меняет задачу: не 'угадай баг', а 'найди расхождение между намерением и кодом'. Для этого просишь модель сначала описать код по пяти типам — ЧТО, КАК, ЗАЧЕМ, ИСПОЛЬЗОВАНИЕ, СВОЙСТВА — и только потом искать баг. Самый важный тип — КАК: шаги реализации. Именно он ловит логические баги, которые синтаксически не отличить от нормы.