Среды выполнения и бэкенды

Семейства runtime

Все 205 строк реестра имеют пометку profile-required. Каждый бэкенд сообщает реализованные строки через общий версионированный контракт наблюдений. LIT возвращает явный статус возможностей для остальных 121 строк и тем самым формирует точную очередь реализации Топаза.

Историческая семейная квитанция связывает 144 именованных случая с выполненными артефактами Rust, LIL и LIT, ресурсными профилями, наблюдениями и replay.

Поверхности продукта Rust

Native, npm, открытый WebAssembly и Песочница используют общую интерактивную проекцию целого исходника. Они читают и нормализуют весь исходник, по порядку выводят явные эффекты и значения каждой успешно выполненной формы и сообщают конечный статус 0, 1 или 2. Обычная ошибка runtime сохраняет вывод, зафиксированный предыдущими формами. Завершение по ресурсу возвращает пустой вывод, одну ресурсную диагностику и статус 2. Результат браузера напрямую содержит output, diagnostics, ok и exit_status.

lispex fmt, fmt --check и fmt --write используют установленный бинарник Native. Расширения VS Code и Open VSX передают ему Format Document.

lispex mcp serve предоставляет по локальному stdio текущий язык и реестр примитивов, авторский запуск доверенного исходника с объявленными лимитами байтов и времени, диагностику и фиксированные сравнения маршрутов. Этой поверхностью владеет Native.

Core IR и скомпилированное выполнение

Native преобразует весь текущий профиль в канонический lispex.core-ir/v1, строго проверяет его и показывает разрешённые ячейки, захваты, хвостовые позиции, требования, координаты исходника и идентификаторы.

Строгий Core IR компилируется в канонический lispex.bytecode/v1. Verifier проверяет артефакт до создания состояния VM, а lispex-rust-vm/v1 выполняет все 205 строк примитивов, включая 18 строк с вызовом гостевых процедур через итеративные машины состояний. Rust tree остаётся стандартным движком, а --engine vm явно выбирает VM.

В Native macOS ARM64 установленный продукт lispex-topaz-vm/v1 читает тот же байткод собственными reader, verifier и VM явного управления на Топазе. Запрос записывает точные исходник, Core IR, байткод, ввод, идентификатор продукта, полный предел переходов u64, транспортные лимиты и пять нулевых счётчиков запасных путей.

Маршрут AOT Топаза создаёт читаемый статический граф управления, компилирует его установленной цепочкой Топаза 5.11 и создаёт продукт без исходника. Продукт, source map, executable, идентификаторы инструментов, ввод, ресурсный запрос и наблюдения связываются командами aot build, inspect, validate и run.

compare-engines, compare-vms и compare-routes атомарно публикуют диагностические отчёты для явно выбранных маршрутов. Семантика, ресурсы и происхождение записываются в отдельных полях.

Интеграция с Ваучером

Core IR и байткод предоставляют канонические артефакты смысла и исполнения. Native Ваучер создаёт связанный с исходником lispex.vouch-compiled-artifact/v1, аутентифицирует запрос, снова выводит Core IR и байткод из выбранного получателем исходника, записывает текущее согласие tree и Meaning, сравнивает наблюдение проверенной Rust VM и передаёт результат локальной проверке допуска.

VM Топаза, AOT и отчёты сравнения маршрутов являются инженерными маршрутами со своими идентификаторами продукта. Скомпилированный Ваучер использует артефакт Rust VM, выведенный из точного исходника получателя.

Запись допуска исполнителя

Эти поля связывают каждое сравнение с выполнившим его продуктом и дают точную точку продолжения для следующего выпуска.

Байткод и Rust VM · Матрица наблюдений бэкендов · Выбор способа запуска