Trail of Bits asks agents to prove fixes three ways A review found 21 regressions in merged patches. New workflows separate reproducing a bug, proving its fix and checking what else changed.