Запуск и проверка записей решения

(let ((days (cdr (car input)))
      (opened (cdr (car (cdr input)))))
  (if (< days 15)
      (if opened "deny" "allow")
      "deny"))

{
  "days": 14,
  "opened": false
}

lispex rule run \
  --source refund-window.lspx \
  --input day-14-unopened.json \
  --prepare-limits prepare-limits.json \
  --eval-limits evaluation-limits.json \
  --out decision

lispex rule inspect --dir decision
lispex rule verify --dir decision
lispex rule replay --dir decision

Сначала прочтите решение

Правило задаёт только два вопроса. Сколько дней прошло и был ли товар открыт. Оно не читает файлы, не обращается к сети или часам и не вызывает скрытые функции приложения-хоста.

Значение allow или deny для рабочего процесса определяет приложение. Лиспекс возвращает данные, но не оформляет возврат сам.

Зачем нужны четыре команды

Каталог содержит подготовленный артефакт, ввод, заданный с точностью до байта, детерминированный результат с точной привязкой запроса, допустимое переносимое ядро и производную сводку. Переносимое ядро представляет собой ту часть, которая держит вместе правило, его ввод, его пределы и его результат, и этого достаточно, чтобы проверить, что именно было вычислено. Сама сводка не даёт никаких полномочий. Исходного текста правила в каталоге нет. Существующий результат не перезаписывается, а неверный ввод, изменённые или лишние файлы и символические ссылки отклоняются.

Аутентифицируйте один разрешённый ключ издателя

Native после глубокой проверки каталога может упаковать точные материалы решения и конверт издателя в один файл .lpxdecision ограниченного размера, формат которого задан с точностью до байта. Политику доверия создаёт получатель. Ни пакет, ни конверт не могут сами выбрать доверенный ключ или правило.

lispex rule issue --dir decision \
  --private-key issuer.pkcs8.der \
  --issuer-label "Refund desk A" \
  --out issuer-envelope.json

lispex rule policy create --dir decision \
  --public-key issuer.spki.der \
  --consumer-label "Refund receiver" \
  --out recipient-policy.json

lispex rule authenticate --dir decision \
  --envelope issuer-envelope.json \
  --policy recipient-policy.json

lispex decision issue --dir decision \
  --private-key issuer.pkcs8.der \
  --issuer-label "Refund desk A" \
  --out refund.lpxdecision

lispex decision inspect --bundle refund.lpxdecision
lispex decision authenticate --bundle refund.lpxdecision \
  --policy recipient-policy.json
lispex decision replay --bundle refund.lpxdecision \
  --policy recipient-policy.json

Пакет содержит ровно семь файлов. Это заданный с точностью до байта ввод, манифест, конверт издателя, подготовленный артефакт, переносимое ядро, артефакт результата и производная сводка. В нём нет исходника правила, исходного JSON, закрытого ключа, времени, способа выполнения и токена полномочия. Native может выпускать, проверять, аутентифицировать и повторно выполнять пакет. npm только проверяет и аутентифицирует его без сети, а выпуска и повторного выполнения там нет. Браузер и Playground не экспортируют этот модуль проверки.

Отчёт раздельно показывает целостность пакета, подпись и допуск политикой, точную привязку запроса, свежее повторное выполнение, защиту от повторного использования и полномочие на внешнее действие. rule authenticate не выполняет правило, поэтому повторное выполнение имеет статус not-performed, защита от повторного использования имеет статус not-provided, а внешнее полномочие имеет статус absent. Метка издателя является неподписанным описанием.

Аутентификация решения и Ваучер являются разными процессами

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

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

Где доступна команда

Процесс rule, выпуск решения и повторное выполнение предоставляет продукт Native. npm дополнительно предоставляет только проверочные decision inspect и decision authenticate. Публичная браузерная сборка WebAssembly и Playground не экспортируют эти команды решения.

Режим первого решения в Playground позволяет скачать точную передачу материалов с исходником для выбранного ввода. Распакуйте ZIP в новый каталог и выполните вложенную явную команду, чтобы перейти к этому процессу Native. Этот ZIP является материалом подготовки, а не каталогом решения, переносимым ядром, подписью или полномочием.

Куда дальше

Соберите правило по шагам в разделе Первое решающее правило или изучите зафиксированный контракт небольшого движка, который выполняет одно правило в объявленных вами пределах, в разделе Контракт ограниченного вычислителя.