Property‑тесты умеют находить ошибки на самых неожиданных входных данных. Но настоящая магия начинается после падения теста: вместо списка из сотен случайных значений Hypothesis часто показывает один короткий и предельно понятный контрпример.
Разбираемся, как работает shrinking, почему ручные shrinker’ы плохо масштабируются и за счёт чего Hypothesis умеет минимизировать ошибки практически автоматически.