Before starting, read: ../authoring-tests/SKILL.md
Adhere to these principles when writing property-based tests:
- Write focused properties with focused arbitraries to properly explore slices
of the input space.
- Prefer arbitraries that generate the desired input space directly instead of
generating a larger input space and then filtering it down.
- Keep assertions focused only on what's straightforward to infer from the input
arbitraries. It's often infeasible assert the full value
[Description truncada. Veja o README completo no GitHub.]