Команда заменила 130 строк защитных правил «Не делай X» на формальную машину состояний — и 21-step чек-лист перестал быть нужен. Главное: • 4 речевых акта Флореса: Request, Promise, Assertion, Declaration • 4-значная логика Белнапа: UNKNOWN, ESTABLISHED, CONTRADICTED, RETRACTED • 4 типа отказов агента: фейковое завершение, тихий срыв, самоутверждение, пропуск проверок • Файлы состояний init-d пронумерованы как Makefile-таргеты (10, 15, 20, 40, 45…) • Контекст 200k токенов укладывается в 4-кейсовый switch Это разбор собственного опыта на Reddit без замеров ошибок до и после и без проверки на других фреймворках. Что это значит: вместо бесконечного списка запретов — конечный автомат, где каждый сбой — это конкретный переход. Формальная семантика вместо простыни правил.