Given original and replay artifacts: per-step digest identity, drift set, cost delta, and a re_derives | diverges | inconclusive equivalence verdict.