Constraint-First Reasoning (CFR): сначала соберите список условий, потом решайте задачу

Обнаружено: условие, упомянутое в начале задачи, теряет вес к моменту финального ответа — модель как будто забыла, о чём договорились в начале длинного разговора. Метод CFR позволяет решать задачи с чёткими требованиями к ответу (целое число, кратность, диапазон, формат) без типичной ошибки — когда логика верна, а ответ не проходит проверку. Фишка: сначала выписать все условия отдельным списком, а не проверять их постфактум — тогда список физически стоит рядом с местом, где модель формулирует ответ, и не выцветает из внимания.