Стабильный центр
Лиспекс — небольшой детерминированный язык решающих правил. Rust служит эталоном выполнения и поддерживает все 205 отслеживаемых строк примитивных возможностей. Точные изображения Лиспекса обратимо переносят исходные байты. Vouch с привязкой к запросу аутентифицирует объявленный контекст и только в Native, при отдельном точном запросе потребителя, допускает повторное выполнение и локальный gate решения. Этот путь Native может явно добавить скомпилированный артефакт из точного исходника и потребовать согласие проверенной Rust VM, не исключая проверку tree/Meaning.
Границы размещённых интерпретаторов остаются явными. Лиспекс в Лиспексе поддерживает все 205 строк текущего знаменателя возможностей, а Лиспекс в Топазе — 84 из 205. Остальные строки LIT закрыто отвергаются, а не заимствуют поведение среды. Полное покрытие возможностей LIL не означает эквивалентность всего языка.
Как читать направления
| Направление | Зачем | Настоящий признак завершения | Чего это не обещает |
|---|---|---|---|
| Обучаемость | способный язык бесполезен, если новичок не может написать первое правило | выполняемые уроки, точные результаты, естественные русский, корейский и английский тексты, проверенная навигация | большой язык, учебную платформу или скрытое состояние курса |
| Детерминированная эргономика | одну семантику должно быть легко установить, проверить и автоматизировать | точные локальные продукты, стабильная диагностика, выбор Native/npm/WASM/Песочницы по задаче | одинаковые ресурсные пределы всех поверхностей |
| Точный исходник | проверенный текст должен пережить визуальный перенос побайтно | каноническое доказательство, точное восстановление, явный запуск, понятный отказ повреждения | секретность, подпись, происхождение или полномочие из вида картинки |
| Свидетельство с запросом | аутентификация не должна незаметно стать разрешением | отдельная привязка исходника и входа потребителем до повторного выполнения и gate Native | свежесть, защиту от повтора, корректность политики или право внешнего действия |
| Ограниченный рост бэкендов | иной исполнитель полезен только при измеримой поддержке | явная строка возможностей, отрицательный контроль, происхождение и квитанция | тихий 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.
Compiled execution, связанное с Vouch, теперь является ограниченным результатом
этой последовательности. Только lispex.vouch-compiled-artifact/v1, заново
выведенный из точного исходника потребителя после аутентификации и привязки
запроса, добавляет согласие текущей проверенной Rust VM к цепочке
tree/Meaning. Обычный байткод, происхождение compiler, артефакты и отчёты не
могут сами стать полномочием.
В 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. Следующая продуктовая граница — точный public minor, объединяющий уже завершённые route cells, а не новый маршрут исполнения или более широкое заявление target.
Что не меняется случайно
Семантика языка не меняется ради упрощения урока, бэкенда или артефакта. Настоящее изменение обязано вместе обновить спецификацию, реализацию Rust, тесты, квитанции и открытое объяснение. Изображение остаётся представлением исходника, а не новым типом данных или компилятором; артефакт Vouch остаётся свидетельством, а не переносимым полномочием.
Текущие границы
- Направления не назначают версию, дату или объём команды.
- Rust, LIL и LIT — отдельно обозначенные семейства исполнения. Сгенерированные и упакованные варианты не становятся независимыми свидетелями.
- Историческая квитанция трёх семейств фиксирует 59 общих совпадений на 144 проверенных случаях. Текст не расширяет этот знаменатель.
- Будущий бэкенд или машинная модель закрывает только явно названную поверхность и допущения.
Куда дальше
Причины этих ограничений изложены в «Философии», а точная хронология поставленных возможностей — в «Истории».