P1.6: Verify property tests and benchmarks for router/merger
Verified all acceptance criteria are met:
- cargo bench -p miroir-core runs all criterion benches
- cargo test -p miroir-core runs property tests with 1024 cases
- cargo bench --no-run compiles benches for CI regression gates
Property tests cover:
- Router: determinism, reshuffling bounds, uniformity, RF validation
- Merger: determinism, pagination, monotonicity, RRF correctness
Criterion benchmarks target plan §8 goals:
- Rendezvous assignment (64 shards, 3 nodes, 10K docs) < 1 ms
- Merger (1000 hits, 3 shards) < 1 ms
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
e322e3e0a6