7be2a0e9ec
This commit adds comprehensive property-based tests and fuzzing coverage for critical router and parser invariants as specified in plan §8. **Property Tests (proptest) - router.rs:** - `prop_write_targets_count`: Verifies |write_targets| == RG × RF - `prop_write_targets_rf_per_group`: Verifies each group contributes exactly RF nodes - `prop_covering_set_covers_all_shards`: Verifies covering set includes all shards - `prop_reshuffle_bound_on_add`: Verifies reshuffle bounded by 4 × RF × ceil(S / Ng_new) - `prop_determinism`: Verifies same inputs produce same outputs - `prop_shard_for_key_uniformity`: Verifies uniform key distribution across shards **Fuzz Targets (cargo-fuzz):** - `config_parser.rs`: Feeds random UTF-8 to Config::from_yaml - `filter_parser.rs`: Feeds random strings to query planner filter grammar - `canonical_json.rs`: Roundtrips random JSON through canonicalizer **Bug Fixes:** - Fixed missing `mode_b_type` import in mode_b_coordinator.rs - Fixed missing `Arc` import in scatter.rs All property tests pass at 1024 cases per property. Fuzz targets are ready for integration with weekly CI fuzz runs via Argo Workflow. Closes: miroir-89x.6 |
||
|---|---|---|
| .. | ||
| fuzz_targets | ||
| Cargo.toml | ||