Property-Based Testing

RULES — Follow these with no exceptions

1. Define properties, not examples — state what should always be true, not specific inputs/outputs
2. Test invariants, not specific values — "output length equals input length" not "output is [1, 2, 3]"
3. Leverage shrinking — let StreamData find minimal failing cases; add constraints like min_length: 1 or integer(1..100) when shrunk cases expose invalid generator inputs

Setup