Все ссылки на этой странице закреплены за указанным ниже выпуском. Скрипты установки находят текущий выпуск и сравнивают загруженный бинарник с его файлом SHA-256.
Выпуск: v1.16.0
Все платформы
| Платформа | Бинарник | Контрольная сумма |
|---|---|---|
| Linux · x86_64 | lispex-linux-x86_64 | .sha256 |
| Linux · aarch64 | lispex-linux-aarch64 | .sha256 |
| macOS · Apple silicon | lispex-macos-aarch64 | .sha256 |
| macOS · Intel | lispex-macos-x86_64 | .sha256 |
| Windows · x86_64 | lispex-windows-x86_64.exe | .sha256 |
| Манифест выпуска | manifest.json | имена, размеры, URL и SHA-256 файлов |
Необязательные материалы маршрутов macOS ARM64
Обычный способ установки — Native-команда routes fetch. Эти неизменяемые ссылки открывают два точных companion-архива и встроенный в Native каталог, чтобы аудит и документированная офлайн-установка не требовали угадывать версию.
| Маршрут | Архив | Контрольная сумма |
|---|---|---|
| Companion Topaz VM | lispex-topaz-vm-aarch64-apple-darwin.zip | .sha256 |
| Companion AOT-компилятора Topaz | lispex-topaz-aot-compiler-aarch64-apple-darwin.zip | .sha256 |
| Встроенный каталог маршрутов | route-catalog.json | .sha256 |
Точный ограниченный вычислитель
Приложение может закрепить те же import-free байты вычислителя, которые встроены в Native. Manifest фиксирует профиль, meter, ABI, value codec, receipt contract, границы памяти и digest; golden vectors позволяют независимому consumer проверить канонические байты запроса и результата.
| Бинарник | Контрольная сумма |
|---|---|
| Import-free evaluator Wasm · lispex-embed-evaluator.wasm | .sha256 |
| Manifest компонента evaluator · lispex-embed-evaluator-manifest.json | .sha256 |
| Канонические golden vectors · lispex-embed-evaluator-golden-vectors.json | .sha256 |
| Пакет restricted evaluator · lispex-embed-evaluator-redistribution.zip | .sha256 |
Точный bounded evaluator полного профиля
Отдельный full component покрывает весь lispex-profile-1.5 со своими identity semantic profile, meter, component и artifact. Он повторно использует признанные достаточными ABI, value codec, transcript и portable core, не переименовывая и не расширяя restricted product. Native выбирает его только явными командами embed full и создаёт fresh instance для каждой операции.
| Бинарник | Контрольная сумма |
|---|---|
| Import-free Wasm evaluator полного профиля · lispex-full-embed-evaluator.wasm | .sha256 |
| Manifest полного evaluator component · lispex-full-embed-evaluator-manifest.json | .sha256 |
| Векторы full provider · lispex-full-embed-evaluator-provider-vectors.json | .sha256 |
| Пакет полного evaluator · lispex-full-embed-evaluator-redistribution.zip | .sha256 |
Установка одной командой
# 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Проверьте установленную команду
После успешной установки выводится точная версия продукта. Проверку можно повторить в любой момент:
lispex --version
# Ожидаемый результат: lispex v1.16.0Если команда не найдена
- В macOS и Linux каталог по умолчанию — ~/.lispex/bin. Добавьте его в PATH и перезапустите оболочку.
- В Windows каталог по умолчанию — %LOCALAPPDATA%\Lispex\bin. Добавьте его в пользовательский PATH и откройте новое окно PowerShell.
- Для npm убедитесь, что активен Node 18 или новее, а каталог глобальных исполняемых файлов npm входит в PATH.
Какой способ запуска выбрать?
- Выбирайте Native ради tree-интерпретатора без зависимостей, bounded embed-вычислителя ограниченного профиля, явной Rust VM с проверенным байткодом, команд Core IR и байткода, точных изображений Lispex — и всего процесса Lispex Vouch. Выдача, повторное выполнение по привязанному запросу и локальный gate живут только здесь, включая compiled artifact из точного исходника и необязательное требование согласия VM.
- Выбирайте npm, когда Node уже установлен. Он выполняет исходники, предоставляет через Rust/WASM те же команды точных изображений и аутентифицирует свидетельства Vouch тем же verifier, что и Native. Reader Core IR, байткода и compiled artifact, как и VM-движок, отсутствуют — а роль npm в Vouch заканчивается аутентификацией: без выдачи, повторного выполнения и gate.
- Выбирайте Песочницу, чтобы без установки выполнять исходники, создавать, открывать, листать, восстанавливать и загружать точные изображения и затем явно запускать их — целиком в браузере. Импорта Core IR и байткода нет, VM-движка нет, а артефакты Vouch, ключи, аутентификация и инструменты политики не открываются.
Необязательные маршруты Topaz
Сравните проверенный байткод или соберите продукт AOT без исходника
На macOS ARM64 Native может явно получить точные companion-продукты Topaz 5.11 VM и AOT-компилятора. VM сравнивает один проверенный артефакт байткода с Rust; компилятор собирает отдельный AOT-продукт без исходника инструментами Rust, указанными вызывающей стороной. Установка ничего не выбирает и не выполняет — Rust остаётся умолчанием, — а каталог, companion, результат сравнения и AOT-продукт никогда не входят в полномочия Vouch.
Изображения Lispex
Передавайте точный исходник как детерминированное изображение
Native и npm используют одни и те же файловые команды изображений; публичный WASM и Песочница выполняют тот же кодек Rust локально. Каждая поверхность восстанавливает исходник байт в байт и выполняет его только после полного доказательства каноничности. Native принимает доказанное изображение на всём пути Vouch; npm — только для identity, политики и аутентифицированной проверки. Само изображение — носитель, а не свидетельство и не полномочие.
Lispex Vouch
Используйте Native, когда решение должно дойти до локального gate
Native привязывает аутентифицированное свидетельство к точным исходнику и вводу, которые вы передаёте вне bundle, повторно выполняет правило текущими путями tree и Meaning и допускает только совпавшее локальное решение. По явному запросу он заново выводит compiled artifact из того же исходника и дополнительно требует согласия проверенной Rust VM. Незакреплённый bundle, обычный байткод, артефакт или отчёт не могут сами превратиться в полномочие.