Песочница

Загрузки

Установите нативный эталонный интерпретатор Лиспекса, проверьте контрольную сумму или выберите npm и Песочницу.

Все ссылки на этой странице закреплены за указанным ниже выпуском. Скрипты установки находят текущий выпуск и сравнивают загруженный бинарник с его файлом SHA-256.

Выпуск: v1.9.0

Все платформы

ПлатформаБинарникКонтрольная сумма
Linux · x86_64lispex-linux-x86_64.sha256
Linux · aarch64lispex-linux-aarch64.sha256
macOS · Apple siliconlispex-macos-aarch64.sha256
macOS · Intellispex-macos-x86_64.sha256
Windows · x86_64lispex-windows-x86_64.exe.sha256
Манифест выпускаmanifest.jsonимена, размеры, URL и SHA-256 файлов

Установка одной командой

SHELL
# macOS / Linux
curl -fsSL https://www.lispex.com/install.sh | sh

# Windows (PowerShell)
irm https://www.lispex.com/install.ps1 | iex

# npm (Node 18+)
npm install -g lispex

Проверьте установленную команду

После успешной установки выводится точная версия продукта. Проверку можно повторить в любой момент:

SHELL
lispex --version
# Ожидаемый результат: lispex v1.9.0

Если команда не найдена

  • В macOS и Linux каталог по умолчанию — ~/.lispex/bin. Добавьте его в PATH и перезапустите оболочку.
  • В Windows каталог по умолчанию — %LOCALAPPDATA%\Lispex\bin. Добавьте его в пользовательский PATH и откройте новое окно PowerShell.
  • Для npm убедитесь, что активен Node 18 или новее, а каталог глобальных исполняемых файлов npm входит в PATH.

Какой способ запуска выбрать?

  • Выберите Native для tree-интерпретатора без зависимостей, явной проверенной Rust VM, команд Core IR и байткода, точных изображений и полного процесса Lispex Vouch, включая compiled artifact из точного исходника и необязательный gate с согласованием VM.
  • Выберите npm, если Node уже установлен. Через Rust/WASM он предоставляет те же файловые команды изображений Лиспекса, выполняет исходники и аутентифицирует свидетельства Vouch. Reader Core IR, байткода, compiled artifact и VM отсутствуют; выдача, повторное выполнение и локальный gate Vouch недоступны.
  • Выберите Песочницу без установки, чтобы выполнять исходники, создавать и открывать изображения, переходить по страницам, восстанавливать и загружать исходник, а затем отдельно запускать его. Импорта Core IR/байткода и VM нет; всё происходит локально в браузере, а артефакты Vouch, ключи, аутентификация и политики недоступны.

Необязательная Topaz VM

Сравните один проверенный байткод в Rust и Topaz

В macOS ARM64 Native может явно запустить точный отдельно установленный продукт Topaz 5.11 lispex-topaz-vm/v1 и сравнить его с Rust VM. До принятия наблюдения Лиспекс строго проверяет продукт provider, запрос, результат, полноразрядные счётчики ресурсов и нулевой fallback. Rust остаётся движком по умолчанию; маршрут Topaz не входит в Vouch и не создаёт полномочий.

Изображения Lispex

Передавайте точный исходник как детерминированное изображение

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

Lispex Vouch

Используйте Native, если решение должно дойти до локального gate

Native связывает аутентифицированное свидетельство с точными внешними исходником и входом, повторно выполняет текущий tree/Meaning и допускает лишь совпавшее локальное решение. При явном выборе он заново выводит compiled artifact из исходника и требует согласия проверенной Rust VM. Незакреплённый bundle, обычный байткод, артефакт или отчёт не превращаются в полномочие.