[pfdietz]

The way it does counterexample shrinking is the most clever part of Hypothesis.

[ctenb]

Do you have a reference where it is explained? It's not part of the docs as far as I can tell

[pfdietz]

You might try this blog entry (or other blog entries that talk about shrinking):

https://hypothesis.works/articles/how-hypothesis-works/