Add proptest as dev-dependency

Pinned at 1.11.0 (~7 weeks old at landing). Used in module-local
`mod proptests` blocks for the four candidates identified by the
property-testing investigation: topological_sort_bottom_up,
glob_to_regex, split_scope_segments, and the macOS platform_case_compare
collation.

Author: vdavid

Cargo.lock

@@ -213,6 +213,11 @@ env_logger = "0.11.10"
 # For test-only cryptographic key generation (compatible with ed25519-dalek's rand_core 0.6)
 rand_core = { version = "0.6", features = ["getrandom"] }
 tempfile = "3"
+# Property-based testing. Used for algorithmic functions where the input space
+# is too large for example tests to cover meaningfully (parser, glob→regex,
+# topological sort, Unicode collation). Pinned at 1.11.0 (published 2026-03-24,
+# ~7 weeks old at landing). MIT OR Apache-2.0.
+proptest = "1.11.0"
 # HTTP mock server for AI client integration tests. Verifies request shape (temperature
 # present on chat/completions, omitted on /v1/responses) and parsing without burning
 # real API quota. Pinned at 0.6.5 (latest stable, published 2025-08-24).

apps/desktop/src-tauri/Cargo.toml

@@ -16,6 +16,12 @@
 #[cfg(test)]
 use criterion as _;
 //noinspection RsUnusedImport
+// Property-based testing. Used in module-local `mod proptests` blocks; the
+// crate-root marker keeps `unused_crate_dependencies` quiet for builds that
+// happen to compile a subset of test modules.
+#[cfg(test)]
+use proptest as _;
+//noinspection RsUnusedImport
 // Dev-only log-routing shim. Used by the phase4 bench's optional
 // `env_logger::try_init()` (commented-in when collecting wire traces) and by
 // ad-hoc debug-logging in tests. Harmless otherwise.