Стабильный центр
Лиспекс — небольшой детерминированный язык решающих правил. Rust служит эталоном выполнения и поддерживает все 205 отслеживаемых строк примитивных возможностей. Точные изображения Лиспекса обратимо переносят исходные байты. Vouch проверяет уже полученное решение: он аутентифицирует объявленный контекст, а повторное выполнение и локальный gate решения допускает только в Native и только при отдельно переданном точном запросе потребителя. Этот путь Native может явно добавить скомпилированный артефакт из точного исходника и потребовать согласие проверенной Rust VM, не отменяя проверку tree/Meaning.
Границы размещённых интерпретаторов остаются явными. Лиспекс в Лиспексе поддерживает все 205 строк текущего знаменателя возможностей, а Лиспекс в Топазе — 84 из 205. Остальные строки LIT закрыто отвергаются, а не заимствуют поведение среды. Полное покрытие возможностей LIL не означает эквивалентность всего языка.
Как читать направления
| Направление | Зачем | Настоящий признак завершения | Чего это не обещает |
|---|---|---|---|
| Обучаемость | способный язык бесполезен, если новичок не может написать первое правило | выполняемые уроки, точные результаты, естественные русский, корейский и английский тексты, проверенная навигация | большой язык, учебную платформу или скрытое состояние курса |
| Детерминированная эргономика | одну семантику должно быть легко установить, проверить и автоматизировать | точные локальные продукты, стабильная диагностика, выбор Native/npm/WASM/Песочницы по задаче | одинаковые ресурсные пределы всех поверхностей |
| Точный исходник | проверенный текст должен пережить визуальный перенос побайтно | каноническое доказательство, точное восстановление, явный запуск, понятный отказ повреждения | секретность, подпись, происхождение или полномочие из вида картинки |
| Свидетельство с запросом | аутентификация не должна незаметно стать разрешением | отдельная привязка исходника и входа потребителем до повторного выполнения и gate Native | свежесть, защиту от повтора, корректность политики или право внешнего действия |
| Проверяемый обмен решениями | получатель должен проверять точную запись решения и разрешённого издателя без знания архитектуры runtime | детерминированный core, необязательная аутентификация издателя, точная привязка запроса и свежий replay как отдельные выводы | трактовку подписи как свежести, корректности или разрешения действовать |
| Ограниченный рост бэкендов | иной исполнитель полезен только при измеримой поддержке | явная строка возможностей, отрицательный контроль, происхождение и квитанция | тихий fallback или равенство всего языка |
| Исследовательские свидетельства | сравнение должно раскрывать знаменатель и допущения | названные корпусы, исполнители, наблюдения, расхождения и несравнимые случаи | доказательство числом тестов или срок выпуска |
Порядок переносимого исполнения
Архитектурные результаты идут в строгом порядке. На стабильном профиле уже достигнуто полное покрытие возможностей LIL, а Native теперь понижает весь нормализованный Core в канонический Core IR с разрешёнными ячейками, явными хвостовыми позициями, ID примитивов, координатами исходника, идентификатором стоимости и одним строгим JSON-представлением байтов. Открытые команды собирают, проверяют и показывают артефакт, не исполняя его и не давая полномочий.
Теперь Native компилирует строгий Core IR в канонический
lispex.bytecode/v1, отвергает повреждённую структуру до выполнения и
запускает проверенный артефакт в lispex-rust-vm/v1 с явным управлением.
Маршрут исходника может выбрать --engine vm; стандартным остаётся tree, а VM
не имеет fallback. Сфокусированное сравнение tree/VM записывает точные
промежуточные identity и семантические оси, честно помечая оба маршрута одной
линией Rust.
Скомпилированный путь Vouch — ограниченный результат этой последовательности.
Согласие текущей проверенной Rust VM добавляется к цепочке tree/Meaning
только через lispex.vouch-compiled-artifact/v1, заново выведенный из
точного исходника потребителя после аутентификации и привязки запроса.
Обычный байткод, происхождение компилятора, артефакты и отчёты не могут сами
стать полномочием.
В macOS ARM64 Native теперь также принимает точный отдельно установленный
продукт Topaz 5.11 lispex-topaz-vm/v1. Явный маршрут байткода Topaz и
compare-vms связывают продукт provider, запрос, результат, точные identity
байткода и входа, полноразрядные ресурсы u64 и нулевой fallback. Rust
остаётся движком по умолчанию, транспорт Topaz не входит ни в один живой шаг
Vouch, а сравнение даёт ограниченное свидетельство, но не доказательство
независимой эквивалентности.
В Native для macOS ARM64 теперь есть и явный correctness-first маршрут AOT Lispex→Topaz. Из проверенного статического графа он создаёт читаемый Topaz и source map, принимает только точный установленный компилятор Topaz 5.11 и устанавливает продукт без исходников со связанными identity исходника, Core IR, байткода, генерации, артефакта, исполняемого файла, ресурсов и нулевых fallback. Это материал выполнения вне Vouch, а не новое семейство бэкендов и не доказательство эквивалентности. Теперь Native выводит один запрос и создаёт неперезаписываемую диагностическую квитанцию для tree, Rust VM, точной Topaz VM и соответствующего AOT. Семантические и сопоставимые ресурсные оси, линии и все fallback остаются видимыми; квитанция не даёт полномочий и не превращает маршруты в четыре независимых свидетеля.
Стабильный продукт с несколькими маршрутами уже опубликован. Native честно показывает четыре маршрута, создаёт lock без локального пути, проверяет точную установку, собирает ограниченные измерения и запускает закреплённый маршрут. Rust tree остаётся стандартным; автоматического поиска, повтора, fallback и полномочий Vouch из результата Topaz нет.
Переносимая поставка маршрутов теперь включает канонический каталог, квитанцию установки без локального пути, ограниченный офлайн-установщик и ограниченное официальное получение. Native получает только точную запись, встроенную в бинарник; текущий каталог содержит Topaz VM для macOS ARM64 с подтверждённым установленным выполнением и точный companion AOT-компилятора, не перечисляя неподдерживаемые target. Установка остаётся отделена от исполнения, а companion компилятора при сборке по-прежнему требует отдельно выбранный Rust toolchain. Python, браузер, прямой WASM, оптимизация, кросс-компиляция и другие target companion остаются направлениями, требующими свидетельств, а не обещанными сроками.
Установленный путь теперь закрыт целиком: те же явно переданные продукты проходят inventory, выбор без пути, doctor, ограниченное сравнение, закреплённое исполнение и перенос с неизменившимся lock. Он не ищет новый маршрут и не расширяет заявление target.
Native также предоставляет одну локальную поверхность написания через stdio. Помощник может запросить точные формы и процедуры установленного продукта, выполнить ограниченный по размеру и времени пример доверенного исходника в Rust tree, объяснить диагностику или запустить один фиксированный court tree/Rust, Rust/Topaz либо всех четырёх маршрутов. Эта поверхность не является sandbox для враждебного исходника и не учитывает всю гостевую работу или логические выделения. Поддерживаемый путь установленного продукта без дерева исходников проверяет четыре инструмента, точное совпадение диагностик CLI, запрет host-возможностей, завершение и восстановление по ресурсным пределам, согласие, честное расхождение или недоступность и очистку. Он не ищет маршрут, не выбирает ответ, не сохраняет исходник, не открывает удалённый сервис и не создаёт полномочия Vouch.
Точный ограниченный evaluator provider теперь опубликован как отдельно сохраняемый Wasm-компонент без импортов. Native встраивает именно эти байты и разделяет подготовку и оценку, детерминированные лимиты work и логического выделения, семантические результаты и отказы запроса, операционные прерывания и ошибки engine. Только допустимые детерминированные результаты содержат зафиксированный portable core. У evaluator нет host capability, discovery, fallback, удалённого транспорта или повышения до полномочий Vouch.
Bounded evaluator полного текущего профиля также опубликован как второй,
отдельно идентифицированный component. Один генерируемый closed-world authority
покрывает все 205 строк primitives, а full meter разделяет ресурсы preparation
и evaluation с учётом charge-before и no-refund. Native открывает его только
явными командами embed full и создаёт fresh instance для каждой операции.
Это не переименовывает и не расширяет restricted component и не добавляет
discovery, fallback, host capability, превращение результатов в свидетельства
Vouch или admission в Topaz.
Проверяемый процесс решения также опубликован. Native rule run принимает одно
проверенное правило, строгий JSON-вход и точные лимиты, затем атомарно создаёт
каталог решения из пяти файлов без исходника. inspect и verify не
исполняют правило; replay использует свежий экземпляр точного evaluator и
требует совпадения результата и portable core. Запись проверяема и никогда не
разрешает внешнее действие.
Аутентифицированный обмен решениями теперь опубликован. Первый refund-путь и
точная передача в Native ведут к необязательному envelope издателя вне
неизменных evaluator и portable core. Политика получателя, валидность подписи,
привязка запроса, replay, защита от повторного использования и внешнее
полномочие остаются раздельными. Один ограниченный канонический
.lpxdecision из семи файлов поддерживает полный Native-процесс и проверочные
inspect/authenticate в npm. Установленный court Native/npm без исходника
проверяет перенос и свежий replay, не превращая bundle в свидетельство Vouch
или разрешение действовать.
Что не меняется случайно
Семантика языка не меняется ради упрощения урока, бэкенда или артефакта. Настоящее изменение обязано вместе обновить спецификацию, реализацию Rust, тесты, квитанции и открытое объяснение. Изображение остаётся представлением исходника, а не новым типом данных или компилятором; артефакт Vouch остаётся свидетельством, а не переносимым полномочием.
Текущие границы
- Направления не назначают версию, дату или объём команды.
- Rust, LIL и LIT — отдельно обозначенные семейства исполнения. Сгенерированные и упакованные варианты не становятся независимыми свидетелями.
- Историческая квитанция трёх семейств фиксирует 59 общих совпадений на 144 проверенных случаях. Текст не расширяет этот знаменатель.
- Будущий бэкенд или машинная модель закрывает только явно названную поверхность и допущения.
Куда дальше
Причины этих ограничений изложены в «Философии», а точная хронология поставленных возможностей — в «Истории».