Diagnose software faults with a reproducible failing check and runtime evidence; verify fixes when requested.
