Replay Vocabulary
Input boundary
Section titled “Input boundary”The set of inputs required for replay.
State snapshot
Section titled “State snapshot”Preserved state needed to reconstruct relevant behavior.
Expected result
Section titled “Expected result”The result against which replay output is evaluated.
Comparison rule
Section titled “Comparison rule”The rule that defines whether replay produced an equivalent result.
Referential closure
Section titled “Referential closure”A replay input set is referentially closed when the required external dependencies are explicitly captured or otherwise fixed by the contract.
Replay should always be interpreted relative to an explicit contract.