[INFO] fetching crate pawer_core 0.1.0...
[INFO] testing pawer_core-0.1.0 against beta-2025-10-28 for beta-1.92-2
[INFO] extracting crate pawer_core 0.1.0 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate pawer_core 0.1.0
[INFO] finished tweaking crates.io crate pawer_core 0.1.0
[INFO] tweaked toml for crates.io crate pawer_core 0.1.0 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate pawer_core 0.1.0 on toolchain beta-2025-10-28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 20 packages to latest compatible versions
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4741cb45206b8b06212e6976562d0cbaab8adf13b6da764a871304d5cf49571a
[INFO] running `Command { std: "docker" "start" "-a" "4741cb45206b8b06212e6976562d0cbaab8adf13b6da764a871304d5cf49571a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4741cb45206b8b06212e6976562d0cbaab8adf13b6da764a871304d5cf49571a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4741cb45206b8b06212e6976562d0cbaab8adf13b6da764a871304d5cf49571a", kill_on_drop: false }`
[INFO] [stdout] 4741cb45206b8b06212e6976562d0cbaab8adf13b6da764a871304d5cf49571a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bd01cedc85452e95ebd564f6ab238a4e79d90cea69edbcdef25f30c16d13685f
[INFO] running `Command { std: "docker" "start" "-a" "bd01cedc85452e95ebd564f6ab238a4e79d90cea69edbcdef25f30c16d13685f", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.108
[INFO] [stderr]    Compiling pest_generator v2.8.3
[INFO] [stderr]    Compiling pest_derive v2.8.3
[INFO] [stderr]    Compiling pawer_core v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: type alias `ConstNodeIndex` is never used
[INFO] [stdout]  --> src/definitions.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub type ConstNodeIndex = usize;
[INFO] [stdout]   |          ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `from_lambda_term_aux` and `from_lambda_term` are never used
[INFO] [stdout]    --> src/definitions.rs:57:8
[INFO] [stdout]     |
[INFO] [stdout]  56 | impl<'a> Proof<'a> {
[INFO] [stdout]     | ------------------ associated items in this implementation
[INFO] [stdout]  57 |     fn from_lambda_term_aux(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 107 |     pub fn from_lambda_term(l: LambdaTerm<'a>) -> Proof<'a> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.79s
[INFO] running `Command { std: "docker" "inspect" "bd01cedc85452e95ebd564f6ab238a4e79d90cea69edbcdef25f30c16d13685f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bd01cedc85452e95ebd564f6ab238a4e79d90cea69edbcdef25f30c16d13685f", kill_on_drop: false }`
[INFO] [stdout] bd01cedc85452e95ebd564f6ab238a4e79d90cea69edbcdef25f30c16d13685f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3789c232260bdeaf75c5ea08bf4a3011545aea4adea9ee0e1e51e4b7eb6afe24
[INFO] running `Command { std: "docker" "start" "-a" "3789c232260bdeaf75c5ea08bf4a3011545aea4adea9ee0e1e51e4b7eb6afe24", kill_on_drop: false }`
[INFO] [stdout] warning: type alias `ConstNodeIndex` is never used
[INFO] [stdout]  --> src/definitions.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub type ConstNodeIndex = usize;
[INFO] [stdout]   |          ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `from_lambda_term_aux` and `from_lambda_term` are never used
[INFO] [stdout]    --> src/definitions.rs:57:8
[INFO] [stdout]     |
[INFO] [stdout]  56 | impl<'a> Proof<'a> {
[INFO] [stdout]     | ------------------ associated items in this implementation
[INFO] [stdout]  57 |     fn from_lambda_term_aux(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 107 |     pub fn from_lambda_term(l: LambdaTerm<'a>) -> Proof<'a> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling pawer_core v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: type alias `ConstNodeIndex` is never used
[INFO] [stdout]  --> src/definitions.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub type ConstNodeIndex = usize;
[INFO] [stdout]   |          ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.08s
[INFO] running `Command { std: "docker" "inspect" "3789c232260bdeaf75c5ea08bf4a3011545aea4adea9ee0e1e51e4b7eb6afe24", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3789c232260bdeaf75c5ea08bf4a3011545aea4adea9ee0e1e51e4b7eb6afe24", kill_on_drop: false }`
[INFO] [stdout] 3789c232260bdeaf75c5ea08bf4a3011545aea4adea9ee0e1e51e4b7eb6afe24
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 852c95361c9023a95def8fabee8f0a2a8bb324d341a5d92a9184a837872fb69a
[INFO] running `Command { std: "docker" "start" "-a" "852c95361c9023a95def8fabee8f0a2a8bb324d341a5d92a9184a837872fb69a", kill_on_drop: false }`
[INFO] [stderr] warning: type alias `ConstNodeIndex` is never used
[INFO] [stderr]  --> src/definitions.rs:6:10
[INFO] [stderr]   |
[INFO] [stderr] 6 | pub type ConstNodeIndex = usize;
[INFO] [stderr]   |          ^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `from_lambda_term_aux` and `from_lambda_term` are never used
[INFO] [stderr]    --> src/definitions.rs:57:8
[INFO] [stderr]     |
[INFO] [stderr]  56 | impl<'a> Proof<'a> {
[INFO] [stderr]     | ------------------ associated items in this implementation
[INFO] [stderr]  57 |     fn from_lambda_term_aux(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 107 |     pub fn from_lambda_term(l: LambdaTerm<'a>) -> Proof<'a> {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `pawer_core` (lib) generated 2 warnings
[INFO] [stderr] warning: `pawer_core` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.09s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pawer_core-258c44068398d4ff)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test beta::tests::shift_zero ... ok
[INFO] [stdout] test parsing::chained_implies ... ok
[INFO] [stdout] test parsing::forall_inside ... ok
[INFO] [stdout] test parsing::basic_parsing ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests pawer_core
[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" "852c95361c9023a95def8fabee8f0a2a8bb324d341a5d92a9184a837872fb69a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "852c95361c9023a95def8fabee8f0a2a8bb324d341a5d92a9184a837872fb69a", kill_on_drop: false }`
[INFO] [stdout] 852c95361c9023a95def8fabee8f0a2a8bb324d341a5d92a9184a837872fb69a