Правило, вернувшее release, ещё ничего не выпустило.
Сервис заказов принимает правило от вызывающей стороны, и оно решает, выпустить заказ или отложить его на проверку. Хост явно передаёт входные данные, например сумму заказа и результат проверки личности. Правило возвращает данные решения с выбранным действием и причиной. Хост смотрит на эти данные и затем действует, а между этими шагами он ещё может отклонить неизвестное действие, применить более позднюю проверку полномочий или обновить не тот заказ. Записанные вход и результат показывают, откуда взялось спорное решение. Что хост сделал на самом деле, нужно наблюдать на стороне хоста.
Вычислитель важен не меньше. В Lispex 1.21 исполнение исходника по умолчанию запускает доверенный код в том же процессе. Для доверенного исходника, когда ограниченное исполнение не требуется, это нормально, но гарантий по ресурсам для произвольного исходника вызывающей стороны это не даёт. Native embed и embed full представляют собой отдельные ограниченные вычислители на WASM без импортов со свежими экземплярами, поэтому утверждение о ресурсах называет вычислитель и профиль. Подготовка и вычисление учитываются по этому профилю по отдельности. Лимит только на вычисление ничего не говорит о подготовке.
Я собираюсь записывать вычислитель, профиль, вход и решение одной записью, а наблюдаемое действие хоста привязывать к ней потом.
