Test-driven debugging

Reproduce bugs with focused tests, fix root causes, and keep verification commands attached to the report.