[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 try#33835004928d3bf65db4d4712e1330766263b0bd for pr-155739
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fchetannothingness%2Fself-computing-universe-proof" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-7-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-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/chetannothingness/self-computing-universe-proof on toolchain 33835004928d3bf65db4d4712e1330766263b0bd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "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" "+33835004928d3bf65db4d4712e1330766263b0bd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 374ab5d14246ad21c30512ab484b42de7530b3b1467900393771ed61871ee29a
[INFO] running `Command { std: "docker" "start" "-a" "374ab5d14246ad21c30512ab484b42de7530b3b1467900393771ed61871ee29a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "374ab5d14246ad21c30512ab484b42de7530b3b1467900393771ed61871ee29a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "374ab5d14246ad21c30512ab484b42de7530b3b1467900393771ed61871ee29a", kill_on_drop: false }`
[INFO] [stdout] 374ab5d14246ad21c30512ab484b42de7530b3b1467900393771ed61871ee29a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 408f074a33a334b4c5b2ad54b2437226580c2307167a222f671aca4c9436caec
[INFO] running `Command { std: "docker" "start" "-a" "408f074a33a334b4c5b2ad54b2437226580c2307167a222f671aca4c9436caec", kill_on_drop: false }`
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling zerocopy v0.8.40
[INFO] [stderr]    Compiling cc v1.2.56
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling pin-project-lite v0.2.17
[INFO] [stderr]    Compiling bytes v1.11.1
[INFO] [stderr]    Compiling futures-core v0.3.32
[INFO] [stderr]    Compiling futures-sink v0.3.32
[INFO] [stderr]    Compiling constant_time_eq v0.4.2
[INFO] [stderr]    Compiling writeable v0.6.2
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling litemap v0.8.1
[INFO] [stderr]    Compiling slab v0.4.12
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling icu_normalizer_data v2.1.1
[INFO] [stderr]    Compiling http v1.4.0
[INFO] [stderr]    Compiling icu_properties_data v2.1.2
[INFO] [stderr]    Compiling zmij v1.0.21
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling openssl v0.10.75
[INFO] [stderr]    Compiling blake3 v1.8.3
[INFO] [stderr]    Compiling openssl-sys v0.9.111
[INFO] [stderr]    Compiling mio v1.1.1
[INFO] [stderr]    Compiling socket2 v0.6.2
[INFO] [stderr]    Compiling percent-encoding v2.3.2
[INFO] [stderr]    Compiling futures-task v0.3.32
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling tokio v1.49.0
[INFO] [stderr]    Compiling futures-io v0.3.32
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]    Compiling http-body v1.0.1
[INFO] [stderr]    Compiling zeroize v1.8.2
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling native-tls v0.2.18
[INFO] [stderr]    Compiling futures-channel v0.3.32
[INFO] [stderr]    Compiling semver v1.0.27
[INFO] [stderr]    Compiling openssl-probe v0.2.1
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling form_urlencoded v1.2.2
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling sync_wrapper v1.0.2
[INFO] [stderr]    Compiling simd-adler32 v0.3.8
[INFO] [stderr]    Compiling ipnet v2.12.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling curve25519-dalek v4.1.3
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling http-body-util v0.1.3
[INFO] [stderr]    Compiling ryu v1.0.23
[INFO] [stderr]    Compiling iri-string v0.7.10
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling rustls-pki-types v1.14.0
[INFO] [stderr]    Compiling encoding_rs v0.8.35
[INFO] [stderr]    Compiling signature v2.2.0
[INFO] [stderr]    Compiling zip v2.4.2
[INFO] [stderr]    Compiling bumpalo v3.20.2
[INFO] [stderr]    Compiling ed25519 v2.2.3
[INFO] [stderr]    Compiling flate2 v1.1.9
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling zopfli v0.8.3
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling clap_lex v1.0.0
[INFO] [stderr]    Compiling tokio-util v0.7.18
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling anstream v0.6.21
[INFO] [stderr]    Compiling clap_builder v4.5.60
[INFO] [stderr]    Compiling zerocopy-derive v0.8.40
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[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 h2 v0.4.13
[INFO] [stderr]    Compiling tower-http v0.6.8
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling zerofrom v0.1.6
[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 curve25519-dalek-derive v0.1.1
[INFO] [stderr]    Compiling icu_locale_core v2.1.1
[INFO] [stderr]    Compiling icu_collections v2.1.1
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling icu_provider v2.1.1
[INFO] [stderr]    Compiling icu_properties v2.1.2
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling icu_normalizer v2.1.1
[INFO] [stderr]    Compiling hyper v1.8.1
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling ed25519-dalek v2.2.0
[INFO] [stderr]    Compiling idna_adapter v1.2.1
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling tokio-native-tls v0.3.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling kernel-types v0.1.0 (/opt/rustwide/workdir/kernel-types)
[INFO] [stderr]    Compiling clap v4.5.60
[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 hyper-tls v0.6.0
[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 reqwest v0.12.28
[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] [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-web v0.1.0 (/opt/rustwide/workdir/kernel-web)
[INFO] [stderr]    Compiling kernel-spaceengine v0.1.0 (/opt/rustwide/workdir/kernel-spaceengine)
[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<i64> = 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<i64> = 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<Expr> = 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] [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-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-lean v0.1.0 (/opt/rustwide/workdir/kernel-lean)
[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: 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]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 35.49s
[INFO] running `Command { std: "docker" "inspect" "408f074a33a334b4c5b2ad54b2437226580c2307167a222f671aca4c9436caec", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "408f074a33a334b4c5b2ad54b2437226580c2307167a222f671aca4c9436caec", kill_on_drop: false }`
[INFO] [stdout] 408f074a33a334b4c5b2ad54b2437226580c2307167a222f671aca4c9436caec
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6d2c3ce4a3ba20b2d790258632646251f2ea1915eef8cca6cace38478f5573b4
[INFO] running `Command { std: "docker" "start" "-a" "6d2c3ce4a3ba20b2d790258632646251f2ea1915eef8cca6cace38478f5573b4", 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<i64> = 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<i64> = 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<Expr> = 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] [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-frc v0.1.0 (/opt/rustwide/workdir/kernel-frc)
[INFO] [stderr]    Compiling kernel-cap v0.1.0 (/opt/rustwide/workdir/kernel-cap)
[INFO] [stderr]    Compiling kernel-bench v0.1.0 (/opt/rustwide/workdir/kernel-bench)
[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] [stderr]    Compiling kernel-lean v0.1.0 (/opt/rustwide/workdir/kernel-lean)
[INFO] [stderr]    Compiling kernel-goldmaster v0.1.0 (/opt/rustwide/workdir/kernel-goldmaster)
[INFO] [stderr]    Compiling kernel-spaceengine v0.1.0 (/opt/rustwide/workdir/kernel-spaceengine)
[INFO] [stderr]    Compiling kernel-web v0.1.0 (/opt/rustwide/workdir/kernel-web)
[INFO] [stderr]    Compiling kernel-self v0.1.0 (/opt/rustwide/workdir/kernel-self)
[INFO] [stderr]    Compiling kernel-solver v0.1.0 (/opt/rustwide/workdir/kernel-solver)
[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: 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: `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: 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-instruments v0.1.0 (/opt/rustwide/workdir/kernel-instruments)
[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-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] [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<i64> = 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<i64> = 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<Expr> = 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]     Finished `test` profile [unoptimized + debuginfo] target(s) in 6.00s
[INFO] running `Command { std: "docker" "inspect" "6d2c3ce4a3ba20b2d790258632646251f2ea1915eef8cca6cace38478f5573b4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6d2c3ce4a3ba20b2d790258632646251f2ea1915eef8cca6cace38478f5573b4", kill_on_drop: false }`
[INFO] [stdout] 6d2c3ce4a3ba20b2d790258632646251f2ea1915eef8cca6cace38478f5573b4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 0cf37c4a68ec4774a5ef0945b7e2ea547ea08c422b48b596db13c66e72cc21ac
[INFO] running `Command { std: "docker" "start" "-a" "0cf37c4a68ec4774a5ef0945b7e2ea547ea08c422b48b596db13c66e72cc21ac", 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<i64> = 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<i64> = 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<Expr> = 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: 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: `kernel-types` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.14s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/agi_proof-f2364b1ebaf43141)
[INFO] [stdout] 
[INFO] [stdout] running 185 tests
[INFO] [stdout] test compiler_ext::tests::compile_rejects_unknown_domain ... 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 compiler_ext::tests::compile_synth_physics_task ... ok
[INFO] [stdout] test domain_judge::tests::causal_intervention_passes ... ok
[INFO] [stdout] test domain_judge::tests::custom_math_passes_with_base_axioms ... ok
[INFO] [stdout] test domain_judge::tests::materials_design_passes ... ok
[INFO] [stdout] test domain_judge::tests::model_discovery_passes ... ok
[INFO] [stdout] test domain_judge::tests::physical_reasoning_passes ... ok
[INFO] [stdout] test domain_judge::tests::algo_discovery_passes_greedy_min_beats_naive ... ok
[INFO] [stdout] test domain_judge::tests::planning_passes ... ok
[INFO] [stdout] test domain_judge::tests::social_reasoning_passes ... ok
[INFO] [stdout] test eval_specs::tests::all_domains_have_phases ... ok
[INFO] [stdout] test eval_specs::tests::domain_kind_serpi_deterministic ... ok
[INFO] [stdout] test eval_specs::tests::domain_kind_different_tags ... ok
[INFO] [stdout] test eval_specs::tests::b_star_derivation ... ok
[INFO] [stdout] test eval_specs::tests::domain_spec_serpi_deterministic ... ok
[INFO] [stdout] test phase2::alien_chem::tests::chem_judge_mass_conserved_passes ... ok
[INFO] [stdout] test phase2::alien_chem::tests::chem_judge_mass_not_conserved_fails ... ok
[INFO] [stdout] test phase2::alien_chem::tests::chem_judge_negative_concentration_fails ... ok
[INFO] [stdout] test phase2::alien_chem::tests::chem_judge_no_target_fails ... ok
[INFO] [stdout] test phase2::alien_chem::tests::chem_reaction_stoichiometry_integer ... ok
[INFO] [stdout] test phase2::alien_chem::tests::chem_judge_synthesis_passes ... ok
[INFO] [stdout] test phase2::alien_chem::tests::chem_world_deterministic ... ok
[INFO] [stdout] test phase2::custom_math::tests::math_generated_world_has_base_axiom ... ok
[INFO] [stdout] test phase2::custom_math::tests::math_proof_checker_valid_passes ... ok
[INFO] [stdout] test phase2::custom_math::tests::math_world_deterministic ... ok
[INFO] [stdout] test phase2::custom_math::tests::math_generated_world_solvable ... ok
[INFO] [stdout] test domain_judge::tests::synth_physics_passes ... ok
[INFO] [stdout] test phase2::custom_math::tests::math_proof_checker_invalid_fails ... ok
[INFO] [stdout] test phase2::synth_physics::tests::physics_energy_conservation_integer ... ok
[INFO] [stdout] test phase2::synth_physics::tests::physics_world_deterministic ... ok
[INFO] [stdout] test phase2::world_gen::tests::commit_reveal_verifies ... ok
[INFO] [stdout] test phase2::world_gen::tests::different_episodes_different_worlds ... ok
[INFO] [stdout] test domain_judge::tests::all_domains_dispatch_without_panic ... ok
[INFO] [stdout] test phase2::world_gen::tests::commit_reveal_fails_tampered ... ok
[INFO] [stdout] test phase3::bio_med::tests::bio_med_assay_respects_budget ... ok
[INFO] [stdout] test phase2::world_gen::tests::world_gen_deterministic ... ok
[INFO] [stdout] test phase3::bio_med::tests::bio_med_grn_propagation ... ok
[INFO] [stdout] test phase3::bio_med::tests::bio_med_intervention_effect ... ok
[INFO] [stdout] test phase3::bio_med::tests::bio_med_judge_correct_mechanism_passes ... ok
[INFO] [stdout] test phase2::synth_physics::tests::physics_judge_stable_orbit_passes ... ok
[INFO] [stdout] test phase2::synth_physics::tests::physics_judge_unstable_orbit_fails ... ok
[INFO] [stdout] test phase3::bio_med::tests::bio_med_knockout_reduces_expression ... ok
[INFO] [stdout] test phase3::bio_med::tests::bio_med_judge_wrong_mechanism_fails ... ok
[INFO] [stdout] test phase3::bio_med::tests::bio_med_judge_insufficient_intervention_fails ... ok
[INFO] [stdout] test phase3::bio_med::tests::bio_med_noise_is_deterministic ... ok
[INFO] [stdout] test phase3::company::tests::company_demand_interpolation ... ok
[INFO] [stdout] test phase3::company::tests::company_judge_profitable_passes ... ok
[INFO] [stdout] test phase3::bio_med::tests::bio_med_world_deterministic ... ok
[INFO] [stdout] test phase3::company::tests::company_shock_supplier_failure ... ok
[INFO] [stdout] test phase3::company::tests::company_step_revenue_correct ... ok
[INFO] [stdout] test phase3::company::tests::company_judge_unprofitable_fails ... ok
[INFO] [stdout] test phase3::company::tests::company_multi_day_simulation ... ok
[INFO] [stdout] test phase3::company::tests::company_world_deterministic ... ok
[INFO] [stdout] test phase3::plan_tracker::tests::plan_action_alignment_full ... ok
[INFO] [stdout] test phase3::plan_tracker::tests::plan_dependency_violation_detected ... ok
[INFO] [stdout] test phase3::plan_tracker::tests::plan_action_alignment_partial ... ok
[INFO] [stdout] test phase3::plan_tracker::tests::plan_empty_action_log_alignment_zero ... ok
[INFO] [stdout] test phase3::plan_tracker::tests::plan_no_predictions_accuracy_zero ... ok
[INFO] [stdout] test phase3::plan_tracker::tests::plan_full_judge_integration ... ok
[INFO] [stdout] test phase3::plan_tracker::tests::plan_prediction_accuracy_computed ... ok
[INFO] [stdout] test phase3::plan_tracker::tests::plan_revision_quality_justified ... ok
[INFO] [stdout] test phase3::plan_tracker::tests::plan_revision_quality_prediction_improvement ... ok
[INFO] [stdout] test phase3::plan_tracker::tests::plan_unresolved_predictions_ignored ... ok
[INFO] [stdout] test phase3::plan_tracker::tests::plan_tracker_milestone_ordering ... ok
[INFO] [stdout] test phase3::plan_tracker::tests::plan_revision_quality_unjustified ... ok
[INFO] [stdout] test phase4::transfer::tests::judge_transfer_fail_insufficient_gain ... ok
[INFO] [stdout] test phase4::transfer::tests::different_seed_different_pairs ... ok
[INFO] [stdout] test phase4::transfer::tests::order_effect_detected ... ok
[INFO] [stdout] test phase4::transfer::tests::judge_transfer_pass_on_sufficient_gain ... ok
[INFO] [stdout] test phase4::transfer::tests::judge_transfer_fail_no_order_effect ... ok
[INFO] [stdout] test phase4::transfer::tests::transfer_gain_computed_correctly ... ok
[INFO] [stdout] test phase4::transfer::tests::transfer_gain_negative_fails ... 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_seeds_differ_per_pair ... ok
[INFO] [stdout] test phase4::transfer::tests::transfer_pair_deterministic ... ok
[INFO] [stdout] test phase5::acquisition::tests::acquisition_cost_computed_correctly ... ok
[INFO] [stdout] test phase5::acquisition::tests::acquisition_channel_costs ... 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_multiple_hallucinations ... ok
[INFO] [stdout] test phase5::acquisition::tests::acquisition_redundancy_detected ... ok
[INFO] [stdout] test phase5::acquisition::tests::acquisition_log_deterministic ... 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::judge_acquisition_fail_no_learning ... 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::calibration::tests::calibration_empty_tracker ... ok
[INFO] [stdout] test phase5::calibration::tests::calibration_multiple_bins ... ok
[INFO] [stdout] test phase5::calibration::tests::calibration_overconfident_detected ... ok
[INFO] [stdout] test phase5::calibration::tests::calibration_negative_confidence_clamped ... ok
[INFO] [stdout] test phase5::calibration::tests::calibration_perfect_score ... ok
[INFO] [stdout] test phase5::calibration::tests::calibration_single_bin ... ok
[INFO] [stdout] test phase5::calibration::tests::calibration_tracker_record_and_len ... 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::causal_dag_deterministic ... ok
[INFO] [stdout] test phase6::causal_dag::tests::do_intervention_propagates_correctly ... 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::observe_vs_intervention_confounder_difference ... ok
[INFO] [stdout] test phase6::causal_dag::tests::judge_intervention_fail_on_wrong ... 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_recovers_noise ... ok
[INFO] [stdout] test phase6::counterfactual::tests::counterfactual_deterministic ... ok
[INFO] [stdout] test phase6::causal_dag::tests::generated_edges_respect_dag_property ... ok
[INFO] [stdout] test phase6::counterfactual::tests::counterfactual_with_confounders ... ok
[INFO] [stdout] test phase6::causal_dag::tests::generated_num_variables_in_range ... ok
[INFO] [stdout] test phase6::counterfactual::tests::judge_counterfactual_fail_on_wrong ... ok
[INFO] [stdout] test phase7::algo_discovery::tests::greedy_select_produces_spanning_tree ... ok
[INFO] [stdout] test phase6::counterfactual::tests::judge_counterfactual_pass_on_correct ... ok
[INFO] [stdout] test phase7::algo_discovery::tests::judge_algo_fails_when_worse ... ok
[INFO] [stdout] test phase7::algo_discovery::tests::mst_weight_is_correct ... ok
[INFO] [stdout] test phase7::algo_discovery::tests::greedy_min_beats_naive_greedy ... ok
[INFO] [stdout] test phase7::materials::tests::judge_materials_in_range_passes ... ok
[INFO] [stdout] test phase7::materials::tests::evaluate_material_nearest_neighbor ... ok
[INFO] [stdout] test phase7::algo_discovery::tests::judge_algo_outperforms_baselines ... ok
[INFO] [stdout] test phase7::materials::tests::judge_materials_out_of_range_fails ... ok
[INFO] [stdout] test phase7::algo_discovery::tests::run_naive_greedy_produces_valid_score ... ok
[INFO] [stdout] test phase6::causal_dag::tests::generated_coefficients_span_full_range ... ok
[INFO] [stdout] test phase7::model_discovery::tests::discovery_world_deterministic ... ok
[INFO] [stdout] test phase7::algo_discovery::tests::algo_world_deterministic ... ok
[INFO] [stdout] test phase7::materials::tests::materials_world_deterministic ... ok
[INFO] [stdout] test phase7::model_discovery::tests::judge_discovery_fail_on_no_improvement ... ok
[INFO] [stdout] test phase7::model_discovery::tests::symbolic_equation_evaluates_correctly ... ok
[INFO] [stdout] test phase7::model_discovery::tests::judge_discovery_pass_on_improvement ... ok
[INFO] [stdout] test phase8::physics_common::tests::generate_physics_task_deterministic ... ok
[INFO] [stdout] test phase8::physics_common::tests::generated_physics_task_solvable ... ok
[INFO] [stdout] test phase8::physics_common::tests::generate_physics_task_different_episodes ... ok
[INFO] [stdout] test phase8::physics_common::tests::physics_containment_hole_leaks ... ok
[INFO] [stdout] test phase8::physics_common::tests::physics_buoyancy_floats ... ok
[INFO] [stdout] test phase8::physics_common::tests::physics_collision_momentum_conserved ... ok
[INFO] [stdout] test phase8::physics_common::tests::physics_containment_sealed_holds ... 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::physics_common::tests::physics_support_chain_collapses ... ok
[INFO] [stdout] test phase8::planning::tests::planning_invalid_action_fails ... ok
[INFO] [stdout] test phase8::planning::tests::planning_valid_sequence_passes ... ok
[INFO] [stdout] test phase8::social::tests::generate_social_task_deterministic ... ok
[INFO] [stdout] test phase8::social::tests::social_false_belief_absent_observer ... ok
[INFO] [stdout] test phase8::planning::tests::solve_planning_finds_shortest_path ... ok
[INFO] [stdout] test domain_judge::tests::synth_physics_deterministic ... ok
[INFO] [stdout] test phase8::social::tests::social_false_belief_present_observer ... ok
[INFO] [stdout] test phase8::social::tests::social_reliability_truthful_preferred ... ok
[INFO] [stdout] test phase_criteria::tests::phase0_fail_different_hash ... ok
[INFO] [stdout] test phase8::social::tests::solve_social_always_correct ... ok
[INFO] [stdout] test phase_criteria::tests::phase2_fails_on_false_claims ... ok
[INFO] [stdout] test phase_criteria::tests::phase0_pass_identical_hash ... ok
[INFO] [stdout] test phase_criteria::tests::phase2_fails_below_80pct ... ok
[INFO] [stdout] test phase_criteria::tests::phase8_requires_90pct ... ok
[INFO] [stdout] test phase_criteria::tests::rational_gte_works ... ok
[INFO] [stdout] test phase8::planning::tests::generated_planning_world_solvable ... ok
[INFO] [stdout] test phase_criteria::tests::phase2_requires_80pct_in_each_subdomain ... ok
[INFO] [stdout] test phase_criteria::tests::subdomain_pass_rate_correct ... ok
[INFO] [stdout] test phase_criteria::tests::phase8_fails_below_90pct ... ok
[INFO] [stdout] test phase_criteria::tests::scoreboard_line_format ... ok
[INFO] [stdout] test release::tests::release_manifest_serpi_deterministic ... 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_replay_verified ... 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_deterministic ... ok
[INFO] [stdout] test runner::tests::runner_solve_agi_domain ... ok
[INFO] [stdout] test release::tests::release_signature_verifies ... ok
[INFO] [stdout] test release::tests::release_suite_merkle_root_matches ... ok
[INFO] [stdout] test release::tests::release_verify_rejects_wrong_files ... ok
[INFO] [stdout] test release::tests::release_signature_rejects_tampered ... ok
[INFO] [stdout] test runner::tests::runner_replay_deterministic_trace ... ok
[INFO] [stdout] test suite_gen::tests::suite_commitment_is_hash_of_seed ... ok
[INFO] [stdout] test suite_gen::tests::suite_merkle_root_nonzero ... ok
[INFO] [stdout] test runner::tests::runner_task_result_serpi_deterministic ... ok
[INFO] [stdout] test suite_gen::tests::suite_manifest_builds ... ok
[INFO] [stdout] test suite_gen::tests::suite_all_tasks_parse_as_json ... ok
[INFO] [stdout] test suite_gen::tests::suite_deterministic ... ok
[INFO] [stdout] test suite_gen::tests::suite_total_task_count ... ok
[INFO] [stdout] test suite_gen::tests::suite_phase_counts_correct ... ok
[INFO] [stdout] test suite_gen::tests::suite_different_seed_different_suite ... ok
[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.14s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kernel_bench-c579dc0681541e74)
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test caches::tests::monotone_cache_append_only ... ok
[INFO] [stdout] test caches::tests::monotone_cache_deterministic ... ok
[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 dominate::tests::score_dominates_by_false_claims ... ok
[INFO] [stdout] test dominate::tests::score_dominates_by_success ... ok
[INFO] [stdout] test improvement::tests::improvement_accepted ... ok
[INFO] [stdout] test improvement::tests::improvement_rejected_false_claims ... ok
[INFO] [stdout] test judge::tests::judge_agent_empty_is_fail ... ok
[INFO] [stdout] test improvement::tests::improvement_rejected_regression ... ok
[INFO] [stdout] test judge::tests::judge_agent_false_claim ... ok
[INFO] [stdout] test suites::tests::task_kind_serpi_differs ... ok
[INFO] [stdout] test suites::tests::mbpp_suite_builds ... ok
[INFO] [stdout] test suites::tests::humaneval_suite_builds ... ok
[INFO] [stdout] test suites::tests::suite_hash_deterministic ... ok
[INFO] [stdout] test harness::tests::kernel_solve_returns_output ... ok
[INFO] [stdout] test judge::tests::judge_kernel_unique_passes ... ok
[INFO] [stdout] test harness::tests::kernel_replay_matches ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 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/deps/kernel_cap-e468603f1aa6793f)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test jm::tests::wrong_scope_denied ... ok
[INFO] [stdout] test jm::tests::valid_capability_accepted ... ok
[INFO] [stdout] test jm::tests::replay_denied ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/kernel-8a2261b22838e357)
[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/deps/kernel_contracts-40e85c5a7c94bb9e)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test compiler::tests::compile_dominate_contract ... ok
[INFO] [stdout] test compiler::tests::compile_simple_bool_cnf ... 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::space_engine_serpi_deterministic ... ok
[INFO] [stdout] test compiler::tests::space_engine_verdict_enumerates ... 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/deps/kernel_frc-0126d88f96107370)
[INFO] [stdout] 
[INFO] [stdout] running 657 tests
[INFO] [stdout] test asm::tests::conditional_jump_jz ... ok
[INFO] [stdout] test asm::tests::conditional_no_jump ... ok
[INFO] [stdout] test asm::tests::label_resolution_backward_jump ... ok
[INFO] [stdout] test asm::tests::len_excludes_labels ... ok
[INFO] [stdout] test asm::tests::label_resolution_forward_jump ... ok
[INFO] [stdout] test asm::tests::simple_loop_program ... ok
[INFO] [stdout] test asm::tests::undefined_label_error ... ok
[INFO] [stdout] test class_c::tests::coverage_rate_100_percent_solvable ... ok
[INFO] [stdout] test class_c::tests::class_c_covers_all_types ... ok
[INFO] [stdout] test class_c::tests::gap_shrink_rate_positive ... ok
[INFO] [stdout] test contract_frc::tests::arith_find_unique_frc ... ok
[INFO] [stdout] test contract_frc::tests::arith_find_unsat_frc ... ok
[INFO] [stdout] test contract_frc::tests::formal_proof_frontier ... ok
[INFO] [stdout] test contract_frc::tests::bool_cnf_unsat_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::frc_contains_contract_qid ... ok
[INFO] [stdout] test contract_frc::tests::table_sat_frc ... ok
[INFO] [stdout] test contract_frc::tests::frc_hash_deterministic ... ok
[INFO] [stdout] test contract_frc::tests::cross_verify_with_real_solver ... ok
[INFO] [stdout] test frc_search::tests::gap_ledger_tracks_failures ... ok
[INFO] [stdout] test contract_frc::tests::table_unsat_frc ... ok
[INFO] [stdout] test frc_search::tests::metrics_computed ... ok
[INFO] [stdout] test frc_search::tests::search_returns_invalid_for_unbounded ... ok
[INFO] [stdout] test frc_search::tests::motif_reuse ... ok
[INFO] [stdout] test frc_types::tests::class_c_hash_deterministic ... ok
[INFO] [stdout] test frc_types::tests::expected_output_serpi_differ ... ok
[INFO] [stdout] test frc_types::tests::frc_receipt_deterministic ... ok
[INFO] [stdout] test frc_search::tests::search_finds_frc_for_bounded_universal ... ok
[INFO] [stdout] test frc_types::tests::frc_hash_differs_by_statement ... ok
[INFO] [stdout] test frc_types::tests::frontier_witness_deterministic ... ok
[INFO] [stdout] test frc_types::tests::gap_serpi_deterministic ... ok
[INFO] [stdout] test frc_types::tests::invariant_kind_serpi_differ ... ok
[INFO] [stdout] test frc_types::tests::frc_verify_internal ... ok
[INFO] [stdout] test frc_types::tests::frc_serpi_deterministic ... ok
[INFO] [stdout] test frc_search::tests::search_finds_frc_for_finite_existential ... ok
[INFO] [stdout] test frc_types::tests::irc_frontier_deterministic ... ok
[INFO] [stdout] test frc_types::tests::irc_complete_verify_internal ... ok
[INFO] [stdout] test frc_types::tests::kernel_manifest_deterministic ... ok
[INFO] [stdout] test frc_types::tests::irc_frontier_verify_internal ... ok
[INFO] [stdout] test frc_types::tests::missing_lemma_serpi_deterministic ... ok
[INFO] [stdout] test frc_types::tests::transition_system_deterministic ... ok
[INFO] [stdout] test gap_ledger::tests::empty_ledger ... ok
[INFO] [stdout] test frc_types::tests::opp_hash_deterministic ... ok
[INFO] [stdout] test frc_types::tests::schema_id_ordering ... ok
[INFO] [stdout] test gap_ledger::tests::ledger_hash_changes_on_new_gap ... ok
[INFO] [stdout] test gap_ledger::tests::pattern_counting ... ok
[INFO] [stdout] test gap_ledger::tests::minimal_missing_lemma_fewest_deps ... ok
[INFO] [stdout] test frc_types::tests::irc_hash_deterministic ... ok
[INFO] [stdout] test gap_ledger::tests::ledger_hash_deterministic ... ok
[INFO] [stdout] test gap_ledger::tests::record_and_retrieve ... ok
[INFO] [stdout] test gap_ledger::tests::resolve_gap ... ok
[INFO] [stdout] test invsyn::ast::tests::expr_serialize_deterministic ... ok
[INFO] [stdout] test invsyn::ast::tests::expr_size ... ok
[INFO] [stdout] test invsyn::eval::tests::eval_arithmetic ... ok
[INFO] [stdout] test invsyn::ast::tests::layer_classification ... ok
[INFO] [stdout] test invsyn::eval::tests::eval_comparison ... ok
[INFO] [stdout] test invsyn::ast::tests::expr_to_lean ... ok
[INFO] [stdout] test invsyn::eval::tests::eval_const ... ok
[INFO] [stdout] test invsyn::eval::tests::eval_divisor_sum ... ok
[INFO] [stdout] test frc_search::tests::search_deterministic ... ok
[INFO] [stdout] test invsyn::eval::tests::eval_exists_bounded ... ok
[INFO] [stdout] test invsyn::eval::tests::eval_exists_bounded_variable_hi ... ok
[INFO] [stdout] test invsyn::eval::tests::eval_logic ... ok
[INFO] [stdout] test invsyn::eval::tests::eval_moebius ... 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::eval::tests::to_prop_basic ... ok
[INFO] [stdout] test invsyn::layers::lia::tests::lia_step_conjunction ... 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_fragment_check ... ok
[INFO] [stdout] test invsyn::layers::lia::tests::lia_step_lower_bound ... ok
[INFO] [stdout] test invsyn::layers::lia::tests::lia_step_upper_bound_fails ... 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::proof_gen::tests::generate_frontier_file ... ok
[INFO] [stdout] test invsyn::normalize::tests::normalize_all_problems ... ok
[INFO] [stdout] test invsyn::proof_gen::tests::generate_zfc_proof ... ok
[INFO] [stdout] test invsyn::search::tests::search_bsd_ec_structural ... ok
[INFO] [stdout] test invsyn::search::tests::search_generates_structural_candidates ... ok
[INFO] [stdout] test invsyn::search::tests::search_deterministic ... ok
[INFO] [stdout] test invsyn::search::tests::search_mersenne_structural ... ok
[INFO] [stdout] test invsyn::structural::tests::algebraic_ground_false_rejected ... ok
[INFO] [stdout] test invsyn::search::tests::search_zfc ... ok
[INFO] [stdout] test invsyn::structural::tests::interval_cert_empty_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_zfc_structural ... ok
[INFO] [stdout] test invsyn::structural::tests::interval_cert_with_eval_step ... ok
[INFO] [stdout] test invsyn::structural::tests::link_const_true_property ... ok
[INFO] [stdout] test invsyn::structural::tests::link_conjunction_projection ... ok
[INFO] [stdout] test invsyn::structural::tests::link_identity ... ok
[INFO] [stdout] test invsyn::structural::tests::link_range_implication ... ok
[INFO] [stdout] test invsyn::structural::tests::sieve_cert_ground_rejected ... ok
[INFO] [stdout] test invsyn::structural::tests::monotone_chain_empty_rejected ... ok
[INFO] [stdout] test invsyn::structural::tests::sieve_cert_ground_verified ... ok
[INFO] [stdout] test invsyn::structural::tests::step_collatz_open ... ok
[INFO] [stdout] test invsyn::structural::tests::step_const_verified ... ok
[INFO] [stdout] test invsyn::structural::tests::step_flt_verified ... ok
[INFO] [stdout] test invsyn::structural::tests::step_conjunction_verified ... ok
[INFO] [stdout] test invsyn::structural::tests::step_four_squares_verified ... ok
[INFO] [stdout] test invsyn::structural::tests::step_interval_bound_ground ... ok
[INFO] [stdout] test invsyn::structural::tests::step_modular_fails ... ok
[INFO] [stdout] test invsyn::structural::tests::step_lower_bound_verified ... ok
[INFO] [stdout] test invsyn::structural::tests::step_mertens_disproved ... ok
[INFO] [stdout] test invsyn::structural::tests::step_modular_verified ... ok
[INFO] [stdout] test invsyn::structural::tests::step_native_primitive_fails ... ok
[INFO] [stdout] test invsyn::structural::tests::substitute_other_var ... ok
[INFO] [stdout] test invsyn::structural::tests::step_upper_bound_fails ... ok
[INFO] [stdout] test invsyn::structural::tests::substitute_in_add ... ok
[INFO] [stdout] test invsyn::structural::tests::substitute_step_shift ... ok
[INFO] [stdout] test invsyn::structural::tests::substitute_var ... ok
[INFO] [stdout] test invsyn::structural::tests::sum_cert_ground_rejected ... 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::anti_unify_structured_simple_le ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::anti_unify_structured_goldbach ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::anti_unify_all_open_problems ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::bound_cert_schema_goldbach ... 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_goldbach ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::can_prove_via_irc_andw ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::bounded_vacuous_lean_proof_generation ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::can_prove_via_irc_simple ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::detect_step_witness_andw ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::bound_certs_all_problems ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::diagnose_goldbach_traces ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::eval_with_trace_basic ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::emit_certificates_le_zero ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::density_unbounded_pipeline_goldbach ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::fn_eval_bound_goldbach ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::eval_with_trace_matches_eval ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::goldbach_repcount_anti_unify ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::goldbach_complete_proof_generation ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::crt_cover_goldbach_48_primes ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::goldbach_repcount_even_anti_unify ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::interpret_trace_as_expr_goldbach ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::goldbach_trace_structure ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::interpret_trace_as_expr_simple ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::lean_proof_generation ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::interpret_trace_preserves_across_n ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::obs_bound_dominance ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::obs_generates_lean_proof ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::obs_loop_goldbach ... ok
[INFO] [stdout] test invsyn::search::tests::frontier_problems_remain_frontier ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::obs_complete_goldbach_pipeline ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::generate_all_proofs_succeeds ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::obs_bound_goldbach ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::dump_all_generated_proofs ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::obs_prime_wheel_validates_primes ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::pipeline_auto_selects_irc ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::pipeline_auto_selects_bounded_vacuous ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::pipeline_collatz_bounded ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::pipeline_le_zero ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::pipeline_goldbach_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::selfeval_proof_goldbach ... 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::substitute_expr_basic ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::trace_corpus_le_zero ... 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::validate_schema_le_zero ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::trace_split_goldbach ... ok
[INFO] [stdout] test irc::invariant_grammar::tests::proved_theorems_get_specialized ... ok
[INFO] [stdout] test irc::invariant_grammar::tests::schema_order_is_canonical ... ok
[INFO] [stdout] test irc::invariant_grammar::tests::all_problems_produce_candidates ... 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::obligation_solver::tests::frontier_problems_step_gap ... ok
[INFO] [stdout] test invsyn::search::tests::collatz_is_frontier_structurally ... ok
[INFO] [stdout] test irc::obligation_solver::tests::known_proof_problems_step_discharged ... ok
[INFO] [stdout] test irc::obligation_solver::tests::prefix_base_trivial ... ok
[INFO] [stdout] test irc::obligation_solver::tests::prefix_link_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 irc::problem_invariants::tests::all_invariants_are_specialized ... ok
[INFO] [stdout] test irc::problem_invariants::tests::all_verified_problems_have_invariants ... ok
[INFO] [stdout] test irc::problem_invariants::tests::frontier_problems_have_no_invariants ... ok
[INFO] [stdout] test irc::problem_invariants::tests::invariant_hashes_deterministic ... ok
[INFO] [stdout] test invsyn::search::tests::goldbach_is_frontier_structurally ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::obs_prime_density_certificate_complete ... ok
[INFO] [stdout] test irc::tests::bertrand_proved ... ok
[INFO] [stdout] test irc::tests::bsd_ec_proved_structural ... ok
[INFO] [stdout] test invsyn::structural_cert::tests::obs_prime_goldbach_density_leaf ... ok
[INFO] [stdout] test irc::tests::all_proved_problems_prove ... ok
[INFO] [stdout] test irc::tests::flt_proved ... ok
[INFO] [stdout] test irc::obligation_solver::tests::goldbach_step_is_frontier ... ok
[INFO] [stdout] test irc::tests::lagrange_proved ... ok
[INFO] [stdout] test irc::tests::mersenne_proved_structural ... ok
[INFO] [stdout] test irc::tests::weak_goldbach_proved ... 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 millennium_frc::tests::bsd_ec_frc ... 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 millennium_frc::tests::lagrange_frc ... ok
[INFO] [stdout] test millennium_frc::tests::legendre_frc ... ok
[INFO] [stdout] test millennium_frc::tests::mertens_frc ... 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::weak_goldbach_frc ... ok
[INFO] [stdout] test millennium_frc::tests::zfc_frc ... ok
[INFO] [stdout] test motif_library::tests::add_and_retrieve ... ok
[INFO] [stdout] test motif_library::tests::empty_library ... ok
[INFO] [stdout] test motif_library::tests::library_hash_changes ... 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_1000 ... ok
[INFO] [stdout] test open_problems::tests::bertrand_small ... ok
[INFO] [stdout] test open_problems::tests::bsd_ec_count_curve1 ... ok
[INFO] [stdout] test open_problems::tests::bsd_ec_count_curve2 ... ok
[INFO] [stdout] test open_problems::tests::bsd_ec_count_p7 ... ok
[INFO] [stdout] test open_problems::tests::bsd_ec_count_p97 ... ok
[INFO] [stdout] test irc::tests::irc_search_deterministic ... ok
[INFO] [stdout] test open_problems::tests::collatz_small ... ok
[INFO] [stdout] test open_problems::tests::collatz_5000 ... ok
[INFO] [stdout] test open_problems::tests::erdos_straus_small ... 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::goldbach_1000 ... ok
[INFO] [stdout] test open_problems::tests::goldbach_small ... ok
[INFO] [stdout] test open_problems::tests::flt_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 open_problems::tests::mertens_1000 ... ok
[INFO] [stdout] test open_problems::tests::mertens_small ... ok
[INFO] [stdout] test open_problems::tests::erdos_straus_1000 ... 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 open_problems::tests::lagrange_four_squares_500 ... ok
[INFO] [stdout] test proof_enum::accelerator::tests::accelerator_proves_zfc ... ok
[INFO] [stdout] test proof_enum::accelerator::tests::accelerator_proves_known ... 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::tests::collatz_frontier ... ok
[INFO] [stdout] test proof_enum::decide::tests::decide_all_known_are_true ... ok
[INFO] [stdout] test open_problems::tests::flt_7_40 ... 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 open_problems::tests::odd_perfect_5000 ... ok
[INFO] [stdout] test irc::tests::goldbach_frontier ... 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 proof_enum::decide::tests::decide_never_returns_frontier ... 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 proof_enum::decide::tests::decide_open_is_computing ... ok
[INFO] [stdout] test proof_enum::engine::tests::ledger_records_operations ... ok
[INFO] [stdout] test proof_enum::engine::tests::proof_result_problem_id ... ok
[INFO] [stdout] test proof_enum::engine::tests::proof_result_status_str ... ok
[INFO] [stdout] test proof_enum::decide::tests::decide_all_7_decided ... ok
[INFO] [stdout] test proof_enum::decide::tests::decide_all_returns_20 ... 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 irc::tests::all_frontier_problems_frontier ... 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 proof_enum::engine::tests::testing_engine_frontier_for_open ... ok
[INFO] [stdout] test proof_enum::accelerator::tests::accelerator_returns_none_for_open ... ok
[INFO] [stdout] test proof_enum::generator::tests::g_awareness_summary ... ok
[INFO] [stdout] test proof_enum::engine::tests::solve_all_has_13_frontier ... ok
[INFO] [stdout] test proof_enum::engine::tests::solve_all_has_7_proved ... 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::engine::tests::solve_all_mines_all_proved ... 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::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::engine::tests::solve_all_returns_20 ... 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 ... ok
[INFO] [stdout] test proof_enum::generator::tests::g_all_no_frontier ... ok
[INFO] [stdout] test proof_enum::generator::tests::g_all_proves_7 ... ok
[INFO] [stdout] test proof_enum::projector::tests::project_known_theorem ... ok
[INFO] [stdout] test proof_enum::generator::tests::g_complete_evidence ... 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::projector::tests::project_open_conjecture ... ok
[INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_normalize_all_proves_7 ... ok
[INFO] [stdout] test proof_enum::projector::tests::complete_evidence ... ok
[INFO] [stdout] test proof_enum::projector::tests::project_all_no_frontier ... ok
[INFO] [stdout] test proof_enum::pi_normalizer::tests::pi_normalize_all_returns_20 ... ok
[INFO] [stdout] test proof_enum::projector::tests::project_all_computing_for_open ... 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.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/integration_tests.rs (/opt/rustwide/target/debug/deps/integration_tests-3b439d1702703142)
[INFO] [stdout] 
[INFO] [stdout] running 29 tests
[INFO] [stdout] test bool_cnf_forced_end_to_end ... ok
[INFO] [stdout] test bool_cnf_sat_end_to_end ... ok
[INFO] [stdout] test bool_cnf_unsat_end_to_end ... ok
[INFO] [stdout] test arith_find_unique_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 contract_qid_in_frc ... ok
[INFO] [stdout] test coverage_rate_100_for_solvable ... ok
[INFO] [stdout] test formal_proof_invalid_end_to_end ... ok
[INFO] [stdout] test frc_deterministic ... ok
[INFO] [stdout] test b_star_sufficient_all_goldmaster ... ok
[INFO] [stdout] test gap_closure_produces_motif ... ok
[INFO] [stdout] test erdos_straus_frc_end_to_end ... ok
[INFO] [stdout] test legendre_frc_end_to_end ... ok
[INFO] [stdout] test mersenne_frc_end_to_end ... ok
[INFO] [stdout] test mertens_frc_end_to_end ... ok
[INFO] [stdout] test cross_verify_all_goldmaster_contracts ... ok
[INFO] [stdout] test bsd_ec_count_frc_end_to_end ... ok
[INFO] [stdout] test table_sat_end_to_end ... 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 weak_goldbach_frc_end_to_end ... ok
[INFO] [stdout] test all_finite_fragments_deterministic ... ok
[INFO] [stdout] test lagrange_four_squares_frc_end_to_end ... ok
[INFO] [stdout] test goldbach_frc_end_to_end ... 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 10.16s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kernel_goldmaster-8e219b9a0a0a5524)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test dominance::tests::dominance_suite_builds ... ok
[INFO] [stdout] test dominance::tests::dominance_suite_hash_deterministic ... ok
[INFO] [stdout] test dominance::tests::dominance_suite_hash_differs_by_competitor ... ok
[INFO] [stdout] test expansion::tests::expansion_from_goldmaster ... ok
[INFO] [stdout] test expansion::tests::expansion_includes_base ... ok
[INFO] [stdout] test expansion::tests::expansion_hash_deterministic ... ok
[INFO] [stdout] test suite::tests::suite_v1_compiles ... ok
[INFO] [stdout] test build_hash::tests::build_hash_nonzero ... ok
[INFO] [stdout] test space_engine::tests::space_engine_suite_builds ... ok
[INFO] [stdout] test space_engine::tests::goldmaster_verifies ... ok
[INFO] [stdout] test build_hash::tests::build_hash_verifies ... ok
[INFO] [stdout] test space_engine::tests::pinned_hash_deterministic ... ok
[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.04s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kernel_instruments-f33dbe68e8a97f4f)
[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/deps/kernel_lean-6bbfad7459212aba)
[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 irc_result_gen::tests::generate_frontier_result ... ok
[INFO] [stdout] test irc_gen::tests::generate_proved_without_proofs ... ok
[INFO] [stdout] test irc_result_gen::tests::generate_proved_result ... ok
[INFO] [stdout] test manifest_gen::tests::merkle_root_deterministic ... ok
[INFO] [stdout] test manifest_gen::tests::manifest_generation ... ok
[INFO] [stdout] test manifest_gen::tests::merkle_root_empty ... ok
[INFO] [stdout] test manifest_gen::tests::merkle_root_single ... ok
[INFO] [stdout] test manifest_gen::tests::merkle_root_pair ... ok
[INFO] [stdout] test irc_gen::tests::no_axioms_in_any_output ... ok
[INFO] [stdout] test program_embed::tests::embed_all_instructions ... ok
[INFO] [stdout] test program_embed::tests::embed_bstar_value ... ok
[INFO] [stdout] test program_embed::tests::embed_negative_push ... ok
[INFO] [stdout] test program_embed::tests::embed_program_with_jumps ... ok
[INFO] [stdout] test program_embed::tests::embed_simple_program ... ok
[INFO] [stdout] test proof_eq_gen::tests::certified_numerics_proof ... ok
[INFO] [stdout] test proof_eq_gen::tests::bounded_counterexample_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] [stdout] test result_gen::tests::result_verified ... ok
[INFO] [stdout] test lean_runner::tests::sorry_check_no_files ... ok
[INFO] [stdout] test bundle_gen::tests::compute_bundle_hash_deterministic ... ok
[INFO] [stdout] test lean_runner::tests::sorry_check_found ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 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/deps/kernel_ledger-0763e7a167921e12)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test ledger::tests::empty_ledger_is_bot ... ok
[INFO] [stdout] test ledger::tests::commit_changes_head ... ok
[INFO] [stdout] test ledger::tests::nonce_tracking ... ok
[INFO] [stdout] test ledger::tests::time_energy_accumulate ... ok
[INFO] [stdout] test ledger::tests::deterministic_replay ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 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/deps/kernel_self-b750c92214d9ca34)
[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_apply_total ... ok
[INFO] [stdout] test self_instrument::tests::self_instrument_id_deterministic ... ok
[INFO] [stdout] test self_instrument::tests::self_observation_deterministic ... ok
[INFO] [stdout] test tension::tests::compute_tension_from_quotient ... ok
[INFO] [stdout] test tension::tests::select_returns_first_in_canonical_order ... 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 consciousness::tests::consciousness_prediction_converges ... ok
[INFO] [stdout] test consciousness::tests::consciousness_loop_runs ... ok
[INFO] [stdout] test consciousness::tests::consciousness_emits_events ... ok
[INFO] [stdout] test recognition::tests::self_recognition_single ... ok
[INFO] [stdout] test consciousness::tests::consciousness_records_tension ... 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.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kernel_solver-9aea52daff09642b)
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test completion::tests::arith_is_completable ... ok
[INFO] [stdout] test completion::tests::bool_cnf_is_completable ... ok
[INFO] [stdout] test completion::tests::collatz_has_high_independence_risk ... ok
[INFO] [stdout] test completion::tests::flt_has_finite_conditional_b_star ... ok
[INFO] [stdout] test completion::tests::formal_proof_is_inadmissible ... 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 stepper::tests::stepper_finalize_produces_output ... ok
[INFO] [stdout] test stepper::tests::stepper_initializes ... ok
[INFO] [stdout] test stepper::tests::stepper_unsat ... ok
[INFO] [stdout] test solver::tests::solve_arith ... ok
[INFO] [stdout] test solver::tests::solve_simple_sat ... ok
[INFO] [stdout] test solver::tests::solve_deterministic ... ok
[INFO] [stdout] test solver::tests::replay_matches ... ok
[INFO] [stdout] test solver::tests::solve_unsat ... ok
[INFO] [stdout] test solver::tests::formal_proof_is_unsat_admissibility ... ok
[INFO] [stdout] test toe::tests::witness_class_covers_all_cases ... ok
[INFO] [stdout] test toe::tests::obligation_1_total_completion ... ok
[INFO] [stdout] test toe::tests::obligation_2_no_omega ... ok
[INFO] [stdout] test toe::tests::obligation_4_self_recognition ... ok
[INFO] [stdout] test toe::tests::obligation_3_self_witnessing ... 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.43s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kernel_spaceengine-4e872b92e7a7a476)
[INFO] [stdout] 
[INFO] [stdout] running 100 tests
[INFO] [stdout] test atlas_builder::tests::atlas_center_deterministic ... ok
[INFO] [stdout] test atlas_builder::tests::domain_classification ... ok
[INFO] [stdout] test atlas_builder::tests::no_coordinate_collision ... ok
[INFO] [stdout] test atlas_types::tests::atlas_domain_galaxy_serpi_deterministic ... ok
[INFO] [stdout] test atlas_types::tests::atlas_index_star_serpi_deterministic ... 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 atlas_types::tests::proof_domain_ordering ... ok
[INFO] [stdout] test atlas_types::tests::proof_domain_serpi_deterministic ... ok
[INFO] [stdout] test catalog::tests::bool_cnf_unsat_elliptical ... ok
[INFO] [stdout] test atlas_builder::tests::dependency_graph_symmetry ... ok
[INFO] [stdout] test catalog::tests::bool_cnf_sat_spiral ... ok
[INFO] [stdout] test catalog::tests::arith_find_maps_to_star ... ok
[INFO] [stdout] test atlas_builder::tests::frontiers_only_for_formal_proof ... ok
[INFO] [stdout] test atlas_builder::tests::all_contracts_in_index ... ok
[INFO] [stdout] test atlas_builder::tests::filament_count ... ok
[INFO] [stdout] test atlas_builder::tests::atlas_hash_deterministic ... ok
[INFO] [stdout] test catalog::tests::catalog_deterministic ... ok
[INFO] [stdout] test catalog::tests::sc_files_deterministic ... ok
[INFO] [stdout] test enhanced_emitter::tests::domain_tour_scripts ... ok
[INFO] [stdout] test enhanced_emitter::tests::atlas_domains_sc_exists ... ok
[INFO] [stdout] test enhanced_emitter::tests::arith_planet_files ... ok
[INFO] [stdout] test enhanced_emitter::tests::atlas_tour_script ... ok
[INFO] [stdout] test exo_catalog::tests::csv_format_no_floats ... ok
[INFO] [stdout] test enhanced_emitter::tests::lensing_proxy_files ... ok
[INFO] [stdout] test exo_catalog::tests::hosts_csv_deterministic ... ok
[INFO] [stdout] test exo_catalog::tests::planets_sc_deterministic ... ok
[INFO] [stdout] test exo_catalog::tests::sc_format_valid_syntax ... ok
[INFO] [stdout] test exo_normalizer::tests::canonicalize_gaia_preferred ... ok
[INFO] [stdout] test exo_normalizer::tests::canonicalize_hip_fallback ... 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_normalizer::tests::parse_decimal_to_milli_correct ... ok
[INFO] [stdout] test exo_normalizer::tests::refutation_removes_planet ... ok
[INFO] [stdout] test exo_scenario::tests::exo_scenario_deterministic ... ok
[INFO] [stdout] test exo_normalizer::tests::normalize_pipeline_deterministic ... ok
[INFO] [stdout] test exo_scenario::tests::exo_scenario_has_log_line ... ok
[INFO] [stdout] test exo_types::tests::host_key_ordering_gaia_first ... ok
[INFO] [stdout] test exo_types::tests::host_key_serpi_deterministic ... ok
[INFO] [stdout] test exo_scenario::tests::exo_scenario_selects_newest ... 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_hash_mismatch ... ok
[INFO] [stdout] test exo_verifier::tests::exo_verify_pass ... ok
[INFO] [stdout] test exo_verifier::tests::exo_verify_fail_missing_log ... ok
[INFO] [stdout] test manifest::tests::enhanced_manifest_new_fields ... ok
[INFO] [stdout] test manifest::tests::enhanced_manifest_backward_compatible ... ok
[INFO] [stdout] test pak::tests::pak_empty ... ok
[INFO] [stdout] test enhanced_emitter::tests::filament_files ... ok
[INFO] [stdout] test pak::tests::pak_deterministic ... ok
[INFO] [stdout] test pak::tests::pak_is_valid_zip ... ok
[INFO] [stdout] test scenario::tests::scenario_contains_all_objects ... ok
[INFO] [stdout] test scenario::tests::scenario_deterministic ... ok
[INFO] [stdout] test pak::tests::pak_roundtrip ... ok
[INFO] [stdout] test types::tests::coords_from_qid_deterministic ... ok
[INFO] [stdout] test scenario::tests::scenario_has_hash_overlays ... ok
[INFO] [stdout] test types::tests::celestial_kind_tags_differ ... ok
[INFO] [stdout] test types::tests::galaxy_morphology_differ ... ok
[INFO] [stdout] test enhanced_emitter::tests::per_qid_galaxy_files_exist ... ok
[INFO] [stdout] test types::tests::rational_integer ... ok
[INFO] [stdout] test scenario::tests::scenario_hash_nonzero ... ok
[INFO] [stdout] test types::tests::rational_serpi_deterministic ... ok
[INFO] [stdout] test types::tests::rational_reduction ... ok
[INFO] [stdout] test enhanced_emitter::tests::sat_witness_moon_files ... ok
[INFO] [stdout] test types::tests::write_integer_decimal_correct ... ok
[INFO] [stdout] test verifier::tests::enhanced_verify_fail_missing_file ... ok
[INFO] [stdout] test verifier::tests::merkle_root_sorted_deterministic ... ok
[INFO] [stdout] test verifier::tests::enhanced_verify_dark_object_count ... ok
[INFO] [stdout] test verifier::tests::verify_fail_wrong_catalog ... ok
[INFO] [stdout] test verifier::tests::verify_fail_wrong_build ... ok
[INFO] [stdout] test types::tests::star_system_serpi ... ok
[INFO] [stdout] test verifier::tests::verify_fail_wrong_scenario ... ok
[INFO] [stdout] test enhanced_emitter::tests::unsat_cluster_files ... ok
[INFO] [stdout] test verifier::tests::verify_pass_correct ... ok
[INFO] [stdout] test verifier::tests::enhanced_verify_pass ... ok
[INFO] [stdout] test witness_encoder::tests::dark_lensing_mass_derivation ... ok
[INFO] [stdout] test enhanced_emitter::tests::witness_index_json_valid ... ok
[INFO] [stdout] test witness_encoder::tests::arith_witness_decoy_validity ... ok
[INFO] [stdout] test witness_encoder::tests::arith_witness_period_match ... ok
[INFO] [stdout] test witness_encoder::tests::empty_clauses_edge_case ... ok
[INFO] [stdout] test witness_types::tests::bit_encoding_correctness ... ok
[INFO] [stdout] test witness_types::tests::arith_witness_planet_serpi_deterministic ... 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_types::tests::clause_ring_serpi_deterministic ... ok
[INFO] [stdout] test witness_types::tests::decoy_differs_from_witness ... ok
[INFO] [stdout] test witness_encoder::tests::sat_witness_clause_rings ... ok
[INFO] [stdout] test witness_encoder::tests::full_round_trip_determinism ... ok
[INFO] [stdout] test witness_types::tests::proof_step_radial_ordering ... ok
[INFO] [stdout] test witness_types::tests::empty_moons_edge_case ... ok
[INFO] [stdout] test witness_types::tests::lensing_proxy_serpi_deterministic ... ok
[INFO] [stdout] test witness_types::tests::proof_step_star_serpi_deterministic ... ok
[INFO] [stdout] test witness_types::tests::unsat_witness_cluster_serpi_deterministic ... ok
[INFO] [stdout] test witness_types::tests::sat_witness_moons_serpi_deterministic ... ok
[INFO] [stdout] test witness_types::tests::witness_moon_inclination_sign ... ok
[INFO] [stdout] test witness_encoder::tests::unsat_witness_contradiction_center ... ok
[INFO] [stdout] test witness_types::tests::witness_moon_serpi_deterministic ... ok
[INFO] [stdout] test witness_encoder::tests::sat_witness_correct_moon_count ... ok
[INFO] [stdout] test witness_encoder::tests::unsat_witness_step_count ... ok
[INFO] [stdout] test witness_encoder::tests::sat_witness_deterministic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 100 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kernel_types-ab1fe7cbd1d0e7aa)
[INFO] [stdout] 
[INFO] [stdout] running 21 tests
[INFO] [stdout] test hash::tests::chain_deterministic ... ok
[INFO] [stdout] test hash::tests::deterministic_hash ... ok
[INFO] [stdout] test hash::tests::merkle_deterministic ... ok
[INFO] [stdout] test hash::tests::merkle_empty ... ok
[INFO] [stdout] test hash::tests::merkle_single ... ok
[INFO] [stdout] test provenance::tests::cache_mode_variants_differ ... ok
[INFO] [stdout] test provenance::tests::policy_deterministic ... ok
[INFO] [stdout] test provenance::tests::selector_variants_differ ... ok
[INFO] [stdout] test provenance::tests::provenance_deterministic ... ok
[INFO] [stdout] test provenance::tests::web_request_deterministic ... ok
[INFO] [stdout] test reason::tests::reason_code_deterministic ... ok
[INFO] [stdout] test serpi::tests::different_values_different_bytes ... ok
[INFO] [stdout] test reason::tests::reason_codes_differ ... ok
[INFO] [stdout] test serpi::tests::string_deterministic ... ok
[INFO] [stdout] test serpi::tests::hash32_deterministic ... ok
[INFO] [stdout] test serpi::tests::u64_deterministic ... ok
[INFO] [stdout] test tension::tests::tension_deterministic ... ok
[INFO] [stdout] test tension::tests::tension_delta_deterministic ... ok
[INFO] [stdout] test tension::tests::tension_from_survivors ... ok
[INFO] [stdout] test tension::tests::tension_zero_survivors ... ok
[INFO] [stdout] test tension::tests::tension_one_survivor ... 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] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kernel_web-65fab96621141c8d)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test policy::tests::web_error_display ... ok
[INFO] [stdout] test selector::tests::byte_range_out_of_bounds ... ok
[INFO] [stdout] test selector::tests::byte_range_valid ... ok
[INFO] [stdout] test selector::tests::css_selector_found ... ok
[INFO] [stdout] test selector::tests::css_selector_not_found ... ok
[INFO] [stdout] test selector::tests::full_body_returns_all ... ok
[INFO] [stdout] test web_instrument::tests::web_instrument_cost_correct ... ok
[INFO] [stdout] test web_instrument::tests::web_instrument_id_differs_by_url ... 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 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.09s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests agi_proof
[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] [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_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] [stderr]    Doc-tests kernel_goldmaster
[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" "0cf37c4a68ec4774a5ef0945b7e2ea547ea08c422b48b596db13c66e72cc21ac", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0cf37c4a68ec4774a5ef0945b7e2ea547ea08c422b48b596db13c66e72cc21ac", kill_on_drop: false }`
[INFO] [stdout] 0cf37c4a68ec4774a5ef0945b7e2ea547ea08c422b48b596db13c66e72cc21ac
