Ваучер Лиспекса

Это предыдущая редакция документации. Чтобы проверить записанное решение и текущий результат выполнения, откройте актуальный обзор Ваучера Лиспекса.

Ваучер Лиспекса превращает решающее правило, точный ввод и наблюдаемый ответ в артефакт, который сопровождает использующее его приложение. Эталонный интерпретатор выполняет правило. Ваучер разделяет запись, аутентификацию, повторное выполнение и локальное разрешение между отдельными командами.

От ввода к квитанции

Это правило одобряет автоматический возврат в течение четырнадцати дней для невскрытого заказа.

LISPEX

(define (refund-auto-approved? days-since-delivery opened?)
  (and (<= days-since-delivery 14)
       (not opened?)))

(refund-auto-approved? 9 #f)  ; ⇒ #t

Хост-приложение передаёт ввод. Нативный автономный бинарник выполняет правило и записывает csk.differential-receipt/v0.

BASH

lispex diff-receipt \
  --input inputs/refund-2026-03-0412.datum \
  rules/refund.lspx \
  > receipts/refund-2026-03-0412.json

Квитанция связывает точные исходник, закреплённый ввод, наблюдения и хэши в одном файле. Храните её рядом с правилом и записью приложения, которое использовало решение.

Проверка и повторное выполнение

lispex verify проверяет схему и хэши квитанции, а с --source сверяет точные байты локального правила. Команда работает офлайн.

BASH

lispex verify receipts/refund-2026-03-0412.json

lispex replay сравнивает зафиксированный корпус решений с версией или каталогом квитанций и показывает все изменившиеся ответы.

BASH

lispex replay decisions/refund --against receipts/2026-Q1

Роли продуктов

Продукт	Роль
Эталонный интерпретатор	Выполняет исходник Лиспекса с явным вводом
Дифференциальная квитанция	Записывает точные исходник, ввод, наблюдения и хэши
`verify`	Офлайн проверяет целостность квитанции и выбранный исходник
`replay`	Показывает влияние изменения правила на записанный корпус
Нативный Ваучер	Добавляет аутентификацию издателя и согласие текущего выполнения
Локальная проверка допуска	Записывает решение политики приложения для текущего запроса
Хост-приложение	Связывает результат с клиентом, временем, развёртыванием и внешним действием

Мост Ваучера

Мост Ваучера переносит свидетельство внешнего движка в vouch.bridge-report/v0. Отчёт связывает точные байты исходника и результата, идентификатор движка, объявленный маршрут, результаты проверок и хэши связанных свидетельств.

BASH

lispex verify-bridge \
  --source examples/vouch-bridge/source/checkout-discount.ts \
  --target examples/vouch-bridge/target/checkout_discount.py \
  examples/vouch-bridge/reports/checkout-discount.bridge.json

Внешний движок владеет преобразованием и проверками. verify-bridge проверяет открытый формат отчёта и выбранные получателем привязки. Полный процесс описан в руководстве «Использование Моста Ваучера».

Профиль решений

Путь квитанций использует явный ввод, закреплённые встроенные процедуры, фиксированные формы традиции R7RS и побайтовые JSON-артефакты. Native создаёт квитанции, npm CLI выполняет исходники и офлайн-команды verify и replay, а Песочница выполняет исходники интерактивно.

Аутентификация, текущее повторное выполнение и локальное разрешение описаны в актуальном обзоре Ваучера Лиспекса.