Problem
Block size and ratio invariants (e.g., sum of ratios divides block size) are not property-tested.
Acceptance criteria
- Property tests run across randomly generated valid configs.
- Invariants: ratio sum divides block size; generated sequence length matches expected.
Parent epic
Child of #250
Problem
Block size and ratio invariants (e.g., sum of ratios divides block size) are not property-tested.
Acceptance criteria
Parent epic
Child of #250