Verification and Evidence

Verification is independent of execution. It checks migration outcomes and records verification runs/results.