
Первое обещание человечества
100 000 лет назад кто-то указал пальцем на нечто и издал звук. Другой человек, услышав этот звук, представил то же самое.
Так началась речь.
Договорённость называть «это» — «лев». Без этой договорённости два человека живут в одном мире, но видят разные миры. С договорённостью опыт одного человека передаётся другому.
Язык — первый контракт человечества.
Письмо — контракт сквозь время
5000 лет назад кто-то в Месопотамии вдавил клиновидные знаки в сырую глиняную табличку. Это делалось для записи запасов зерна.
Слова исчезают, но записи остаются. Записи позволяют создать бюрократию, законы, государство.
Письмо — устройство, передающее сегодняшнее обещание в будущее. Чтобы контракт, заключённый сегодня, оставался действительным завтра, нужно письмо.
Речь создала племена. Письмо создало государства.
Верховенство закона: обещание, написанное кровью
Человеческое общество — это вопрос плотности.
В племени из 150 человек все знают друг друга в лицо. Если кто-то нарушает договорённость, об этом знают все. Социального давления достаточно для поддержания порядка.
В городе с 10 000 жителей никто не знает друг друга в лицо. Нарушение договорённости остаётся незамеченным. Социальное давление перестаёт работать.
Поэтому потребовались законы.
Закон — это задокументированное обещание. «Если сделать это, последуют такие последствия.» Все подчиняются одним и тем же правилам. Правила поддаются механической проверке. Нарушения определены. За нарушениями следуют последствия.
Чтобы эта система заработала, потребовались тысячи лет. Революции, войны, резня, компромиссы. Человечество написало это обещание кровью.
В результате 8 миллиардов людей сосуществуют на одной планете. Несовершенно. Но работает. Без верховенства закона такая плотность была бы невозможна.
Три условия верховенства закона
Верховенство закона работает не потому, что законы умны. Оно работает, потому что выполняются три условия.
1. Верифицируемость. Можно определить, нарушен ли закон. Суждение выносится не по интуиции судьи, а по тексту нормы и доказательствам. Процедура вынесения суждения определена.
2. Нарушение определено. Чётко указано, что разрешено, а что запрещено. Не «не делай плохих вещей», а «не совершай деяний, предусмотренных статьёй 50, частью 1». Дискретно: либо нарушение, либо нет.
3. Исполнимость. За нарушением следуют последствия. Обещание без последствий — не обещание, а надежда.
Эти три условия удивительно универсальны.
Один паттерн, разные домены
| Домен | Обещание | Верификация | Определение нарушения | Принуждение |
|---|---|---|---|---|
| Человеческое общество | Законы | Судебный процесс | Текст нормы | Наказание/возмещение |
| Программирование | Type system | Компилятор | Type error | Отказ компиляции |
| Форматирование кода | gofmt | gofmt -d | Несоответствие формата | Сбой CI |
| Структура кода | filefunc | validate | Нарушение 22 правил | ERROR |
| Представление знаний | Спецификация GEUL | mechanical verification | Несоответствие спецификации | Отказ входа в context |
В каждой работающей системе есть обещание. Обещание верифицируемо, нарушение определено, и оно исполнимо.
Система без этого — хаос.
У LLM нет обещания
В 2026 году, если дать AI code agent команду «улучши код», агент что-то изменит.
Но:
- Когда это закончится? Неизвестно.
- Достаточен ли результат? Критерий оценки отсутствует.
- Будет ли результат одинаковым при повторном запуске? Нет.
Это то же самое, что общество без законов. Каждый действует по собственному суждению, нет критерия результата, каждый раз по-разному.
«Качество кода» — это спектр. Спектр не имеет условия завершения. Без условия завершения сходимость не гарантирована.
Это — власть человека, а не закона. Зависимость от мудрого монарха (умной модели). Если монарх мудр — всё хорошо, иначе — нет.
Ограничение обеспечивает сходимость
filefunc определяет 22 обещания.
Один файл — одна функция. Глубина не более 2. Аннотации обязательны. Control — одно из: sequence, selection, iteration.
Эти обещания:
- Верифицируемы.
filefunc validateвыносит суждение механически. LLM не нужен. - Нарушение определено. ERROR или прохождение. Не спектр.
- Исполнимы. Код нужно исправлять, пока ERROR не станет равным 0.
Удовлетворяя этим трём условиям, LLM может через цикл while ERROR > 0: fix
привести произвольную кодовую базу к состоянию, в котором обещания соблюдены.
Роль LLM — не судья. Исполнитель. Что является нарушением — говорит обещание (validate). Устранено ли нарушение — тоже говорит обещание (validate). LLM только исправляет нарушения, на которые указало обещание.
Правит не монарх, а закон. Это и есть верховенство закона.
Золотое сечение хаоса и порядка
Без обещания — хаос. В коде нет структуры, функции перемешаны, глубина растёт без ограничений. AI agent каждый раз читает всё целиком и каждый раз выдаёт разный результат.
Обещание сверх меры — угнетение. Если всё регламентировать, гибкость исчезает. Принудительное написание 10-строчных аннотаций к 3-строчным функциям — это извращение приоритетов.
22 правила filefunc находятся между этими крайностями. Достаточно ограничено, но не избыточно.
Тому доказательство: 1275 функций сходятся к трём управляющим структурам. Sequence, selection, iteration. Три структуры, доказанные Бём и Якопини в 1966 году. То, что 22 обещания сходятся к математической классификации, — доказательство того, что обещаний ни слишком много, ни слишком мало.
Ни хаос, ни угнетение. Достаточный порядок внутри достаточной свободы. Это и есть золотое сечение.
Третий язык
Речь создала племена. Обещание между человеком и человеком. Письмо создало государства. Обещание между настоящим и будущим.
Что создаст третий язык?
GEUL — это обещание между искусственным интеллектом и искусственным интеллектом. И верифицируемое обещание между искусственным интеллектом и человеком.
SIDX — обещание смысла. Одинаковый битовый паттерн несёт одинаковый смысл. 16-битный поток — обещание формата. Сеть, хранилище и AI разделяют одну единицу. source, confidence, time — обещание доверия. Метаданные встроены в структуру и не могут быть опущены. mechanical verification — верификация исполнения обещания. Информация, нарушающая спецификацию, не может войти в context.
В естественном языке нет понятия «недействительное предложение». В GEUL оно есть. То, что недействительность определена, — доказательство существования обещания.
Сначала доказываем на коде
Один и тот же принцип применяется как к коду, так и к знанию.
Но код — первый.
У кода есть компилятор. Есть AST. Есть type system. Граница между «валидным кодом» и «невалидным кодом» уже существует. Добавить поверх этого 22 обещания — естественно.
У знания на естественном языке нет такой основы. Само понятие «валидного предложения» отсутствует. GEUL должен создать эту основу с нуля.
Сначала доказываем на простом, потом расширяем на сложное. filefunc доказывает на коде, GEUL расширяет на знание.
Это и есть инженерия.
Напоминание человечеству
Проблема проста.
Мы уже изобрели верховенство закона. Обещание, написанное кровью. Благодаря этому обещанию 8 миллиардов людей сосуществуют при такой невероятной плотности.
С LLM — то же самое.
Разумное ограничение — это обещание. Чтобы хаос и порядок образовали золотое сечение, необходимо обещание. Если обещание верифицируемо, нарушение определено и оно исполнимо — любая система сойдётся.
Как это произошло с человеческим обществом. Как это произошло с кодом. Как это произойдёт со знанием.
Не нужно новых изобретений. Нужно применить уже изобретённое к новому домену.
Спроектируйте обещание. Тогда система сойдётся.