diff --git a/Cargo.lock b/Cargo.lock
index d9f645d4..87bce49e 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -536,6 +536,17 @@ version = "0.2.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "613afe47fcd5fac7ccf1db93babcb082c5994d996f20b8b159f2ad1658eb5724"
 
+[[package]]
+name = "chacha20"
+version = "0.10.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6f8d983286843e49675a4b7a2d174efe136dc93a18d69130dd18198a6c167601"
+dependencies = [
+ "cfg-if",
+ "cpufeatures 0.3.0",
+ "rand_core 0.10.1",
+]
+
 [[package]]
 name = "chrono"
 version = "0.4.44"
@@ -1051,7 +1062,7 @@ dependencies = [
  "num-traits",
  "pretty_assertions",
  "proptest",
- "rand",
+ "rand 0.10.1",
  "reqwest",
  "rustfft",
  "rustyline",
@@ -1476,6 +1487,7 @@ dependencies = [
  "cfg-if",
  "libc",
  "r-efi 6.0.0",
+ "rand_core 0.10.1",
  "wasip2",
  "wasip3",
 ]
@@ -2552,7 +2564,7 @@ dependencies = [
  "bit-vec",
  "bitflags",
  "num-traits",
- "rand",
+ "rand 0.9.4",
  "rand_chacha",
  "rand_xorshift",
  "regex-syntax",
@@ -2669,7 +2681,7 @@ dependencies = [
  "bytes",
  "getrandom 0.3.4",
  "lru-slab",
- "rand",
+ "rand 0.9.4",
  "ring",
  "rustc-hash",
  "rustls",
@@ -2736,6 +2748,17 @@ dependencies = [
  "rand_core 0.9.5",
 ]
 
+[[package]]
+name = "rand"
+version = "0.10.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d2e8e8bcc7961af1fdac401278c6a831614941f6164ee3bf4ce61b7edb162207"
+dependencies = [
+ "chacha20",
+ "getrandom 0.4.2",
+ "rand_core 0.10.1",
+]
+
 [[package]]
 name = "rand_chacha"
 version = "0.9.0"
@@ -2764,6 +2787,12 @@ dependencies = [
  "getrandom 0.3.4",
 ]
 
+[[package]]
+name = "rand_core"
+version = "0.10.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "63b8176103e19a2643978565ca18b50549f6101881c443590420e4dc998a3c69"
+
 [[package]]
 name = "rand_xorshift"
 version = "0.4.0"
@@ -3949,7 +3978,7 @@ dependencies = [
  "http",
  "httparse",
  "log",
- "rand",
+ "rand 0.9.4",
  "sha1",
  "thiserror",
 ]
diff --git a/Cargo.toml b/Cargo.toml
index cee410bd..314dae14 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -73,7 +73,7 @@ ciborium = { version = "0.2", optional = true }
 chrono = { version = "0.4", features = ["serde"] }
 
 # Random number generation (for resilience jitter)
-rand = "0.9"
+rand = "0.10"
 
 # Temporary files (used by prover backends to invoke external solvers)
 tempfile = "3"
diff --git a/src/rust/agent/swarm.rs b/src/rust/agent/swarm.rs
index a2fcb420..48a12c28 100644
--- a/src/rust/agent/swarm.rs
+++ b/src/rust/agent/swarm.rs
@@ -29,7 +29,7 @@
 use std::sync::Arc;
 
 use rand::rngs::StdRng;
-use rand::{Rng, SeedableRng};
+use rand::{RngExt, SeedableRng};
 use serde::{Deserialize, Serialize};
 use tokio::sync::{mpsc, Mutex};
 use tokio::task::JoinSet;
diff --git a/src/rust/learning/design_search.rs b/src/rust/learning/design_search.rs
index bd1b4cc3..743dfbdf 100644
--- a/src/rust/learning/design_search.rs
+++ b/src/rust/learning/design_search.rs
@@ -31,7 +31,7 @@ use std::collections::BTreeSet;
 use std::fmt::Debug;
 
 use rand::rngs::StdRng;
-use rand::{Rng, SeedableRng};
+use rand::{RngExt, SeedableRng};
 use serde::{Deserialize, Serialize};
 
 /// The minimum surface a domain has to expose for the annealer.