flux-rs/flux

**Summary** Flux‑rs/flux brings refinement types to Rust, letting developers encode richer invariants (e.g., “non‑negative integer” or “sorted vector”) directly