Replaying a Decision Corpus

Replay compares a frozen set of pinned decision cases and expected receipt lineage against a new rule or receipt set, and classifies every case as agree, mismatch, or not-comparable.

The decision set being compared

A replay corpus is a declared set of pinned decision cases. Each case holds the exact rule bytes, the exact input bytes, and the expected receipt lineage. Replay compares each case's recorded evidence against the baseline you name, either a version or a directory of receipts, and reports whether the recorded behavior changed.

Despite the shared word, vouch replay has nothing to do with replay prevention. This command re-checks recorded decisions. Preventing an old grant or report from being reused is an application control that Vouch never provides.

Freeze the evidence before comparing

  • Freeze the corpus inventory before comparison. The report classifies every case as agree, mismatch, or not-comparable.
  • Preserve runner identity, rule bytes, input bytes, and result observations so the comparison can be reproduced.
  • Review mismatch cases as behavior changes, and do not regenerate old receipts to erase history.

Compare with a baseline

SH
lispex vouch replay gallery \
  --against <baseline-version-or-receipts-dir>

The npm CLI provides this command. Read every reported mismatch and not-comparable case. A clean summary is useful only when the corpus and baseline were chosen before the outcome was known.

A common mistake

Not-comparable is a disclosed boundary, not a mismatch silently counted as agreement. A case that could not be compared tells you the comparison did not happen, and you must never read it as a pass.

Keep going

Keep the Vouch overview nearby. It separates authentication, request binding, current execution agreement, and a local grant.

Lispex Vouch overview · Choosing Where to Run