Словарь

Ключевые понятия серии — коротко и по делу. Каждое раскрыто в статье, на которую ведёт ссылка.

Спецификация как цель компиляции

Когда имплементацию пишут агенты, спецификация перестаёт быть прозой для человека и становится исходником, который компилируется в систему. Как любому исходнику для компилятора, ей положены тайп-чекер, линтер и сборка, которая падает, когда на входе враньё. → Спецификация — это цель компиляции

Грунтинг-гейт (гейт истины)

Блокирующий гейт, который не впускает утверждение в спецификацию без доказательства — сделай grep, приведи файл и строку, иначе оно не входит. Проверяет истину, а не только связность. → Спецификация — это цель компиляции

Truth / Coherence / Intent

Три ортогональные оси, которые проверяет любая верификация: Truth (заземлено ли в реальности), Coherence (согласовано ли внутри себя), Intent (то ли это, чего хотели). У Intent нет внешнего референта, и машине он не поддаётся — нужен человек. → The Oracle Lens: три вида истины

Оракул связности vs оракул истины

Все, кто добрался до слоя спецификации, построили оракул связности (не противоречит ли документ себе). Почти никто — оракул истины (правда ли утверждение о системе). Это разные гейты, а не один гейт разной строгости. → The Oracle Lens: три вида истины

Оракул

Проверка, способная объективно сказать, верен ли результат — компиляция, тесты, линт, запуск. Цикл закрывается без человека только там, где есть дешёвый объективный оракул; где его нет (дизайн, замысел) — на гейте обязан стоять человек. → Хватит промптить. Пиши циклы

Loop / harness engineering

Вместо ручного промптинга ты проектируешь систему, которая находит работу, раздаёт агентам, проверяет результат, отчитывается и эскалирует. Работа едет вверх по лестнице: prompt → context → feedback-loop → harness engineering. → Хватит промптить. Пиши циклы

Тесты-до-кода как оракул

Если тесты идут до кода, оракул независим от реализации: тест кодирует намерение до того, как есть решение, и «тесты прошли» — настоящий сигнал. Написанные после кода, тесты наследуют то же непонимание, и зелёное ничего не значит. → Хватит промптить. Пиши циклы

Цепочка обогащения

Контракт не спускается одним актом: заказчик владеет гейтом замысла, сеньор обогащает его в проверяемый технический контракт (гейт архитектуры), а цикл заполняет проверяемую середину. Убери любой гейт — получишь confident-wrong в масштабе. → Хватит промптить. Пиши циклы