Выбор Native, npm, WASM или Песочницы

Начните с задачи

• Попробовать без установки: откройте Песочницу. Исходник и изображения остаются в браузере.
• Встроить в веб-приложение: используйте открытый WASM API для выполнения и точных изображений.
• Работать из Node: установите npm CLI. Он выполняет исходник, работает с изображениями и аутентифицирует Vouch, но не выдаёт и не допускает решения.
• Получить полный локальный процесс: выберите Native. Только он выдаёт подписанное свидетельство, повторно выполняет точный запрос и применяет gate.
• Изучить разрешённый Core IR: Native собирает канонический артефакт, строго проверяет и показывает его, ничего не исполняя.
• Запустить проверенный бинарный артефакт: Native переводит Core IR в канонический байткод или явно выбирает --engine vm. Стандартным остаётся tree; неудача VM не скрывается fallback-запуском.
• Сравнить отдельную VM: в Native macOS ARM64 отдельно установите точный продукт Topaz 5.11 и явно задайте --engine topaz --topaz-vm ROOT. compare-vms создаёт differential evidence без discovery, fallback или повышения до Vouch.
• Создать executable без исходника: в Native macOS ARM64 lispex aot генерирует детерминированный читаемый Topaz и executable. При сборке нужно явно передать точный установленный компилятор Topaz и каталог инструментов Rust. Установленный продукт работает без обоих деревьев исходников и без fallback в VM или tree.
• Создать квитанцию четырёх маршрутов: после сборки соответствующего AOT запустите Native compare-routes для tree, Rust VM, Topaz VM и AOT в одном запросе. Несовпадающий продукт отклоняется до выполнения, а семантические и сопоставимые ресурсные различия записываются отдельно без перезаписи.
• Добавить согласие VM к Vouch: только когда существующий путь с привязкой запроса должен также проверить точное выведение артефакта и текущую Rust VM, явно используйте Native vouch compiled. Это не заменяет исходник, аутентификацию или согласие tree/Meaning.

В автоматизации закрепляйте точную версию пакета или хэш бинарника, а не изменяемый указатель latest. Проверяйте также ресурсный профиль поверхности: общая семантика не означает одинаковый предел рекурсии.

Проверка установки Native перед выбором

Начните с совместимого маршрута tree. Если нужен другой маршрут Native, сделайте выбор проверяемым:

lispex routes inventory
lispex routes inventory --topaz-vm /absolute/topaz-vm \
  --aot-product /absolute/aot-product
lispex routes lock --route rust-vm --out route.json
lispex routes doctor --selection route.json

inventory не ищет продукты в PATH, checkout, переменных окружения или сети. Tree и Rust VM помечаются как встроенные, а внешний маршрут получает состояние not-supplied, ready или invalid. lock без перезаписи создаёт канонический файл lispex.route-selection/v1. В нём есть identity, но нет пути, поэтому doctor снова требует абсолютный путь внешнего продукта. Файл выбора и диагностика относятся только к исполнению: они не становятся evidence Vouch или grant от gate.

Для ограниченного локального измерения явно задайте оба внешних продукта и отделите семантическую квитанцию от времени:

lispex routes measure \
  --topaz-vm /absolute/topaz-vm \
  --aot-product /absolute/aot-product \
  --receipt comparison.json \
  --measurement timing.json \
  --samples 3 \
  --input input.datum \
  rule.lspx

Наносекундные samples относятся только к этому host и запуску. Они помогают сравнить локальную стоимость, но не доказывают эквивалентность языка, безопасность или производительность между машинами.

Для исполнения закреплённого выбора передайте lock и исходник. Внешний продукт по-прежнему требует абсолютный путь:

lispex routes run --selection route.json rule.lspx
lispex routes run --selection topaz.json \
  --topaz-vm /absolute/topaz-vm \
  --input input.datum \
  rule.lspx

Tree остаётся совместимым default, reference и recovery-маршрутом: ему не нужен отдельный advanced product workflow, он доступен в обычном Rust-продукте и показал наименьшую стоимость старта в поддерживаемом локальном sample. Используйте Rust VM для проверенного байткода и явного machine accounting, а Topaz VM или AOT — только для их именованной differential/deployment задачи.

Возможности поверхностей

Что означает общий Rust

Все четыре поверхности выполнения используют одну линию реализации Rust. Поэтому одинаковые принятые байты должны иметь одинаковую семантику, а Native и npm используют общий код изображений и аутентификации. Это удобство поставки, а не независимое подтверждение: сравнение Native с npm или WASM не создаёт второго свидетеля.

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

Доказанное изображение можно использовать как исходный контекст на всём пути Vouch в Native. npm принимает его для идентификатора, политики и аутентификации, но по-прежнему не выдаёт свидетельство, не выполняет запрос повторно и не применяет gate.

Частая ошибка

Отсутствующую операцию нельзя имитировать или молча заменить более слабой. Tree и Rust VM принадлежат одной линии. Исходник Topaz VM структурно отделён, но executable создан Topaz Rust Stage 0, поэтому согласие — ограниченное свидетельство, а не доказательство. Ошибка выбранной VM не запускает другую.

Куда дальше

Установите выбранную поверхность на странице загрузок или изучите точный процесс изображения.

Загрузки · Компиляция в Topaz AOT · Запуск проверенного байткода