···202203This is not a Lean tutorial but I hope you'll forgive this frivolous metaphor.
204205-I think it's the same with the process of reducing a reducing the repro case. You want to know that *you're always, **always** making incremental progress* and the repro keeps getting smaller. This means that you must stay disciplined and remove pieces bit by bit, only committing as long as the bug still persists. At some point, you're bound to run out of things to remove, which would either present you with a mistake in your code, or a mistake in pieces you can't further reduce (e.g. React).
206207-Repeat until it works.
208209---
210
···202203This is not a Lean tutorial but I hope you'll forgive this frivolous metaphor.
204205+I think it's the same with the process of reducing the repro case. You want to know that *you're always, **always** making incremental progress* and the repro keeps getting smaller. This means that you must stay disciplined and remove pieces bit by bit, only committing as long as the bug still persists. At some point, you're bound to run out of things to remove, which would either present you with a mistake in your code, or a mistake in pieces you can't further reduce (e.g. React).
206207+Repeat until you find it.
208209---
210