Debug code with evidence, not guesses

Turn an error into ranked hypotheses, small tests, a verified fix, and a regression test.