Property-Based Testing Skill: Test invariants across many generated inputs

Property-Based Testing field guide: define properties, generators, shrinking, domains, invariants, and reproducible failures.