Запускайте Lispex в Playground, установите npm CLI или загрузите нативный бинарник. Native и npm общим Rust аутентифицируют bundle, закреплённый к точному запросу; Native re-execution и gate дополнительно требуют внешние пути source и input.
Кратко
LISPEX
(define answer (* 6 7))
answerРезультат
OUTPUT
42Рабочий порядок
- Песочница не требует установки и запускает публичную сборку WASM.
- Для CLI через Node используйте
npm install -g lispex; бинарники для платформ и контрольные суммы находятся на странице загрузок. - Файл или stdin вычисляется сверху вниз, а итог печатается в каноническом виде.
- Установите Lispex, выведите и проверьте точные identity, создайте/проверьте policy v1 и передавайте ожидаемые source и input вне каждого вызова re-execution или gate с bundle.
- При открытии корня сайта сервер согласует предпочтение Accept-Language браузера: корейский ведёт на
/v1.7/ko, русский — на/v1.7/ru, все остальные языки — на/v1.7/en. Пространство имён публичной minor-версии сохраняется во всех локализованных URL landing, руководства, загрузок и Playground. Учитываются веса качества и региональные подтеги; явный выбор в переключателе имеет приоритет, а прежние locale-URL без версии и v1.6 перенаправляются на текущую minor-версию.
Границы
- Только Native предоставляет
lispex vouch issue,vouch verify --reexecuteиvouch gate --require-decision. Native и npm предоставляют аутентифицированныйvouch verifyбез флагов; npm также предоставляет структурныйvouch inspectи корпусныйvouch replay. - Пределы ресурсов нативного и WASM-профилей могут различаться.