[INFO] cloning repository https://github.com/chetannothingness/self-computing-universe-proof [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/chetannothingness/self-computing-universe-proof" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fchetannothingness%2Fself-computing-universe-proof", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fchetannothingness%2Fself-computing-universe-proof'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] f68862af079d74b3d10f709cd92a1aef41383b22 [INFO] testing chetannothingness/self-computing-universe-proof against 1.100.0-beta.1 for beta-1.100-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fchetannothingness%2Fself-computing-universe-proof" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-2-tc2/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/chetannothingness/self-computing-universe-proof [INFO] finished tweaking git repo https://github.com/chetannothingness/self-computing-universe-proof [INFO] tweaked toml for git repo https://github.com/chetannothingness/self-computing-universe-proof written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/chetannothingness/self-computing-universe-proof on toolchain 1.100.0-beta.1 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/chetannothingness/self-computing-universe-proof 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" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] 23e8aacc7ca1ffd75cac078bfcd5f2876d0f990cc01e28f02ce6e4d81177ce59 [INFO] running `Command { std: "docker" "start" "23e8aacc7ca1ffd75cac078bfcd5f2876d0f990cc01e28f02ce6e4d81177ce59", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "23e8aacc7ca1ffd75cac078bfcd5f2876d0f990cc01e28f02ce6e4d81177ce59", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "23e8aacc7ca1ffd75cac078bfcd5f2876d0f990cc01e28f02ce6e4d81177ce59" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "23e8aacc7ca1ffd75cac078bfcd5f2876d0f990cc01e28f02ce6e4d81177ce59", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "23e8aacc7ca1ffd75cac078bfcd5f2876d0f990cc01e28f02ce6e4d81177ce59" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] Compiling zerocopy v0.8.40 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling ciborium-io v0.2.2 [INFO] [stderr] Compiling constant_time_eq v0.4.2 [INFO] [stderr] Compiling arrayref v0.3.9 [INFO] [stderr] Compiling arrayvec v0.7.6 [INFO] [stderr] Compiling http v1.4.0 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Compiling blake3 v1.8.3 [INFO] [stderr] Compiling openssl-sys v0.9.111 [INFO] [stderr] Compiling hashbrown v0.16.1 [INFO] [stderr] Compiling tokio v1.49.0 [INFO] [stderr] Compiling tracing-core v0.1.36 [INFO] [stderr] Compiling bitflags v2.11.0 [INFO] [stderr] Compiling openssl v0.10.75 [INFO] [stderr] Compiling log v0.4.29 [INFO] [stderr] Compiling futures-util v0.3.32 [INFO] [stderr] Compiling serde_json v1.0.149 [INFO] [stderr] Compiling crc32fast v1.5.0 [INFO] [stderr] Compiling semver v1.0.27 [INFO] [stderr] Compiling getrandom v0.2.17 [INFO] [stderr] Compiling simd-adler32 v0.3.8 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling adler2 v2.0.1 [INFO] [stderr] Compiling iri-string v0.7.10 [INFO] [stderr] Compiling zip v2.4.2 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling bumpalo v3.20.2 [INFO] [stderr] Compiling signature v2.2.0 [INFO] [stderr] Compiling native-tls v0.2.18 [INFO] [stderr] Compiling rustc_version v0.4.1 [INFO] [stderr] Compiling miniz_oxide v0.8.9 [INFO] [stderr] Compiling ed25519 v2.2.3 [INFO] [stderr] Compiling zopfli v0.8.3 [INFO] [stderr] Compiling sha2 v0.10.9 [INFO] [stderr] Compiling anstyle v1.0.13 [INFO] [stderr] Compiling anstyle-parse v0.2.7 [INFO] [stderr] Compiling indexmap v2.13.0 [INFO] [stderr] Compiling tracing v0.1.44 [INFO] [stderr] Compiling curve25519-dalek v4.1.3 [INFO] [stderr] Compiling colorchoice v1.0.4 [INFO] [stderr] Compiling http-body v1.0.1 [INFO] [stderr] Compiling anstream v0.6.21 [INFO] [stderr] Compiling clap_lex v1.0.0 [INFO] [stderr] Compiling http-body-util v0.1.3 [INFO] [stderr] Compiling flate2 v1.1.9 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling clap_builder v4.5.60 [INFO] [stderr] Compiling synstructure v0.13.2 [INFO] [stderr] Compiling zerocopy-derive v0.8.40 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling zerovec-derive v0.11.2 [INFO] [stderr] Compiling displaydoc v0.2.5 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling curve25519-dalek-derive v0.1.1 [INFO] [stderr] Compiling thiserror-impl v2.0.18 [INFO] [stderr] Compiling clap_derive v4.5.55 [INFO] [stderr] Compiling zerofrom-derive v0.1.6 [INFO] [stderr] Compiling yoke-derive v0.8.1 [INFO] [stderr] Compiling tokio-util v0.7.18 [INFO] [stderr] Compiling tower v0.5.3 [INFO] [stderr] Compiling tower-http v0.6.8 [INFO] [stderr] Compiling zerofrom v0.1.6 [INFO] [stderr] Compiling h2 v0.4.13 [INFO] [stderr] Compiling thiserror v2.0.18 [INFO] [stderr] Compiling yoke v0.8.1 [INFO] [stderr] Compiling zerovec v0.11.5 [INFO] [stderr] Compiling zerotrie v0.2.3 [INFO] [stderr] Compiling tinystr v0.8.2 [INFO] [stderr] Compiling potential_utf v0.1.4 [INFO] [stderr] Compiling icu_locale_core v2.1.1 [INFO] [stderr] Compiling icu_collections v2.1.1 [INFO] [stderr] Compiling ed25519-dalek v2.2.0 [INFO] [stderr] Compiling clap v4.5.60 [INFO] [stderr] Compiling icu_provider v2.1.1 [INFO] [stderr] Compiling icu_normalizer v2.1.1 [INFO] [stderr] Compiling icu_properties v2.1.2 [INFO] [stderr] Compiling hyper v1.8.1 [INFO] [stderr] Compiling serde_urlencoded v0.7.1 [INFO] [stderr] Compiling idna_adapter v1.2.1 [INFO] [stderr] Compiling idna v1.1.0 [INFO] [stderr] Compiling url v2.5.8 [INFO] [stderr] Compiling tokio-native-tls v0.3.1 [INFO] [stderr] Compiling hyper-util v0.1.20 [INFO] [stderr] Compiling half v2.7.1 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling ciborium-ll v0.2.2 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling ciborium v0.2.2 [INFO] [stderr] Compiling hyper-tls v0.6.0 [INFO] [stderr] Compiling reqwest v0.12.28 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling kernel-types v0.1.0 (/opt/rustwide/workdir/kernel-types) [INFO] [stdout] warning: function `H` should have a snake case name [INFO] [stdout] --> kernel-types/src/hash.rs:5:8 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn H(data: &[u8]) -> Hash32 { [INFO] [stdout] | ^ help: convert the identifier to snake case: `h` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling kernel-ledger v0.1.0 (/opt/rustwide/workdir/kernel-ledger) [INFO] [stderr] Compiling kernel-contracts v0.1.0 (/opt/rustwide/workdir/kernel-contracts) [INFO] [stderr] Compiling kernel-instruments v0.1.0 (/opt/rustwide/workdir/kernel-instruments) [INFO] [stderr] Compiling kernel-cap v0.1.0 (/opt/rustwide/workdir/kernel-cap) [INFO] [stderr] Compiling kernel-solver v0.1.0 (/opt/rustwide/workdir/kernel-solver) [INFO] [stderr] Compiling kernel-frc v0.1.0 (/opt/rustwide/workdir/kernel-frc) [INFO] [stderr] Compiling kernel-web v0.1.0 (/opt/rustwide/workdir/kernel-web) [INFO] [stdout] warning: unused import: `to_prop` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:15:44 [INFO] [stdout] | [INFO] [stdout] 15 | use super::eval::{eval, eval_bool, mk_env, to_prop}; [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 import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/reduce.rs:18:28 [INFO] [stdout] | [INFO] [stdout] 18 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/type_check.rs:26:28 [INFO] [stdout] | [INFO] [stdout] 26 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/extract.rs:16:28 [INFO] [stdout] | [INFO] [stdout] 16 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `CoreDef` and `CoreEnv` [INFO] [stdout] --> kernel-frc/src/proof_enum/elab.rs:13:43 [INFO] [stdout] | [INFO] [stdout] 13 | use super::core_term::{CoreTerm, CoreCtx, CoreEnv, CoreDef}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/mu_selector.rs:20:28 [INFO] [stdout] | [INFO] [stdout] 20 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `check_candidate` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:22:51 [INFO] [stdout] | [INFO] [stdout] 22 | use super::mu_selector::{least_witness, MuResult, check_candidate}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `CheckResult` and `type_check` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:23:25 [INFO] [stdout] | [INFO] [stdout] 23 | use super::type_check::{type_check, CheckResult}; [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:27:28 [INFO] [stdout] | [INFO] [stdout] 27 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `CoreCtx` and `CoreEnv` [INFO] [stdout] --> kernel-frc/src/proof_enum/universe.rs:13:34 [INFO] [stdout] | [INFO] [stdout] 13 | use super::core_term::{CoreTerm, CoreCtx, CoreEnv}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `get_all_statements` [INFO] [stdout] --> kernel-frc/src/proof_enum/universe.rs:14:55 [INFO] [stdout] | [INFO] [stdout] 14 | use super::statement::{ProofStatement, get_statement, get_all_statements, is_formalized}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/generator.rs:29:28 [INFO] [stdout] | [INFO] [stdout] 29 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::core_term::CoreTerm` [INFO] [stdout] --> kernel-frc/src/proof_enum/projector.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | use super::core_term::CoreTerm; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::universe::UniverseClass` [INFO] [stdout] --> kernel-frc/src/proof_enum/decide.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | use super::universe::UniverseClass; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/decide.rs:27:28 [INFO] [stdout] | [INFO] [stdout] 27 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling kernel-self v0.1.0 (/opt/rustwide/workdir/kernel-self) [INFO] [stderr] Compiling kernel-spaceengine v0.1.0 (/opt/rustwide/workdir/kernel-spaceengine) [INFO] [stderr] Compiling kernel-goldmaster v0.1.0 (/opt/rustwide/workdir/kernel-goldmaster) [INFO] [stderr] Compiling kernel-bench v0.1.0 (/opt/rustwide/workdir/kernel-bench) [INFO] [stdout] warning: unused variable: `prop` [INFO] [stdout] --> kernel-frc/src/invsyn/search.rs:440:17 [INFO] [stdout] | [INFO] [stdout] 440 | if let Some(ref prop) = problem.property_expr { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prop` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:248:10 [INFO] [stdout] | [INFO] [stdout] 248 | for (n, c) in &certs[1..] { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ln_sq` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:934:9 [INFO] [stdout] | [INFO] [stdout] 934 | let ln_sq = ln_t * ln_t; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_ln_sq` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:1058:9 [INFO] [stdout] | [INFO] [stdout] 1058 | let mut n_values: Vec = certs.iter().map(|(n, _)| *n).collect(); [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n_values` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:1058:9 [INFO] [stdout] | [INFO] [stdout] 1058 | let mut n_values: Vec = certs.iter().map(|(n, _)| *n).collect(); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_n_values` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `inner` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:1222:34 [INFO] [stdout] | [INFO] [stdout] 1222 | BoundCert::ExistsByBound(inner) => { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_inner` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `link_cert` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:2338:5 [INFO] [stdout] | [INFO] [stdout] 2338 | link_cert: &LinkCertificate, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_link_cert` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `step_witness` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:2344:10 [INFO] [stdout] | [INFO] [stdout] 2344 | let (step_witness, step_witness_lean) = detect_step_witness(&step_cert.inv_expr); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_step_witness` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g2` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:2589:30 [INFO] [stdout] | [INFO] [stdout] 2589 | if let Expr::And(g1, g2) = guard.as_ref() { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_g2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:2591:37 [INFO] [stdout] | [INFO] [stdout] 2591 | if let (Expr::Const(c), Expr::Var(0)) = (l.as_ref(), r.as_ref()) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `prev_schema` is never read [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:4349:41 [INFO] [stdout] | [INFO] [stdout] 4349 | let mut prev_schema: Option = None; [INFO] [stdout] | ^^^^ this value is reassigned later and never used [INFO] [stdout] ... [INFO] [stdout] 4370 | prev_schema = Some(final_obs.schema_expr.clone()); [INFO] [stdout] | ----------- `prev_schema` is overwritten here before the previous value is read [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling agi-proof v0.1.0 (/opt/rustwide/workdir/agi-proof) [INFO] [stdout] warning: unused variable: `intermediate_hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/extract.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let intermediate_hash = intermediate.term_hash(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_intermediate_hash` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `param_type` [INFO] [stdout] --> kernel-frc/src/proof_enum/extract.rs:93:25 [INFO] [stdout] | [INFO] [stdout] 93 | CoreTerm::Lam { param_type, body } => { [INFO] [stdout] | ^^^^^^^^^^ help: try ignoring the field: `param_type: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `bound_type` [INFO] [stdout] --> kernel-frc/src/proof_enum/extract.rs:98:25 [INFO] [stdout] | [INFO] [stdout] 98 | CoreTerm::Let { bound_type, value, body } => { [INFO] [stdout] | ^^^^^^^^^^ help: try ignoring the field: `bound_type: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `target_bytes` [INFO] [stdout] --> kernel-frc/src/proof_enum/elab.rs:261:9 [INFO] [stdout] | [INFO] [stdout] 261 | let target_bytes = target_str.as_bytes(); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_target_bytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `question_hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:137:20 [INFO] [stdout] | [INFO] [stdout] 137 | let (goal, question_hash) = match elab_result { [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_question_hash` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `witness_bytes` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:207:40 [INFO] [stdout] | [INFO] [stdout] 207 | MuResult::Found { witness, witness_bytes, witness_hash, rank, candidates_checked } => { [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `witness_bytes: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `candidates_checked` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:207:75 [INFO] [stdout] | [INFO] [stdout] 207 | MuResult::Found { witness, witness_bytes, witness_hash, rank, candidates_checked } => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: try ignoring the field: `candidates_checked: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `goldbach_count` is never used [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:4414:4 [INFO] [stdout] | [INFO] [stdout] 4414 | fn goldbach_count(n: i64) -> i64 { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Timeout` is never constructed [INFO] [stdout] --> kernel-frc/src/proof_enum/solve.rs:112:5 [INFO] [stdout] | [INFO] [stdout] 109 | enum LeanVerdict { [INFO] [stdout] | ----------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 112 | Timeout, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `witnesses_remaining_estimate` is never read [INFO] [stdout] --> kernel-frc/src/proof_enum/ledger.rs:143:5 [INFO] [stdout] | [INFO] [stdout] 132 | pub struct ProofLedger { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 143 | witnesses_remaining_estimate: f64, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling kernel-lean v0.1.0 (/opt/rustwide/workdir/kernel-lean) [INFO] [stderr] Compiling kernel-cli v0.1.0 (/opt/rustwide/workdir/kernel-cli) [INFO] [stdout] warning: variable `not_in_u` is assigned to, but never used [INFO] [stdout] --> kernel-cli/src/main.rs:3136:9 [INFO] [stdout] | [INFO] [stdout] 3136 | let mut not_in_u = 0u32; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_not_in_u` instead [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `not_in_u` is never read [INFO] [stdout] --> kernel-cli/src/main.rs:3164:17 [INFO] [stdout] | [INFO] [stdout] 3164 | not_in_u += 1; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: unused dependency `kernel-cap` [INFO] [stderr] --> kernel-bench/Cargo.toml:13:1 [INFO] [stderr] | [INFO] [stderr] 13 | kernel-cap = { path = "../kernel-cap" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `kernel-cap` [INFO] [stderr] warning: unused dependency `kernel-goldmaster` [INFO] [stderr] --> kernel-bench/Cargo.toml:14:1 [INFO] [stderr] | [INFO] [stderr] 14 | kernel-goldmaster = { path = "../kernel-goldmaster" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the dependency on `kernel-goldmaster` [INFO] [stderr] warning: `kernel-bench` (manifest) generated 2 warnings [INFO] [stderr] warning: unused dependency `rand` [INFO] [stderr] --> kernel-cap/Cargo.toml:12:1 [INFO] [stderr] | [INFO] [stderr] 12 | rand = { workspace = true } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `rand` [INFO] [stderr] warning: `kernel-cap` (manifest) generated 1 warning [INFO] [stderr] warning: unused dependency `kernel-self` [INFO] [stderr] --> kernel-goldmaster/Cargo.toml:12:1 [INFO] [stderr] | [INFO] [stderr] 12 | kernel-self = { path = "../kernel-self" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `kernel-self` [INFO] [stderr] warning: unused dependency `kernel-spaceengine` [INFO] [stderr] --> kernel-goldmaster/Cargo.toml:13:1 [INFO] [stderr] | [INFO] [stderr] 13 | kernel-spaceengine = { path = "../kernel-spaceengine" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the dependency on `kernel-spaceengine` [INFO] [stderr] warning: `kernel-goldmaster` (manifest) generated 2 warnings [INFO] [stderr] warning: unused dependency `kernel-solver` [INFO] [stderr] --> kernel-spaceengine/Cargo.toml:11:1 [INFO] [stderr] | [INFO] [stderr] 11 | kernel-solver = { path = "../kernel-solver" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `kernel-solver` [INFO] [stderr] warning: unused dependency `kernel-web` [INFO] [stderr] --> kernel-spaceengine/Cargo.toml:12:1 [INFO] [stderr] | [INFO] [stderr] 12 | kernel-web = { path = "../kernel-web" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the dependency on `kernel-web` [INFO] [stderr] warning: `kernel-spaceengine` (manifest) generated 2 warnings [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 54.90s [INFO] running `Command { std: "docker" "inspect" "23e8aacc7ca1ffd75cac078bfcd5f2876d0f990cc01e28f02ce6e4d81177ce59", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "23e8aacc7ca1ffd75cac078bfcd5f2876d0f990cc01e28f02ce6e4d81177ce59" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] warning: function `H` should have a snake case name [INFO] [stdout] --> kernel-types/src/hash.rs:5:8 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn H(data: &[u8]) -> Hash32 { [INFO] [stdout] | ^ help: convert the identifier to snake case: `h` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `to_prop` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:15:44 [INFO] [stdout] | [INFO] [stdout] 15 | use super::eval::{eval, eval_bool, mk_env, to_prop}; [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 import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/reduce.rs:18:28 [INFO] [stdout] | [INFO] [stdout] 18 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/type_check.rs:26:28 [INFO] [stdout] | [INFO] [stdout] 26 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/extract.rs:16:28 [INFO] [stdout] | [INFO] [stdout] 16 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `CoreDef` and `CoreEnv` [INFO] [stdout] --> kernel-frc/src/proof_enum/elab.rs:13:43 [INFO] [stdout] | [INFO] [stdout] 13 | use super::core_term::{CoreTerm, CoreCtx, CoreEnv, CoreDef}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/mu_selector.rs:20:28 [INFO] [stdout] | [INFO] [stdout] 20 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `check_candidate` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:22:51 [INFO] [stdout] | [INFO] [stdout] 22 | use super::mu_selector::{least_witness, MuResult, check_candidate}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `CheckResult` and `type_check` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:23:25 [INFO] [stdout] | [INFO] [stdout] 23 | use super::type_check::{type_check, CheckResult}; [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:27:28 [INFO] [stdout] | [INFO] [stdout] 27 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `CoreCtx` and `CoreEnv` [INFO] [stdout] --> kernel-frc/src/proof_enum/universe.rs:13:34 [INFO] [stdout] | [INFO] [stdout] 13 | use super::core_term::{CoreTerm, CoreCtx, CoreEnv}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `get_all_statements` [INFO] [stdout] --> kernel-frc/src/proof_enum/universe.rs:14:55 [INFO] [stdout] | [INFO] [stdout] 14 | use super::statement::{ProofStatement, get_statement, get_all_statements, is_formalized}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/generator.rs:29:28 [INFO] [stdout] | [INFO] [stdout] 29 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::core_term::CoreTerm` [INFO] [stdout] --> kernel-frc/src/proof_enum/projector.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | use super::core_term::CoreTerm; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::universe::UniverseClass` [INFO] [stdout] --> kernel-frc/src/proof_enum/decide.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | use super::universe::UniverseClass; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/decide.rs:27:28 [INFO] [stdout] | [INFO] [stdout] 27 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `prop` [INFO] [stdout] --> kernel-frc/src/invsyn/search.rs:440:17 [INFO] [stdout] | [INFO] [stdout] 440 | if let Some(ref prop) = problem.property_expr { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prop` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:248:10 [INFO] [stdout] | [INFO] [stdout] 248 | for (n, c) in &certs[1..] { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ln_sq` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:934:9 [INFO] [stdout] | [INFO] [stdout] 934 | let ln_sq = ln_t * ln_t; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_ln_sq` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:1058:9 [INFO] [stdout] | [INFO] [stdout] 1058 | let mut n_values: Vec = certs.iter().map(|(n, _)| *n).collect(); [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n_values` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:1058:9 [INFO] [stdout] | [INFO] [stdout] 1058 | let mut n_values: Vec = certs.iter().map(|(n, _)| *n).collect(); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_n_values` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `inner` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:1222:34 [INFO] [stdout] | [INFO] [stdout] 1222 | BoundCert::ExistsByBound(inner) => { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_inner` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `link_cert` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:2338:5 [INFO] [stdout] | [INFO] [stdout] 2338 | link_cert: &LinkCertificate, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_link_cert` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `step_witness` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:2344:10 [INFO] [stdout] | [INFO] [stdout] 2344 | let (step_witness, step_witness_lean) = detect_step_witness(&step_cert.inv_expr); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_step_witness` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g2` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:2589:30 [INFO] [stdout] | [INFO] [stdout] 2589 | if let Expr::And(g1, g2) = guard.as_ref() { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_g2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:2591:37 [INFO] [stdout] | [INFO] [stdout] 2591 | if let (Expr::Const(c), Expr::Var(0)) = (l.as_ref(), r.as_ref()) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `prev_schema` is never read [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:4349:41 [INFO] [stdout] | [INFO] [stdout] 4349 | let mut prev_schema: Option = None; [INFO] [stdout] | ^^^^ this value is reassigned later and never used [INFO] [stdout] ... [INFO] [stdout] 4370 | prev_schema = Some(final_obs.schema_expr.clone()); [INFO] [stdout] | ----------- `prev_schema` is overwritten here before the previous value is read [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `intermediate_hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/extract.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let intermediate_hash = intermediate.term_hash(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_intermediate_hash` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `param_type` [INFO] [stdout] --> kernel-frc/src/proof_enum/extract.rs:93:25 [INFO] [stdout] | [INFO] [stdout] 93 | CoreTerm::Lam { param_type, body } => { [INFO] [stdout] | ^^^^^^^^^^ help: try ignoring the field: `param_type: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `bound_type` [INFO] [stdout] --> kernel-frc/src/proof_enum/extract.rs:98:25 [INFO] [stdout] | [INFO] [stdout] 98 | CoreTerm::Let { bound_type, value, body } => { [INFO] [stdout] | ^^^^^^^^^^ help: try ignoring the field: `bound_type: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `target_bytes` [INFO] [stdout] --> kernel-frc/src/proof_enum/elab.rs:261:9 [INFO] [stdout] | [INFO] [stdout] 261 | let target_bytes = target_str.as_bytes(); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_target_bytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `question_hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:137:20 [INFO] [stdout] | [INFO] [stdout] 137 | let (goal, question_hash) = match elab_result { [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_question_hash` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `witness_bytes` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:207:40 [INFO] [stdout] | [INFO] [stdout] 207 | MuResult::Found { witness, witness_bytes, witness_hash, rank, candidates_checked } => { [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `witness_bytes: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `candidates_checked` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:207:75 [INFO] [stdout] | [INFO] [stdout] 207 | MuResult::Found { witness, witness_bytes, witness_hash, rank, candidates_checked } => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: try ignoring the field: `candidates_checked: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `goldbach_count` is never used [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:4414:4 [INFO] [stdout] | [INFO] [stdout] 4414 | fn goldbach_count(n: i64) -> i64 { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Timeout` is never constructed [INFO] [stdout] --> kernel-frc/src/proof_enum/solve.rs:112:5 [INFO] [stdout] | [INFO] [stdout] 109 | enum LeanVerdict { [INFO] [stdout] | ----------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 112 | Timeout, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling kernel-instruments v0.1.0 (/opt/rustwide/workdir/kernel-instruments) [INFO] [stdout] warning: field `witnesses_remaining_estimate` is never read [INFO] [stdout] --> kernel-frc/src/proof_enum/ledger.rs:143:5 [INFO] [stdout] | [INFO] [stdout] 132 | pub struct ProofLedger { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 143 | witnesses_remaining_estimate: f64, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling kernel-ledger v0.1.0 (/opt/rustwide/workdir/kernel-ledger) [INFO] [stderr] Compiling kernel-contracts v0.1.0 (/opt/rustwide/workdir/kernel-contracts) [INFO] [stderr] Compiling kernel-solver v0.1.0 (/opt/rustwide/workdir/kernel-solver) [INFO] [stderr] Compiling kernel-types v0.1.0 (/opt/rustwide/workdir/kernel-types) [INFO] [stderr] Compiling kernel-self v0.1.0 (/opt/rustwide/workdir/kernel-self) [INFO] [stderr] Compiling kernel-cap v0.1.0 (/opt/rustwide/workdir/kernel-cap) [INFO] [stderr] Compiling kernel-lean v0.1.0 (/opt/rustwide/workdir/kernel-lean) [INFO] [stderr] Compiling kernel-web v0.1.0 (/opt/rustwide/workdir/kernel-web) [INFO] [stderr] Compiling kernel-spaceengine v0.1.0 (/opt/rustwide/workdir/kernel-spaceengine) [INFO] [stderr] Compiling kernel-goldmaster v0.1.0 (/opt/rustwide/workdir/kernel-goldmaster) [INFO] [stderr] Compiling kernel-bench v0.1.0 (/opt/rustwide/workdir/kernel-bench) [INFO] [stderr] Compiling kernel-frc v0.1.0 (/opt/rustwide/workdir/kernel-frc) [INFO] [stderr] Compiling agi-proof v0.1.0 (/opt/rustwide/workdir/agi-proof) [INFO] [stderr] Compiling kernel-cli v0.1.0 (/opt/rustwide/workdir/kernel-cli) [INFO] [stdout] warning: function `H` should have a snake case name [INFO] [stdout] --> kernel-types/src/hash.rs:5:8 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn H(data: &[u8]) -> Hash32 { [INFO] [stdout] | ^ help: convert the identifier to snake case: `h` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: duplicated attribute [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:5419:5 [INFO] [stdout] | [INFO] [stdout] 5419 | #[test] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(duplicate_macro_attributes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/reduce.rs:18:28 [INFO] [stdout] | [INFO] [stdout] 18 | use kernel_types::{Hash32, hash}; [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 import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/type_check.rs:26:28 [INFO] [stdout] | [INFO] [stdout] 26 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/extract.rs:16:28 [INFO] [stdout] | [INFO] [stdout] 16 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `CoreDef` and `CoreEnv` [INFO] [stdout] --> kernel-frc/src/proof_enum/elab.rs:13:43 [INFO] [stdout] | [INFO] [stdout] 13 | use super::core_term::{CoreTerm, CoreCtx, CoreEnv, CoreDef}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/mu_selector.rs:20:28 [INFO] [stdout] | [INFO] [stdout] 20 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `check_candidate` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:22:51 [INFO] [stdout] | [INFO] [stdout] 22 | use super::mu_selector::{least_witness, MuResult, check_candidate}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `CheckResult` and `type_check` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:23:25 [INFO] [stdout] | [INFO] [stdout] 23 | use super::type_check::{type_check, CheckResult}; [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:27:28 [INFO] [stdout] | [INFO] [stdout] 27 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `CoreCtx` and `CoreEnv` [INFO] [stdout] --> kernel-frc/src/proof_enum/universe.rs:13:34 [INFO] [stdout] | [INFO] [stdout] 13 | use super::core_term::{CoreTerm, CoreCtx, CoreEnv}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `get_all_statements` [INFO] [stdout] --> kernel-frc/src/proof_enum/universe.rs:14:55 [INFO] [stdout] | [INFO] [stdout] 14 | use super::statement::{ProofStatement, get_statement, get_all_statements, is_formalized}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/generator.rs:29:28 [INFO] [stdout] | [INFO] [stdout] 29 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::core_term::CoreTerm` [INFO] [stdout] --> kernel-frc/src/proof_enum/projector.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | use super::core_term::CoreTerm; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `not_in_u` is assigned to, but never used [INFO] [stdout] --> kernel-cli/src/main.rs:3136:9 [INFO] [stdout] | [INFO] [stdout] 3136 | let mut not_in_u = 0u32; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_not_in_u` instead [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `not_in_u` is never read [INFO] [stdout] --> kernel-cli/src/main.rs:3164:17 [INFO] [stdout] | [INFO] [stdout] 3164 | not_in_u += 1; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::universe::UniverseClass` [INFO] [stdout] --> kernel-frc/src/proof_enum/decide.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | use super::universe::UniverseClass; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/decide.rs:27:28 [INFO] [stdout] | [INFO] [stdout] 27 | use kernel_types::{Hash32, hash}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `prop` [INFO] [stdout] --> kernel-frc/src/invsyn/search.rs:440:17 [INFO] [stdout] | [INFO] [stdout] 440 | if let Some(ref prop) = problem.property_expr { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prop` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:248:10 [INFO] [stdout] | [INFO] [stdout] 248 | for (n, c) in &certs[1..] { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ln_sq` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:934:9 [INFO] [stdout] | [INFO] [stdout] 934 | let ln_sq = ln_t * ln_t; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_ln_sq` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:1058:9 [INFO] [stdout] | [INFO] [stdout] 1058 | let mut n_values: Vec = certs.iter().map(|(n, _)| *n).collect(); [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n_values` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:1058:9 [INFO] [stdout] | [INFO] [stdout] 1058 | let mut n_values: Vec = certs.iter().map(|(n, _)| *n).collect(); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_n_values` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `inner` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:1222:34 [INFO] [stdout] | [INFO] [stdout] 1222 | BoundCert::ExistsByBound(inner) => { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_inner` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `link_cert` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:2338:5 [INFO] [stdout] | [INFO] [stdout] 2338 | link_cert: &LinkCertificate, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_link_cert` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `step_witness` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:2344:10 [INFO] [stdout] | [INFO] [stdout] 2344 | let (step_witness, step_witness_lean) = detect_step_witness(&step_cert.inv_expr); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_step_witness` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g2` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:2589:30 [INFO] [stdout] | [INFO] [stdout] 2589 | if let Expr::And(g1, g2) = guard.as_ref() { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_g2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:2591:37 [INFO] [stdout] | [INFO] [stdout] 2591 | if let (Expr::Const(c), Expr::Var(0)) = (l.as_ref(), r.as_ref()) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `prev_schema` is never read [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:4349:41 [INFO] [stdout] | [INFO] [stdout] 4349 | let mut prev_schema: Option = None; [INFO] [stdout] | ^^^^ this value is reassigned later and never used [INFO] [stdout] ... [INFO] [stdout] 4370 | prev_schema = Some(final_obs.schema_expr.clone()); [INFO] [stdout] | ----------- `prev_schema` is overwritten here before the previous value is read [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:5270:26 [INFO] [stdout] | [INFO] [stdout] 5270 | for (i, t) in corpus.traces.iter().enumerate().skip(1) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env0` [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:5315:13 [INFO] [stdout] | [INFO] [stdout] 5315 | let env0 = mk_env(0); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_env0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `intermediate_hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/extract.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let intermediate_hash = intermediate.term_hash(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_intermediate_hash` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `param_type` [INFO] [stdout] --> kernel-frc/src/proof_enum/extract.rs:93:25 [INFO] [stdout] | [INFO] [stdout] 93 | CoreTerm::Lam { param_type, body } => { [INFO] [stdout] | ^^^^^^^^^^ help: try ignoring the field: `param_type: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `bound_type` [INFO] [stdout] --> kernel-frc/src/proof_enum/extract.rs:98:25 [INFO] [stdout] | [INFO] [stdout] 98 | CoreTerm::Let { bound_type, value, body } => { [INFO] [stdout] | ^^^^^^^^^^ help: try ignoring the field: `bound_type: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `target_bytes` [INFO] [stdout] --> kernel-frc/src/proof_enum/elab.rs:261:9 [INFO] [stdout] | [INFO] [stdout] 261 | let target_bytes = target_str.as_bytes(); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_target_bytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rank` [INFO] [stdout] --> kernel-frc/src/proof_enum/mu_selector.rs:154:40 [INFO] [stdout] | [INFO] [stdout] 154 | MuResult::Found { witness, rank, .. } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `rank: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `candidates_checked` [INFO] [stdout] --> kernel-frc/src/proof_enum/mu_selector.rs:161:35 [INFO] [stdout] | [INFO] [stdout] 161 | MuResult::Exhausted { candidates_checked, .. } => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: try ignoring the field: `candidates_checked: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `question_hash` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:137:20 [INFO] [stdout] | [INFO] [stdout] 137 | let (goal, question_hash) = match elab_result { [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_question_hash` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `witness_bytes` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:207:40 [INFO] [stdout] | [INFO] [stdout] 207 | MuResult::Found { witness, witness_bytes, witness_hash, rank, candidates_checked } => { [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `witness_bytes: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `candidates_checked` [INFO] [stdout] --> kernel-frc/src/proof_enum/pi_normalizer.rs:207:75 [INFO] [stdout] | [INFO] [stdout] 207 | MuResult::Found { witness, witness_bytes, witness_hash, rank, candidates_checked } => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: try ignoring the field: `candidates_checked: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `existence_certs_goldbach` is never used [INFO] [stdout] --> kernel-frc/src/invsyn/structural_cert.rs:5484:8 [INFO] [stdout] | [INFO] [stdout] 5484 | fn existence_certs_goldbach() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Timeout` is never constructed [INFO] [stdout] --> kernel-frc/src/proof_enum/solve.rs:112:5 [INFO] [stdout] | [INFO] [stdout] 109 | enum LeanVerdict { [INFO] [stdout] | ----------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 112 | Timeout, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `witnesses_remaining_estimate` is never read [INFO] [stdout] --> kernel-frc/src/proof_enum/ledger.rs:143:5 [INFO] [stdout] | [INFO] [stdout] 132 | pub struct ProofLedger { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 143 | witnesses_remaining_estimate: f64, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: unused dependency `kernel-cap` [INFO] [stderr] --> kernel-bench/Cargo.toml:13:1 [INFO] [stderr] | [INFO] [stderr] 13 | kernel-cap = { path = "../kernel-cap" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `kernel-cap` [INFO] [stderr] warning: unused dependency `kernel-goldmaster` [INFO] [stderr] --> kernel-bench/Cargo.toml:14:1 [INFO] [stderr] | [INFO] [stderr] 14 | kernel-goldmaster = { path = "../kernel-goldmaster" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the dependency on `kernel-goldmaster` [INFO] [stderr] warning: `kernel-bench` (manifest) generated 2 warnings [INFO] [stderr] warning: unused dependency `rand` [INFO] [stderr] --> kernel-cap/Cargo.toml:12:1 [INFO] [stderr] | [INFO] [stderr] 12 | rand = { workspace = true } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `rand` [INFO] [stderr] help: to still use for development builds, move to `dev-dependencies` [INFO] [stderr] warning: `kernel-cap` (manifest) generated 1 warning [INFO] [stderr] warning: unused dependency `kernel-self` [INFO] [stderr] --> kernel-goldmaster/Cargo.toml:12:1 [INFO] [stderr] | [INFO] [stderr] 12 | kernel-self = { path = "../kernel-self" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `kernel-self` [INFO] [stderr] warning: unused dependency `kernel-spaceengine` [INFO] [stderr] --> kernel-goldmaster/Cargo.toml:13:1 [INFO] [stderr] | [INFO] [stderr] 13 | kernel-spaceengine = { path = "../kernel-spaceengine" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the dependency on `kernel-spaceengine` [INFO] [stderr] warning: `kernel-goldmaster` (manifest) generated 2 warnings [INFO] [stderr] warning: unused dependency `kernel-solver` [INFO] [stderr] --> kernel-spaceengine/Cargo.toml:11:1 [INFO] [stderr] | [INFO] [stderr] 11 | kernel-solver = { path = "../kernel-solver" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `kernel-solver` [INFO] [stderr] help: to still use for development builds, move to `dev-dependencies` [INFO] [stderr] warning: unused dependency `kernel-web` [INFO] [stderr] --> kernel-spaceengine/Cargo.toml:12:1 [INFO] [stderr] | [INFO] [stderr] 12 | kernel-web = { path = "../kernel-web" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the dependency on `kernel-web` [INFO] [stderr] warning: `kernel-spaceengine` (manifest) generated 2 warnings [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 12.54s [INFO] running `Command { std: "docker" "inspect" "23e8aacc7ca1ffd75cac078bfcd5f2876d0f990cc01e28f02ce6e4d81177ce59", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "23e8aacc7ca1ffd75cac078bfcd5f2876d0f990cc01e28f02ce6e4d81177ce59" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen", kill_on_drop: false }` [INFO] [stderr] warning: function `H` should have a snake case name [INFO] [stderr] --> kernel-types/src/hash.rs:5:8 [INFO] [stderr] | [INFO] [stderr] 5 | pub fn H(data: &[u8]) -> Hash32 { [INFO] [stderr] | ^ help: convert the identifier to snake case: `h` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: `kernel-types` (lib) generated 1 warning [INFO] [stderr] warning: unused import: `to_prop` [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:15:44 [INFO] [stderr] | [INFO] [stderr] 15 | use super::eval::{eval, eval_bool, mk_env, to_prop}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `hash` [INFO] [stderr] --> kernel-frc/src/proof_enum/reduce.rs:18:28 [INFO] [stderr] | [INFO] [stderr] 18 | use kernel_types::{Hash32, hash}; [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `hash` [INFO] [stderr] --> kernel-frc/src/proof_enum/type_check.rs:26:28 [INFO] [stderr] | [INFO] [stderr] 26 | use kernel_types::{Hash32, hash}; [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `hash` [INFO] [stderr] --> kernel-frc/src/proof_enum/extract.rs:16:28 [INFO] [stderr] | [INFO] [stderr] 16 | use kernel_types::{Hash32, hash}; [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `CoreDef` and `CoreEnv` [INFO] [stderr] --> kernel-frc/src/proof_enum/elab.rs:13:43 [INFO] [stderr] | [INFO] [stderr] 13 | use super::core_term::{CoreTerm, CoreCtx, CoreEnv, CoreDef}; [INFO] [stderr] | ^^^^^^^ ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `hash` [INFO] [stderr] --> kernel-frc/src/proof_enum/mu_selector.rs:20:28 [INFO] [stderr] | [INFO] [stderr] 20 | use kernel_types::{Hash32, hash}; [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `check_candidate` [INFO] [stderr] --> kernel-frc/src/proof_enum/pi_normalizer.rs:22:51 [INFO] [stderr] | [INFO] [stderr] 22 | use super::mu_selector::{least_witness, MuResult, check_candidate}; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `CheckResult` and `type_check` [INFO] [stderr] --> kernel-frc/src/proof_enum/pi_normalizer.rs:23:25 [INFO] [stderr] | [INFO] [stderr] 23 | use super::type_check::{type_check, CheckResult}; [INFO] [stderr] | ^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `hash` [INFO] [stderr] --> kernel-frc/src/proof_enum/pi_normalizer.rs:27:28 [INFO] [stderr] | [INFO] [stderr] 27 | use kernel_types::{Hash32, hash}; [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `CoreCtx` and `CoreEnv` [INFO] [stderr] --> kernel-frc/src/proof_enum/universe.rs:13:34 [INFO] [stderr] | [INFO] [stderr] 13 | use super::core_term::{CoreTerm, CoreCtx, CoreEnv}; [INFO] [stderr] | ^^^^^^^ ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `get_all_statements` [INFO] [stderr] --> kernel-frc/src/proof_enum/universe.rs:14:55 [INFO] [stderr] | [INFO] [stderr] 14 | use super::statement::{ProofStatement, get_statement, get_all_statements, is_formalized}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `hash` [INFO] [stderr] --> kernel-frc/src/proof_enum/generator.rs:29:28 [INFO] [stderr] | [INFO] [stderr] 29 | use kernel_types::{Hash32, hash}; [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `super::core_term::CoreTerm` [INFO] [stderr] --> kernel-frc/src/proof_enum/projector.rs:23:5 [INFO] [stderr] | [INFO] [stderr] 23 | use super::core_term::CoreTerm; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `super::universe::UniverseClass` [INFO] [stderr] --> kernel-frc/src/proof_enum/decide.rs:26:5 [INFO] [stderr] | [INFO] [stderr] 26 | use super::universe::UniverseClass; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `hash` [INFO] [stderr] --> kernel-frc/src/proof_enum/decide.rs:27:28 [INFO] [stderr] | [INFO] [stderr] 27 | use kernel_types::{Hash32, hash}; [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `prop` [INFO] [stderr] --> kernel-frc/src/invsyn/search.rs:440:17 [INFO] [stderr] | [INFO] [stderr] 440 | if let Some(ref prop) = problem.property_expr { [INFO] [stderr] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prop` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n` [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:248:10 [INFO] [stderr] | [INFO] [stderr] 248 | for (n, c) in &certs[1..] { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_n` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ln_sq` [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:934:9 [INFO] [stderr] | [INFO] [stderr] 934 | let ln_sq = ln_t * ln_t; [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_ln_sq` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:1058:9 [INFO] [stderr] | [INFO] [stderr] 1058 | let mut n_values: Vec = certs.iter().map(|(n, _)| *n).collect(); [INFO] [stderr] | ----^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n_values` [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:1058:9 [INFO] [stderr] | [INFO] [stderr] 1058 | let mut n_values: Vec = certs.iter().map(|(n, _)| *n).collect(); [INFO] [stderr] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_n_values` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `inner` [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:1222:34 [INFO] [stderr] | [INFO] [stderr] 1222 | BoundCert::ExistsByBound(inner) => { [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_inner` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `link_cert` [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:2338:5 [INFO] [stderr] | [INFO] [stderr] 2338 | link_cert: &LinkCertificate, [INFO] [stderr] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_link_cert` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `step_witness` [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:2344:10 [INFO] [stderr] | [INFO] [stderr] 2344 | let (step_witness, step_witness_lean) = detect_step_witness(&step_cert.inv_expr); [INFO] [stderr] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_step_witness` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `g2` [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:2589:30 [INFO] [stderr] | [INFO] [stderr] 2589 | if let Expr::And(g1, g2) = guard.as_ref() { [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_g2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `c` [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:2591:37 [INFO] [stderr] | [INFO] [stderr] 2591 | if let (Expr::Const(c), Expr::Var(0)) = (l.as_ref(), r.as_ref()) { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stderr] [INFO] [stderr] warning: value assigned to `prev_schema` is never read [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:4349:41 [INFO] [stderr] | [INFO] [stderr] 4349 | let mut prev_schema: Option = None; [INFO] [stderr] | ^^^^ this value is reassigned later and never used [INFO] [stderr] ... [INFO] [stderr] 4370 | prev_schema = Some(final_obs.schema_expr.clone()); [INFO] [stderr] | ----------- `prev_schema` is overwritten here before the previous value is read [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `intermediate_hash` [INFO] [stderr] --> kernel-frc/src/proof_enum/extract.rs:71:21 [INFO] [stderr] | [INFO] [stderr] 71 | let intermediate_hash = intermediate.term_hash(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_intermediate_hash` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `param_type` [INFO] [stderr] --> kernel-frc/src/proof_enum/extract.rs:93:25 [INFO] [stderr] | [INFO] [stderr] 93 | CoreTerm::Lam { param_type, body } => { [INFO] [stderr] | ^^^^^^^^^^ help: try ignoring the field: `param_type: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `bound_type` [INFO] [stderr] --> kernel-frc/src/proof_enum/extract.rs:98:25 [INFO] [stderr] | [INFO] [stderr] 98 | CoreTerm::Let { bound_type, value, body } => { [INFO] [stderr] | ^^^^^^^^^^ help: try ignoring the field: `bound_type: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `target_bytes` [INFO] [stderr] --> kernel-frc/src/proof_enum/elab.rs:261:9 [INFO] [stderr] | [INFO] [stderr] 261 | let target_bytes = target_str.as_bytes(); [INFO] [stderr] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_target_bytes` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `question_hash` [INFO] [stderr] --> kernel-frc/src/proof_enum/pi_normalizer.rs:137:20 [INFO] [stderr] | [INFO] [stderr] 137 | let (goal, question_hash) = match elab_result { [INFO] [stderr] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_question_hash` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `witness_bytes` [INFO] [stderr] --> kernel-frc/src/proof_enum/pi_normalizer.rs:207:40 [INFO] [stderr] | [INFO] [stderr] 207 | MuResult::Found { witness, witness_bytes, witness_hash, rank, candidates_checked } => { [INFO] [stderr] | ^^^^^^^^^^^^^ help: try ignoring the field: `witness_bytes: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `candidates_checked` [INFO] [stderr] --> kernel-frc/src/proof_enum/pi_normalizer.rs:207:75 [INFO] [stderr] | [INFO] [stderr] 207 | MuResult::Found { witness, witness_bytes, witness_hash, rank, candidates_checked } => { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: try ignoring the field: `candidates_checked: _` [INFO] [stderr] [INFO] [stderr] warning: function `goldbach_count` is never used [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:4414:4 [INFO] [stderr] | [INFO] [stderr] 4414 | fn goldbach_count(n: i64) -> i64 { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: variant `Timeout` is never constructed [INFO] [stderr] --> kernel-frc/src/proof_enum/solve.rs:112:5 [INFO] [stderr] | [INFO] [stderr] 109 | enum LeanVerdict { [INFO] [stderr] | ----------- variant in this enum [INFO] [stderr] ... [INFO] [stderr] 112 | Timeout, [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field `witnesses_remaining_estimate` is never read [INFO] [stderr] --> kernel-frc/src/proof_enum/ledger.rs:143:5 [INFO] [stderr] | [INFO] [stderr] 132 | pub struct ProofLedger { [INFO] [stderr] | ----------- field in this struct [INFO] [stderr] ... [INFO] [stderr] 143 | witnesses_remaining_estimate: f64, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `kernel-frc` (lib) generated 36 warnings (run `cargo fix --lib -p kernel-frc` to apply 32 suggestions) [INFO] [stderr] warning: `kernel-types` (lib test) generated 1 warning (1 duplicate) [INFO] [stderr] warning: duplicated attribute [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:5419:5 [INFO] [stderr] | [INFO] [stderr] 5419 | #[test] [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(duplicate_macro_attributes)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `hash` [INFO] [stderr] --> kernel-frc/src/proof_enum/reduce.rs:18:28 [INFO] [stderr] | [INFO] [stderr] 18 | use kernel_types::{Hash32, hash}; [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `i` [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:5270:26 [INFO] [stderr] | [INFO] [stderr] 5270 | for (i, t) in corpus.traces.iter().enumerate().skip(1) { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env0` [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:5315:13 [INFO] [stderr] | [INFO] [stderr] 5315 | let env0 = mk_env(0); [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_env0` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rank` [INFO] [stderr] --> kernel-frc/src/proof_enum/mu_selector.rs:154:40 [INFO] [stderr] | [INFO] [stderr] 154 | MuResult::Found { witness, rank, .. } => { [INFO] [stderr] | ^^^^ help: try ignoring the field: `rank: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `candidates_checked` [INFO] [stderr] --> kernel-frc/src/proof_enum/mu_selector.rs:161:35 [INFO] [stderr] | [INFO] [stderr] 161 | MuResult::Exhausted { candidates_checked, .. } => { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: try ignoring the field: `candidates_checked: _` [INFO] [stderr] [INFO] [stderr] warning: function `existence_certs_goldbach` is never used [INFO] [stderr] --> kernel-frc/src/invsyn/structural_cert.rs:5484:8 [INFO] [stderr] | [INFO] [stderr] 5484 | fn existence_certs_goldbach() { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: `kernel-frc` (lib test) generated 40 warnings (33 duplicates) (run `cargo fix --lib -p kernel-frc --tests` to apply 5 suggestions) [INFO] [stderr] warning: variable `not_in_u` is assigned to, but never used [INFO] [stderr] --> kernel-cli/src/main.rs:3136:9 [INFO] [stderr] | [INFO] [stderr] 3136 | let mut not_in_u = 0u32; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: consider using `_not_in_u` instead [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: value assigned to `not_in_u` is never read [INFO] [stderr] --> kernel-cli/src/main.rs:3164:17 [INFO] [stderr] | [INFO] [stderr] 3164 | not_in_u += 1; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: `kernel-cli` (bin "kernel" test) generated 2 warnings [INFO] [stderr] warning: unused dependency `kernel-cap` [INFO] [stderr] --> kernel-bench/Cargo.toml:13:1 [INFO] [stderr] | [INFO] [stderr] 13 | kernel-cap = { path = "../kernel-cap" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `kernel-cap` [INFO] [stderr] warning: unused dependency `kernel-goldmaster` [INFO] [stderr] --> kernel-bench/Cargo.toml:14:1 [INFO] [stderr] | [INFO] [stderr] 14 | kernel-goldmaster = { path = "../kernel-goldmaster" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the dependency on `kernel-goldmaster` [INFO] [stderr] warning: `kernel-bench` (manifest) generated 2 warnings [INFO] [stderr] warning: unused dependency `rand` [INFO] [stderr] --> kernel-cap/Cargo.toml:12:1 [INFO] [stderr] | [INFO] [stderr] 12 | rand = { workspace = true } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `rand` [INFO] [stderr] help: to still use for development builds, move to `dev-dependencies` [INFO] [stderr] warning: `kernel-cap` (manifest) generated 1 warning [INFO] [stderr] warning: unused dependency `kernel-self` [INFO] [stderr] --> kernel-goldmaster/Cargo.toml:12:1 [INFO] [stderr] | [INFO] [stderr] 12 | kernel-self = { path = "../kernel-self" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `kernel-self` [INFO] [stderr] warning: unused dependency `kernel-spaceengine` [INFO] [stderr] --> kernel-goldmaster/Cargo.toml:13:1 [INFO] [stderr] | [INFO] [stderr] 13 | kernel-spaceengine = { path = "../kernel-spaceengine" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the dependency on `kernel-spaceengine` [INFO] [stderr] warning: `kernel-goldmaster` (manifest) generated 2 warnings [INFO] [stderr] warning: unused dependency `kernel-solver` [INFO] [stderr] --> kernel-spaceengine/Cargo.toml:11:1 [INFO] [stderr] | [INFO] [stderr] 11 | kernel-solver = { path = "../kernel-solver" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `kernel-solver` [INFO] [stderr] help: to still use for development builds, move to `dev-dependencies` [INFO] [stderr] warning: unused dependency `kernel-web` [INFO] [stderr] --> kernel-spaceengine/Cargo.toml:12:1 [INFO] [stderr] | [INFO] [stderr] 12 | kernel-web = { path = "../kernel-web" } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the dependency on `kernel-web` [INFO] [stderr] warning: `kernel-spaceengine` (manifest) generated 2 warnings [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.33s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/agi-proof/9fe76f8701f42a65/out/agi_proof-9fe76f8701f42a65) [INFO] [stdout] [INFO] [stdout] running 185 tests [INFO] [stdout] test domain_judge::tests::causal_intervention_passes ... ok [INFO] [stdout] test domain_judge::tests::model_discovery_passes ... ok [INFO] [stdout] test domain_judge::tests::planning_passes ... ok [INFO] [stdout] test domain_judge::tests::social_reasoning_passes ... ok [INFO] [stdout] test compiler_ext::tests::compile_rejects_unknown_domain ... ok [INFO] [stdout] test domain_judge::tests::custom_math_passes_with_base_axioms ... ok [INFO] [stdout] test compiler_ext::tests::compile_synth_physics_task ... ok [INFO] [stdout] test domain_judge::tests::materials_design_passes ... ok [INFO] [stdout] test eval_specs::tests::domain_kind_different_tags ... ok [INFO] [stdout] test eval_specs::tests::domain_kind_serpi_deterministic ... ok [INFO] [stdout] test domain_judge::tests::algo_discovery_passes_greedy_min_beats_naive ... ok [INFO] [stdout] test compiler_ext::tests::compile_rejects_wrong_type ... ok [INFO] [stdout] test compiler_ext::tests::compile_agi_contract_deterministic ... ok [INFO] [stdout] test domain_judge::tests::causal_counterfactual_passes ... ok [INFO] [stdout] test phase2::alien_chem::tests::chem_judge_no_target_fails ... ok [INFO] [stdout] test phase2::alien_chem::tests::chem_judge_synthesis_passes ... ok [INFO] [stdout] test phase2::alien_chem::tests::chem_reaction_stoichiometry_integer ... ok [INFO] [stdout] test domain_judge::tests::physical_reasoning_passes ... ok [INFO] [stdout] test phase2::alien_chem::tests::chem_judge_mass_conserved_passes ... ok [INFO] [stdout] test phase2::alien_chem::tests::chem_judge_negative_concentration_fails ... ok [INFO] [stdout] test phase2::alien_chem::tests::chem_world_deterministic ... ok [INFO] [stdout] test phase2::custom_math::tests::math_proof_checker_invalid_fails ... ok [INFO] [stdout] test phase2::custom_math::tests::math_world_deterministic ... ok [INFO] [stdout] test phase2::synth_physics::tests::physics_energy_conservation_integer ... ok [INFO] [stdout] test phase2::world_gen::tests::commit_reveal_fails_tampered ... ok [INFO] [stdout] test phase2::custom_math::tests::math_proof_checker_valid_passes ... ok [INFO] [stdout] test phase2::world_gen::tests::different_episodes_different_worlds ... ok [INFO] [stdout] test phase2::world_gen::tests::commit_reveal_verifies ... ok [INFO] [stdout] test eval_specs::tests::domain_spec_serpi_deterministic ... ok [INFO] [stdout] test phase2::alien_chem::tests::chem_judge_mass_not_conserved_fails ... ok [INFO] [stdout] test phase3::bio_med::tests::bio_med_judge_correct_mechanism_passes ... ok [INFO] [stdout] test phase2::synth_physics::tests::physics_judge_unstable_orbit_fails ... ok [INFO] [stdout] test phase2::synth_physics::tests::physics_world_deterministic ... ok [INFO] [stdout] test domain_judge::tests::all_domains_dispatch_without_panic ... ok [INFO] [stdout] test domain_judge::tests::synth_physics_passes ... ok [INFO] [stdout] test eval_specs::tests::all_domains_have_phases ... ok [INFO] [stdout] test phase2::world_gen::tests::world_gen_deterministic ... ok [INFO] [stdout] test eval_specs::tests::b_star_derivation ... ok [INFO] [stdout] test phase3::company::tests::company_judge_unprofitable_fails ... ok [INFO] [stdout] test phase2::custom_math::tests::math_generated_world_has_base_axiom ... ok [INFO] [stdout] test phase2::custom_math::tests::math_generated_world_solvable ... ok [INFO] [stdout] test phase3::bio_med::tests::bio_med_judge_wrong_mechanism_fails ... ok [INFO] [stdout] test phase3::bio_med::tests::bio_med_noise_is_deterministic ... ok [INFO] [stdout] test phase3::bio_med::tests::bio_med_world_deterministic ... ok [INFO] [stdout] test phase3::company::tests::company_judge_profitable_passes ... ok [INFO] [stdout] test phase3::bio_med::tests::bio_med_assay_respects_budget ... ok [INFO] [stdout] test phase3::bio_med::tests::bio_med_grn_propagation ... ok [INFO] [stdout] test phase3::company::tests::company_multi_day_simulation ... ok [INFO] [stdout] test phase2::synth_physics::tests::physics_judge_stable_orbit_passes ... ok [INFO] [stdout] test phase3::bio_med::tests::bio_med_judge_insufficient_intervention_fails ... ok [INFO] [stdout] test phase3::bio_med::tests::bio_med_knockout_reduces_expression ... ok [INFO] [stdout] test phase3::company::tests::company_demand_interpolation ... ok [INFO] [stdout] test phase3::company::tests::company_shock_supplier_failure ... ok [INFO] [stdout] test phase3::plan_tracker::tests::plan_action_alignment_full ... ok [INFO] [stdout] test phase3::plan_tracker::tests::plan_prediction_accuracy_computed ... ok [INFO] [stdout] test phase3::plan_tracker::tests::plan_action_alignment_partial ... ok [INFO] [stdout] test phase3::company::tests::company_step_revenue_correct ... ok [INFO] [stdout] test phase3::plan_tracker::tests::plan_revision_quality_unjustified ... ok [INFO] [stdout] test phase3::bio_med::tests::bio_med_intervention_effect ... ok [INFO] [stdout] test phase3::plan_tracker::tests::plan_no_predictions_accuracy_zero ... ok [INFO] [stdout] test phase3::company::tests::company_world_deterministic ... ok [INFO] [stdout] test phase3::plan_tracker::tests::plan_dependency_violation_detected ... ok [INFO] [stdout] test phase3::plan_tracker::tests::plan_revision_quality_justified ... ok [INFO] [stdout] test phase4::transfer::tests::transfer_gain_zero_cold_uses_den_one ... ok [INFO] [stdout] test phase4::transfer::tests::transfer_pair_categories_correct ... ok [INFO] [stdout] test phase4::transfer::tests::transfer_pair_deterministic ... ok [INFO] [stdout] test phase4::transfer::tests::transfer_pair_seeds_differ_per_pair ... ok [INFO] [stdout] test phase5::acquisition::tests::acquisition_cost_computed_correctly ... ok [INFO] [stdout] test phase3::plan_tracker::tests::plan_unresolved_predictions_ignored ... ok [INFO] [stdout] test phase3::plan_tracker::tests::plan_full_judge_integration ... ok [INFO] [stdout] test phase3::plan_tracker::tests::plan_revision_quality_prediction_improvement ... ok [INFO] [stdout] test phase4::transfer::tests::different_seed_different_pairs ... ok [INFO] [stdout] test phase5::acquisition::tests::acquisition_channel_costs ... ok [INFO] [stdout] test phase3::plan_tracker::tests::plan_tracker_milestone_ordering ... ok [INFO] [stdout] test phase4::transfer::tests::judge_transfer_fail_insufficient_gain ... ok [INFO] [stdout] test phase4::transfer::tests::judge_transfer_fail_no_order_effect ... ok [INFO] [stdout] test phase4::transfer::tests::transfer_gain_negative_fails ... ok [INFO] [stdout] test phase4::transfer::tests::judge_transfer_pass_on_sufficient_gain ... ok [INFO] [stdout] test phase4::transfer::tests::order_effect_detected ... ok [INFO] [stdout] test phase4::transfer::tests::transfer_gain_computed_correctly ... ok [INFO] [stdout] test phase5::acquisition::tests::judge_acquisition_fail_low_efficiency ... ok [INFO] [stdout] test phase5::acquisition::tests::different_seed_different_log ... ok [INFO] [stdout] test phase5::acquisition::tests::acquisition_empty_log ... ok [INFO] [stdout] test phase5::acquisition::tests::acquisition_hallucination_is_false_claim ... ok [INFO] [stdout] test phase5::acquisition::tests::acquisition_log_deterministic ... ok [INFO] [stdout] test phase5::acquisition::tests::acquisition_multiple_hallucinations ... ok [INFO] [stdout] test phase5::acquisition::tests::acquisition_redundancy_detected ... ok [INFO] [stdout] test phase3::plan_tracker::tests::plan_empty_action_log_alignment_zero ... ok [INFO] [stdout] test phase5::acquisition::tests::judge_acquisition_pass_on_efficient ... ok [INFO] [stdout] test phase5::calibration::tests::calibration_bins_diagnostic ... ok [INFO] [stdout] test phase5::calibration::tests::calibration_confidence_1000_goes_to_bin_9 ... ok [INFO] [stdout] test phase5::acquisition::tests::judge_acquisition_fail_no_learning ... ok [INFO] [stdout] test phase5::calibration::tests::calibration_overconfident_detected ... ok [INFO] [stdout] test phase5::calibration::tests::calibration_tracker_record_and_len ... ok [INFO] [stdout] test phase6::causal_dag::tests::judge_intervention_fail_on_wrong ... ok [INFO] [stdout] test phase5::calibration::tests::calibration_empty_tracker ... ok [INFO] [stdout] test phase6::causal_dag::tests::do_intervention_propagates_correctly ... ok [INFO] [stdout] test phase6::causal_dag::tests::causal_dag_deterministic ... ok [INFO] [stdout] test phase6::causal_dag::tests::do_intervention_removes_incoming_edges ... ok [INFO] [stdout] test phase6::causal_dag::tests::different_episodes_differ ... ok [INFO] [stdout] test phase6::causal_dag::tests::generated_edges_respect_dag_property ... ok [INFO] [stdout] test phase5::calibration::tests::calibration_underconfident_detected ... ok [INFO] [stdout] test phase6::causal_dag::tests::confounder_creates_spurious_correlation ... ok [INFO] [stdout] test phase6::causal_dag::tests::generated_num_variables_in_range ... ok [INFO] [stdout] test phase5::calibration::tests::calibration_negative_confidence_clamped ... ok [INFO] [stdout] test phase5::calibration::tests::calibration_multiple_bins ... ok [INFO] [stdout] test phase5::calibration::tests::calibration_single_bin ... ok [INFO] [stdout] test phase5::calibration::tests::calibration_perfect_score ... ok [INFO] [stdout] test phase6::causal_dag::tests::generated_coefficients_span_full_range ... ok [INFO] [stdout] test phase6::counterfactual::tests::counterfactual_recovers_noise ... ok [INFO] [stdout] test domain_judge::tests::synth_physics_deterministic ... ok [INFO] [stdout] test phase6::counterfactual::tests::judge_counterfactual_pass_on_correct ... ok [INFO] [stdout] test phase6::counterfactual::tests::counterfactual_with_confounders ... ok [INFO] [stdout] test phase6::causal_dag::tests::judge_intervention_pass_on_correct ... ok [INFO] [stdout] test phase6::counterfactual::tests::counterfactual_non_ancestor_unchanged ... ok [INFO] [stdout] test phase6::counterfactual::tests::counterfactual_deterministic ... ok [INFO] [stdout] test phase6::causal_dag::tests::observe_vs_intervention_confounder_difference ... ok [INFO] [stdout] test phase7::algo_discovery::tests::greedy_min_beats_naive_greedy ... ok [INFO] [stdout] test phase7::algo_discovery::tests::greedy_select_produces_spanning_tree ... ok [INFO] [stdout] test phase6::counterfactual::tests::judge_counterfactual_fail_on_wrong ... ok [INFO] [stdout] test phase7::materials::tests::judge_materials_out_of_range_fails ... ok [INFO] [stdout] test phase7::model_discovery::tests::judge_discovery_fail_on_no_improvement ... ok [INFO] [stdout] test phase7::materials::tests::materials_world_deterministic ... ok [INFO] [stdout] test phase7::model_discovery::tests::symbolic_equation_evaluates_correctly ... ok [INFO] [stdout] test phase7::model_discovery::tests::discovery_world_deterministic ... ok [INFO] [stdout] test phase7::model_discovery::tests::judge_discovery_pass_on_improvement ... ok [INFO] [stdout] test phase7::algo_discovery::tests::judge_algo_fails_when_worse ... ok [INFO] [stdout] test phase7::algo_discovery::tests::judge_algo_outperforms_baselines ... ok [INFO] [stdout] test phase7::algo_discovery::tests::mst_weight_is_correct ... ok [INFO] [stdout] test phase7::algo_discovery::tests::run_naive_greedy_produces_valid_score ... ok [INFO] [stdout] test phase7::materials::tests::evaluate_material_nearest_neighbor ... ok [INFO] [stdout] test phase7::algo_discovery::tests::algo_world_deterministic ... ok [INFO] [stdout] test phase8::physics_common::tests::generate_physics_task_different_episodes ... ok [INFO] [stdout] test phase8::physics_common::tests::generate_physics_task_deterministic ... ok [INFO] [stdout] test phase7::materials::tests::judge_materials_in_range_passes ... ok [INFO] [stdout] test phase8::physics_common::tests::physics_containment_sealed_holds ... ok [INFO] [stdout] test phase8::physics_common::tests::physics_support_chain_collapses ... ok [INFO] [stdout] test phase8::physics_common::tests::physics_collision_momentum_conserved ... ok [INFO] [stdout] test phase8::physics_common::tests::physics_buoyancy_floats ... ok [INFO] [stdout] test phase8::physics_common::tests::generated_physics_task_solvable ... ok [INFO] [stdout] test phase8::physics_common::tests::physics_containment_hole_leaks ... ok [INFO] [stdout] test phase8::planning::tests::planning_incomplete_goal_fails ... ok [INFO] [stdout] test phase8::planning::tests::generate_planning_world_deterministic ... ok [INFO] [stdout] test phase8::social::tests::generate_social_task_deterministic ... ok [INFO] [stdout] test phase8::social::tests::social_reliability_truthful_preferred ... ok [INFO] [stdout] test phase8::social::tests::social_false_belief_absent_observer ... ok [INFO] [stdout] test phase8::planning::tests::planning_invalid_action_fails ... ok [INFO] [stdout] test phase_criteria::tests::phase0_fail_different_hash ... ok [INFO] [stdout] test phase8::planning::tests::planning_valid_sequence_passes ... ok [INFO] [stdout] test phase8::social::tests::solve_social_always_correct ... ok [INFO] [stdout] test phase8::social::tests::social_false_belief_present_observer ... ok [INFO] [stdout] test phase_criteria::tests::phase2_requires_80pct_in_each_subdomain ... ok [INFO] [stdout] test phase_criteria::tests::phase0_pass_identical_hash ... ok [INFO] [stdout] test phase_criteria::tests::phase2_fails_on_false_claims ... ok [INFO] [stdout] test phase_criteria::tests::phase2_fails_below_80pct ... ok [INFO] [stdout] test phase_criteria::tests::phase8_fails_below_90pct ... ok [INFO] [stdout] test phase8::planning::tests::generated_planning_world_solvable ... ok [INFO] [stdout] test phase8::planning::tests::solve_planning_finds_shortest_path ... ok [INFO] [stdout] test phase_criteria::tests::phase8_requires_90pct ... ok [INFO] [stdout] test phase_criteria::tests::scoreboard_line_format ... ok [INFO] [stdout] test phase_criteria::tests::rational_gte_works ... ok [INFO] [stdout] test release::tests::release_manifest_serpi_deterministic ... ok [INFO] [stdout] test phase_criteria::tests::subdomain_pass_rate_correct ... ok [INFO] [stdout] test runner::tests::rational_serpi_deterministic ... ok [INFO] [stdout] test runner::tests::runner_compile_error_returns_fail ... ok [INFO] [stdout] test receipt_bundle::tests::receipt_bundle_roundtrip ... ok [INFO] [stdout] test runner::tests::runner_phase_result_computes ... ok [INFO] [stdout] test receipt_bundle::tests::receipt_bundle_replay_verified ... ok [INFO] [stdout] test suite_gen::tests::suite_different_seed_different_suite ... ok [INFO] [stdout] test release::tests::release_signature_rejects_tampered ... ok [INFO] [stdout] test release::tests::release_signature_verifies ... ok [INFO] [stdout] test suite_gen::tests::suite_manifest_builds ... ok [INFO] [stdout] test release::tests::release_suite_merkle_root_matches ... ok [INFO] [stdout] test runner::tests::runner_task_result_serpi_deterministic ... ok [INFO] [stdout] test suite_gen::tests::suite_all_tasks_parse_as_json ... ok [INFO] [stdout] test suite_gen::tests::suite_phase_counts_correct ... ok [INFO] [stdout] test runner::tests::runner_solve_agi_domain ... ok [INFO] [stdout] test suite_gen::tests::suite_total_task_count ... ok [INFO] [stdout] test suite_gen::tests::suite_merkle_root_nonzero ... ok [INFO] [stdout] test suite_gen::tests::suite_deterministic ... ok [INFO] [stdout] test receipt_bundle::tests::receipt_bundle_deterministic ... ok [INFO] [stdout] test suite_gen::tests::suite_commitment_is_hash_of_seed ... ok [INFO] [stdout] test release::tests::release_verify_rejects_wrong_files ... ok [INFO] [stdout] test runner::tests::runner_replay_deterministic_trace ... ok [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/kernel-bench/5e9a8f69a958ec6d/out/kernel_bench-5e9a8f69a958ec6d) [INFO] [stdout] test suite_gen::tests::suite_all_tasks_compilable ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 185 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.29s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 19 tests [INFO] [stdout] test caches::tests::monotone_cache_head_changes ... ok [INFO] [stdout] test dominate::tests::dominate_contract_serpi_deterministic ... ok [INFO] [stdout] test dominate::tests::score_dominates_by_cost ... ok [INFO] [stdout] test caches::tests::monotone_cache_append_only ... ok [INFO] [stdout] test caches::tests::monotone_cache_deterministic ... ok [INFO] [stdout] test dominate::tests::score_dominates_by_false_claims ... ok [INFO] [stdout] test dominate::tests::score_dominates_by_success ... ok [INFO] [stdout] test harness::tests::kernel_solve_returns_output ... ok [INFO] [stdout] test judge::tests::judge_agent_empty_is_fail ... ok [INFO] [stdout] test improvement::tests::improvement_rejected_false_claims ... ok [INFO] [stdout] test improvement::tests::improvement_rejected_regression ... ok [INFO] [stdout] test improvement::tests::improvement_accepted ... ok [INFO] [stdout] test judge::tests::judge_agent_false_claim ... ok [INFO] [stdout] test suites::tests::humaneval_suite_builds ... ok [INFO] [stdout] test suites::tests::task_kind_serpi_differs ... ok [INFO] [stdout] test suites::tests::mbpp_suite_builds ... ok [INFO] [stdout] test harness::tests::kernel_replay_matches ... ok [INFO] [stdout] test judge::tests::judge_kernel_unique_passes ... ok [INFO] [stdout] test suites::tests::suite_hash_deterministic ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/kernel-cap/2d54b659059ab2c9/out/kernel_cap-2d54b659059ab2c9) [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test jm::tests::wrong_scope_denied ... ok [INFO] [stdout] test jm::tests::replay_denied ... ok [INFO] [stdout] test jm::tests::valid_capability_accepted ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/build/kernel-cli/3b3c4191e4768606/out/kernel-3b3c4191e4768606) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/kernel-contracts/b7ee100b3eae3019/out/kernel_contracts-b7ee100b3eae3019) [INFO] [stdout] [INFO] [stdout] running 6 tests [INFO] [stdout] test compiler::tests::space_engine_serpi_deterministic ... ok [INFO] [stdout] test compiler::tests::compile_simple_bool_cnf ... ok [INFO] [stdout] test compiler::tests::space_engine_verdict_enumerates ... ok [INFO] [stdout] test compiler::tests::compile_space_engine_contract ... ok [INFO] [stdout] test compiler::tests::compile_table_contract ... ok [INFO] [stdout] test compiler::tests::compile_dominate_contract ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/kernel-frc/69688262fff356d1/out/kernel_frc-69688262fff356d1) [INFO] [stdout] [INFO] [stdout] running 657 tests [INFO] [stdout] test asm::tests::label_resolution_forward_jump ... ok [INFO] [stdout] test asm::tests::conditional_jump_jz ... ok [INFO] [stdout] test asm::tests::label_resolution_backward_jump ... ok [INFO] [stdout] test class_c::tests::gap_shrink_rate_positive ... ok [INFO] [stdout] test asm::tests::conditional_no_jump ... ok [INFO] [stdout] test asm::tests::simple_loop_program ... ok [INFO] [stdout] test class_c::tests::class_c_covers_all_types ... ok [INFO] [stdout] test class_c::tests::coverage_rate_100_percent_solvable ... ok [INFO] [stdout] test contract_frc::tests::arith_find_unique_frc ... ok [INFO] [stdout] test asm::tests::len_excludes_labels ... ok [INFO] [stdout] test asm::tests::undefined_label_error ... ok [INFO] [stdout] test contract_frc::tests::arith_find_unsat_frc ... ok [INFO] [stdout] test contract_frc::tests::table_sat_frc ... ok [INFO] [stdout] test contract_frc::tests::bool_cnf_sat_frc ... ok [INFO] [stdout] test contract_frc::tests::cross_verify_bool_cnf ... ok [INFO] [stdout] test contract_frc::tests::formal_proof_frontier ... ok [INFO] [stdout] test frc_search::tests::search_finds_frc_for_bounded_universal ... ok [INFO] [stdout] test contract_frc::tests::frc_hash_deterministic ... ok [INFO] [stdout] test contract_frc::tests::bool_cnf_unsat_frc ... ok [INFO] [stdout] test frc_search::tests::gap_ledger_tracks_failures ... ok [INFO] [stdout] test frc_types::tests::frc_receipt_deterministic ... ok [INFO] [stdout] test frc_types::tests::invariant_kind_serpi_differ ... ok [INFO] [stdout] test frc_types::tests::frc_serpi_deterministic ... ok [INFO] [stdout] test frc_types::tests::expected_output_serpi_differ ... ok [INFO] [stdout] test frc_types::tests::irc_frontier_deterministic ... ok [INFO] [stdout] test frc_types::tests::class_c_hash_deterministic ... ok [INFO] [stdout] test frc_types::tests::irc_frontier_verify_internal ... ok [INFO] [stdout] test frc_search::tests::search_deterministic ... ok [INFO] [stdout] test frc_types::tests::kernel_manifest_deterministic ... ok [INFO] [stdout] test frc_types::tests::frc_verify_internal ... ok [INFO] [stdout] test frc_types::tests::irc_complete_verify_internal ... ok [INFO] [stdout] test contract_frc::tests::table_unsat_frc ... ok [INFO] [stdout] test frc_types::tests::frontier_witness_deterministic ... ok [INFO] [stdout] test frc_types::tests::missing_lemma_serpi_deterministic ... ok [INFO] [stdout] test frc_types::tests::irc_hash_deterministic ... ok [INFO] [stdout] test frc_types::tests::gap_serpi_deterministic ... ok [INFO] [stdout] test frc_types::tests::frc_hash_differs_by_statement ... ok [INFO] [stdout] test frc_search::tests::search_returns_invalid_for_unbounded ... ok [INFO] [stdout] test frc_search::tests::search_finds_frc_for_finite_existential ... ok [INFO] [stdout] test frc_types::tests::opp_hash_deterministic ... ok [INFO] [stdout] test frc_search::tests::motif_reuse ... ok [INFO] [stdout] test contract_frc::tests::cross_verify_with_real_solver ... ok [INFO] [stdout] test gap_ledger::tests::empty_ledger ... ok [INFO] [stdout] test frc_types::tests::schema_id_ordering ... ok [INFO] [stdout] test gap_ledger::tests::minimal_missing_lemma_fewest_deps ... ok [INFO] [stdout] test gap_ledger::tests::pattern_counting ... ok [INFO] [stdout] test gap_ledger::tests::record_and_retrieve ... ok [INFO] [stdout] test gap_ledger::tests::ledger_hash_deterministic ... ok [INFO] [stdout] test invsyn::eval::tests::eval_arithmetic ... ok [INFO] [stdout] test frc_types::tests::transition_system_deterministic ... ok [INFO] [stdout] test gap_ledger::tests::resolve_gap ... ok [INFO] [stdout] test invsyn::eval::tests::eval_divisor_sum ... ok [INFO] [stdout] test invsyn::ast::tests::expr_size ... ok [INFO] [stdout] test invsyn::eval::tests::eval_const ... ok [INFO] [stdout] test invsyn::eval::tests::eval_logic ... ok [INFO] [stdout] test invsyn::ast::tests::expr_to_lean ... ok [INFO] [stdout] test invsyn::eval::tests::eval_forall_bounded ... ok [INFO] [stdout] test invsyn::eval::tests::eval_is_prime ... ok [INFO] [stdout] test invsyn::ast::tests::layer_classification ... ok [INFO] [stdout] test frc_search::tests::metrics_computed ... ok [INFO] [stdout] test invsyn::eval::tests::eval_exists_bounded ... ok [INFO] [stdout] test invsyn::eval::tests::eval_comparison ... ok [INFO] [stdout] test gap_ledger::tests::ledger_hash_changes_on_new_gap ... ok [INFO] [stdout] test invsyn::ast::tests::expr_serialize_deterministic ... ok [INFO] [stdout] test contract_frc::tests::frc_contains_contract_qid ... ok [INFO] [stdout] test invsyn::eval::tests::eval_exists_bounded_variable_hi ... ok [INFO] [stdout] test invsyn::eval::tests::eval_var ... ok [INFO] [stdout] test invsyn::layers::lia::tests::lia_step_ground ... ok [INFO] [stdout] test invsyn::layers::lia::tests::lia_step_modular ... ok [INFO] [stdout] test invsyn::normalize::tests::zfc_property_is_true ... ok [INFO] [stdout] test invsyn::eval::tests::eval_moebius ... ok [INFO] [stdout] test invsyn::proof_gen::tests::generate_zfc_proof ... ok [INFO] [stdout] test invsyn::layers::lia::tests::lia_step_upper_bound_fails ... ok [INFO] [stdout] test invsyn::normalize::tests::normalize_all_problems ... ok [INFO] [stdout] test invsyn::proof_gen::tests::generate_frontier_file ... ok [INFO] [stdout] test invsyn::layers::lia::tests::lia_step_conjunction ... ok [INFO] [stdout] test invsyn::layers::lia::tests::lia_step_lower_bound ... ok [INFO] [stdout] test invsyn::search::tests::search_zfc_structural ... ok [INFO] [stdout] test invsyn::search::tests::search_bsd_ec_structural ... ok [INFO] [stdout] test invsyn::structural::tests::algebraic_ground_false_rejected ... ok [INFO] [stdout] test invsyn::structural::tests::algebraic_ground_verified ... ok [INFO] [stdout] test invsyn::structural::tests::contains_var_basic ... ok [INFO] [stdout] test invsyn::search::tests::search_generates_structural_candidates ... ok [INFO] [stdout] test invsyn::eval::tests::to_prop_basic ... ok [INFO] [stdout] test invsyn::layers::lia::tests::lia_fragment_check ... ok [INFO] [stdout] test invsyn::search::tests::search_deterministic ... ok [INFO] [stdout] test invsyn::structural::tests::link_const_true_property ... ok [INFO] [stdout] test invsyn::structural::tests::sieve_cert_ground_rejected ... ok [INFO] [stdout] test invsyn::structural::tests::step_collatz_open ... ok [INFO] [stdout] test invsyn::search::tests::search_mersenne_structural ... ok [INFO] [stdout] test invsyn::structural::tests::interval_cert_empty_rejected ... ok [INFO] [stdout] test invsyn::structural::tests::link_identity ... ok [INFO] [stdout] test invsyn::structural::tests::interval_cert_with_eval_step ... ok [INFO] [stdout] test invsyn::structural::tests::link_range_implication ... ok [INFO] [stdout] test invsyn::structural::tests::sieve_cert_ground_verified ... ok [INFO] [stdout] test invsyn::search::tests::search_zfc ... ok [INFO] [stdout] test invsyn::structural::tests::monotone_chain_empty_rejected ... ok [INFO] [stdout] test invsyn::structural::tests::link_conjunction_projection ... ok [INFO] [stdout] test invsyn::structural::tests::step_lower_bound_verified ... ok [INFO] [stdout] test invsyn::structural::tests::step_interval_bound_ground ... ok [INFO] [stdout] test invsyn::structural::tests::step_flt_verified ... ok [INFO] [stdout] test invsyn::structural::tests::step_four_squares_verified ... ok [INFO] [stdout] test invsyn::structural::tests::step_mertens_disproved ... ok [INFO] [stdout] test invsyn::structural::tests::step_conjunction_verified ... ok [INFO] [stdout] test invsyn::structural::tests::step_modular_fails ... ok [INFO] [stdout] test invsyn::structural::tests::step_modular_verified ... ok [INFO] [stdout] test invsyn::structural::tests::substitute_other_var ... ok [INFO] [stdout] test invsyn::structural::tests::substitute_step_shift ... ok [INFO] [stdout] test invsyn::structural::tests::sum_cert_ground_rejected ... ok [INFO] [stdout] test invsyn::structural::tests::step_const_verified ... ok [INFO] [stdout] test invsyn::structural::tests::step_native_primitive_fails ... ok [INFO] [stdout] test invsyn::structural::tests::substitute_var ... ok [INFO] [stdout] test invsyn::structural::tests::substitute_in_add ... ok [INFO] [stdout] test invsyn::structural_cert::tests::bound_cert_schema_all_problems ... ok [INFO] [stdout] test invsyn::structural_cert::tests::bound_certs_goldbach ... ok [INFO] [stdout] test invsyn::structural_cert::tests::bound_certs_all_problems ... ok [INFO] [stdout] test invsyn::structural_cert::tests::anti_unify_structured_goldbach ... ok [INFO] [stdout] test invsyn::structural::tests::step_upper_bound_fails ... ok [INFO] [stdout] test invsyn::structural_cert::tests::bound_certs_goldbach ... ok [INFO] [stdout] test invsyn::structural_cert::tests::anti_unify_all_open_problems ... ok [INFO] [stdout] test invsyn::structural_cert::tests::anti_unify_structured_simple_le ... ok [INFO] [stdout] test invsyn::structural::tests::sum_cert_ground_verified ... ok [INFO] [stdout] test invsyn::structural_cert::tests::anti_unify_le_zero ... ok [INFO] [stdout] test invsyn::structural_cert::tests::bound_cert_schema_goldbach ... ok [INFO] [stdout] test invsyn::structural_cert::tests::can_prove_via_irc_simple ... ok [INFO] [stdout] test invsyn::structural_cert::tests::eval_with_trace_basic ... ok [INFO] [stdout] test invsyn::structural_cert::tests::density_unbounded_pipeline_goldbach ... ok [INFO] [stdout] test invsyn::structural_cert::tests::bounded_vacuous_lean_proof_generation ... ok [INFO] [stdout] test invsyn::structural_cert::tests::goldbach_complete_proof_generation ... ok [INFO] [stdout] test invsyn::structural_cert::tests::detect_step_witness_andw ... ok [INFO] [stdout] test invsyn::structural_cert::tests::can_prove_via_irc_andw ... ok [INFO] [stdout] test invsyn::structural_cert::tests::emit_certificates_le_zero ... ok [INFO] [stdout] test invsyn::structural_cert::tests::eval_with_trace_matches_eval ... ok [INFO] [stdout] test invsyn::structural_cert::tests::fn_eval_bound_goldbach ... ok [INFO] [stdout] test invsyn::structural_cert::tests::goldbach_repcount_anti_unify ... ok [INFO] [stdout] test invsyn::structural_cert::tests::crt_cover_goldbach_48_primes ... ok [INFO] [stdout] test invsyn::structural_cert::tests::diagnose_goldbach_traces ... ok [INFO] [stdout] test invsyn::structural_cert::tests::interpret_trace_as_expr_goldbach ... ok [INFO] [stdout] test invsyn::structural_cert::tests::lean_proof_generation ... ok [INFO] [stdout] test invsyn::structural_cert::tests::interpret_trace_as_expr_simple ... ok [INFO] [stdout] test invsyn::structural_cert::tests::goldbach_trace_structure ... ok [INFO] [stdout] test invsyn::structural_cert::tests::interpret_trace_preserves_across_n ... ok [INFO] [stdout] test invsyn::structural_cert::tests::obs_loop_goldbach ... ok [INFO] [stdout] test invsyn::structural_cert::tests::goldbach_repcount_even_anti_unify ... ok [INFO] [stdout] test invsyn::structural_cert::tests::obs_generates_lean_proof ... ok [INFO] [stdout] test invsyn::structural_cert::tests::obs_bound_dominance ... ok [INFO] [stdout] test invsyn::structural_cert::tests::pipeline_auto_selects_irc ... ok [INFO] [stdout] test invsyn::structural_cert::tests::pipeline_collatz_bounded ... ok [INFO] [stdout] test invsyn::structural_cert::tests::prime_density_irc_proof ... ok [INFO] [stdout] test invsyn::structural_cert::tests::problem_id_to_module_name ... ok [INFO] [stdout] test invsyn::structural_cert::tests::pipeline_le_zero ... ok [INFO] [stdout] test invsyn::structural_cert::tests::pipeline_auto_selects_bounded_vacuous ... ok [INFO] [stdout] test invsyn::structural_cert::tests::selfeval_proof_goldbach ... ok [INFO] [stdout] test invsyn::structural_cert::tests::substitute_expr_basic ... ok [INFO] [stdout] test invsyn::structural_cert::tests::sieve_circle_bound_goldbach ... ok [INFO] [stdout] test invsyn::structural_cert::tests::structured_certs_have_uniform_shape ... ok [INFO] [stdout] test invsyn::structural_cert::tests::trace_hash_deterministic ... ok [INFO] [stdout] test invsyn::structural_cert::tests::trace_split_classify_steps ... ok [INFO] [stdout] test invsyn::structural_cert::tests::pipeline_goldbach_bounded ... ok [INFO] [stdout] test invsyn::structural_cert::tests::trace_corpus_le_zero ... ok [INFO] [stdout] test invsyn::structural_cert::tests::validate_schema_le_zero ... ok [INFO] [stdout] test invsyn::structural_cert::tests::trace_split_goldbach ... ok [INFO] [stdout] test irc::invariant_grammar::tests::schema_order_is_canonical ... ok [INFO] [stdout] test invsyn::structural_cert::tests::obs_prime_wheel_validates_primes ... ok [INFO] [stdout] test irc::obligation_gen::tests::obligations_deterministic ... ok [INFO] [stdout] test irc::obligation_gen::tests::obligations_well_formed ... ok [INFO] [stdout] test irc::obligation_solver::tests::bertrand_step_known ... ok [INFO] [stdout] test irc::invariant_grammar::tests::proved_theorems_get_specialized ... ok [INFO] [stdout] test invsyn::structural_cert::tests::generate_all_proofs_succeeds ... ok [INFO] [stdout] test irc::invariant_grammar::tests::all_problems_produce_candidates ... ok [INFO] [stdout] test irc::obligation_solver::tests::prefix_link_trivial ... ok [INFO] [stdout] test irc::obligation_solver::tests::prefix_base_trivial ... ok [INFO] [stdout] test irc::obligation_solver::tests::trivial_property_problems_step_discharged ... ok [INFO] [stdout] test irc::obligation_solver::tests::zfc_all_trivial ... ok [INFO] [stdout] test invsyn::structural_cert::tests::obs_complete_goldbach_pipeline ... ok [INFO] [stdout] test irc::problem_invariants::tests::all_verified_problems_have_invariants ... ok [INFO] [stdout] test irc::problem_invariants::tests::invariant_hashes_deterministic ... ok [INFO] [stdout] test irc::problem_invariants::tests::all_invariants_are_specialized ... ok [INFO] [stdout] test irc::problem_invariants::tests::frontier_problems_have_no_invariants ... ok [INFO] [stdout] test irc::tests::bertrand_proved ... ok [INFO] [stdout] test invsyn::structural_cert::tests::dump_all_generated_proofs ... ok [INFO] [stdout] test irc::tests::bsd_ec_proved_structural ... ok [INFO] [stdout] test irc::obligation_solver::tests::known_proof_problems_step_discharged ... ok [INFO] [stdout] test irc::tests::flt_proved ... ok [INFO] [stdout] test invsyn::search::tests::frontier_problems_remain_frontier ... ok [INFO] [stdout] test irc::tests::lagrange_proved ... ok [INFO] [stdout] test irc::tests::mersenne_proved_structural ... ok [INFO] [stdout] test invsyn::structural_cert::tests::obs_bound_goldbach ... ok [INFO] [stdout] test irc::obligation_solver::tests::frontier_problems_step_gap ... ok [INFO] [stdout] test irc::tests::zfc_proved ... ok [INFO] [stdout] test irc::transition_system::tests::transition_system_all_problems ... ok [INFO] [stdout] test irc::transition_system::tests::transition_system_deterministic ... ok [INFO] [stdout] test millennium_frc::tests::bertrand_frc ... ok [INFO] [stdout] test irc::tests::all_proved_problems_prove ... ok [INFO] [stdout] test irc::tests::weak_goldbach_proved ... ok [INFO] [stdout] test millennium_frc::tests::collatz_frc ... ok [INFO] [stdout] test millennium_frc::tests::erdos_straus_frc ... ok [INFO] [stdout] test millennium_frc::tests::frc_hash_deterministic ... ok [INFO] [stdout] test millennium_frc::tests::goldbach_frc ... ok [INFO] [stdout] test invsyn::search::tests::collatz_is_frontier_structurally ... ok [INFO] [stdout] test millennium_frc::tests::twin_primes_frc ... ok [INFO] [stdout] test millennium_frc::tests::unknown_problem_returns_error ... ok [INFO] [stdout] test millennium_frc::tests::legendre_frc ... ok [INFO] [stdout] test millennium_frc::tests::mertens_frc ... ok [INFO] [stdout] test motif_library::tests::add_and_retrieve ... ok [INFO] [stdout] test millennium_frc::tests::zfc_frc ... ok [INFO] [stdout] test motif_library::tests::library_hash_changes ... ok [INFO] [stdout] test motif_library::tests::empty_library ... ok [INFO] [stdout] test motif_library::tests::library_hash_deterministic ... ok [INFO] [stdout] test motif_library::tests::motif_hashes_list ... ok [INFO] [stdout] test motif_library::tests::use_counting ... ok [INFO] [stdout] test open_problems::tests::bertrand_small ... ok [INFO] [stdout] test millennium_frc::tests::weak_goldbach_frc ... ok [INFO] [stdout] test millennium_frc::tests::bsd_ec_frc ... ok [INFO] [stdout] test open_problems::tests::bsd_ec_count_p7 ... ok [INFO] [stdout] test millennium_frc::tests::lagrange_frc ... ok [INFO] [stdout] test open_problems::tests::bsd_ec_count_curve1 ... ok [INFO] [stdout] test open_problems::tests::collatz_small ... ok [INFO] [stdout] test open_problems::tests::bertrand_1000 ... ok [INFO] [stdout] test open_problems::tests::bsd_ec_count_curve2 ... ok [INFO] [stdout] test open_problems::tests::erdos_straus_small ... ok [INFO] [stdout] test open_problems::tests::bsd_ec_count_p97 ... ok [INFO] [stdout] test open_problems::tests::goldbach_1000 ... ok [INFO] [stdout] test invsyn::search::tests::goldbach_is_frontier_structurally ... ok [INFO] [stdout] test open_problems::tests::goldbach_small ... ok [INFO] [stdout] test open_problems::tests::lagrange_four_squares_small ... ok [INFO] [stdout] test open_problems::tests::legendre_100 ... ok [INFO] [stdout] test open_problems::tests::legendre_small ... ok [INFO] [stdout] test open_problems::tests::mersenne_found ... ok [INFO] [stdout] test invsyn::structural_cert::tests::obs_prime_density_certificate_complete ... ok [INFO] [stdout] test open_problems::tests::mertens_1000 ... ok [INFO] [stdout] test open_problems::tests::mertens_small ... ok [INFO] [stdout] test open_problems::tests::odd_perfect_small ... ok [INFO] [stdout] test open_problems::tests::programs_are_deterministic ... ok [INFO] [stdout] test open_problems::tests::twin_primes_found ... ok [INFO] [stdout] test open_problems::tests::weak_goldbach_small ... ok [INFO] [stdout] test open_problems::tests::zfc_zero_ne_one ... ok [INFO] [stdout] test opp::tests::opp_emits_ledger_events ... ok [INFO] [stdout] test opp::tests::opp_solve_deterministic ... ok [INFO] [stdout] test opp::tests::opp_solve_finds_proof ... ok [INFO] [stdout] test opp::tests::opp_solve_returns_invalid ... ok [INFO] [stdout] test opp_verify::tests::verify_emits_ledger_event ... ok [INFO] [stdout] test opp_verify::tests::verify_frontier ... ok [INFO] [stdout] test opp_verify::tests::verify_frontier_rejects_wrong_hash ... ok [INFO] [stdout] test opp_verify::tests::verify_rejects_tampered_receipt ... ok [INFO] [stdout] test opp_verify::tests::verify_rejects_wrong_merkle ... ok [INFO] [stdout] test opp_verify::tests::verify_valid_frc ... ok [INFO] [stdout] test predicate::tests::cnf_empty_clauses ... ok [INFO] [stdout] test predicate::tests::cnf_multi_clause ... ok [INFO] [stdout] test predicate::tests::cnf_negative_literal ... ok [INFO] [stdout] test predicate::tests::cnf_satisfiable ... ok [INFO] [stdout] test predicate::tests::cnf_single_clause ... ok [INFO] [stdout] test predicate::tests::expr_add ... ok [INFO] [stdout] test predicate::tests::expr_div ... ok [INFO] [stdout] test predicate::tests::expr_lit ... ok [INFO] [stdout] test predicate::tests::expr_mod ... ok [INFO] [stdout] test predicate::tests::expr_mul ... ok [INFO] [stdout] test predicate::tests::expr_neg ... ok [INFO] [stdout] test predicate::tests::expr_nested_arithmetic ... ok [INFO] [stdout] test predicate::tests::expr_sub ... ok [INFO] [stdout] test predicate::tests::expr_var ... ok [INFO] [stdout] test predicate::tests::instruction_count_expr ... ok [INFO] [stdout] test predicate::tests::instruction_count_matches_actual ... ok [INFO] [stdout] test predicate::tests::instruction_count_pred ... ok [INFO] [stdout] test predicate::tests::integration_compile_and_run_cnf ... ok [INFO] [stdout] test predicate::tests::integration_compile_and_run_poly ... ok [INFO] [stdout] test predicate::tests::poly_constant ... ok [INFO] [stdout] test predicate::tests::poly_empty_coefficients ... ok [INFO] [stdout] test predicate::tests::poly_linear ... ok [INFO] [stdout] test predicate::tests::poly_quadratic ... ok [INFO] [stdout] test predicate::tests::pred_and ... ok [INFO] [stdout] test predicate::tests::pred_eq ... ok [INFO] [stdout] test predicate::tests::pred_ge ... ok [INFO] [stdout] test predicate::tests::pred_gt ... ok [INFO] [stdout] test predicate::tests::pred_le ... ok [INFO] [stdout] test predicate::tests::pred_le_ge_boundary ... ok [INFO] [stdout] test predicate::tests::pred_lt ... ok [INFO] [stdout] test predicate::tests::pred_ne ... ok [INFO] [stdout] test predicate::tests::pred_not ... ok [INFO] [stdout] test predicate::tests::pred_or ... ok [INFO] [stdout] test predicate::tests::pred_true_false ... ok [INFO] [stdout] test predicate::tests::unbound_variable_error ... ok [INFO] [stdout] test predicate::tests::var_env_bind_and_lookup ... ok [INFO] [stdout] test predicate::tests::var_env_custom_start_slot ... ok [INFO] [stdout] test predicate::tests::var_env_deterministic ... ok [INFO] [stdout] test program_builder::tests::b_star_sufficient ... ok [INFO] [stdout] test program_builder::tests::b_star_tight ... ok [INFO] [stdout] test program_builder::tests::determinism ... ok [INFO] [stdout] test program_builder::tests::error_no_variables ... ok [INFO] [stdout] test program_builder::tests::error_too_many_sat_vars ... ok [INFO] [stdout] test program_builder::tests::exists_empty_domain ... ok [INFO] [stdout] test program_builder::tests::exists_negative_domain ... ok [INFO] [stdout] test program_builder::tests::exists_no_integer_sqrt ... ok [INFO] [stdout] test program_builder::tests::exists_single_element ... ok [INFO] [stdout] test program_builder::tests::exists_two_var_pythagorean ... ok [INFO] [stdout] test program_builder::tests::exists_x_squared_eq_49 ... ok [INFO] [stdout] test program_builder::tests::forall_counterexample ... ok [INFO] [stdout] test program_builder::tests::forall_empty_domain ... ok [INFO] [stdout] test program_builder::tests::forall_product_consecutive_even ... ok [INFO] [stdout] test program_builder::tests::forall_successor_greater ... ok [INFO] [stdout] test program_builder::tests::sat_satisfiable ... ok [INFO] [stdout] test program_builder::tests::sat_unsat ... ok [INFO] [stdout] test proof_enum::accelerator::tests::accelerator_decidable_count ... ok [INFO] [stdout] test proof_enum::accelerator::tests::accelerator_proves_known ... ok [INFO] [stdout] test proof_enum::accelerator::tests::accelerator_proves_zfc ... ok [INFO] [stdout] test invsyn::structural_cert::tests::obs_prime_goldbach_density_leaf ... ok [INFO] [stdout] test proof_enum::accelerator::tests::all_7_accelerator_decidable ... ok [INFO] [stdout] test proof_enum::accelerator::tests::is_known_proved_correct ... ok [INFO] [stdout] test proof_enum::candidate::tests::candidate_render ... ok [INFO] [stdout] test proof_enum::candidate::tests::enumerator_has_decide_early ... ok [INFO] [stdout] test proof_enum::candidate::tests::enumerator_produces_candidates ... ok [INFO] [stdout] test proof_enum::candidate::tests::enumerator_rank_monotone ... ok [INFO] [stdout] test proof_enum::candidate::tests::enumerator_substantial_count ... ok [INFO] [stdout] test proof_enum::candidate::tests::tactic_render ... ok [INFO] [stdout] test proof_enum::checker::tests::generate_lean_file_correct ... ok [INFO] [stdout] test proof_enum::checker::tests::generate_lean_file_with_imports ... ok [INFO] [stdout] test proof_enum::checker::tests::sorry_detection_empty ... ok [INFO] [stdout] test proof_enum::checker::tests::sorry_detection_works ... ok [INFO] [stdout] test proof_enum::core_term::tests::byte_roundtrip_compound ... ok [INFO] [stdout] test proof_enum::core_term::tests::byte_roundtrip_constructor ... ok [INFO] [stdout] test proof_enum::core_term::tests::byte_roundtrip_simple ... ok [INFO] [stdout] test proof_enum::core_term::tests::context_push_lookup ... ok [INFO] [stdout] test proof_enum::core_term::tests::empty_context ... ok [INFO] [stdout] test proof_enum::core_term::tests::empty_env ... ok [INFO] [stdout] test proof_enum::core_term::tests::env_add_lookup ... ok [INFO] [stdout] test proof_enum::core_term::tests::is_value ... ok [INFO] [stdout] test proof_enum::core_term::tests::substitute_under_binder ... ok [INFO] [stdout] test proof_enum::core_term::tests::substitute_var ... ok [INFO] [stdout] test proof_enum::core_term::tests::term_hash_deterministic ... ok [INFO] [stdout] test proof_enum::core_term::tests::term_size ... ok [INFO] [stdout] test irc::obligation_solver::tests::goldbach_step_is_frontier ... ok [INFO] [stdout] test open_problems::tests::flt_small ... ok [INFO] [stdout] test proof_enum::decide::tests::decide_all_known_are_true ... ok [INFO] [stdout] test proof_enum::decide::tests::decide_awareness ... ok [INFO] [stdout] test proof_enum::decide::tests::decide_creation ... ok [INFO] [stdout] test proof_enum::decide::tests::decide_deterministic ... ok [INFO] [stdout] test proof_enum::decide::tests::decide_extracts_rules ... ok [INFO] [stdout] test proof_enum::decide::tests::decide_known_theorem_is_true ... ok [INFO] [stdout] test irc::tests::irc_search_deterministic ... ok [INFO] [stdout] test open_problems::tests::collatz_5000 ... ok [INFO] [stdout] test proof_enum::decide::tests::decide_r_grows ... ok [INFO] [stdout] test proof_enum::decide::tests::decide_stub_is_not_in_universe ... ok [INFO] [stdout] test proof_enum::decide::tests::independence_type_is_constructor ... ok [INFO] [stdout] test proof_enum::decide::tests::negate_constructs_pi_to_false ... ok [INFO] [stdout] test proof_enum::elab::tests::elab_different_problems_different_hashes ... ok [INFO] [stdout] test proof_enum::elab::tests::elab_known_problem ... ok [INFO] [stdout] test proof_enum::elab::tests::elab_open_problem ... ok [INFO] [stdout] test proof_enum::elab::tests::elab_produces_goal ... ok [INFO] [stdout] test proof_enum::elab::tests::elab_question_hash_deterministic ... ok [INFO] [stdout] test proof_enum::elab::tests::elab_stub_problem_is_ill_typed ... ok [INFO] [stdout] test proof_enum::elab::tests::elab_witness_bytes_invalid ... ok [INFO] [stdout] test proof_enum::elab::tests::elab_witness_bytes_natlit ... ok [INFO] [stdout] test proof_enum::elab::tests::elab_witness_bytes_text ... ok [INFO] [stdout] test proof_enum::elab::tests::parse_simple_prop ... ok [INFO] [stdout] test proof_enum::engine::tests::awareness_summary_works ... ok [INFO] [stdout] test open_problems::tests::lagrange_four_squares_500 ... ok [INFO] [stdout] test proof_enum::engine::tests::mining_extracts_rules_from_proved ... ok [INFO] [stdout] test proof_enum::engine::tests::parse_problem_list_all ... ok [INFO] [stdout] test proof_enum::engine::tests::parse_problem_list_custom ... ok [INFO] [stdout] test proof_enum::engine::tests::parse_problem_list_millennium ... ok [INFO] [stdout] test proof_enum::engine::tests::parse_problem_list_proved ... ok [INFO] [stdout] test invsyn::structural_cert::tests::obs_prime_fixed_point_converges ... ok [INFO] [stdout] test irc::obligation_solver::tests::open_conjecture_problems_step_frontier ... ok [INFO] [stdout] test open_problems::tests::erdos_straus_1000 ... ok [INFO] [stdout] test open_problems::tests::flt_7_40 ... ok [INFO] [stdout] test irc::tests::collatz_frontier ... ok [INFO] [stdout] test proof_enum::engine::tests::proof_result_problem_id ... ok [INFO] [stdout] test open_problems::tests::odd_perfect_5000 ... ok [INFO] [stdout] test proof_enum::engine::tests::testing_engine_frontier_for_unformalized ... ok [INFO] [stdout] test proof_enum::engine::tests::testing_engine_solves_known_via_accelerator ... ok [INFO] [stdout] test proof_enum::extract::tests::extract_from_compound_proof ... ok [INFO] [stdout] test proof_enum::extract::tests::extract_from_lambda_proof ... ok [INFO] [stdout] test proof_enum::extract::tests::extract_from_simple_proof ... ok [INFO] [stdout] test proof_enum::extract::tests::extract_preserves_soundness_proof ... ok [INFO] [stdout] test irc::tests::goldbach_frontier ... ok [INFO] [stdout] test proof_enum::engine::tests::ledger_records_operations ... ok [INFO] [stdout] test proof_enum::generator::tests::g_awareness_summary ... ok [INFO] [stdout] test proof_enum::decide::tests::decide_open_is_computing ... ok [INFO] [stdout] test proof_enum::engine::tests::proof_result_status_str ... ok [INFO] [stdout] test proof_enum::generator::tests::g_deterministic ... ok [INFO] [stdout] test proof_enum::generator::tests::g_extracts_rules_from_proof ... ok [INFO] [stdout] test proof_enum::decide::tests::decide_never_returns_frontier ... ok [INFO] [stdout] test proof_enum::generator::tests::g_not_in_universe_for_stubs ... ok [INFO] [stdout] test proof_enum::generator::tests::g_proves_known_via_accelerator ... ok [INFO] [stdout] test proof_enum::generator::tests::g_rules_grow_across_problems ... ok [INFO] [stdout] test proof_enum::generator::tests::generator_creation ... ok [INFO] [stdout] test proof_enum::generator::tests::generator_testing ... ok [INFO] [stdout] test proof_enum::ledger::tests::chain_integrity ... ok [INFO] [stdout] test proof_enum::ledger::tests::empty_ledger ... ok [INFO] [stdout] test proof_enum::ledger::tests::multiple_problems_tracked ... ok [INFO] [stdout] test proof_enum::ledger::tests::record_proof_found ... ok [INFO] [stdout] test proof_enum::ledger::tests::record_witness_check ... ok [INFO] [stdout] test proof_enum::ledger::tests::time_and_energy_accumulate ... ok [INFO] [stdout] test proof_enum::mining::tests::deduplication ... ok [INFO] [stdout] test proof_enum::mining::tests::empty_mining_db ... ok [INFO] [stdout] test proof_enum::mining::tests::fixed_point_detection ... ok [INFO] [stdout] test proof_enum::mining::tests::mine_multiline_proof ... ok [INFO] [stdout] test proof_enum::mining::tests::mine_simple_proof ... ok [INFO] [stdout] test proof_enum::mining::tests::normalizer_candidates_available ... ok [INFO] [stdout] test proof_enum::mining::tests::reuse_tracking ... ok [INFO] [stdout] test proof_enum::mu_selector::tests::check_candidate_fail ... ok [INFO] [stdout] test proof_enum::mu_selector::tests::check_candidate_pass ... ok [INFO] [stdout] test proof_enum::mu_selector::tests::mu_deterministic ... ok [INFO] [stdout] test proof_enum::mu_selector::tests::mu_exhausts_budget ... ok [INFO] [stdout] test proof_enum::mu_selector::tests::mu_finds_nat_lit ... ok [INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_accelerator_extracts_rules ... ok [INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_accelerator_proves_known ... ok [INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_awareness_summary ... ok [INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_deterministic ... ok [INFO] [stdout] test proof_enum::engine::tests::testing_engine_frontier_for_open ... ok [INFO] [stdout] test proof_enum::generator::tests::g_computing_for_open ... ok [INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_frontier_for_open ... ok [INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_ledger_records ... ok [INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_normalizer_creation ... ok [INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_not_formalized ... ok [INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_rules_grow_across_problems ... ok [INFO] [stdout] test proof_enum::projector::tests::awareness_summary ... ok [INFO] [stdout] test proof_enum::generator::tests::g_never_returns_frontier ... ok [INFO] [stdout] test proof_enum::projector::tests::deterministic_projection ... ok [INFO] [stdout] test invsyn::structural_cert::tests::obs_prime_wheel_coverage_grows_with_depth has been running for over 60 seconds [INFO] [stdout] test irc::tests::all_frontier_problems_frontier has been running for over 60 seconds [INFO] [stdout] test proof_enum::accelerator::tests::accelerator_returns_none_for_open has been running for over 60 seconds [INFO] [stdout] test proof_enum::decide::tests::decide_all_7_decided has been running for over 60 seconds [INFO] [stdout] test proof_enum::decide::tests::decide_all_returns_20 has been running for over 60 seconds [INFO] [stdout] test proof_enum::decide::tests::decide_all_returns_20 ... ok [INFO] [stdout] test proof_enum::decide::tests::decide_all_7_decided ... ok [INFO] [stdout] test proof_enum::engine::tests::solve_all_has_13_frontier ... ok [INFO] [stdout] test proof_enum::projector::tests::project_known_theorem ... ok [INFO] [stdout] test proof_enum::engine::tests::solve_all_has_7_proved has been running for over 60 seconds [INFO] [stdout] test proof_enum::engine::tests::solve_all_has_7_proved ... ok [INFO] [stdout] test proof_enum::projector::tests::project_stub ... ok [INFO] [stdout] test proof_enum::projector::tests::projector_creation ... ok [INFO] [stdout] test proof_enum::projector::tests::r_grows_from_projections ... ok [INFO] [stdout] test proof_enum::reduce::tests::already_normal ... ok [INFO] [stdout] test proof_enum::reduce::tests::beta_reduction ... ok [INFO] [stdout] test proof_enum::reduce::tests::budget_exhaustion ... ok [INFO] [stdout] test proof_enum::reduce::tests::delta_reduction ... ok [INFO] [stdout] test proof_enum::reduce::tests::full_reduction_to_normal_form ... ok [INFO] [stdout] test proof_enum::reduce::tests::iota_nat_zero ... ok [INFO] [stdout] test proof_enum::reduce::tests::nat_add ... ok [INFO] [stdout] test proof_enum::reduce::tests::nat_beq ... ok [INFO] [stdout] test proof_enum::reduce::tests::nat_mul ... ok [INFO] [stdout] test proof_enum::reduce::tests::reduction_trace_has_hashes ... ok [INFO] [stdout] test proof_enum::reduce::tests::zeta_reduction ... ok [INFO] [stdout] test proof_enum::rewrite::tests::add_rule ... ok [INFO] [stdout] test proof_enum::rewrite::tests::application_count ... ok [INFO] [stdout] test proof_enum::rewrite::tests::deduplication ... ok [INFO] [stdout] test proof_enum::rewrite::tests::empty_basis ... ok [INFO] [stdout] test proof_enum::rewrite::tests::fixed_point_detection ... ok [INFO] [stdout] test proof_enum::rewrite::tests::normalize_basis_then_core ... ok [INFO] [stdout] test proof_enum::rewrite::tests::normalize_with_basis_rule ... ok [INFO] [stdout] test proof_enum::rewrite::tests::normalize_with_core_only ... ok [INFO] [stdout] test proof_enum::rewrite::tests::pattern_match_app ... ok [INFO] [stdout] test proof_enum::rewrite::tests::pattern_match_consistency ... ok [INFO] [stdout] test proof_enum::rewrite::tests::pattern_match_exact ... ok [INFO] [stdout] test proof_enum::rewrite::tests::pattern_match_var ... ok [INFO] [stdout] test proof_enum::rewrite::tests::proof_trace_hashes ... ok [INFO] [stdout] test proof_enum::solve::tests::solve_with_small_budget_is_frontier ... ok [INFO] [stdout] test proof_enum::solve::tests::solve_with_zero_budget_is_frontier ... ok [INFO] [stdout] test proof_enum::solve::tests::sorry_detected ... ok [INFO] [stdout] test proof_enum::statement::tests::all_20_statements_exist ... ok [INFO] [stdout] test proof_enum::statement::tests::formalized_count ... ok [INFO] [stdout] test proof_enum::statement::tests::known_problems_have_real_props ... ok [INFO] [stdout] test proof_enum::statement::tests::millennium_problems_classified ... ok [INFO] [stdout] test proof_enum::statement::tests::namespaces_are_valid ... ok [INFO] [stdout] test proof_enum::statement::tests::open_problems_classified ... ok [INFO] [stdout] test proof_enum::statement::tests::pending_formalization_are_true ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_application ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_bool_constructor ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_const_lambda ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_env_constant ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_identity_lambda ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_let_binding ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_let_type_mismatch ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_nat_add_type ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_nat_lit ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_nat_lit_wrong_type ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_nat_succ_constructor ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_nat_zero_constructor ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_proof_hash_deterministic ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_prop_type ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_type_universe ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_unbound_var ... ok [INFO] [stdout] test proof_enum::type_check::tests::check_var_in_context ... ok [INFO] [stdout] test proof_enum::type_check::tests::infer_pi_type ... ok [INFO] [stdout] test proof_enum::universe::tests::universe_complete_type_is_pi ... ok [INFO] [stdout] test proof_enum::universe::tests::universe_elaborated_count ... ok [INFO] [stdout] test proof_enum::universe::tests::universe_get_member ... ok [INFO] [stdout] test proof_enum::universe::tests::universe_has_20_members ... ok [INFO] [stdout] test proof_enum::universe::tests::universe_has_formalized_members ... ok [INFO] [stdout] test proof_enum::universe::tests::universe_hash_deterministic ... ok [INFO] [stdout] test proof_enum::universe::tests::universe_membership ... ok [INFO] [stdout] test proof_enum::universe::tests::universe_not_empty ... ok [INFO] [stdout] test proof_enum::witness::tests::all_length_1_strings_appear ... ok [INFO] [stdout] test proof_enum::witness::tests::enumerator_is_infinite ... ok [INFO] [stdout] test proof_enum::witness::tests::first_is_empty ... ok [INFO] [stdout] test proof_enum::witness::tests::no_duplicates_in_first_1000 ... ok [INFO] [stdout] test proof_enum::witness::tests::rank_256_is_0xff ... ok [INFO] [stdout] test proof_enum::witness::tests::rank_257_is_length_2 ... ok [INFO] [stdout] test proof_enum::witness::tests::rank_258_is_0x0001 ... ok [INFO] [stdout] test proof_enum::witness::tests::second_is_zero_byte ... ok [INFO] [stdout] test schema::tests::reduction_context_default ... ok [INFO] [stdout] test schema::tests::statement_kind_equality ... ok [INFO] [stdout] test schema_induction::tests::detect_patterns_at_threshold ... ok [INFO] [stdout] test schema_induction::tests::detect_patterns_below_threshold ... ok [INFO] [stdout] test schema_induction::tests::induce_schema_from_pattern ... ok [INFO] [stdout] test schemas::algebraic_decision::tests::algebraic_finds_root ... ok [INFO] [stdout] test schemas::algebraic_decision::tests::algebraic_not_applicable_to_bool ... ok [INFO] [stdout] test schemas::bounded_counterexample::tests::bounded_frc_deterministic ... ok [INFO] [stdout] test schemas::bounded_counterexample::tests::bounded_not_applicable_to_infinite ... ok [INFO] [stdout] test schemas::bounded_counterexample::tests::bounded_search_finds_no_counterexample ... ok [INFO] [stdout] test schemas::certified_numerics::tests::certified_numerics_interval_check ... ok [INFO] [stdout] test schemas::certified_numerics::tests::certified_numerics_no_intervals_returns_gap ... ok [INFO] [stdout] test schemas::certified_numerics::tests::certified_numerics_not_applicable_to_algebraic ... ok [INFO] [stdout] test schemas::effective_compactness::tests::compactness_no_modulus_returns_gap ... ok [INFO] [stdout] test schemas::effective_compactness::tests::compactness_not_applicable_to_finite ... ok [INFO] [stdout] test schemas::effective_compactness::tests::compactness_with_modulus ... ok [INFO] [stdout] test schemas::finite_search::tests::finite_search_arith_find ... ok [INFO] [stdout] test schemas::finite_search::tests::finite_search_bool_sat ... ok [INFO] [stdout] test schemas::finite_search::tests::finite_search_not_applicable_to_infinite ... ok [INFO] [stdout] test schemas::finite_search::tests::finite_search_too_many_vars_returns_gap ... ok [INFO] [stdout] test schemas::proof_mining::tests::proof_mining_no_bounds_returns_gap ... ok [INFO] [stdout] test schemas::proof_mining::tests::proof_mining_with_bounds ... ok [INFO] [stdout] test schemas::tests::schema_costs_monotone ... ok [INFO] [stdout] test schemas::tests::schema_library_canonical_order ... ok [INFO] [stdout] test schemas::tests::schema_library_has_six_schemas ... ok [INFO] [stdout] test sec::prefix_ban::tests::detect_prefix_forall_bounded ... ok [INFO] [stdout] test sec::prefix_ban::tests::detect_prefix_in_conjunction ... ok [INFO] [stdout] test sec::prefix_ban::tests::non_prefix_constant ... ok [INFO] [stdout] test sec::prefix_ban::tests::non_prefix_different_body ... ok [INFO] [stdout] test sec::prefix_ban::tests::non_prefix_invariant ... ok [INFO] [stdout] test sec::prefix_ban::tests::step_independence_check ... ok [INFO] [stdout] test sec::rule_db::tests::add_rule_updates_merkle ... ok [INFO] [stdout] test sec::rule_db::tests::empty_db ... ok [INFO] [stdout] test sec::rule_db::tests::merkle_deterministic ... ok [INFO] [stdout] test sec::rule_db::tests::try_link_no_rules ... ok [INFO] [stdout] test sec::rule_db::tests::try_step_no_rules ... ok [INFO] [stdout] test sec::rule_db::tests::unify_and_pattern ... ok [INFO] [stdout] test sec::rule_db::tests::unify_concrete_match ... ok [INFO] [stdout] test sec::rule_db::tests::unify_concrete_mismatch ... ok [INFO] [stdout] test sec::rule_db::tests::unify_conflict ... ok [INFO] [stdout] test sec::rule_db::tests::unify_metavar ... ok [INFO] [stdout] test sec::rule_enum::tests::all_rules_have_descriptions ... ok [INFO] [stdout] test sec::rule_enum::tests::enumerate_deterministic ... ok [INFO] [stdout] test sec::rule_enum::tests::enumerate_expected_counts ... ok [INFO] [stdout] test sec::rule_enum::tests::enumerate_sorted_by_size ... ok [INFO] [stdout] test sec::rule_enum::tests::gap_targeted_includes_general ... ok [INFO] [stdout] test sec::rule_lean_gen::tests::generate_deterministic ... ok [INFO] [stdout] test sec::rule_lean_gen::tests::generate_soundness_no_sorry ... ok [INFO] [stdout] test sec::rule_lean_gen::tests::import_path_format ... ok [INFO] [stdout] test sec::rule_lean_gen::tests::rule_expr_to_lean_covers_all_variants ... ok [INFO] [stdout] test sec::rule_lean_gen::tests::tactic_selection_by_kind ... ok [INFO] [stdout] test sec::rule_lean_gen::tests::theorem_name_consistent ... ok [INFO] [stdout] test sec::rule_syn::tests::concrete_rule_expr ... ok [INFO] [stdout] test sec::rule_syn::tests::order_hash_deterministic ... ok [INFO] [stdout] test sec::rule_syn::tests::rule_expr_size ... ok [INFO] [stdout] test sec::rule_syn::tests::rule_hash_deterministic ... ok [INFO] [stdout] test sec::rule_syn::tests::rule_hash_differs_by_kind ... ok [INFO] [stdout] test sec::sec_engine::tests::gap_target_construction ... ok [INFO] [stdout] test sec::sec_engine::tests::is_self_evident_requires_lean ... ok [INFO] [stdout] test sec::sec_engine::tests::mine_idempotent ... ok [INFO] [stdout] test sec::sec_engine::tests::mine_without_lean_finds_no_rules ... ok [INFO] [stdout] test sec::sec_engine::tests::sec_engine_new ... ok [INFO] [stdout] test sec::sec_engine::tests::sec_result_new_rules ... ok [INFO] [stdout] test ucert::cert::tests::cert_hash_deterministic ... ok [INFO] [stdout] test ucert::cert::tests::cert_size ... ok [INFO] [stdout] test ucert::cert::tests::cert_to_lean ... ok [INFO] [stdout] test ucert::cert::tests::step_cert_size ... ok [INFO] [stdout] test ucert::cert::tests::structural_link_cert_to_lean ... ok [INFO] [stdout] test ucert::cert::tests::structural_step_cert_to_lean ... ok [INFO] [stdout] test ucert::check::tests::algebraic_cert_ground_verified ... ok [INFO] [stdout] test ucert::check::tests::all_7_proved_have_valid_certs ... ok [INFO] [stdout] test ucert::check::tests::direct_eval_never_proves ... ok [INFO] [stdout] test ucert::check::tests::empty_composite_rejected ... ok [INFO] [stdout] test ucert::check::tests::interval_cert_empty_rejected ... ok [INFO] [stdout] test ucert::check::tests::known_proof_bertrand ... ok [INFO] [stdout] test ucert::check::tests::known_proof_wrong_problem ... ok [INFO] [stdout] test ucert::check::tests::link_check_uses_real_property ... ok [INFO] [stdout] test ucert::check::tests::link_no_property_fails ... ok [INFO] [stdout] test ucert::check::tests::link_rejects_open_conjecture ... ok [INFO] [stdout] test ucert::check::tests::real_structural_step_check_called ... ok [INFO] [stdout] test ucert::check::tests::registry_completeness ... ok [INFO] [stdout] test ucert::check::tests::sieve_cert_ground_verified ... ok [INFO] [stdout] test ucert::check::tests::step_composition ... ok [INFO] [stdout] test ucert::check::tests::structural_cert_rejects_millennium ... ok [INFO] [stdout] test ucert::check::tests::structural_cert_rejects_open_problems ... ok [INFO] [stdout] test ucert::check::tests::structural_cert_valid_problems ... ok [INFO] [stdout] test ucert::check::tests::sum_cert_ground_verified ... ok [INFO] [stdout] test ucert::check::tests::witness_only_for_negation ... ok [INFO] [stdout] test ucert::compile::tests::all_have_problem_id ... ok [INFO] [stdout] test ucert::compile::tests::compile_all_20 ... ok [INFO] [stdout] test ucert::compile::tests::compile_deterministic ... ok [INFO] [stdout] test ucert::compile::tests::frontier_problems_have_decide_prop ... ok [INFO] [stdout] test ucert::compile::tests::frontier_problems_have_real_encodings ... ok [INFO] [stdout] test ucert::compile::tests::open_problems_have_forall_from ... ok [INFO] [stdout] test ucert::compile::tests::statement_ids_unique ... ok [INFO] [stdout] test ucert::compile::tests::unknown_problem_panics - should panic ... ok [INFO] [stdout] test ucert::enumerate::tests::at_rank_bounds ... ok [INFO] [stdout] test ucert::enumerate::tests::enumerator_deterministic ... ok [INFO] [stdout] test ucert::enumerate::tests::enumerator_nonempty ... ok [INFO] [stdout] test ucert::enumerate::tests::includes_known_proofs ... ok [INFO] [stdout] test ucert::enumerate::tests::includes_structural_with_expr ... ok [INFO] [stdout] test ucert::enumerate::tests::iter_count ... ok [INFO] [stdout] test ucert::enumerate::tests::no_direct_eval ... ok [INFO] [stdout] test ucert::enumerate::tests::structural_exprs_include_const_1 ... ok [INFO] [stdout] test ucert::enumerate::tests::structural_exprs_include_lower_bounds ... ok [INFO] [stdout] test ucert::enumerate::tests::structural_exprs_include_native_primitives ... ok [INFO] [stdout] test ucert::normalize::tests::all_proved_problems_prove ... ok [INFO] [stdout] test ucert::normalize::tests::bertrand_proves ... ok [INFO] [stdout] test ucert::normalize::tests::bsd_ec_proves ... ok [INFO] [stdout] test ucert::normalize::tests::flt_proves ... ok [INFO] [stdout] test ucert::normalize::tests::frontier_problems_remain_frontier ... ok [INFO] [stdout] test ucert::normalize::tests::lagrange_proves ... ok [INFO] [stdout] test ucert::normalize::tests::mersenne_proves ... ok [INFO] [stdout] test ucert::normalize::tests::millennium_problems_frontier ... ok [INFO] [stdout] test ucert::normalize::tests::normalize_deterministic ... ok [INFO] [stdout] test ucert::normalize::tests::proved_result_has_lean_proof_with_expr ... ok [INFO] [stdout] test ucert::normalize::tests::trivial_problem_proves ... ok [INFO] [stdout] test ucert::normalize::tests::weak_goldbach_proves ... ok [INFO] [stdout] test ucert::optimize::tests::compress_flatten ... ok [INFO] [stdout] test ucert::optimize::tests::motif_certs_have_real_exprs ... ok [INFO] [stdout] test ucert::optimize::tests::motif_library_seeds ... ok [INFO] [stdout] test ucert::optimize::tests::motif_resolution ... ok [INFO] [stdout] test ucert::optimize::tests::pruning_cache ... ok [INFO] [stdout] test ucert::universe::tests::problem_id_extraction ... ok [INFO] [stdout] test ucert::universe::tests::statement_deterministic ... ok [INFO] [stdout] test ucert::universe::tests::statement_id_unique ... ok [INFO] [stdout] test ucert::universe::tests::statement_to_lean ... ok [INFO] [stdout] test vm::tests::vm_budget_exhausted ... ok [INFO] [stdout] test vm::tests::vm_comparison_operators ... ok [INFO] [stdout] test vm::tests::vm_conditional_jump ... ok [INFO] [stdout] test vm::tests::vm_conditional_no_jump ... ok [INFO] [stdout] test vm::tests::vm_deterministic ... ok [INFO] [stdout] test vm::tests::vm_division_by_zero ... ok [INFO] [stdout] test vm::tests::vm_dup_swap_drop ... ok [INFO] [stdout] test vm::tests::vm_empty_program ... ok [INFO] [stdout] test vm::tests::vm_halt_false ... ok [INFO] [stdout] test vm::tests::vm_halt_true ... ok [INFO] [stdout] test vm::tests::vm_invalid_jump_target ... ok [INFO] [stdout] test vm::tests::vm_logical_not ... ok [INFO] [stdout] test vm::tests::vm_loop_with_counter ... ok [INFO] [stdout] test vm::tests::vm_memory_load_store ... ok [INFO] [stdout] test vm::tests::vm_overflow_handled ... ok [INFO] [stdout] test vm::tests::vm_program_serpi_deterministic ... ok [INFO] [stdout] test vm::tests::vm_push_add_halt ... ok [INFO] [stdout] test vm::tests::vm_stack_underflow ... ok [INFO] [stdout] test vm::tests::vm_trace_deterministic ... ok [INFO] [stdout] test vm::tests::vm_trace_verifies ... ok [INFO] [stdout] test proof_enum::engine::tests::solve_all_mines_all_proved ... ok [INFO] [stdout] test proof_enum::engine::tests::solve_all_returns_20 ... ok [INFO] [stdout] test proof_enum::generator::tests::g_all_no_frontier ... ok [INFO] [stdout] test proof_enum::projector::tests::project_open_conjecture ... ok [INFO] [stdout] test proof_enum::generator::tests::g_all_proves_7 ... ok [INFO] [stdout] test proof_enum::generator::tests::g_complete_evidence ... ok [INFO] [stdout] test irc::tests::all_frontier_problems_frontier ... ok [INFO] [stdout] test proof_enum::accelerator::tests::accelerator_returns_none_for_open ... ok [INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_normalize_all_proves_7 has been running for over 60 seconds [INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_normalize_all_proves_7 ... ok [INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_normalize_all_returns_20 has been running for over 60 seconds [INFO] [stdout] test proof_enum::projector::tests::complete_evidence has been running for over 60 seconds [INFO] [stdout] test proof_enum::projector::tests::project_all_computing_for_open has been running for over 60 seconds [INFO] [stdout] test proof_enum::projector::tests::project_all_no_frontier has been running for over 60 seconds [INFO] [stdout] test proof_enum::projector::tests::project_all_proves_7 has been running for over 60 seconds [INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_normalize_all_returns_20 ... ok [INFO] [stdout] test proof_enum::projector::tests::complete_evidence ... ok [INFO] [stdout] test proof_enum::projector::tests::project_all_computing_for_open ... ok [INFO] [stdout] test proof_enum::projector::tests::project_all_no_frontier ... ok [INFO] [stdout] test invsyn::structural_cert::tests::obs_prime_wheel_coverage_grows_with_depth ... ok [INFO] [stdout] test proof_enum::projector::tests::project_all_proves_7 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 657 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 158.47s [INFO] [stdout] [INFO] [stderr] Running tests/integration_tests.rs (/opt/rustwide/target/debug/build/kernel-frc/824227efaae02f3e/out/integration_tests-824227efaae02f3e) [INFO] [stdout] [INFO] [stdout] running 29 tests [INFO] [stdout] test contract_qid_in_frc ... ok [INFO] [stdout] test arith_find_unique_end_to_end ... ok [INFO] [stdout] test formal_proof_invalid_end_to_end ... ok [INFO] [stdout] test gap_closure_produces_motif ... ok [INFO] [stdout] test bool_cnf_forced_end_to_end ... ok [INFO] [stdout] test bool_cnf_unsat_end_to_end ... ok [INFO] [stdout] test bool_cnf_sat_end_to_end ... ok [INFO] [stdout] test arith_find_unsat_end_to_end ... ok [INFO] [stdout] test bertrand_frc_end_to_end ... ok [INFO] [stdout] test mersenne_frc_end_to_end ... ok [INFO] [stdout] test frc_deterministic ... ok [INFO] [stdout] test mertens_frc_end_to_end ... ok [INFO] [stdout] test legendre_frc_end_to_end ... ok [INFO] [stdout] test table_sat_end_to_end ... ok [INFO] [stdout] test coverage_rate_100_for_solvable ... ok [INFO] [stdout] test twin_primes_frc_end_to_end ... ok [INFO] [stdout] test table_unsat_end_to_end ... ok [INFO] [stdout] test zfc_frc_end_to_end ... ok [INFO] [stdout] test erdos_straus_frc_end_to_end ... ok [INFO] [stdout] test b_star_sufficient_all_goldmaster ... ok [INFO] [stdout] test weak_goldbach_frc_end_to_end ... ok [INFO] [stdout] test cross_verify_all_goldmaster_contracts ... ok [INFO] [stdout] test lagrange_four_squares_frc_end_to_end ... ok [INFO] [stdout] test bsd_ec_count_frc_end_to_end ... ok [INFO] [stdout] test goldbach_frc_end_to_end ... ok [INFO] [stdout] test all_finite_fragments_deterministic ... ok [INFO] [stdout] test collatz_frc_end_to_end ... ok [INFO] [stdout] test flt_frc_end_to_end ... ok [INFO] [stdout] test odd_perfect_frc_end_to_end ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 21.07s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/kernel-goldmaster/ce3ecbe0a6c734cf/out/kernel_goldmaster-ce3ecbe0a6c734cf) [INFO] [stdout] [INFO] [stdout] running 13 tests [INFO] [stdout] test suite::tests::suite_v1_compiles ... ok [INFO] [stdout] test dominance::tests::dominance_suite_builds ... ok [INFO] [stdout] test expansion::tests::expansion_includes_base ... ok [INFO] [stdout] test expansion::tests::expansion_from_goldmaster ... ok [INFO] [stdout] test dominance::tests::dominance_suite_hash_differs_by_competitor ... ok [INFO] [stdout] test dominance::tests::dominance_suite_hash_deterministic ... ok [INFO] [stdout] test expansion::tests::expansion_hash_deterministic ... ok [INFO] [stdout] test build_hash::tests::build_hash_nonzero ... ok [INFO] [stdout] test space_engine::tests::goldmaster_verifies ... ok [INFO] [stdout] test space_engine::tests::space_engine_suite_builds ... ok [INFO] [stdout] test space_engine::tests::pinned_hash_deterministic ... ok [INFO] [stdout] test build_hash::tests::build_hash_verifies ... ok [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/kernel-instruments/6181169fd9e03d00/out/kernel_instruments-6181169fd9e03d00) [INFO] [stdout] test build_hash::tests::build_hash_deterministic ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.15s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/kernel-lean/49cebf07711a42c5/out/kernel_lean-49cebf07711a42c5) [INFO] [stdout] [INFO] [stdout] running 25 tests [INFO] [stdout] test irc_gen::tests::generate_proved_with_proofs ... ok [INFO] [stdout] test irc_gen::tests::generate_frontier ... ok [INFO] [stdout] test manifest_gen::tests::merkle_root_pair ... ok [INFO] [stdout] test lean_runner::tests::sorry_check_found ... ok [INFO] [stdout] test irc_gen::tests::no_axioms_in_any_output ... ok [INFO] [stdout] test manifest_gen::tests::merkle_root_empty ... ok [INFO] [stdout] test irc_result_gen::tests::generate_frontier_result ... ok [INFO] [stdout] test irc_gen::tests::generate_proved_without_proofs ... ok [INFO] [stdout] test manifest_gen::tests::merkle_root_single ... ok [INFO] [stdout] test manifest_gen::tests::manifest_generation ... ok [INFO] [stdout] test program_embed::tests::embed_negative_push ... ok [INFO] [stdout] test program_embed::tests::embed_simple_program ... ok [INFO] [stdout] test proof_eq_gen::tests::bounded_counterexample_proof ... ok [INFO] [stdout] test program_embed::tests::embed_bstar_value ... ok [INFO] [stdout] test manifest_gen::tests::merkle_root_deterministic ... ok [INFO] [stdout] test irc_result_gen::tests::generate_proved_result ... ok [INFO] [stdout] test lean_runner::tests::sorry_check_no_files ... ok [INFO] [stdout] test program_embed::tests::embed_all_instructions ... ok [INFO] [stdout] test bundle_gen::tests::compute_bundle_hash_deterministic ... ok [INFO] [stdout] test program_embed::tests::embed_program_with_jumps ... ok [INFO] [stdout] test result_gen::tests::result_verified ... ok [INFO] [stdout] test proof_eq_gen::tests::certified_numerics_proof ... ok [INFO] [stdout] test proof_eq_gen::tests::finite_search_proof ... ok [INFO] [stdout] test proof_total_gen::tests::totality_proof_generation ... ok [INFO] [stdout] test result_gen::tests::result_invalid ... ok [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/kernel-ledger/a1573fc030dc7fc5/out/kernel_ledger-a1573fc030dc7fc5) [INFO] [stdout] [INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 5 tests [INFO] [stdout] test ledger::tests::time_energy_accumulate ... ok [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/kernel-self/9030ed33fbda5c5a/out/kernel_self-9030ed33fbda5c5a) [INFO] [stdout] test ledger::tests::commit_changes_head ... ok [INFO] [stdout] test ledger::tests::nonce_tracking ... ok [INFO] [stdout] test ledger::tests::deterministic_replay ... ok [INFO] [stdout] test ledger::tests::empty_ledger_is_bot ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 14 tests [INFO] [stdout] test self_instrument::tests::self_instrument_cost_is_zero ... ok [INFO] [stdout] test self_instrument::tests::self_instrument_id_deterministic ... ok [INFO] [stdout] test tension::tests::tension_resolved_when_unique ... ok [INFO] [stdout] test tension::tests::select_returns_none_when_resolved ... ok [INFO] [stdout] test self_instrument::tests::self_instrument_apply_total ... ok [INFO] [stdout] test tension::tests::select_returns_first_in_canonical_order ... ok [INFO] [stdout] test self_instrument::tests::self_observation_deterministic ... ok [INFO] [stdout] test tension::tests::compute_tension_from_quotient ... ok [INFO] [stdout] test consciousness::tests::consciousness_emits_events ... ok [INFO] [stdout] test consciousness::tests::consciousness_prediction_converges ... ok [INFO] [stdout] test recognition::tests::self_recognition_single ... ok [INFO] [stdout] test consciousness::tests::consciousness_records_tension ... ok [INFO] [stdout] test consciousness::tests::consciousness_loop_runs ... ok [INFO] [stdout] test recognition::tests::self_recognition_suite ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/kernel-solver/db360a05e53fecf8/out/kernel_solver-db360a05e53fecf8) [INFO] [stdout] [INFO] [stdout] running 22 tests [INFO] [stdout] test completion::tests::formal_proof_is_inadmissible ... ok [INFO] [stdout] test stepper::tests::stepper_initializes ... ok [INFO] [stdout] test stepper::tests::stepper_unsat ... ok [INFO] [stdout] test solver::tests::solve_deterministic ... ok [INFO] [stdout] test completion::tests::collatz_has_high_independence_risk ... ok [INFO] [stdout] test completion::tests::arith_is_completable ... ok [INFO] [stdout] test completion::tests::p_vs_np_has_specific_barriers ... ok [INFO] [stdout] test completion::tests::riemann_has_specific_instruments ... ok [INFO] [stdout] test completion::tests::bool_cnf_is_completable ... ok [INFO] [stdout] test toe::tests::witness_class_covers_all_cases ... ok [INFO] [stdout] test completion::tests::flt_has_finite_conditional_b_star ... ok [INFO] [stdout] test toe::tests::obligation_1_total_completion ... ok [INFO] [stdout] test stepper::tests::stepper_finalize_produces_output ... ok [INFO] [stdout] test solver::tests::solve_unsat ... ok [INFO] [stdout] test solver::tests::solve_simple_sat ... ok [INFO] [stdout] test solver::tests::replay_matches ... ok [INFO] [stdout] test solver::tests::formal_proof_is_unsat_admissibility ... ok [INFO] [stdout] test solver::tests::solve_arith ... ok [INFO] [stdout] test toe::tests::obligation_2_no_omega ... ok [INFO] [stdout] test toe::tests::obligation_3_self_witnessing ... ok [INFO] [stdout] test toe::tests::obligation_4_self_recognition ... ok [INFO] [stdout] test toe::tests::full_toe_proof ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.96s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/kernel-spaceengine/b6d8b297686555ac/out/kernel_spaceengine-b6d8b297686555ac) [INFO] [stdout] [INFO] [stdout] running 100 tests [INFO] [stdout] test atlas_builder::tests::domain_classification ... ok [INFO] [stdout] test atlas_builder::tests::atlas_center_deterministic ... ok [INFO] [stdout] test atlas_types::tests::proof_domain_serpi_deterministic ... ok [INFO] [stdout] test atlas_types::tests::atlas_domain_galaxy_serpi_deterministic ... ok [INFO] [stdout] test atlas_builder::tests::no_coordinate_collision ... ok [INFO] [stdout] test atlas_types::tests::filament_nebula_serpi_deterministic ... ok [INFO] [stdout] test atlas_types::tests::frontier_black_hole_serpi_deterministic ... ok [INFO] [stdout] test catalog::tests::bool_cnf_sat_spiral ... ok [INFO] [stdout] test atlas_types::tests::proof_domain_ordering ... ok [INFO] [stdout] test atlas_builder::tests::dependency_graph_symmetry ... ok [INFO] [stdout] test atlas_types::tests::atlas_index_star_serpi_deterministic ... ok [INFO] [stdout] test atlas_builder::tests::filament_count ... ok [INFO] [stdout] test atlas_builder::tests::all_contracts_in_index ... ok [INFO] [stdout] test catalog::tests::sc_files_deterministic ... ok [INFO] [stdout] test atlas_builder::tests::frontiers_only_for_formal_proof ... ok [INFO] [stdout] test catalog::tests::arith_find_maps_to_star ... ok [INFO] [stdout] test catalog::tests::catalog_deterministic ... ok [INFO] [stdout] test exo_catalog::tests::hosts_csv_deterministic ... ok [INFO] [stdout] test exo_catalog::tests::csv_format_no_floats ... ok [INFO] [stdout] test exo_catalog::tests::sc_format_valid_syntax ... ok [INFO] [stdout] test exo_catalog::tests::planets_sc_deterministic ... ok [INFO] [stdout] test atlas_builder::tests::atlas_hash_deterministic ... ok [INFO] [stdout] test exo_normalizer::tests::normalize_pipeline_deterministic ... ok [INFO] [stdout] test exo_normalizer::tests::canonicalize_gaia_preferred ... ok [INFO] [stdout] test exo_normalizer::tests::parse_decimal_to_milli_correct ... ok [INFO] [stdout] test exo_normalizer::tests::canonicalize_positional_fallback ... ok [INFO] [stdout] test exo_normalizer::tests::merge_duplicate_hosts ... ok [INFO] [stdout] test exo_scenario::tests::exo_scenario_selects_newest ... ok [INFO] [stdout] test exo_normalizer::tests::canonicalize_hip_fallback ... ok [INFO] [stdout] test exo_scenario::tests::exo_scenario_deterministic ... ok [INFO] [stdout] test exo_scenario::tests::exo_scenario_has_log_line ... ok [INFO] [stdout] test exo_normalizer::tests::refutation_removes_planet ... ok [INFO] [stdout] test exo_types::tests::host_key_ordering_gaia_first ... ok [INFO] [stdout] test exo_types::tests::planet_status_serpi_differ ... ok [INFO] [stdout] test exo_types::tests::real_universe_catalog_serpi ... ok [INFO] [stdout] test exo_verifier::tests::exo_verify_fail_missing_log ... ok [INFO] [stdout] test exo_types::tests::host_key_serpi_deterministic ... ok [INFO] [stdout] test catalog::tests::bool_cnf_unsat_elliptical ... ok [INFO] [stdout] test manifest::tests::enhanced_manifest_new_fields ... ok [INFO] [stdout] test enhanced_emitter::tests::arith_planet_files ... ok [INFO] [stdout] test exo_verifier::tests::exo_verify_fail_hash_mismatch ... ok [INFO] [stdout] test manifest::tests::enhanced_manifest_backward_compatible ... ok [INFO] [stdout] test exo_verifier::tests::exo_verify_pass ... ok [INFO] [stdout] test enhanced_emitter::tests::atlas_domains_sc_exists ... ok [INFO] [stdout] test pak::tests::pak_empty ... ok [INFO] [stdout] test pak::tests::pak_deterministic ... ok [INFO] [stdout] test types::tests::celestial_kind_tags_differ ... ok [INFO] [stdout] test pak::tests::pak_is_valid_zip ... ok [INFO] [stdout] test types::tests::coords_from_qid_deterministic ... ok [INFO] [stdout] test types::tests::galaxy_morphology_differ ... ok [INFO] [stdout] test types::tests::rational_integer ... ok [INFO] [stdout] test types::tests::rational_serpi_deterministic ... ok [INFO] [stdout] test pak::tests::pak_roundtrip ... ok [INFO] [stdout] test scenario::tests::scenario_hash_nonzero ... ok [INFO] [stdout] test scenario::tests::scenario_contains_all_objects ... ok [INFO] [stdout] test verifier::tests::enhanced_verify_dark_object_count ... ok [INFO] [stdout] test scenario::tests::scenario_deterministic ... ok [INFO] [stdout] test types::tests::rational_reduction ... ok [INFO] [stdout] test verifier::tests::enhanced_verify_fail_missing_file ... ok [INFO] [stdout] test scenario::tests::scenario_has_hash_overlays ... ok [INFO] [stdout] test verifier::tests::merkle_root_sorted_deterministic ... ok [INFO] [stdout] test verifier::tests::verify_fail_wrong_catalog ... ok [INFO] [stdout] test types::tests::star_system_serpi ... ok [INFO] [stdout] test verifier::tests::enhanced_verify_pass ... ok [INFO] [stdout] test verifier::tests::verify_fail_wrong_build ... ok [INFO] [stdout] test enhanced_emitter::tests::witness_index_json_valid ... ok [INFO] [stdout] test verifier::tests::verify_pass_correct ... ok [INFO] [stdout] test verifier::tests::verify_fail_wrong_scenario ... ok [INFO] [stdout] test witness_encoder::tests::dark_lensing_mass_derivation ... ok [INFO] [stdout] test enhanced_emitter::tests::sat_witness_moon_files ... ok [INFO] [stdout] test witness_encoder::tests::arith_witness_decoy_validity ... ok [INFO] [stdout] test witness_encoder::tests::full_round_trip_determinism ... ok [INFO] [stdout] test witness_types::tests::arith_witness_planet_serpi_deterministic ... ok [INFO] [stdout] test enhanced_emitter::tests::unsat_cluster_files ... ok [INFO] [stdout] test witness_encoder::tests::empty_clauses_edge_case ... ok [INFO] [stdout] test witness_types::tests::clause_ring_orbital_radius ... ok [INFO] [stdout] test witness_types::tests::clause_ring_satisfaction_logic ... ok [INFO] [stdout] test witness_encoder::tests::unsat_witness_contradiction_center ... ok [INFO] [stdout] test witness_encoder::tests::unsat_witness_step_count ... ok [INFO] [stdout] test witness_encoder::tests::arith_witness_period_match ... ok [INFO] [stdout] test types::tests::write_integer_decimal_correct ... ok [INFO] [stdout] test witness_types::tests::proof_step_star_serpi_deterministic ... ok [INFO] [stdout] test witness_types::tests::sat_witness_moons_serpi_deterministic ... ok [INFO] [stdout] test witness_types::tests::proof_step_radial_ordering ... ok [INFO] [stdout] test witness_types::tests::unsat_witness_cluster_serpi_deterministic ... ok [INFO] [stdout] test witness_types::tests::witness_moon_inclination_sign ... ok [INFO] [stdout] test witness_types::tests::bit_encoding_correctness ... ok [INFO] [stdout] test witness_types::tests::empty_moons_edge_case ... ok [INFO] [stdout] test witness_types::tests::clause_ring_serpi_deterministic ... ok [INFO] [stdout] test witness_encoder::tests::sat_witness_deterministic ... ok [INFO] [stdout] test witness_encoder::tests::sat_witness_correct_moon_count ... ok [INFO] [stdout] test witness_types::tests::decoy_differs_from_witness ... ok [INFO] [stdout] test witness_types::tests::lensing_proxy_serpi_deterministic ... ok [INFO] [stdout] test witness_types::tests::witness_moon_serpi_deterministic ... ok [INFO] [stdout] test witness_encoder::tests::sat_witness_clause_rings ... ok [INFO] [stdout] test enhanced_emitter::tests::domain_tour_scripts ... ok [INFO] [stdout] test enhanced_emitter::tests::filament_files ... ok [INFO] [stdout] test enhanced_emitter::tests::atlas_tour_script ... ok [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/kernel-types/50aeec08a6af20d0/out/kernel_types-50aeec08a6af20d0) [INFO] [stdout] test enhanced_emitter::tests::lensing_proxy_files ... ok [INFO] [stdout] test enhanced_emitter::tests::per_qid_galaxy_files_exist ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 100 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 21 tests [INFO] [stdout] test provenance::tests::selector_variants_differ ... ok [INFO] [stdout] test reason::tests::reason_code_deterministic ... ok [INFO] [stdout] test serpi::tests::hash32_deterministic ... ok [INFO] [stdout] test tension::tests::tension_deterministic ... ok [INFO] [stdout] test provenance::tests::web_request_deterministic ... ok [INFO] [stdout] test tension::tests::tension_one_survivor ... ok [INFO] [stdout] test tension::tests::tension_zero_survivors ... ok [INFO] [stdout] test serpi::tests::u64_deterministic ... ok [INFO] [stdout] test reason::tests::reason_codes_differ ... ok [INFO] [stdout] test provenance::tests::cache_mode_variants_differ ... ok [INFO] [stdout] test hash::tests::merkle_deterministic ... ok [INFO] [stdout] test provenance::tests::policy_deterministic ... ok [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/kernel-web/4ce99eba6c3c9569/out/kernel_web-4ce99eba6c3c9569) [INFO] [stdout] test hash::tests::merkle_empty ... ok [INFO] [stdout] test serpi::tests::string_deterministic ... ok [INFO] [stdout] test hash::tests::merkle_single ... ok [INFO] [stdout] test tension::tests::tension_delta_deterministic ... ok [INFO] [stdout] test hash::tests::deterministic_hash ... ok [INFO] [stdout] test hash::tests::chain_deterministic ... ok [INFO] [stdout] test serpi::tests::different_values_different_bytes ... ok [INFO] [stdout] test provenance::tests::provenance_deterministic ... ok [INFO] [stdout] test tension::tests::tension_from_survivors ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 12 tests [INFO] [stdout] test selector::tests::css_selector_not_found ... ok [INFO] [stdout] test selector::tests::byte_range_valid ... ok [INFO] [stdout] test selector::tests::full_body_returns_all ... ok [INFO] [stdout] test selector::tests::css_selector_found ... ok [INFO] [stdout] test selector::tests::byte_range_out_of_bounds ... ok [INFO] [stdout] test web_instrument::tests::web_instrument_cost_correct ... ok [INFO] [stdout] test policy::tests::web_error_display ... ok [INFO] [stdout] test web_instrument::tests::web_instrument_id_deterministic ... ok [INFO] [stdout] test web_instrument::tests::web_instrument_serpi_canonical ... ok [INFO] [stdout] test web_instrument::tests::web_instrument_id_differs_by_url ... ok [INFO] [stderr] Doc-tests agi_proof [INFO] [stdout] test policy::tests::invalid_url_is_error ... ok [INFO] [stdout] test web_instrument::tests::invalid_url_returns_error_outcome ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.12s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests kernel_bench [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests kernel_cap [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests kernel_contracts [INFO] [stderr] Doc-tests kernel_frc [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Doc-tests kernel_goldmaster [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests kernel_instruments [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests kernel_lean [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests kernel_ledger [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests kernel_self [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests kernel_solver [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests kernel_spaceengine [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests kernel_types [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests kernel_web [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "23e8aacc7ca1ffd75cac078bfcd5f2876d0f990cc01e28f02ce6e4d81177ce59", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "23e8aacc7ca1ffd75cac078bfcd5f2876d0f990cc01e28f02ce6e4d81177ce59", kill_on_drop: false }` [INFO] [stdout] 23e8aacc7ca1ffd75cac078bfcd5f2876d0f990cc01e28f02ce6e4d81177ce59