Какой вопрос решает replay
Корпус — это объявленный заранее набор закреплённых входов решений вместе с
ожидаемой линией квитанций: какие правило, вход и исполнитель дали каждый
записанный результат. Команда npm lispex vouch replay сравнивает этот
корпус с новым правилом или новым набором квитанций и отвечает, совпало ли
поведение на каждом случае.
Не путайте с защитой от повторного предъявления: replay здесь — сравнение корпуса, а не механизм свежести или одноразовости. Такой защиты Vouch не даёт.
Что закрепить до сравнения
- Закрепите состав корпуса до того, как станет известен результат: чистая сводка убедительна только тогда, когда корпус и базовая линия выбраны заранее.
- Для воспроизводимости сохраняйте идентификатор исполнителя, байты правила и входа, а также наблюдаемый результат.
Сравнение с базовой линией
lispex vouch replay gallery \
--against <baseline-version-or-receipts-dir>Как читать итог
Каждый случай классифицируется одним из трёх способов:
- совпадение — новое поведение равно записанному;
- расхождение — поведение изменилось; читайте каждый такой случай, а не только сводку, и не пересоздавайте старые квитанции ради стирания истории;
- невозможность сравнения — открыто указанная граница, а не расхождение, молча засчитанное как совпадение.
Чего replay не устанавливает
Отчёт повтора говорит только о выбранном корпусе. Он не доказывает поведение вне этих случаев, не аутентифицирует квитанции и не выдаёт разрешение.
Куда дальше
Держите рядом обзор Vouch: он разделяет аутентификацию, привязку запроса, согласие текущего выполнения и локальное решение.