All Phase 1 DoD criteria verified: - Rendezvous assignment deterministic (router.rs 100% coverage) - Reshuffle bound on add ≤ 2×(1/4) (proptest + unit test) - 64 shards/3 nodes/RF=1 → 17-26 per node (uniformity test) - write_targets returns RG×RF nodes (acceptance tests) - covering_set with replica rotation (acceptance tests) - merger passes all merge/facet/limit tests - miroir-core ≥ 90% line coverage (90.17% via tarpaulin) Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com> |
||
|---|---|---|
| .. | ||
| benches/score-comparability | ||