Стабильный центр
Лиспекс — небольшой детерминированный язык решающих правил. 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 остаются видимыми; квитанция не даёт полномочий и не превращает маршруты в четыре независимых свидетеля.
Этим текущая переносимая основа AOT закрыта. Следующее готовое направление — стабильный multi-route продукт, уменьшающий операционные издержки явных продуктов и квитанций без смены стандартного маршрута, сокрытия линий, ослабления точного допуска инструментов или ввода Topaz в Vouch. Оно готово к будущей явной активации, но ещё не начато и не имеет номера версии. Python, браузер, прямой WASM, оптимизация и кросс-компиляция также остаются направлениями с будущими свидетельствами, а не обещанными сроками.
Что не меняется случайно
Семантика языка не меняется ради упрощения урока, бэкенда или артефакта. Настоящее изменение обязано вместе обновить спецификацию, реализацию Rust, тесты, квитанции и открытое объяснение. Изображение остаётся представлением исходника, а не новым типом данных или компилятором; артефакт Vouch остаётся свидетельством, а не переносимым полномочием.
Текущие границы
- Направления не назначают версию, дату или объём команды.
- Rust, LIL и LIT — отдельно обозначенные семейства исполнения. Сгенерированные и упакованные варианты не становятся независимыми свидетелями.
- Историческая квитанция трёх семейств фиксирует 59 общих совпадений на 144 проверенных случаях. Текст не расширяет этот знаменатель.
- Будущий бэкенд или машинная модель закрывает только явно названную поверхность и допущения.
Куда дальше
Причины этих ограничений изложены в «Философии», а точная хронология поставленных возможностей — в «Истории».