Diagnose reproducible software failures through evidence, controlled hypotheses, isolation, root-cause analysis, and regression verification.