[INFO] fetching crate theory_core 0.1.0...
[INFO] testing theory_core-0.1.0 against try#c2e32f1c9652b13ed99608599c1e855462f421f3 for pr-146098-8
[INFO] extracting crate theory_core 0.1.0 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate theory_core 0.1.0
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate theory_core 0.1.0
[INFO] tweaked toml for crates.io crate theory_core 0.1.0 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate theory_core 0.1.0 on toolchain c2e32f1c9652b13ed99608599c1e855462f421f3
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate theory_core 0.1.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: the cargo feature `edition2024` has been stabilized in the 1.85 release and is no longer necessary to be listed in the manifest
[INFO] [stderr]   See https://doc.rust-lang.org/nightly/cargo/reference/manifest.html#the-edition-field for more information about using this feature.
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ef951cd6fd7a28194d0b6da2ca43a0c93d5b221f9909b62cf2551b7b1e09db4c
[INFO] running `Command { std: "docker" "start" "-a" "ef951cd6fd7a28194d0b6da2ca43a0c93d5b221f9909b62cf2551b7b1e09db4c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ef951cd6fd7a28194d0b6da2ca43a0c93d5b221f9909b62cf2551b7b1e09db4c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ef951cd6fd7a28194d0b6da2ca43a0c93d5b221f9909b62cf2551b7b1e09db4c", kill_on_drop: false }`
[INFO] [stdout] ef951cd6fd7a28194d0b6da2ca43a0c93d5b221f9909b62cf2551b7b1e09db4c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3a65d00f539ea3a748f54b987042f3e718842dd64eff9c20d8d4e8021ac2e91c
[INFO] running `Command { std: "docker" "start" "-a" "3a65d00f539ea3a748f54b987042f3e718842dd64eff9c20d8d4e8021ac2e91c", kill_on_drop: false }`
[INFO] [stderr] warning: the cargo feature `edition2024` has been stabilized in the 1.85 release and is no longer necessary to be listed in the manifest
[INFO] [stderr]   See https://doc.rust-lang.org/nightly/cargo/reference/manifest.html#the-edition-field for more information about using this feature.
[INFO] [stderr]    Compiling libc v0.2.176
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling tokio-macros v2.5.0
[INFO] [stderr]    Compiling indexmap v2.11.4
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling mio v1.0.4
[INFO] [stderr]    Compiling signal-hook-registry v1.4.6
[INFO] [stderr]    Compiling socket2 v0.6.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling tokio v1.47.1
[INFO] [stderr]    Compiling theory_core v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unexpected `cfg` condition value: `gpu`
[INFO] [stdout]    --> src/optimization.rs:618:15
[INFO] [stdout]     |
[INFO] [stdout] 618 |         #[cfg(feature = "gpu")]
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `async`, `default`, `tokio`, `z3`, and `z3-solver`
[INFO] [stdout]     = help: consider adding `gpu` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `gpu`
[INFO] [stdout]    --> src/optimization.rs:624:19
[INFO] [stdout]     |
[INFO] [stdout] 624 |         #[cfg(not(feature = "gpu"))]
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `async`, `default`, `tokio`, `z3`, and `z3-solver`
[INFO] [stdout]     = help: consider adding `gpu` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BinaryOp`
[INFO] [stdout]    --> src/smt_stub.rs:199:25
[INFO] [stdout]     |
[INFO] [stdout] 199 |         use crate::ir::{BinaryOp, Constraint, Expr};
[INFO] [stdout]     |                         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BinaryOp`, `Constraint`, `Expr`, and `VarId`
[INFO] [stdout]  --> src/z3_backend.rs:9:17
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::ir::{BinaryOp, Constraint, ConstraintIR, Expr, VarId};
[INFO] [stdout]   |                 ^^^^^^^^  ^^^^^^^^^^                ^^^^  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `SolutionValue`
[INFO] [stdout]   --> src/z3_backend.rs:10:40
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::surrogate::{SolutionResult, SolutionValue};
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> src/z3_backend.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `timeout_ms`
[INFO] [stdout]   --> src/z3_backend.rs:23:16
[INFO] [stdout]    |
[INFO] [stdout] 23 |     pub fn new(timeout_ms: u32) -> Result<Self> {
[INFO] [stdout]    |                ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_timeout_ms`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `current_strategy` is never read
[INFO] [stdout]    --> src/hybrid.rs:113:5
[INFO] [stdout]     |
[INFO] [stdout] 104 | pub struct HybridReasoningEngine {
[INFO] [stdout]     |            --------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 113 |     current_strategy: HybridStrategy,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `backend_selector` is never read
[INFO] [stdout]    --> src/optimization.rs:201:5
[INFO] [stdout]     |
[INFO] [stdout] 196 | pub struct PerformanceOptimizer {
[INFO] [stdout]     |            -------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 201 |     backend_selector: BackendSelector,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Unknown` is never constructed
[INFO] [stdout]   --> src/router.rs:69:5
[INFO] [stdout]    |
[INFO] [stdout] 65 | enum ComplexityClass {
[INFO] [stdout]    |      --------------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 69 |     Unknown, // Not yet classified
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `ComplexityClass` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `timeout_rate`, `total_attempts`, and `total_timeouts` are never read
[INFO] [stdout]   --> src/router.rs:85:5
[INFO] [stdout]    |
[INFO] [stdout] 82 | struct PerformanceStats {
[INFO] [stdout]    |        ---------------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 85 |     timeout_rate: f32,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 86 |     total_attempts: u64,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 87 |     total_timeouts: u64,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `PerformanceStats` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `record_attempt`, `analytics_summary`, and `calculate_reliability` are never used
[INFO] [stdout]    --> src/router.rs:92:12
[INFO] [stdout]     |
[INFO] [stdout]  90 | impl PerformanceStats {
[INFO] [stdout]     | --------------------- methods in this implementation
[INFO] [stdout]  91 |     /// Update statistics with a new solve attempt
[INFO] [stdout]  92 |     pub fn record_attempt(&mut self, solve_time_ms: f64, timed_out: bool) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 115 |     pub fn analytics_summary(&self) -> AnalyticsSummary {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 126 |     fn calculate_reliability(&self) -> f32 {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `is_integer` is never read
[INFO] [stdout]   --> src/smt_stub.rs:33:5
[INFO] [stdout]    |
[INFO] [stdout] 30 | struct VariableBounds {
[INFO] [stdout]    |        -------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 33 |     is_integer: bool,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `VariableBounds` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `config` is never read
[INFO] [stdout]    --> src/smt_stub.rs:159:5
[INFO] [stdout]     |
[INFO] [stdout] 158 | pub struct SmtBackend {
[INFO] [stdout]     |            ---------- field in this struct
[INFO] [stdout] 159 |     config: SmtBackendConfig,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `CVC5` is never constructed
[INFO] [stdout]    --> src/smt_stub.rs:985:5
[INFO] [stdout]     |
[INFO] [stdout] 983 | enum SolverType {
[INFO] [stdout]     |      ---------- variant in this enum
[INFO] [stdout] 984 |     Z3,
[INFO] [stdout] 985 |     CVC5,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `SolverType` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `timeout_ms` is never read
[INFO] [stdout]   --> src/z3_backend.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub struct Z3Backend {
[INFO] [stdout]    |            --------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 18 |     timeout_ms: u32,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `config` is never read
[INFO] [stdout]   --> src/surrogate.rs:93:5
[INFO] [stdout]    |
[INFO] [stdout] 92 | pub struct NeuralSolverSurrogate {
[INFO] [stdout]    |            --------------------- field in this struct
[INFO] [stdout] 93 |     config: SurrogateConfig,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 19.80s
[INFO] running `Command { std: "docker" "inspect" "3a65d00f539ea3a748f54b987042f3e718842dd64eff9c20d8d4e8021ac2e91c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3a65d00f539ea3a748f54b987042f3e718842dd64eff9c20d8d4e8021ac2e91c", kill_on_drop: false }`
[INFO] [stdout] 3a65d00f539ea3a748f54b987042f3e718842dd64eff9c20d8d4e8021ac2e91c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3f2d2132be69c707d59fcecae6daeafd48a14be4b942e07e183efba5cff80852
[INFO] running `Command { std: "docker" "start" "-a" "3f2d2132be69c707d59fcecae6daeafd48a14be4b942e07e183efba5cff80852", kill_on_drop: false }`
[INFO] [stderr] warning: the cargo feature `edition2024` has been stabilized in the 1.85 release and is no longer necessary to be listed in the manifest
[INFO] [stderr]   See https://doc.rust-lang.org/nightly/cargo/reference/manifest.html#the-edition-field for more information about using this feature.
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stdout] warning: unexpected `cfg` condition value: `gpu`
[INFO] [stdout]    --> src/optimization.rs:618:15
[INFO] [stdout]     |
[INFO] [stdout] 618 |         #[cfg(feature = "gpu")]
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `async`, `default`, `tokio`, `z3`, and `z3-solver`
[INFO] [stdout]     = help: consider adding `gpu` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `gpu`
[INFO] [stdout]    --> src/optimization.rs:624:19
[INFO] [stdout]     |
[INFO] [stdout] 624 |         #[cfg(not(feature = "gpu"))]
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `async`, `default`, `tokio`, `z3`, and `z3-solver`
[INFO] [stdout]     = help: consider adding `gpu` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BinaryOp`
[INFO] [stdout]    --> src/smt_stub.rs:199:25
[INFO] [stdout]     |
[INFO] [stdout] 199 |         use crate::ir::{BinaryOp, Constraint, Expr};
[INFO] [stdout]     |                         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BinaryOp`, `Constraint`, `Expr`, and `VarId`
[INFO] [stdout]  --> src/z3_backend.rs:9:17
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::ir::{BinaryOp, Constraint, ConstraintIR, Expr, VarId};
[INFO] [stdout]   |                 ^^^^^^^^  ^^^^^^^^^^                ^^^^  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `SolutionValue`
[INFO] [stdout]   --> src/z3_backend.rs:10:40
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::surrogate::{SolutionResult, SolutionValue};
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> src/z3_backend.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `timeout_ms`
[INFO] [stdout]   --> src/z3_backend.rs:23:16
[INFO] [stdout]    |
[INFO] [stdout] 23 |     pub fn new(timeout_ms: u32) -> Result<Self> {
[INFO] [stdout]    |                ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_timeout_ms`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `current_strategy` is never read
[INFO] [stdout]    --> src/hybrid.rs:113:5
[INFO] [stdout]     |
[INFO] [stdout] 104 | pub struct HybridReasoningEngine {
[INFO] [stdout]     |            --------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 113 |     current_strategy: HybridStrategy,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `backend_selector` is never read
[INFO] [stdout]    --> src/optimization.rs:201:5
[INFO] [stdout]     |
[INFO] [stdout] 196 | pub struct PerformanceOptimizer {
[INFO] [stdout]     |            -------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 201 |     backend_selector: BackendSelector,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Unknown` is never constructed
[INFO] [stdout]   --> src/router.rs:69:5
[INFO] [stdout]    |
[INFO] [stdout] 65 | enum ComplexityClass {
[INFO] [stdout]    |      --------------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 69 |     Unknown, // Not yet classified
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `ComplexityClass` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `timeout_rate`, `total_attempts`, and `total_timeouts` are never read
[INFO] [stdout]   --> src/router.rs:85:5
[INFO] [stdout]    |
[INFO] [stdout] 82 | struct PerformanceStats {
[INFO] [stdout]    |        ---------------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 85 |     timeout_rate: f32,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 86 |     total_attempts: u64,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 87 |     total_timeouts: u64,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `PerformanceStats` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `record_attempt`, `analytics_summary`, and `calculate_reliability` are never used
[INFO] [stdout]    --> src/router.rs:92:12
[INFO] [stdout]     |
[INFO] [stdout]  90 | impl PerformanceStats {
[INFO] [stdout]     | --------------------- methods in this implementation
[INFO] [stdout]  91 |     /// Update statistics with a new solve attempt
[INFO] [stdout]  92 |     pub fn record_attempt(&mut self, solve_time_ms: f64, timed_out: bool) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 115 |     pub fn analytics_summary(&self) -> AnalyticsSummary {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 126 |     fn calculate_reliability(&self) -> f32 {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `is_integer` is never read
[INFO] [stdout]   --> src/smt_stub.rs:33:5
[INFO] [stdout]    |
[INFO] [stdout] 30 | struct VariableBounds {
[INFO] [stdout]    |        -------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 33 |     is_integer: bool,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `VariableBounds` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `config` is never read
[INFO] [stdout]    --> src/smt_stub.rs:159:5
[INFO] [stdout]     |
[INFO] [stdout] 158 | pub struct SmtBackend {
[INFO] [stdout]     |            ---------- field in this struct
[INFO] [stdout] 159 |     config: SmtBackendConfig,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `CVC5` is never constructed
[INFO] [stdout]    --> src/smt_stub.rs:985:5
[INFO] [stdout]     |
[INFO] [stdout] 983 | enum SolverType {
[INFO] [stdout]     |      ---------- variant in this enum
[INFO] [stdout] 984 |     Z3,
[INFO] [stdout] 985 |     CVC5,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `SolverType` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `timeout_ms` is never read
[INFO] [stdout]   --> src/z3_backend.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub struct Z3Backend {
[INFO] [stdout]    |            --------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 18 |     timeout_ms: u32,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `config` is never read
[INFO] [stdout]   --> src/surrogate.rs:93:5
[INFO] [stdout]    |
[INFO] [stdout] 92 | pub struct NeuralSolverSurrogate {
[INFO] [stdout]    |            --------------------- field in this struct
[INFO] [stdout] 93 |     config: SurrogateConfig,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v1.8.0
[INFO] [stderr]    Compiling theory_core v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0063]: missing field `method` in initializer of `theory_core::SolutionResult`
[INFO] [stdout]    --> examples/learning_demo.rs:171:8
[INFO] [stdout]     |
[INFO] [stdout] 171 |     Ok(SolutionResult {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^ missing `method`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0063]: missing field `method` in initializer of `theory_core::SolutionResult`
[INFO] [stdout]    --> examples/learning_demo.rs:228:8
[INFO] [stdout]     |
[INFO] [stdout] 228 |     Ok(SolutionResult {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^ missing `method`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0063]: missing field `method` in initializer of `theory_core::SolutionResult`
[INFO] [stdout]    --> examples/learning_demo.rs:249:8
[INFO] [stdout]     |
[INFO] [stdout] 249 |     Ok(SolutionResult {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^ missing `method`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0063`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `theory_core` (example "learning_demo") due to 3 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0063]: missing field `method` in initializer of `theory_core::SolutionResult`
[INFO] [stdout]   --> examples/simple_demo.rs:46:20
[INFO] [stdout]    |
[INFO] [stdout] 46 |     let solution = SolutionResult {
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^ missing `method`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0063`.
[INFO] [stdout] 
[INFO] [stdout] error[E0063]: missing field `method` in initializer of `theory_core::SolutionResult`
[INFO] [stdout]   --> tests/simple_tests.rs:81:20
[INFO] [stdout]    |
[INFO] [stdout] 81 |     let solution = SolutionResult {
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^ missing `method`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `theory_core` (example "simple_demo") due to 1 previous error
[INFO] [stdout] For more information about this error, try `rustc --explain E0063`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `theory_core` (test "simple_tests") due to 1 previous error
[INFO] [stdout] error[E0063]: missing field `method` in initializer of `theory_core::SolutionResult`
[INFO] [stdout]    --> examples/meta_reasoning_demo.rs:343:8
[INFO] [stdout]     |
[INFO] [stdout] 343 |     Ok(SolutionResult {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^ missing `method`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0063`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `theory_core` (example "meta_reasoning_demo") due to 1 previous error
[INFO] [stdout] warning: unexpected `cfg` condition value: `gpu`
[INFO] [stdout]    --> src/optimization.rs:618:15
[INFO] [stdout]     |
[INFO] [stdout] 618 |         #[cfg(feature = "gpu")]
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `async`, `default`, `tokio`, `z3`, and `z3-solver`
[INFO] [stdout]     = help: consider adding `gpu` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `gpu`
[INFO] [stdout]    --> src/optimization.rs:624:19
[INFO] [stdout]     |
[INFO] [stdout] 624 |         #[cfg(not(feature = "gpu"))]
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `async`, `default`, `tokio`, `z3`, and `z3-solver`
[INFO] [stdout]     = help: consider adding `gpu` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BinaryOp`
[INFO] [stdout]    --> src/smt_stub.rs:199:25
[INFO] [stdout]     |
[INFO] [stdout] 199 |         use crate::ir::{BinaryOp, Constraint, Expr};
[INFO] [stdout]     |                         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BinaryOp`, `Constraint`, `Expr`, and `VarId`
[INFO] [stdout]  --> src/z3_backend.rs:9:17
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::ir::{BinaryOp, Constraint, ConstraintIR, Expr, VarId};
[INFO] [stdout]   |                 ^^^^^^^^  ^^^^^^^^^^                ^^^^  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `SolutionValue`
[INFO] [stdout]   --> src/z3_backend.rs:10:40
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::surrogate::{SolutionResult, SolutionValue};
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> src/z3_backend.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]    --> src/z3_backend.rs:169:9
[INFO] [stdout]     |
[INFO] [stdout] 169 |     use super::*;
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `timeout_ms`
[INFO] [stdout]   --> src/z3_backend.rs:23:16
[INFO] [stdout]    |
[INFO] [stdout] 23 |     pub fn new(timeout_ms: u32) -> Result<Self> {
[INFO] [stdout]    |                ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_timeout_ms`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `current_strategy` is never read
[INFO] [stdout]    --> src/hybrid.rs:113:5
[INFO] [stdout]     |
[INFO] [stdout] 104 | pub struct HybridReasoningEngine {
[INFO] [stdout]     |            --------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 113 |     current_strategy: HybridStrategy,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `backend_selector` is never read
[INFO] [stdout]    --> src/optimization.rs:201:5
[INFO] [stdout]     |
[INFO] [stdout] 196 | pub struct PerformanceOptimizer {
[INFO] [stdout]     |            -------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 201 |     backend_selector: BackendSelector,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Unknown` is never constructed
[INFO] [stdout]   --> src/router.rs:69:5
[INFO] [stdout]    |
[INFO] [stdout] 65 | enum ComplexityClass {
[INFO] [stdout]    |      --------------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 69 |     Unknown, // Not yet classified
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `ComplexityClass` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `timeout_rate`, `total_attempts`, and `total_timeouts` are never read
[INFO] [stdout]   --> src/router.rs:85:5
[INFO] [stdout]    |
[INFO] [stdout] 82 | struct PerformanceStats {
[INFO] [stdout]    |        ---------------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 85 |     timeout_rate: f32,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 86 |     total_attempts: u64,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 87 |     total_timeouts: u64,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `PerformanceStats` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `record_attempt`, `analytics_summary`, and `calculate_reliability` are never used
[INFO] [stdout]    --> src/router.rs:92:12
[INFO] [stdout]     |
[INFO] [stdout]  90 | impl PerformanceStats {
[INFO] [stdout]     | --------------------- methods in this implementation
[INFO] [stdout]  91 |     /// Update statistics with a new solve attempt
[INFO] [stdout]  92 |     pub fn record_attempt(&mut self, solve_time_ms: f64, timed_out: bool) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 115 |     pub fn analytics_summary(&self) -> AnalyticsSummary {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 126 |     fn calculate_reliability(&self) -> f32 {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `is_integer` is never read
[INFO] [stdout]   --> src/smt_stub.rs:33:5
[INFO] [stdout]    |
[INFO] [stdout] 30 | struct VariableBounds {
[INFO] [stdout]    |        -------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 33 |     is_integer: bool,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `VariableBounds` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `config` is never read
[INFO] [stdout]    --> src/smt_stub.rs:159:5
[INFO] [stdout]     |
[INFO] [stdout] 158 | pub struct SmtBackend {
[INFO] [stdout]     |            ---------- field in this struct
[INFO] [stdout] 159 |     config: SmtBackendConfig,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `CVC5` is never constructed
[INFO] [stdout]    --> src/smt_stub.rs:985:5
[INFO] [stdout]     |
[INFO] [stdout] 983 | enum SolverType {
[INFO] [stdout]     |      ---------- variant in this enum
[INFO] [stdout] 984 |     Z3,
[INFO] [stdout] 985 |     CVC5,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `SolverType` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `timeout_ms` is never read
[INFO] [stdout]   --> src/z3_backend.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub struct Z3Backend {
[INFO] [stdout]    |            --------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 18 |     timeout_ms: u32,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `config` is never read
[INFO] [stdout]   --> src/surrogate.rs:93:5
[INFO] [stdout]    |
[INFO] [stdout] 92 | pub struct NeuralSolverSurrogate {
[INFO] [stdout]    |            --------------------- field in this struct
[INFO] [stdout] 93 |     config: SurrogateConfig,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "3f2d2132be69c707d59fcecae6daeafd48a14be4b942e07e183efba5cff80852", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3f2d2132be69c707d59fcecae6daeafd48a14be4b942e07e183efba5cff80852", kill_on_drop: false }`
[INFO] [stdout] 3f2d2132be69c707d59fcecae6daeafd48a14be4b942e07e183efba5cff80852
