Все ссылки на этой странице закреплены за указанным ниже выпуском. Скрипты установки находят текущий выпуск и сравнивают загруженный бинарник с его файлом SHA-256.
Выпуск: v1.8.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 / 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Какую поверхность выполнения выбрать?
- Используйте нативный бинарник для encode, inspect, decode и явного выполнения точных изображений Lispex, а также интерпретатора без зависимостей и полного процесса Lispex Vouch.
- Используйте npm, если Node уже установлен. Через Rust/WASM он предоставляет те же файловые команды точных изображений Lispex, выполняет source и аутентифицирует Vouch evidence. Выдача, re-execution и gate Vouch недоступны.
- Используйте Playground без установки для выполнения source либо полностью локальных create/open/navigation/recover/download/explicit run точных изображений. Артефакты Vouch, ключи, аутентификация и policy недоступны.
Изображения Lispex
Передавайте точный исходник как детерминированное изображение
Native и npm дают одинаковые файловые команды, а public WASM и Playground локально используют тот же Rust codec. Все поверхности побайтно восстанавливают source и выполняют только после полного доказательства. Native принимает доказанное изображение во всей цепочке Vouch, а npm — только для identity, policy и аутентифицированной проверки. Само изображение не является evidence или полномочием.
Lispex Vouch
Используйте Native, если решение должно дойти до локального gate
Native может связать аутентифицированное evidence с точными source и input, переданными вне bundle, повторно выполнить запрос текущим интерпретатором и выдать grant только совпадающему локальному решению. Проверка незакреплённого bundle остаётся только аутентификацией; отчёт или байты bundle не могут сами повысить себя до полномочия исполнения.