Все ссылки на этой странице закреплены за указанным ниже выпуском. Скрипты установки находят текущий выпуск и сравнивают загруженный бинарник с файлом контрольной суммы SHA-256, опубликованным рядом.
Выпуск v1.20.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 | имена файлов, размеры, адреса и контрольные суммы SHA-256 |
Готовый пример возврата
Проведите одно решение о возврате до границы приложения
Пример v1.17.0 объединяет проверенное правило, точное изображение Лиспекса, подписанное свидетельство Ваучера, политику получателя, текущий запрос, отрицательные случаи политики и итоговую запись would_act. Пройдите весь локальный процесс и свяжите эту запись с действием, которым владеет приложение.
| Выпуск | Архив примера | Контрольная сумма |
|---|---|---|
v1.17.0 | lispex-v1.17.0-practical-decision-workspace.zip | .sha256 |
Необязательные дополнительные движки для macOS ARM64
Команда Native routes fetch устанавливает эти продукты, после чего вы явно выбираете дополнительный движок Лиспекса. Фиксированные ссылки открывают два companion-архива и каталог внутри Native для аудита и документированной офлайн-установки.
| Элемент | Архив | Контрольная сумма |
|---|---|---|
| Дополнительная VM Топаза | lispex-topaz-vm-aarch64-apple-darwin.zip | .sha256 |
| Дополнительный компилятор Топаза для сборки заранее | lispex-topaz-aot-compiler-aarch64-apple-darwin.zip | .sha256 |
| Встроенный каталог дополнительных движков | route-catalog.json | .sha256 |
Точные байты вычислителя правил с управлением ресурсами
Приложение может закрепить точные байты движка, встроенного в Native. Он выполняет одно правило с объявленным ресурсным профилем. Manifest фиксирует возможности, учёт работы, обмен значениями, поля квитанции, пределы памяти и контрольную сумму. Записанные байты запроса и результата позволяют каждому получателю сравнить точное наблюдение.
| Элемент | Файл | Контрольная сумма |
|---|---|---|
| Wasm вычислителя правил с управлением ресурсами | lispex-embed-evaluator.wasm | .sha256 |
| Манифест движка правил | lispex-embed-evaluator-manifest.json | .sha256 |
| Записанные байты запроса и результата | lispex-embed-evaluator-golden-vectors.json | .sha256 |
| Пакет распространения вычислителя правил | lispex-embed-evaluator-redistribution.zip | .sha256 |
Точные байты движка правил для всего языка
Отдельный компонент покрывает весь профиль lispex-profile-1.5 и несёт собственные идентификаторы возможностей, учёта работы, компонента и артефакта. Он использует установленный обмен значениями, запись выполнения и переносимый формат. Native выбирает его явными командами embed full и создаёт новый экземпляр для каждой операции.
| Элемент | Файл | Контрольная сумма |
|---|---|---|
| Wasm вычислителя правил для всего языка | lispex-full-embed-evaluator.wasm | .sha256 |
| Манифест движка для всего языка | lispex-full-embed-evaluator-manifest.json | .sha256 |
| Записанные векторы движка для всего языка | lispex-full-embed-evaluator-provider-vectors.json | .sha256 |
| Пакет для распространения движка для всего языка | 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.20.0Если команда не найдена
- В macOS и Linux по умолчанию используется каталог ~/.lispex/bin. Добавьте его в PATH и перезапустите оболочку.
- В Windows по умолчанию используется каталог %LOCALAPPDATA%\Lispex\bin. Добавьте его в пользовательский PATH и откройте новое окно PowerShell.
- Для npm убедитесь, что активен Node 18 или новее, а каталог глобальных исполняемых файлов npm входит в PATH.
Какой способ запуска выбрать?
- Выбирайте Native для самой широкой поверхности инструментов. В него входят интерпретатор исходника, вычислитель правил с управлением ресурсами, Rust VM для проверенного байткода, команды промежуточных форм, точные изображения Лиспекса и полный процесс Ваучера. Native владеет выпуском свидетельства, текущим повторным выполнением закреплённого запроса и локальной проверкой допуска. Он также выводит compiled artifact из того же точного исходника и записывает согласие Rust VM.
- Выбирайте npm, когда Node уже установлен. Он выполняет исходники, предоставляет те же точные команды изображений через Rust WebAssembly, аутентифицирует свидетельства Ваучера тем же verifier и офлайн повторяет корпуса решений. Native владеет промежуточными формами, проверенным байткодом и VM, выпуском свидетельства, текущим повторным выполнением и локальной проверкой допуска.
- В Песочнице можно прямо в браузере выполнять исходники, создавать, открывать, листать, восстанавливать, загружать и явно запускать точные изображения. Native предоставляет промежуточные формы, байткод и VM, а Native и npm предоставляют артефакты и инструменты политики Ваучера.
Необязательные дополнительные движки Топаза
Сравните проверенный байткод или соберите продукт без исходника внутри
На macOS ARM64 Native получает точную VM Топаза 5.11 и AOT-компилятор. VM сравнивает проверенный байткод с Rust, а компилятор собирает продукт без исходника указанными вами инструментами Rust. До явного выбора установленного маршрута стандартным остаётся Rust. Ваучер использует собственный связанный с исходником compiled artifact и согласие Rust VM.
Изображения Лиспекса
Передавайте точный исходник изображением, которое всегда возвращается тем же
Native и npm используют одни команды изображений, а открытый WebAssembly и Песочница выполняют тот же кодек Rust локально. Формат, целостность, чётность и пересоздание проверяются до побайтового восстановления исходника. Native соединяет восстановленный исходник с полным процессом Ваучера, а npm с идентификацией, политикой и аутентифицированной проверкой.
Lispex Vouch
Используйте Native, когда решение должно дойти до локального gate
Native привязывает аутентифицированное свидетельство к точным исходнику и вводу из внешнего bundle-контекста, повторно выполняет правило на вашей машине и записывает совпавшее локальное решение. По запросу он выводит compiled artifact из того же исходника и записывает согласие проверенной Rust VM. Локальная проверка допуска использует свидетельство текущего запроса, а хост-приложение использует её результат.