Детерминированная Верификация
Что такое «turn» в reins?
Анатомия turn — минимальной единицы исполнения в reins. Что не записано, то не turn — из одного этого определения следуют независимость от драйвера, устойчивость к перезапуску и аудируемость. Сравнивая с дискурсом Loop Engineering июня 2026-го, мы видим, как turn превращает те рекомендации в структуру.
Почему ваш агентный цикл расходится
Чем шире распространяется Loop Engineering, тем чаще люди упираются в одну и ту же стену — цикл не сходится, а расходится. У бесконечного кружения, дрейфа и взлома награды три лица, но корень один: в слот суждения цикла снова вставлен сам генератор. Но расхождение — это, по сути, везение. Его видно. По-настоящему страшен цикл, который тихо сошёлся к лжи. Рецепт один — право запирать «готово» отдать не LLM, а только детерминированному gate.
Продакшн-трафик и есть спецификация
У легаси-кода нет документации. Нет тестов. И тем не менее он сейчас работает. Хорошо записанный лог за месяц и есть спецификация — если построить Hurl-интеграционные тесты, захватывающие текущее поведение из продакшн-трафика, вы зафиксируете функциональность легаси и подстелите страховку под рефакторинг, не прочитав ни строчки кода.
Инструмент, давший нам поводья, сам оказался без поводьев — граница между сбруей и Reins
"Reins Engineering — это ведь просто harness engineering?" Они не противостоят друг другу — это разные части одной упряжи. Но именно разные части. Даже лучший в мире агент для написания кода не надел поводья на собственный код — потому что поводья не имеют, а накладывают.
Как создать Quest CLI — построить инструмент, в котором завершение определяет машина
ИИ говорит: «Готово». На деле — не закончено. Эта статья о том, как самому построить инструмент, решающий эту проблему — Quest CLI. От принципа (почему) до скелета команд cobra (как): одной этой статьи достаточно, чтобы агент создал Go Quest CLI. huma — разобранный пример.
Предпосылки повышения точности мультиагентных LLM-систем
Запустишь несколько агентов — и станет точнее? Верно лишь наполовину. Модели, обученные на одних и тех же данных, ошибаются в одних и тех же местах. Мультиагентность работает при двух условиях — либо вы проектируете независимость ошибок, либо в верифицируемой области ставите verifier за пределами LLM.
Почему ваш агент никогда не останавливается
Когда хвастаются, что гоняют агента сутки напролёт, возникает не восхищение, а вопрос — почему он до сих пор не закончил? Код — это не задача поиска, а задача удовлетворения ограничений. Здоровая система — это та, что умеет останавливаться.
О красоте
70% красивого — это математика. Порядок машина детерминированно фиксирует, и лишь 30% сложности решает человек. Reins Engineering — это не инструмент для ИИ-кодинга, а принцип: зафиксировать порядок и оставить человеку только сложность.
Кто определяет «завершение» — проблема, которую игры решили 40 лет назад
Когда «выселение подтверждено» определяется пятью фотографиями — это уже квест. Определить «завершение» не как утверждение исполнителя, а как механически верифицируемое условие — проблема, которую игры решили 40 лет назад, и именно так нужно правильно ставить задачи AI-агентам.
Прецедент — не истина: как ИИ копирует латки и обретает авторитет
ИИ читает структуру кода, но не может различить, что было осознанным решением, а что — временной латкой. Поэтому чем больше он копирует, тем больший ложный авторитет обретает дефект. Разорвал этот цикл не более мощный моделью — а одна строка сомнения от человека.
Agent Operable Codebase
Код, удобный для чтения людьми, и код, удобный для работы агентов — одно и то же? Нет. Когда в файле 20 функций, производительность агента падает на 30-85%. Офис надо превратить в фабрику.
Reins Engineering — ИИ под управлением
Harness engineering — это забор. Он не выпускает агента за периметр, но не гарантирует, что тот дойдёт до цели. Reins Engineering — это вожжи: направляй детерминированными контрактами, фиксируй рэтчетом, отделяй решения от реализации.
Hurl останавливает дрейф vibe coding
Vibe coding рушится из-за логического дрейфа за 3 месяца. Кейсы CMU, METR, DORA и Amazon доказывают это. Объявите контракты API в plain text с помощью Hurl и зафиксируйте храповиком — подавляйте дрейф структурно, не ограничивая свободу ИИ.
Ratchet-код, использующий IFEval в обратную сторону
Смещение угодливости LLM — не баг, а актив. Если объединить способность следовать инструкциям, измеряемую IFEval, с детерминированной обратной связью, даже локальная модель 4.5B создаёт цикл сходимости, генерирующий корректный код.
Sycophancy ИИ — это бизнес-фича
Подхалимство LLM — не баг. Это математическая неизбежность RLHF и коммерческая фича, которую у крупных технологических компаний нет стимула исправлять. Вот почему LLM-as-Judge структурно невозможен.
Почему кодинг-агенты работают и почему ломаются
Одна и та же модель галлюцинирует в веб-чате, но выдаёт фичу на 200 строк в кодинг-агенте. Не потому что модель изменилась — потому что изменилась топология. Генерация может быть вероятностной. Верификация должна быть детерминированной.