[INFO] cloning repository https://github.com/Industrial-Algebra/Karpal
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Industrial-Algebra/Karpal" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FIndustrial-Algebra%2FKarpal", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FIndustrial-Algebra%2FKarpal'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 74c9846670584387e82c3b551c2cda99c7388627
[INFO] testing Industrial-Algebra/Karpal against 1.97.0-beta.6 for beta-1.98-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FIndustrial-Algebra%2FKarpal" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-1-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/Industrial-Algebra/Karpal
[INFO] finished tweaking git repo https://github.com/Industrial-Algebra/Karpal
[INFO] tweaked toml for git repo https://github.com/Industrial-Algebra/Karpal written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Industrial-Algebra/Karpal on toolchain 1.97.0-beta.6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/Industrial-Algebra/Karpal already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rusty-fork v0.3.1
[INFO] [stderr]   Downloaded rand_xorshift v0.4.0
[INFO] [stderr]   Downloaded amari-flynn-macros v0.23.0
[INFO] [stderr]   Downloaded unarray v0.1.4
[INFO] [stderr]   Downloaded wait-timeout v0.2.1
[INFO] [stderr]   Downloaded proptest v1.11.0
[INFO] [stderr]   Downloaded amari-flynn v0.23.0
[INFO] [stderr]   Downloaded dashu-base v0.4.1
[INFO] [stderr]   Downloaded num-modular v0.6.1
[INFO] [stderr]   Downloaded rand_distr v0.6.0
[INFO] [stderr]   Downloaded amari-core v0.23.0
[INFO] [stderr]   Downloaded dashu-float v0.4.3
[INFO] [stderr]   Downloaded amari-enumerative v0.23.0
[INFO] [stderr]   Downloaded dashu-int v0.4.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 693425b085e9a2d086617c622a55619ce3da2c0faa0b8bf1e3e75d6a9a2f406f
[INFO] running `Command { std: "docker" "start" "693425b085e9a2d086617c622a55619ce3da2c0faa0b8bf1e3e75d6a9a2f406f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "693425b085e9a2d086617c622a55619ce3da2c0faa0b8bf1e3e75d6a9a2f406f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "693425b085e9a2d086617c622a55619ce3da2c0faa0b8bf1e3e75d6a9a2f406f" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "693425b085e9a2d086617c622a55619ce3da2c0faa0b8bf1e3e75d6a9a2f406f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "693425b085e9a2d086617c622a55619ce3da2c0faa0b8bf1e3e75d6a9a2f406f" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling quote v1.0.46
[INFO] [stderr]    Compiling karpal-core v0.7.0 (/opt/rustwide/workdir/karpal-core)
[INFO] [stderr]    Compiling rustversion v1.0.22
[INFO] [stderr]    Compiling static_assertions v1.1.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling num-modular v0.6.1
[INFO] [stderr]    Compiling dashu-base v0.4.1
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling bytemuck v1.25.0
[INFO] [stderr]    Compiling karpal-algebra v0.7.0 (/opt/rustwide/workdir/karpal-algebra)
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling karpal-arrow v0.7.0 (/opt/rustwide/workdir/karpal-arrow)
[INFO] [stderr]    Compiling karpal-profunctor v0.7.0 (/opt/rustwide/workdir/karpal-profunctor)
[INFO] [stderr]    Compiling karpal-free v0.7.0 (/opt/rustwide/workdir/karpal-free)
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling karpal-optics v0.7.0 (/opt/rustwide/workdir/karpal-optics)
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling karpal-effect v0.7.0 (/opt/rustwide/workdir/karpal-effect)
[INFO] [stderr]    Compiling karpal-recursion v0.7.0 (/opt/rustwide/workdir/karpal-recursion)
[INFO] [stderr]    Compiling dashu-int v0.4.1
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling approx v0.5.1
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling dashu-float v0.4.3
[INFO] [stderr]    Compiling karpal-proof-derive v0.7.0 (/opt/rustwide/workdir/karpal-proof-derive)
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling karpal-verify-derive v0.7.0 (/opt/rustwide/workdir/karpal-verify-derive)
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling karpal-proof v0.7.0 (/opt/rustwide/workdir/karpal-proof)
[INFO] [stderr]    Compiling karpal-verify v0.7.0 (/opt/rustwide/workdir/karpal-verify)
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling amari-core v0.23.0
[INFO] [stderr]    Compiling karpal-higher v0.7.0 (/opt/rustwide/workdir/karpal-higher)
[INFO] [stderr]    Compiling karpal-diagram v0.7.0 (/opt/rustwide/workdir/karpal-diagram)
[INFO] [stderr]    Compiling amari-enumerative v0.23.0
[INFO] [stderr]    Compiling karpal-schubert-types v0.7.0 (/opt/rustwide/workdir/karpal-schubert-types)
[INFO] [stderr]    Compiling karpal-std v0.7.0 (/opt/rustwide/workdir/karpal-std)
[INFO] [stderr]    Compiling karpal-index v0.7.0 (/opt/rustwide/workdir/karpal-index)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 45.66s
[INFO] running `Command { std: "docker" "inspect" "693425b085e9a2d086617c622a55619ce3da2c0faa0b8bf1e3e75d6a9a2f406f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "693425b085e9a2d086617c622a55619ce3da2c0faa0b8bf1e3e75d6a9a2f406f" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling bitflags v2.11.1
[INFO] [stderr]    Compiling fastrand v2.4.1
[INFO] [stderr]    Compiling karpal-proof-derive v0.7.0 (/opt/rustwide/workdir/karpal-proof-derive)
[INFO] [stderr]    Compiling karpal-verify-derive v0.7.0 (/opt/rustwide/workdir/karpal-verify-derive)
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling karpal-core v0.7.0 (/opt/rustwide/workdir/karpal-core)
[INFO] [stderr]    Compiling karpal-proof v0.7.0 (/opt/rustwide/workdir/karpal-proof)
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling karpal-algebra v0.7.0 (/opt/rustwide/workdir/karpal-algebra)
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling karpal-index v0.7.0 (/opt/rustwide/workdir/karpal-index)
[INFO] [stderr]    Compiling karpal-verify v0.7.0 (/opt/rustwide/workdir/karpal-verify)
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.4
[INFO] [stderr]    Compiling karpal-higher v0.7.0 (/opt/rustwide/workdir/karpal-higher)
[INFO] [stderr]    Compiling karpal-diagram v0.7.0 (/opt/rustwide/workdir/karpal-diagram)
[INFO] [stderr]    Compiling karpal-schubert-types v0.7.0 (/opt/rustwide/workdir/karpal-schubert-types)
[INFO] [stderr]    Compiling karpal-std v0.7.0 (/opt/rustwide/workdir/karpal-std)
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stdout] warning: unused import: `crate::two_category::Cat`
[INFO] [stdout]   --> karpal-higher/src/ffunctor.rs:61:9
[INFO] [stdout]    |
[INFO] [stdout] 61 |     use crate::two_category::Cat;
[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: `Intersection`
[INFO] [stdout]  --> karpal-schubert-types/tests/schubert_core.rs:4:29
[INFO] [stdout]   |
[INFO] [stdout] 4 | use karpal_schubert_types::{Intersection, IntersectionKind, SchubertType, check_intersection};
[INFO] [stdout]   |                             ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Sigma2` is never constructed
[INFO] [stdout]   --> karpal-schubert-types/tests/schubert_proof.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout] 16 | struct Sigma2;
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling karpal-profunctor v0.7.0 (/opt/rustwide/workdir/karpal-profunctor)
[INFO] [stderr]    Compiling karpal-free v0.7.0 (/opt/rustwide/workdir/karpal-free)
[INFO] [stderr]    Compiling karpal-recursion v0.7.0 (/opt/rustwide/workdir/karpal-recursion)
[INFO] [stderr]    Compiling karpal-optics v0.7.0 (/opt/rustwide/workdir/karpal-optics)
[INFO] [stderr]    Compiling karpal-arrow v0.7.0 (/opt/rustwide/workdir/karpal-arrow)
[INFO] [stdout] warning: field `y` is never read
[INFO] [stdout]   --> karpal-optics/src/getter.rs:59:9
[INFO] [stdout]    |
[INFO] [stdout] 57 |     struct Point {
[INFO] [stdout]    |            ----- field in this struct
[INFO] [stdout] 58 |         x: f64,
[INFO] [stdout] 59 |         y: f64,
[INFO] [stdout]    |         ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Point` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling karpal-effect v0.7.0 (/opt/rustwide/workdir/karpal-effect)
[INFO] [stdout] warning: unused import: `proptest::prelude::*`
[INFO] [stdout]     --> karpal-core/src/adjunction.rs:1144:13
[INFO] [stdout]      |
[INFO] [stdout] 1144 |         use proptest::prelude::*;
[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: `proptest::prelude::*`
[INFO] [stdout]     --> karpal-core/src/adjunction.rs:1243:13
[INFO] [stdout]      |
[INFO] [stdout] 1243 |         use proptest::prelude::*;
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> karpal-core/src/contravariant_lt.rs:121:25
[INFO] [stdout]     |
[INFO] [stdout] 121 |         assert_eq!(left((5i16)), right((5i16)));
[INFO] [stdout]     |                         ^    ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 121 -         assert_eq!(left((5i16)), right((5i16)));
[INFO] [stdout] 121 +         assert_eq!(left(5i16), right((5i16)));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> karpal-core/src/contravariant_lt.rs:121:40
[INFO] [stdout]     |
[INFO] [stdout] 121 |         assert_eq!(left((5i16)), right((5i16)));
[INFO] [stdout]     |                                        ^    ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 121 -         assert_eq!(left((5i16)), right((5i16)));
[INFO] [stdout] 121 +         assert_eq!(left((5i16)), right(5i16));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 14s
[INFO] running `Command { std: "docker" "inspect" "693425b085e9a2d086617c622a55619ce3da2c0faa0b8bf1e3e75d6a9a2f406f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "693425b085e9a2d086617c622a55619ce3da2c0faa0b8bf1e3e75d6a9a2f406f" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: field `y` is never read
[INFO] [stderr]   --> karpal-optics/src/getter.rs:59:9
[INFO] [stderr]    |
[INFO] [stderr] 57 |     struct Point {
[INFO] [stderr]    |            ----- field in this struct
[INFO] [stderr] 58 |         x: f64,
[INFO] [stderr] 59 |         y: f64,
[INFO] [stderr]    |         ^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Point` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `karpal-optics` (lib test) generated 1 warning
[INFO] [stderr] warning: struct `Sigma2` is never constructed
[INFO] [stderr]   --> karpal-schubert-types/tests/schubert_proof.rs:16:8
[INFO] [stderr]    |
[INFO] [stderr] 16 | struct Sigma2;
[INFO] [stderr]    |        ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `karpal-schubert-types` (test "schubert_proof") generated 1 warning
[INFO] [stderr] warning: unused import: `Intersection`
[INFO] [stderr]  --> karpal-schubert-types/tests/schubert_core.rs:4:29
[INFO] [stderr]   |
[INFO] [stderr] 4 | use karpal_schubert_types::{Intersection, IntersectionKind, SchubertType, check_intersection};
[INFO] [stderr]   |                             ^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `karpal-schubert-types` (test "schubert_core") generated 1 warning (run `cargo fix --test "schubert_core" -p karpal-schubert-types` to apply 1 suggestion)
[INFO] [stderr] warning: unused import: `proptest::prelude::*`
[INFO] [stderr]     --> karpal-core/src/adjunction.rs:1144:13
[INFO] [stderr]      |
[INFO] [stderr] 1144 |         use proptest::prelude::*;
[INFO] [stderr]      |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `proptest::prelude::*`
[INFO] [stderr]     --> karpal-core/src/adjunction.rs:1243:13
[INFO] [stderr]      |
[INFO] [stderr] 1243 |         use proptest::prelude::*;
[INFO] [stderr]      |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary parentheses around function argument
[INFO] [stderr]    --> karpal-core/src/contravariant_lt.rs:121:25
[INFO] [stderr]     |
[INFO] [stderr] 121 |         assert_eq!(left((5i16)), right((5i16)));
[INFO] [stderr]     |                         ^    ^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 121 -         assert_eq!(left((5i16)), right((5i16)));
[INFO] [stderr] 121 +         assert_eq!(left(5i16), right((5i16)));
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary parentheses around function argument
[INFO] [stderr]    --> karpal-core/src/contravariant_lt.rs:121:40
[INFO] [stderr]     |
[INFO] [stderr] 121 |         assert_eq!(left((5i16)), right((5i16)));
[INFO] [stderr]     |                                        ^    ^
[INFO] [stderr]     |
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 121 -         assert_eq!(left((5i16)), right((5i16)));
[INFO] [stderr] 121 +         assert_eq!(left((5i16)), right(5i16));
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: `karpal-core` (lib test) generated 4 warnings (run `cargo fix --lib -p karpal-core --tests` to apply 4 suggestions)
[INFO] [stderr] warning: unused import: `crate::two_category::Cat`
[INFO] [stderr]   --> karpal-higher/src/ffunctor.rs:61:9
[INFO] [stderr]    |
[INFO] [stderr] 61 |     use crate::two_category::Cat;
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `karpal-higher` (lib test) generated 1 warning (run `cargo fix --lib -p karpal-higher --tests` to apply 1 suggestion)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.17s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/karpal_algebra-79a68d0dbb53ce05)
[INFO] [stdout] 
[INFO] [stdout] running 63 tests
[INFO] [stdout] test bounded_lattice::tests::bool_bounded_lattice ... ok
[INFO] [stdout] test bounded_lattice::tests::i32_bounded_lattice ... ok
[INFO] [stdout] test abelian::law_tests::i16_commutativity ... ok
[INFO] [stdout] test bounded_lattice::law_tests::join_top_absorb ... ok
[INFO] [stdout] test bounded_lattice::law_tests::join_bottom_identity ... ok
[INFO] [stdout] test field::tests::f64_reciprocal ... ok
[INFO] [stdout] test bounded_lattice::law_tests::meet_top_identity ... ok
[INFO] [stdout] test field::tests::f32_reciprocal ... ok
[INFO] [stdout] test field::tests::f64_div ... ok
[INFO] [stdout] test abelian::law_tests::f64_commutativity ... ok
[INFO] [stdout] test group::tests::i32_combine_inverse ... ok
[INFO] [stdout] test group::tests::i32_invert ... ok
[INFO] [stdout] test heyting::tests::bool_double_negation_holds_for_boolean ... ok
[INFO] [stdout] test heyting::tests::bool_implies_identity ... ok
[INFO] [stdout] test heyting::tests::bool_implies_is_material_implication ... ok
[INFO] [stdout] test heyting::tests::bool_negation_is_boolean_not ... ok
[INFO] [stdout] test heyting::tests::i32_implies_gives_other_when_gt ... ok
[INFO] [stdout] test heyting::tests::i32_implies_gives_top_when_leq ... ok
[INFO] [stdout] test heyting::tests::i32_negation_is_implication_of_bottom ... ok
[INFO] [stdout] test group::law_tests::left_inverse ... ok
[INFO] [stdout] test bounded_lattice::law_tests::meet_bottom_absorb ... ok
[INFO] [stdout] test group::tests::f64_invert ... ok
[INFO] [stdout] test lattice::law_tests::join_associativity ... ok
[INFO] [stdout] test lattice::law_tests::absorption_join_meet ... ok
[INFO] [stdout] test lattice::law_tests::absorption_meet_join ... ok
[INFO] [stdout] test field::law_tests::f64_multiplicative_inverse ... ok
[INFO] [stdout] test lattice::law_tests::meet_idempotency ... ok
[INFO] [stdout] test lattice::tests::bool_join_meet ... ok
[INFO] [stdout] test lattice::tests::f64_join_meet ... ok
[INFO] [stdout] test lattice::law_tests::meet_commutativity ... ok
[INFO] [stdout] test group::law_tests::combine_inverse_is_combine_invert ... ok
[INFO] [stdout] test group::law_tests::right_inverse ... ok
[INFO] [stdout] test lattice::tests::i32_join_meet ... ok
[INFO] [stdout] test lattice::law_tests::join_idempotency ... ok
[INFO] [stdout] test module::tests::f64_scale ... ok
[INFO] [stdout] test module::tests::f64_scale_one ... ok
[INFO] [stdout] test module::tests::tuple_scale ... ok
[INFO] [stdout] test module::tests::tuple_scale_distributes_over_add ... ok
[INFO] [stdout] test module::law_tests::scale_compatibility ... ok
[INFO] [stdout] test lattice::law_tests::meet_associativity ... ok
[INFO] [stdout] test ring::tests::i32_negate ... ok
[INFO] [stdout] test ring::tests::i32_sub ... ok
[INFO] [stdout] test ring::law_tests::additive_inverse ... ok
[INFO] [stdout] test module::law_tests::scale_distributes_over_scalar_add ... ok
[INFO] [stdout] test module::law_tests::scale_one_identity ... ok
[INFO] [stdout] test lattice::law_tests::join_commutativity ... ok
[INFO] [stdout] test semiring::law_tests::add_associativity ... ok
[INFO] [stdout] test semiring::law_tests::add_commutativity ... ok
[INFO] [stdout] test semiring::law_tests::left_distribution ... ok
[INFO] [stdout] test semiring::law_tests::mul_associativity ... ok
[INFO] [stdout] test semiring::tests::bool_semiring ... ok
[INFO] [stdout] test semiring::tests::i32_semiring ... ok
[INFO] [stdout] test semiring::law_tests::zero_annihilation ... ok
[INFO] [stdout] test ring::law_tests::sub_is_add_negate ... ok
[INFO] [stdout] test vector_space::tests::scalar_field_is_one_dimensional ... ok
[INFO] [stdout] test vector_space::tests::f64_is_vector_space ... ok
[INFO] [stdout] test vector_space::tests::tuple_linear_combination ... ok
[INFO] [stdout] test vector_space::tests::tuple_is_vector_space ... ok
[INFO] [stdout] test module::law_tests::scale_distributes_over_group_add ... ok
[INFO] [stdout] test semiring::law_tests::add_identity ... ok
[INFO] [stdout] test semiring::law_tests::right_distribution ... ok
[INFO] [stdout] test semiring::law_tests::mul_identity ... ok
[INFO] [stdout] test field::law_tests::f64_div_is_mul_reciprocal ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 63 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.28s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/karpal_arrow-d0cc6b4ef514e917)
[INFO] [stdout] 
[INFO] [stdout] running 55 tests
[INFO] [stdout] test cokleisli::tests::env_id ... ok
[INFO] [stdout] test cokleisli::tests::env_compose ... ok
[INFO] [stdout] test cokleisli::tests::identity_compose ... ok
[INFO] [stdout] test cokleisli::tests::nonemptyvec_compose ... ok
[INFO] [stdout] test cokleisli::tests::nonemptyvec_id ... ok
[INFO] [stdout] test cokleisli::tests::identity_id ... ok
[INFO] [stdout] test fn_arrow::law_tests::arr_composition ... ok
[INFO] [stdout] test cokleisli::law_tests::identity_associativity ... ok
[INFO] [stdout] test cokleisli::law_tests::identity_left_identity ... ok
[INFO] [stdout] test cokleisli::law_tests::nev_right_identity ... ok
[INFO] [stdout] test cokleisli::law_tests::identity_right_identity ... ok
[INFO] [stdout] test fn_arrow::law_tests::arr_id ... ok
[INFO] [stdout] test fn_arrow::tests::fna_app ... ok
[INFO] [stdout] test cokleisli::law_tests::nev_left_identity ... ok
[INFO] [stdout] test fn_arrow::tests::fna_arr ... ok
[INFO] [stdout] test fn_arrow::tests::fna_compose ... ok
[INFO] [stdout] test fn_arrow::tests::fna_fanin ... ok
[INFO] [stdout] test fn_arrow::tests::fna_fanout ... ok
[INFO] [stdout] test fn_arrow::tests::fna_id ... ok
[INFO] [stdout] test fn_arrow::tests::fna_first ... ok
[INFO] [stdout] test fn_arrow::tests::fna_left ... ok
[INFO] [stdout] test fn_arrow::law_tests::first_arr ... ok
[INFO] [stdout] test fn_arrow::tests::fna_right ... ok
[INFO] [stdout] test fn_arrow::tests::fna_loop_arrow_single_pass ... ok
[INFO] [stdout] test fn_arrow::tests::fna_second ... ok
[INFO] [stdout] test fn_arrow::law_tests::first_compose ... ok
[INFO] [stdout] test fn_arrow::tests::fna_splat ... ok
[INFO] [stdout] test fn_arrow::tests::fna_split ... ok
[INFO] [stdout] test fn_arrow::law_tests::associativity ... ok
[INFO] [stdout] test fn_arrow::tests::loop_fixpoint_converges ... ok
[INFO] [stdout] test fn_arrow::tests::loop_fixpoint_identity_feedback ... ok
[INFO] [stdout] test fn_arrow::tests::loop_fixpoint_non_convergent ... ok
[INFO] [stdout] test fn_arrow::law_tests::left_identity ... ok
[INFO] [stdout] test fn_arrow::law_tests::left_arr ... ok
[INFO] [stdout] test fn_arrow::law_tests::right_identity ... ok
[INFO] [stdout] test kleisli::tests::kleisli_app ... ok
[INFO] [stdout] test kleisli::tests::kleisli_arr ... ok
[INFO] [stdout] test kleisli::tests::kleisli_compose ... ok
[INFO] [stdout] test kleisli::tests::kleisli_compose_short_circuits ... ok
[INFO] [stdout] test kleisli::tests::kleisli_first ... ok
[INFO] [stdout] test kleisli::tests::kleisli_first_none ... ok
[INFO] [stdout] test kleisli::tests::kleisli_id ... ok
[INFO] [stdout] test kleisli::tests::kleisli_left ... ok
[INFO] [stdout] test kleisli::tests::kleisli_left_none ... ok
[INFO] [stdout] test kleisli::tests::kleisli_plus ... ok
[INFO] [stdout] test kleisli::tests::kleisli_plus_first_wins ... ok
[INFO] [stdout] test kleisli::tests::kleisli_second ... ok
[INFO] [stdout] test kleisli::tests::kleisli_zero_arrow ... ok
[INFO] [stdout] test kleisli::law_tests::associativity ... ok
[INFO] [stdout] test kleisli::law_tests::arr_id ... ok
[INFO] [stdout] test kleisli::law_tests::plus_right_identity ... ok
[INFO] [stdout] test kleisli::law_tests::right_identity ... ok
[INFO] [stdout] test kleisli::law_tests::plus_left_identity ... ok
[INFO] [stdout] test kleisli::law_tests::left_identity ... ok
[INFO] [stdout] test kleisli::law_tests::zero_left_absorption ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 55 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.24s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/karpal_core-91909acec226efef)
[INFO] [stdout] 
[INFO] [stdout] running 295 tests
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_tests::cont_adj_counit ... ok
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_tests::cont_adj_unit ... ok
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_tests::cont_adj_self_adjoint ... ok
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_tests::cont_call_cc_no_escape ... ok
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_tests::cont_call_cc_with_escape ... ok
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_tests::cont_chain_sequencing ... ok
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_tests::cont_chain_test ... ok
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_tests::cont_pure_test ... ok
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_tests::contf_contramap ... ok
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_tests::cont_fmap_test ... ok
[INFO] [stdout] test adjunction::law_tests::curry_adj_law_tests::curry_adj_state_associativity ... ok
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_law_tests::cont_functor_identity ... ok
[INFO] [stdout] test adjunction::law_tests::curry_adj_law_tests::curry_adj_store_extract_law ... ok
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_law_tests::cont_functor_composition ... ok
[INFO] [stdout] test adjunction::law_tests::curry_adj_law_tests::curry_adj_state_left_identity ... ok
[INFO] [stdout] test adjunction::law_tests::curry_adj_law_tests::curry_adj_state_right_identity ... ok
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_law_tests::cont_monad_left_identity ... ok
[INFO] [stdout] test adjunction::law_tests::identity_adj_adjuncts_inverse ... ok
[INFO] [stdout] test adjunction::law_tests::curry_adj_law_tests::curry_adj_triangle_counit_fmap_unit ... ok
[INFO] [stdout] test adjunction::law_tests::curry_adj_law_tests::state_threads_across_multiple_steps ... ok
[INFO] [stdout] test adjunction::law_tests::profunctor_adj_tests::profunctor_identity_adj_counit ... ok
[INFO] [stdout] test adjunction::law_tests::profunctor_adj_tests::profunctor_identity_adj_roundtrip ... ok
[INFO] [stdout] test adjunction::law_tests::profunctor_adj_tests::profunctor_identity_adj_unit ... ok
[INFO] [stdout] test adjunction::law_tests::identity_adj_triangle_1 ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::curry_adj_monad_pure ... ok
[INFO] [stdout] test adjunction::law_tests::identity_adj_monad_right_identity ... ok
[INFO] [stdout] test adjunction::law_tests::identity_adj_comonad_extract_duplicate ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::curry_adj_state_chain ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::curry_adj_state_get ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::curry_adj_state_put ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::curry_adj_store_extend ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::curry_adj_state_monad_left_identity ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::curry_adj_state_monad_right_identity ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::curry_adj_unit ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::curry_right_adjunct_test ... ok
[INFO] [stdout] test adjunction::law_tests::identity_adj_triangle_2 ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::reader_chain ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::curry_adj_store_extract ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::curry_left_adjunct_test ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::reader_fmap ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::reader_ask ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::reader_local ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::reader_pure ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::state_modify_test ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::store_peek_test ... ok
[INFO] [stdout] test adjunction::tests::identity_adj_comonad_duplicate ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::state_fmap_test ... ok
[INFO] [stdout] test adjunction::tests::identity_adj_comonad_extract ... ok
[INFO] [stdout] test adjunction::tests::identity_adj_monad_chain ... ok
[INFO] [stdout] test adjunction::tests::identity_adj_counit ... ok
[INFO] [stdout] test adjunction::tests::identity_adj_left_adjunct ... ok
[INFO] [stdout] test adjunction::law_tests::profunctor_adj_law_tests::profunctor_identity_adj_triangle ... ok
[INFO] [stdout] test adjunction::tests::identity_adj_monad_join ... ok
[INFO] [stdout] test adjunction::tests::identity_adj_monad_pure ... ok
[INFO] [stdout] test adjunction::tests::identity_adj_right_adjunct ... ok
[INFO] [stdout] test adjunction::tests::identity_adj_unit ... ok
[INFO] [stdout] test alt::tests::option_alt_none_none ... ok
[INFO] [stdout] test alt::tests::option_alt_none_some ... ok
[INFO] [stdout] test alt::tests::option_alt_some_some ... ok
[INFO] [stdout] test alt::tests::result_alt ... ok
[INFO] [stdout] test alt::tests::vec_alt ... ok
[INFO] [stdout] test alternative::law_tests::option_annihilation ... ok
[INFO] [stdout] test alt::law_tests::vec_associativity ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::curry_adj_counit ... ok
[INFO] [stdout] test adjunction::tests::curry_adj_tests::store_pos_test ... ok
[INFO] [stdout] test adjunction::law_tests::identity_adj_monad_left_identity ... ok
[INFO] [stdout] test alternative::law_tests::option_distributivity ... ok
[INFO] [stdout] test applicative::law_tests::vec_homomorphism ... ok
[INFO] [stdout] test applicative::tests::option_pure ... ok
[INFO] [stdout] test applicative::tests::result_pure ... ok
[INFO] [stdout] test alt::law_tests::option_distributivity ... ok
[INFO] [stdout] test applicative::law_tests::vec_identity ... ok
[INFO] [stdout] test applicative::tests::vec_pure ... ok
[INFO] [stdout] test apply::tests::option_ap_none_fn ... ok
[INFO] [stdout] test apply::tests::option_ap_none_val ... ok
[INFO] [stdout] test adjunction::law_tests::contravariant_adj_law_tests::cont_monad_right_identity ... ok
[INFO] [stdout] test alt::law_tests::option_associativity ... ok
[INFO] [stdout] test applicative::law_tests::option_homomorphism ... ok
[INFO] [stdout] test apply::tests::option_ap_some ... ok
[INFO] [stdout] test apply::tests::result_ap_err ... ok
[INFO] [stdout] test apply::tests::result_ap_ok ... ok
[INFO] [stdout] test apply::tests::vec_ap ... ok
[INFO] [stdout] test apply::law_tests::vec_composition ... ok
[INFO] [stdout] test applicative::law_tests::option_interchange ... ok
[INFO] [stdout] test bifunctor::tests::result_bimap_err ... ok
[INFO] [stdout] test bifunctor::tests::result_bimap_ok ... ok
[INFO] [stdout] test bifunctor::tests::result_second ... ok
[INFO] [stdout] test bifunctor::tests::result_first ... ok
[INFO] [stdout] test bifunctor::tests::tuple_first ... ok
[INFO] [stdout] test bifunctor::tests::tuple_second ... ok
[INFO] [stdout] test bifunctor::tests::tuple_bimap ... ok
[INFO] [stdout] test bifunctor::law_tests::result_composition ... ok
[INFO] [stdout] test chain::tests::option_chain_none ... ok
[INFO] [stdout] test chain::tests::option_chain_some ... ok
[INFO] [stdout] test apply::law_tests::option_composition ... ok
[INFO] [stdout] test chain::tests::result_chain_ok ... ok
[INFO] [stdout] test chain::tests::vec_chain ... ok
[INFO] [stdout] test coend::tests::coend_clone ... ok
[INFO] [stdout] test coend::tests::coend_debug ... ok
[INFO] [stdout] test coend::tests::coend_result_new ... ok
[INFO] [stdout] test chain::tests::result_chain_err ... ok
[INFO] [stdout] test coend::tests::coend_tuple_new ... ok
[INFO] [stdout] test coend::tests::coend_tuple_elim ... ok
[INFO] [stdout] test applicative::law_tests::option_identity ... ok
[INFO] [stdout] test bifunctor::law_tests::tuple_identity ... ok
[INFO] [stdout] test chain::law_tests::option_associativity ... ok
[INFO] [stdout] test bifunctor::law_tests::result_identity ... ok
[INFO] [stdout] test bifunctor::law_tests::tuple_composition ... ok
[INFO] [stdout] test comonad::tests::env_extract ... ok
[INFO] [stdout] test comonad::law_tests::env_right_identity ... ok
[INFO] [stdout] test comonad::tests::nonemptyvec_extract ... ok
[INFO] [stdout] test comonad::tests::identity_extract ... ok
[INFO] [stdout] test comonad_env::tests::env_ask ... ok
[INFO] [stdout] test comonad_env::tests::env_local ... ok
[INFO] [stdout] test comonad::law_tests::identity_left_identity ... ok
[INFO] [stdout] test comonad_store::tests::store_extract ... ok
[INFO] [stdout] test comonad_env::law_tests::env_local_preserves_extract ... ok
[INFO] [stdout] test comonad_store::tests::store_peek ... ok
[INFO] [stdout] test comonad_store::tests::store_pos ... ok
[INFO] [stdout] test comonad_traced::tests::traced_extract ... ok
[INFO] [stdout] test comonad_traced::tests::traced_trace ... ok
[INFO] [stdout] test chain::law_tests::vec_associativity ... ok
[INFO] [stdout] test comonad::law_tests::identity_right_identity ... ok
[INFO] [stdout] test comonad::law_tests::env_left_identity ... ok
[INFO] [stdout] test compose::tests::compose_identity_option ... ok
[INFO] [stdout] test compose::tests::compose_option_option_fmap ... ok
[INFO] [stdout] test comonad_traced::law_tests::traced_identity_trace ... ok
[INFO] [stdout] test comonad::law_tests::nonemptyvec_left_identity ... ok
[INFO] [stdout] test comonad_store::law_tests::store_peek_pos_is_extract ... ok
[INFO] [stdout] test compose::law_tests::compose_option_option_composition ... ok
[INFO] [stdout] test compose::tests::compose_option_option_fmap_inner_none ... ok
[INFO] [stdout] test compose::tests::compose_option_option_fmap_outer_none ... ok
[INFO] [stdout] test comonad::law_tests::nonemptyvec_right_identity ... ok
[INFO] [stdout] test compose::tests::compose_option_vec_fmap ... ok
[INFO] [stdout] test compose::tests::compose_option_identity ... ok
[INFO] [stdout] test compose::tests::compose_vec_option_fmap ... ok
[INFO] [stdout] test contravariant_lt::tests::predicate_composition ... ok
[INFO] [stdout] test contravariant_lt::tests::predicate_identity ... ok
[INFO] [stdout] test contravariant_lt::tests::predicate_owned_contramap ... ok
[INFO] [stdout] test contravariant_lt::tests::predicate_string_contramap ... ok
[INFO] [stdout] test contravariant::tests::predicate_contramap ... ok
[INFO] [stdout] test conclude::tests::predicate_conclude ... ok
[INFO] [stdout] test decide::tests::predicate_choose ... ok
[INFO] [stdout] test dinatural::tests::dinatural_id_result ... ok
[INFO] [stdout] test dinatural::tests::dinatural_id_tuple ... ok
[INFO] [stdout] test contravariant::law_tests::predicate_composition ... ok
[INFO] [stdout] test contravariant::law_tests::predicate_identity ... ok
[INFO] [stdout] test divide::tests::predicate_divide ... ok
[INFO] [stdout] test dinatural::law_tests::dinatural_id_preserves ... ok
[INFO] [stdout] test decide::law_tests::predicate_associativity ... ok
[INFO] [stdout] test end::tests::diagonal_end_tuple ... ok
[INFO] [stdout] test divisible::tests::predicate_conquer ... ok
[INFO] [stdout] test compose::law_tests::compose_option_option_identity ... ok
[INFO] [stdout] test extend::tests::env_extend ... ok
[INFO] [stdout] test extend::tests::identity_duplicate ... ok
[INFO] [stdout] test extend::tests::identity_extend ... ok
[INFO] [stdout] test extend::tests::nonemptyvec_duplicate ... ok
[INFO] [stdout] test extend::tests::nonemptyvec_extend ... ok
[INFO] [stdout] test extend::tests::option_duplicate ... ok
[INFO] [stdout] test extend::tests::option_extend_none ... ok
[INFO] [stdout] test divide::law_tests::predicate_associativity ... ok
[INFO] [stdout] test extend::tests::option_extend_some ... ok
[INFO] [stdout] test divisible::law_tests::predicate_left_identity ... ok
[INFO] [stdout] test divisible::law_tests::predicate_right_identity ... ok
[INFO] [stdout] test conclude::law_tests::predicate_left_identity ... ok
[INFO] [stdout] test conclude::law_tests::predicate_right_identity ... ok
[INFO] [stdout] test extend::law_tests::nonemptyvec_associativity ... ok
[INFO] [stdout] test foldable::tests::option_fold_right_some ... ok
[INFO] [stdout] test foldable::tests::option_fold_right_none ... ok
[INFO] [stdout] test foldable::tests::result_fold_right_err ... ok
[INFO] [stdout] test foldable::tests::result_fold_right_ok ... ok
[INFO] [stdout] test foldable::tests::vec_fold_map ... ok
[INFO] [stdout] test foldable::tests::vec_fold_right ... ok
[INFO] [stdout] test foldable::law_tests::option_fold_map_consistency ... ok
[INFO] [stdout] test foldable::law_tests::vec_fold_map_consistency ... ok
[INFO] [stdout] test functor::tests::option_fmap_none ... ok
[INFO] [stdout] test functor::tests::option_fmap_some ... ok
[INFO] [stdout] test functor::tests::result_fmap_err ... ok
[INFO] [stdout] test functor::tests::result_fmap_ok ... ok
[INFO] [stdout] test functor::tests::vec_fmap ... ok
[INFO] [stdout] test functor_filter::law_tests::option_composition ... ok
[INFO] [stdout] test functor::law_tests::vec_composition ... ok
[INFO] [stdout] test functor_filter::law_tests::option_identity ... ok
[INFO] [stdout] test functor::law_tests::result_composition ... ok
[INFO] [stdout] test functor_filter::tests::option_filter ... ok
[INFO] [stdout] test functor_filter::tests::option_filter_map_filtered ... ok
[INFO] [stdout] test functor_filter::tests::option_filter_map_some ... ok
[INFO] [stdout] test functor_filter::tests::vec_filter ... ok
[INFO] [stdout] test functor_filter::tests::vec_filter_map ... ok
[INFO] [stdout] test extend::law_tests::option_associativity ... ok
[INFO] [stdout] test functor::law_tests::vec_identity ... ok
[INFO] [stdout] test functor::law_tests::option_identity ... ok
[INFO] [stdout] test functor_filter::law_tests::vec_identity ... ok
[INFO] [stdout] test invariant::tests::env_invmap ... ok
[INFO] [stdout] test invariant::tests::identity_invmap ... ok
[INFO] [stdout] test invariant::tests::nonemptyvec_invmap ... ok
[INFO] [stdout] test functor_filter::law_tests::vec_composition ... ok
[INFO] [stdout] test invariant::tests::option_invmap ... ok
[INFO] [stdout] test invariant::law_tests::option_composition ... ok
[INFO] [stdout] test invariant::tests::vec_invmap ... ok
[INFO] [stdout] test invariant::tests::result_invmap ... ok
[INFO] [stdout] test macros::tests::ado_option_1 ... ok
[INFO] [stdout] test macros::tests::ado_option_2_none ... ok
[INFO] [stdout] test macros::tests::ado_option_3 ... ok
[INFO] [stdout] test macros::tests::ado_option_4 ... ok
[INFO] [stdout] test macros::tests::ado_vec_2 ... ok
[INFO] [stdout] test macros::tests::do_option_none ... ok
[INFO] [stdout] test macros::tests::do_option_single ... ok
[INFO] [stdout] test macros::tests::do_option_some ... ok
[INFO] [stdout] test macros::tests::do_vec ... ok
[INFO] [stdout] test invariant::tests::option_invmap_none ... ok
[INFO] [stdout] test functor::law_tests::result_identity ... ok
[INFO] [stdout] test functor::law_tests::option_composition ... ok
[INFO] [stdout] test monad::law_tests::option_left_identity ... ok
[INFO] [stdout] test invariant::law_tests::vec_identity ... ok
[INFO] [stdout] test invariant::law_tests::vec_composition ... ok
[INFO] [stdout] test invariant::law_tests::option_identity ... ok
[INFO] [stdout] test macros::tests::ado_option_2 ... ok
[INFO] [stdout] test monad::law_tests::option_right_identity ... ok
[INFO] [stdout] test monoid::law_tests::i32_left_identity ... ok
[INFO] [stdout] test monad::law_tests::vec_left_identity ... ok
[INFO] [stdout] test monoid::law_tests::option_left_identity ... ok
[INFO] [stdout] test monad::law_tests::vec_right_identity ... ok
[INFO] [stdout] test monoid::tests::option_empty ... ok
[INFO] [stdout] test monoid::law_tests::i32_right_identity ... ok
[INFO] [stdout] test monoid::tests::i32_empty ... ok
[INFO] [stdout] test monoid::tests::string_empty ... ok
[INFO] [stdout] test monoid::tests::vec_empty ... ok
[INFO] [stdout] test monoid::law_tests::option_right_identity ... ok
[INFO] [stdout] test natural::tests::option_to_vec_none ... ok
[INFO] [stdout] test natural::tests::option_to_vec_some ... ok
[INFO] [stdout] test natural::tests::vec_head_to_option_empty ... ok
[INFO] [stdout] test natural::tests::vec_head_to_option_non_empty ... ok
[INFO] [stdout] test monoid::law_tests::vec_right_identity ... ok
[INFO] [stdout] test natural::law_tests::vec_head_to_option_naturality ... ok
[INFO] [stdout] test natural::law_tests::option_to_vec_naturality ... ok
[INFO] [stdout] test newtype::law_tests::last_option_associativity ... ok
[INFO] [stdout] test newtype::law_tests::first_option_associativity ... ok
[INFO] [stdout] test monoid::law_tests::string_left_identity ... ok
[INFO] [stdout] test newtype::law_tests::min_left_identity ... ok
[INFO] [stdout] test newtype::law_tests::max_associativity ... ok
[INFO] [stdout] test newtype::law_tests::product_associativity ... ok
[INFO] [stdout] test newtype::law_tests::max_left_identity ... ok
[INFO] [stdout] test newtype::law_tests::max_right_identity ... ok
[INFO] [stdout] test newtype::law_tests::product_right_identity ... ok
[INFO] [stdout] test newtype::law_tests::sum_left_identity ... ok
[INFO] [stdout] test newtype::tests::first_option_combine ... ok
[INFO] [stdout] test newtype::tests::first_option_monoid ... ok
[INFO] [stdout] test newtype::tests::last_option_combine ... ok
[INFO] [stdout] test newtype::tests::last_option_monoid ... ok
[INFO] [stdout] test newtype::tests::max_combine ... ok
[INFO] [stdout] test newtype::tests::max_monoid_identity ... ok
[INFO] [stdout] test newtype::tests::min_combine ... ok
[INFO] [stdout] test newtype::tests::min_monoid_identity ... ok
[INFO] [stdout] test newtype::tests::product_combine ... ok
[INFO] [stdout] test newtype::tests::product_monoid_identity ... ok
[INFO] [stdout] test newtype::tests::sum_combine ... ok
[INFO] [stdout] test newtype::tests::sum_monoid_identity ... ok
[INFO] [stdout] test newtype::law_tests::min_right_identity ... ok
[INFO] [stdout] test plus::law_tests::option_annihilation ... ok
[INFO] [stdout] test monoid::law_tests::string_right_identity ... ok
[INFO] [stdout] test plus::law_tests::option_right_identity ... ok
[INFO] [stdout] test plus::law_tests::vec_left_identity ... ok
[INFO] [stdout] test plus::tests::option_zero ... ok
[INFO] [stdout] test plus::tests::vec_zero ... ok
[INFO] [stdout] test newtype::law_tests::product_left_identity ... ok
[INFO] [stdout] test selective::tests::option_select_left_no_fn ... ok
[INFO] [stdout] test selective::tests::option_select_left_with_fn ... ok
[INFO] [stdout] test selective::tests::option_select_none ... ok
[INFO] [stdout] test selective::tests::option_select_right ... ok
[INFO] [stdout] test newtype::law_tests::sum_associativity ... ok
[INFO] [stdout] test semigroup::law_tests::i32_associativity ... ok
[INFO] [stdout] test newtype::law_tests::sum_right_identity ... ok
[INFO] [stdout] test monoid::law_tests::vec_left_identity ... ok
[INFO] [stdout] test semigroup::tests::i32_combine ... ok
[INFO] [stdout] test semigroup::tests::option_combine ... ok
[INFO] [stdout] test semigroup::tests::string_combine ... ok
[INFO] [stdout] test semigroup::tests::vec_combine ... ok
[INFO] [stdout] test selective::law_tests::option_identity ... ok
[INFO] [stdout] test newtype::law_tests::min_associativity ... ok
[INFO] [stdout] test semigroup::law_tests::vec_associativity ... ok
[INFO] [stdout] test semigroup::law_tests::option_associativity ... ok
[INFO] [stdout] test plus::law_tests::option_left_identity ... ok
[INFO] [stdout] test traversable::tests::option_traverse_none ... ok
[INFO] [stdout] test traversable::tests::result_traverse_err ... ok
[INFO] [stdout] test traversable::tests::option_traverse_some ... ok
[INFO] [stdout] test traversable::tests::result_traverse_ok ... ok
[INFO] [stdout] test traversable::tests::vec_traverse_all_some ... ok
[INFO] [stdout] test traversable::tests::vec_traverse_one_none ... ok
[INFO] [stdout] test traversable::tests::vec_traverse_empty ... ok
[INFO] [stdout] test traversable::law_tests::vec_identity ... ok
[INFO] [stdout] test traversable::law_tests::option_identity ... ok
[INFO] [stdout] test traversable::tests::option_traverse_effect_fails ... ok
[INFO] [stdout] test plus::law_tests::vec_right_identity ... ok
[INFO] [stdout] test semigroup::law_tests::string_associativity ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 295 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.31s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/karpal_diagram-3943205de591d683)
[INFO] [stdout] 
[INFO] [stdout] running 29 tests
[INFO] [stdout] test braiding::tests::braid_swaps_tuple_positions ... ok
[INFO] [stdout] test coherence::tests::hexagon_paths_agree ... ok
[INFO] [stdout] test coherence::tests::hexagon_produces_witness ... ok
[INFO] [stdout] test coherence::tests::pentagon_produces_witness ... ok
[INFO] [stdout] test coherence::tests::triangle_produces_witness ... ok
[INFO] [stdout] test diagram::tests::cup_and_cap_have_expected_arities ... ok
[INFO] [stdout] test braiding::tests::hexagon_forward_matches_composed_braiding_path ... ok
[INFO] [stdout] test diagram::tests::double_swap_normalizes_to_identity ... ok
[INFO] [stdout] test diagram::tests::normalization_trace_records_parallel_rules ... ok
[INFO] [stdout] test diagram::tests::normalization_trace_records_sequence_rules ... ok
[INFO] [stdout] test diagram::tests::parallel_associativity_normalizes_to_canonical_form ... ok
[INFO] [stdout] test diagram::tests::right_yanking_normalizes_to_identity ... ok
[INFO] [stdout] test diagram::tests::sequence_associativity_normalizes_to_canonical_form ... ok
[INFO] [stdout] test diagram::tests::sequence_normalization_cancels_swaps_inside_longer_chain ... ok
[INFO] [stdout] test render::tests::svg_renderer_emits_svg_tag ... ok
[INFO] [stdout] test render::tests::text_renderer_includes_cups_and_caps ... ok
[INFO] [stdout] test coherence::tests::triangle_paths_agree ... ok
[INFO] [stdout] test render::tests::text_renderer_includes_swap_and_boxes ... ok
[INFO] [stdout] test render::tests::text_renderer_trace_lists_applied_rules ... ok
[INFO] [stdout] test render::tests::text_renderer_trace_lists_yanking_rule ... ok
[INFO] [stdout] test symmetry::tests::symmetry_is_involutive_for_fna ... ok
[INFO] [stdout] test tensor::tests::associator_round_trips ... ok
[INFO] [stdout] test tensor::tests::fna_tensor_runs_both_sides_in_parallel ... ok
[INFO] [stdout] test tensor::tests::unitors_round_trip ... ok
[INFO] [stdout] test braiding::tests::hexagon_forward_has_expected_shape ... ok
[INFO] [stdout] test diagram::tests::normalization_elides_identity ... ok
[INFO] [stdout] test diagram::tests::left_yanking_normalizes_to_identity ... ok
[INFO] [stdout] test coherence::tests::pentagon_paths_agree ... ok
[INFO] [stdout] test diagram::tests::sequence_requires_matching_arities ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/coherence_proofs.rs (/opt/rustwide/target/debug/deps/coherence_proofs-567ec5436df03d0e)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test hexagon_paths_produce_equal_results ... ok
[INFO] [stdout] test hexagon_witness_compiles_for_concrete_types ... ok
[INFO] [stdout] test triangle_paths_produce_equal_results ... ok
[INFO] [stdout] test pentagon_witness_compiles_for_concrete_types ... ok
[INFO] [stdout] test triangle_witness_compiles_for_concrete_types ... ok
[INFO] [stdout] test pentagon_paths_produce_equal_results ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/diagram_rewriting.rs (/opt/rustwide/target/debug/deps/diagram_rewriting-19f427a0396ba287)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test equivalent_proved_handles_associativity_equivalence ... ok
[INFO] [stdout] test equivalent_proved_returns_witness_when_diagrams_normalize_equally ... ok
[INFO] [stdout] test equivalent_proved_handles_yanking_equivalence ... ok
[INFO] [stdout] test equivalent_proved_returns_none_when_diagrams_differ ... ok
[INFO] [stdout] test prove_yanking_produces_witness_for_arity_1 ... ok
[INFO] [stdout] test prove_yanking_produces_witness_for_arity_2 ... ok
[INFO] [stdout] test yanking_diagrams_normalize_to_identity ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/trace_trait.rs (/opt/rustwide/target/debug/deps/trace_trait-4c33135423171b0b)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test fna_trace_closes_feedback_with_default_seed ... ok
[INFO] [stdout] test fna_trace_preserves_passthrough_morphism ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/verification_integration.rs (/opt/rustwide/target/debug/deps/verification_integration-ed0329025461e440)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test coherence_certificates_all_have_expected_backend ... ok
[INFO] [stdout] test coherence_certificates_have_distinct_obligation_names ... ok
[INFO] [stdout] test coherence_certificates_returns_three_certificates ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 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/karpal_effect-fc0ba4b7c75cd142)
[INFO] [stdout] 
[INFO] [stdout] running 84 tests
[INFO] [stdout] test classes::tests::blanket_bridge_result ... ok
[INFO] [stdout] test classes::tests::identity_chain_st ... ok
[INFO] [stdout] test classes::tests::option_chain_st ... ok
[INFO] [stdout] test classes::tests::option_functor_st ... ok
[INFO] [stdout] test classes::tests::result_functor_st ... ok
[INFO] [stdout] test classes::tests::option_applicative_st ... ok
[INFO] [stdout] test classes::tests::blanket_bridge_option ... ok
[INFO] [stdout] test classes::law_tests::option_chain_associativity ... ok
[INFO] [stdout] test except_t::law_tests::except_t_functor_composition ... ok
[INFO] [stdout] test classes::law_tests::option_functor_composition ... ok
[INFO] [stdout] test except_t::tests::except_t_applicative_st_trait ... ok
[INFO] [stdout] test except_t::tests::except_t_catch_ok_passes_through ... ok
[INFO] [stdout] test except_t::tests::except_t_catch_recovers ... ok
[INFO] [stdout] test except_t::tests::except_t_chain_err_short_circuits ... ok
[INFO] [stdout] test except_t::tests::except_t_chain_none ... ok
[INFO] [stdout] test classes::law_tests::option_functor_identity ... ok
[INFO] [stdout] test except_t::tests::except_t_chain_ok ... ok
[INFO] [stdout] test except_t::tests::except_t_chain_st_trait ... ok
[INFO] [stdout] test except_t::tests::except_t_fmap_err ... ok
[INFO] [stdout] test except_t::tests::except_t_fmap_ok ... ok
[INFO] [stdout] test except_t::tests::except_t_functor_st_trait ... ok
[INFO] [stdout] test except_t::tests::except_t_lift_none ... ok
[INFO] [stdout] test except_t::tests::except_t_lift_option ... ok
[INFO] [stdout] test except_t::tests::except_t_pure_identity ... ok
[INFO] [stdout] test except_t::tests::except_t_pure_option ... ok
[INFO] [stdout] test except_t::tests::except_t_throw_test ... ok
[INFO] [stdout] test except_t::tests::except_t_fmap_none ... ok
[INFO] [stdout] test except_t::law_tests::except_t_monad_left_identity ... ok
[INFO] [stdout] test classes::law_tests::option_monad_left_identity ... ok
[INFO] [stdout] test except_t::law_tests::except_t_lift_pure ... ok
[INFO] [stdout] test except_t::law_tests::except_t_functor_identity ... ok
[INFO] [stdout] test reader_t::tests::reader_t_ask_test ... ok
[INFO] [stdout] test reader_t::tests::reader_t_chain_st_trait ... ok
[INFO] [stdout] test reader_t::tests::reader_t_chain_test ... ok
[INFO] [stdout] test reader_t::tests::reader_t_fmap_test ... ok
[INFO] [stdout] test reader_t::tests::reader_t_functor_st_trait ... ok
[INFO] [stdout] test reader_t::tests::reader_t_lift_none ... ok
[INFO] [stdout] test reader_t::tests::reader_t_lift_test ... ok
[INFO] [stdout] test reader_t::tests::reader_t_local_test ... ok
[INFO] [stdout] test reader_t::tests::reader_t_pure_test ... ok
[INFO] [stdout] test reader_t::tests::reader_t_reader_test ... ok
[INFO] [stdout] test reader_t::tests::reader_t_run_test ... ok
[INFO] [stdout] test reader_t::law_tests::reader_t_functor_identity ... ok
[INFO] [stdout] test reader_t::tests::reader_t_chain_shares_env ... ok
[INFO] [stdout] test classes::law_tests::option_monad_right_identity ... ok
[INFO] [stdout] test state_t::law_tests::state_t_functor_identity ... ok
[INFO] [stdout] test reader_t::law_tests::reader_t_monad_left_identity ... ok
[INFO] [stdout] test state_t::tests::state_t_chain_st_trait ... ok
[INFO] [stdout] test reader_t::law_tests::reader_t_lift_pure ... ok
[INFO] [stdout] test state_t::tests::state_t_chain_threads_state ... ok
[INFO] [stdout] test state_t::tests::state_t_chain_with_none ... ok
[INFO] [stdout] test except_t::law_tests::except_t_monad_right_identity ... ok
[INFO] [stdout] test reader_t::law_tests::reader_t_monad_right_identity ... ok
[INFO] [stdout] test state_t::tests::state_t_fmap_test ... ok
[INFO] [stdout] test state_t::tests::state_t_get_test ... ok
[INFO] [stdout] test state_t::tests::state_t_functor_st_trait ... ok
[INFO] [stdout] test state_t::tests::state_t_lift_none ... ok
[INFO] [stdout] test state_t::tests::state_t_modify_test ... ok
[INFO] [stdout] test state_t::tests::state_t_pure_identity ... ok
[INFO] [stdout] test state_t::tests::state_t_run_test ... ok
[INFO] [stdout] test state_t::tests::state_t_pure_option ... ok
[INFO] [stdout] test state_t::tests::state_t_put_test ... ok
[INFO] [stdout] test state_t::tests::state_t_lift_option ... ok
[INFO] [stdout] test state_t::law_tests::state_t_monad_left_identity ... ok
[INFO] [stdout] test writer_t::tests::writer_t_chain_accumulates_log ... ok
[INFO] [stdout] test writer_t::law_tests::writer_t_lift_pure ... ok
[INFO] [stdout] test writer_t::tests::writer_t_chain_none ... ok
[INFO] [stdout] test writer_t::tests::writer_t_chain_with_value ... ok
[INFO] [stdout] test writer_t::tests::writer_t_chain_st_trait ... ok
[INFO] [stdout] test writer_t::tests::writer_t_fmap_test ... ok
[INFO] [stdout] test state_t::law_tests::state_t_get_put ... ok
[INFO] [stdout] test writer_t::tests::writer_t_functor_st_trait ... ok
[INFO] [stdout] test writer_t::tests::writer_t_lift_none ... ok
[INFO] [stdout] test writer_t::tests::writer_t_lift_option ... ok
[INFO] [stdout] test writer_t::tests::writer_t_pass_test ... ok
[INFO] [stdout] test writer_t::tests::writer_t_pure_identity ... ok
[INFO] [stdout] test writer_t::tests::writer_t_tell_test ... ok
[INFO] [stdout] test writer_t::tests::writer_t_pure_option ... ok
[INFO] [stdout] test writer_t::tests::writer_t_listen_test ... ok
[INFO] [stdout] test state_t::law_tests::state_t_put_get ... ok
[INFO] [stdout] test state_t::law_tests::state_t_monad_right_identity ... ok
[INFO] [stdout] test writer_t::law_tests::writer_t_monad_left_identity ... ok
[INFO] [stdout] test writer_t::law_tests::writer_t_monad_right_identity ... ok
[INFO] [stdout] test writer_t::law_tests::writer_t_functor_identity ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 84 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.31s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/karpal_free-b414daae4776bdb1)
[INFO] [stdout] 
[INFO] [stdout] running 146 tests
[INFO] [stdout] test codensity::tests::chain_multiple ... ok
[INFO] [stdout] test codensity::tests::chain_to_monad ... ok
[INFO] [stdout] test codensity::tests::fmap_changes_type ... ok
[INFO] [stdout] test codensity::tests::fmap_to_monad ... ok
[INFO] [stdout] test codensity::tests::monad_left_identity ... ok
[INFO] [stdout] test codensity::tests::fmap_then_chain ... ok
[INFO] [stdout] test codensity::tests::monad_right_identity ... ok
[INFO] [stdout] test codensity::tests::pure_to_monad ... ok
[INFO] [stdout] test codensity::law_tests::monad_left_identity ... ok
[INFO] [stdout] test codensity::tests::chain_associativity ... ok
[INFO] [stdout] test codensity::law_tests::functor_composition ... ok
[INFO] [stdout] test codensity::law_tests::monad_right_identity ... ok
[INFO] [stdout] test codensity::law_tests::functor_identity ... ok
[INFO] [stdout] test cofree::tests::extend_trait_works ... ok
[INFO] [stdout] test cofree::tests::extract_head ... ok
[INFO] [stdout] test cofree::tests::fmap_cofree ... ok
[INFO] [stdout] test cofree::tests::functor_trait_works ... ok
[INFO] [stdout] test cofree::tests::unfold_option_stream ... ok
[INFO] [stdout] test cofree::tests::unfold_then_extract ... ok
[INFO] [stdout] test cofree::law_tests::functor_composition ... ok
[INFO] [stdout] test cofree::tests::comonad_trait_works ... ok
[INFO] [stdout] test cofree::tests::extend_cofree ... ok
[INFO] [stdout] test coyoneda::tests::fmap_none ... ok
[INFO] [stdout] test coyoneda::tests::fmap_then_lower ... ok
[INFO] [stdout] test coyoneda::tests::fmap_changes_type ... ok
[INFO] [stdout] test coyoneda::tests::lift_lower_roundtrip_option ... ok
[INFO] [stdout] test coyoneda::tests::lift_lower_roundtrip_vec ... ok
[INFO] [stdout] test coyoneda::tests::fmap_without_functor_bound ... ok
[INFO] [stdout] test coyoneda::tests::multiple_fmaps ... ok
[INFO] [stdout] test cofree::law_tests::extract_extend ... ok
[INFO] [stdout] test cofree::law_tests::extend_extract ... ok
[INFO] [stdout] test cofree::law_tests::functor_identity ... ok
[INFO] [stdout] test day::tests::fmap_composition ... ok
[INFO] [stdout] test day::tests::fmap_day ... ok
[INFO] [stdout] test day::tests::fmap_identity ... ok
[INFO] [stdout] test day::tests::multiple_fmaps ... ok
[INFO] [stdout] test day::tests::new_and_run_day ... ok
[INFO] [stdout] test day::tests::type_changing_combine ... ok
[INFO] [stdout] test day::tests::run_day_none_left ... ok
[INFO] [stdout] test day::tests::run_day_none_right ... ok
[INFO] [stdout] test day::law_tests::functor_identity ... ok
[INFO] [stdout] test density::tests::fmap_changes_type ... ok
[INFO] [stdout] test density::tests::fmap_composition ... ok
[INFO] [stdout] test density::tests::fmap_density ... ok
[INFO] [stdout] test density::tests::fmap_identity ... ok
[INFO] [stdout] test density::tests::lift_and_extract ... ok
[INFO] [stdout] test density::tests::lift_extract_none ... ok
[INFO] [stdout] test density::tests::multiple_fmaps ... ok
[INFO] [stdout] test codensity::law_tests::monad_associativity ... ok
[INFO] [stdout] test density::tests::extract_multiple_times ... ok
[INFO] [stdout] test coyoneda::law_tests::coyoneda_identity ... ok
[INFO] [stdout] test density::law_tests::functor_identity ... ok
[INFO] [stdout] test free::law_tests::monad_left_identity ... ok
[INFO] [stdout] test coyoneda::law_tests::coyoneda_composition ... ok
[INFO] [stdout] test day::law_tests::functor_composition ... ok
[INFO] [stdout] test free::law_tests::functor_composition ... ok
[INFO] [stdout] test free::law_tests::functor_identity ... ok
[INFO] [stdout] test free::tests::chain_associativity ... ok
[INFO] [stdout] test free::tests::chain_pure ... ok
[INFO] [stdout] test free::tests::fmap_pure ... ok
[INFO] [stdout] test free::tests::fmap_roll ... ok
[INFO] [stdout] test free::tests::fold_map_chain_then_interpret ... ok
[INFO] [stdout] test free::tests::fold_map_roll ... ok
[INFO] [stdout] test free::tests::chain_roll ... ok
[INFO] [stdout] test free::tests::fold_map_pure ... ok
[INFO] [stdout] test free::tests::lift_f_some ... ok
[INFO] [stdout] test free::tests::functor_impl_works ... ok
[INFO] [stdout] test free::tests::pure_value ... ok
[INFO] [stdout] test free_alt::tests::alt_multiple ... ok
[INFO] [stdout] test free_alt::tests::alt_none_none ... ok
[INFO] [stdout] test free_alt::tests::alt_none_some ... ok
[INFO] [stdout] test free_alt::tests::alt_some_none ... ok
[INFO] [stdout] test free_alt::tests::alt_some_some ... ok
[INFO] [stdout] test free_alt::tests::count_alternatives_multiple ... ok
[INFO] [stdout] test free_alt::tests::count_alternatives_single ... ok
[INFO] [stdout] test free_alt::tests::count_alternatives_zero ... ok
[INFO] [stdout] test free_alt::law_tests::plus_right_identity ... ok
[INFO] [stdout] test free_alt::tests::count_effects_across_branches ... ok
[INFO] [stdout] test free_alt::tests::fmap_alt ... ok
[INFO] [stdout] test free_alt::tests::lift_f_retract ... ok
[INFO] [stdout] test free_alt::tests::pure_retract ... ok
[INFO] [stdout] test free_alt::tests::zero_retract ... ok
[INFO] [stdout] test free_alt::law_tests::alt_associativity ... ok
[INFO] [stdout] test density::law_tests::functor_composition ... ok
[INFO] [stdout] test free::law_tests::monad_right_identity ... ok
[INFO] [stdout] test free_ap::tests::ap_lift_lift ... ok
[INFO] [stdout] test free_ap::tests::ap_pure_pure ... ok
[INFO] [stdout] test free_ap::tests::count_effects_ap ... ok
[INFO] [stdout] test free_ap::tests::count_effects_fmapped ... ok
[INFO] [stdout] test free_ap::tests::count_effects_pure ... ok
[INFO] [stdout] test free_ap::tests::count_effects_single ... ok
[INFO] [stdout] test free_ap::tests::fmap_composition ... ok
[INFO] [stdout] test free_ap::tests::fmap_identity ... ok
[INFO] [stdout] test free_ap::tests::fmap_lift_retract ... ok
[INFO] [stdout] test free_ap::tests::fmap_pure_retract ... ok
[INFO] [stdout] test free_ap::tests::lift_f_none ... ok
[INFO] [stdout] test free_ap::tests::lift_f_retract ... ok
[INFO] [stdout] test free_ap::tests::multiple_fmaps ... ok
[INFO] [stdout] test free_alt::law_tests::plus_left_identity ... ok
[INFO] [stdout] test free_ap::tests::pure_retract ... ok
[INFO] [stdout] test free_alt::law_tests::functor_composition ... ok
[INFO] [stdout] test free_alt::law_tests::functor_identity ... ok
[INFO] [stdout] test freer::tests::chain_associativity ... ok
[INFO] [stdout] test freer::law_tests::monad_left_identity ... ok
[INFO] [stdout] test freer::tests::chain_lift_multiple ... ok
[INFO] [stdout] test freer::tests::chain_pure ... ok
[INFO] [stdout] test freer::tests::fmap_pure ... ok
[INFO] [stdout] test freer::tests::fmap_lift_then_fold ... ok
[INFO] [stdout] test freer::tests::fold_map_lift ... ok
[INFO] [stdout] test freer::tests::fold_map_lift_none ... ok
[INFO] [stdout] test freer::law_tests::monad_right_identity ... ok
[INFO] [stdout] test freer::tests::fold_map_pure ... ok
[INFO] [stdout] test freer::tests::lift_f_some ... ok
[INFO] [stdout] test freer::tests::fold_map_chain ... ok
[INFO] [stdout] test lan::tests::fmap_composition ... ok
[INFO] [stdout] test freer::tests::pure_value ... ok
[INFO] [stdout] test lan::tests::fmap_lan ... ok
[INFO] [stdout] test lan::tests::fmap_identity ... ok
[INFO] [stdout] test free_ap::law_tests::applicative_identity ... ok
[INFO] [stdout] test lan::tests::lower_with_extract_transform ... ok
[INFO] [stdout] test free_ap::law_tests::applicative_homomorphism ... ok
[INFO] [stdout] test lan::tests::new_and_lower ... ok
[INFO] [stdout] test lan::tests::to_coyoneda_roundtrip ... ok
[INFO] [stdout] test lan::tests::to_coyoneda_with_fmap ... ok
[INFO] [stdout] test free_ap::law_tests::functor_identity ... ok
[INFO] [stdout] test free_ap::law_tests::functor_composition ... ok
[INFO] [stdout] test ran::tests::ran_as_codensity ... ok
[INFO] [stdout] test ran::tests::ran_different_impl ... ok
[INFO] [stdout] test ran::tests::ran_different_impl_empty ... ok
[INFO] [stdout] test ran::tests::ran_fmap_basic ... ok
[INFO] [stdout] test ran::tests::basic_ran ... ok
[INFO] [stdout] test ran::tests::ran_fmap_composition ... ok
[INFO] [stdout] test ran::tests::ran_fmap_identity ... ok
[INFO] [stdout] test yoneda::tests::fmap_none ... ok
[INFO] [stdout] test yoneda::tests::fmap_then_lower ... ok
[INFO] [stdout] test ran::tests::ran_with_none ... ok
[INFO] [stdout] test yoneda::tests::lift_lower_roundtrip_option ... ok
[INFO] [stdout] test yoneda::tests::lift_lower_roundtrip_vec ... ok
[INFO] [stdout] test yoneda::tests::multiple_fmaps ... ok
[INFO] [stdout] test yoneda::tests::fmap_type_change ... ok
[INFO] [stdout] test lan::law_tests::functor_identity ... ok
[INFO] [stdout] test lan::law_tests::functor_composition ... ok
[INFO] [stdout] test ran::law_tests::functor_composition ... ok
[INFO] [stdout] test ran::law_tests::functor_identity ... ok
[INFO] [stdout] test yoneda::law_tests::yoneda_composition ... ok
[INFO] [stdout] test yoneda::law_tests::yoneda_identity ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 146 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.28s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/karpal_higher-031bae18222af8d4)
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test enriched::tests::set_enriched_compose_chains_functions ... ok
[INFO] [stdout] test bicategory::tests::cat_associator_exists ... ok
[INFO] [stdout] test enriched::tests::set_enriched_id_is_identity ... ok
[INFO] [stdout] test ffunctor::tests::id_ffunctor_preserves_two_morphism ... ok
[INFO] [stdout] test ffunctor::tests::identity_ffunctor_preserves_morphism ... ok
[INFO] [stdout] test rich_cat::tests::rich_cat_associator_is_named ... ok
[INFO] [stdout] test coherence::tests::interchange_witness_compiles ... ok
[INFO] [stdout] test rich_cat::tests::rich_cat_compose1_chains_functions ... ok
[INFO] [stdout] test rich_cat::tests::rich_cat_compose2_concatenates_labels ... ok
[INFO] [stdout] test rich_cat::tests::rich_cat_id1_is_identity_function ... ok
[INFO] [stdout] test rich_cat::tests::rich_cat_id2_is_named ... ok
[INFO] [stdout] test rich_cat::tests::rich_cat_unitors_are_named ... ok
[INFO] [stdout] test rich_cat::tests::rich_cat_vertical_composition_preserves_history ... ok
[INFO] [stdout] test rich_cat::tests::two_cell_equality ... ok
[INFO] [stdout] test two_category::tests::cat_compose1_chains_functions ... ok
[INFO] [stdout] test two_category::tests::cat_compose2_vertical_is_total ... ok
[INFO] [stdout] test two_category::tests::cat_id1_is_identity_function ... ok
[INFO] [stdout] test bicategory::tests::cat_unit_existence ... ok
[INFO] [stdout] test coherence::tests::bicategory_triangle_witness_compiles ... ok
[INFO] [stdout] test coherence::tests::bicategory_pentagon_witness_compiles ... ok
[INFO] [stdout] test coherence::tests::higher_coherence_certificates_have_expected_backend ... ok
[INFO] [stdout] test coherence::tests::higher_coherence_certificates_returns_three ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 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/karpal_index-0a29f711eb634438)
[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/karpal_optics-0e6f47884391f7a4)
[INFO] [stdout] 
[INFO] [stdout] running 72 tests
[INFO] [stdout] test fold::tests::fold_all ... ok
[INFO] [stdout] test fold::tests::fold_from_lens ... ok
[INFO] [stdout] test fold::tests::fold_from_traversal ... ok
[INFO] [stdout] test fold::tests::fold_length ... ok
[INFO] [stdout] test fold::tests::fold_get_all ... ok
[INFO] [stdout] test fold::tests::fold_map_sum ... ok
[INFO] [stdout] test fold::tests::fold_map_string ... ok
[INFO] [stdout] test getter::tests::getter_composition ... ok
[INFO] [stdout] test getter::tests::getter_from_iso ... ok
[INFO] [stdout] test getter::tests::getter_from_lens ... ok
[INFO] [stdout] test getter::tests::getter_get ... ok
[INFO] [stdout] test iso::tests::iso_get ... ok
[INFO] [stdout] test iso::tests::iso_over ... ok
[INFO] [stdout] test iso::tests::iso_set ... ok
[INFO] [stdout] test iso::tests::iso_review ... ok
[INFO] [stdout] test iso::tests::iso_to_getter ... ok
[INFO] [stdout] test iso::tests::iso_to_review ... ok
[INFO] [stdout] test iso::tests::iso_transform_fnp ... ok
[INFO] [stdout] test iso::tests::iso_to_lens ... ok
[INFO] [stdout] test fold::tests::fold_any ... ok
[INFO] [stdout] test lens::tests::composed_get ... ok
[INFO] [stdout] test fold::tests::fold_find ... ok
[INFO] [stdout] test lens::tests::composed_over ... ok
[INFO] [stdout] test lens::tests::composed_set ... ok
[INFO] [stdout] test lens::tests::law_put_get ... ok
[INFO] [stdout] test lens::tests::law_get_put ... ok
[INFO] [stdout] test lens::tests::lens_get ... ok
[INFO] [stdout] test lens::tests::law_put_put ... ok
[INFO] [stdout] test lens::tests::lens_set ... ok
[INFO] [stdout] test lens::tests::lens_over ... ok
[INFO] [stdout] test lens::tests::lens_transform_fnp ... ok
[INFO] [stdout] test lens::tests::profunctor_composition_equivalence ... ok
[INFO] [stdout] test lens::tests::lens_transform_fnp_name ... ok
[INFO] [stdout] test lens::tests::three_deep_set ... ok
[INFO] [stdout] test lens::tests::three_deep_get ... ok
[INFO] [stdout] test lens::tests::three_deep_over ... ok
[INFO] [stdout] test iso::tests::law_roundtrip_forward_backward ... ok
[INFO] [stdout] test prism::tests::law_over_identity_circle ... ok
[INFO] [stdout] test prism::tests::over_match ... ok
[INFO] [stdout] test prism::tests::over_no_match ... ok
[INFO] [stdout] test prism::tests::preview_match ... ok
[INFO] [stdout] test prism::tests::preview_no_match ... ok
[INFO] [stdout] test prism::tests::review ... ok
[INFO] [stdout] test prism::tests::set_match ... ok
[INFO] [stdout] test prism::tests::set_no_match ... ok
[INFO] [stdout] test prism::tests::transform_fnp_match ... ok
[INFO] [stdout] test prism::tests::transform_fnp_no_match ... ok
[INFO] [stdout] test review::tests::review_build ... ok
[INFO] [stdout] test review::tests::review_from_iso ... ok
[INFO] [stdout] test review::tests::review_from_prism ... ok
[INFO] [stdout] test setter::tests::setter_from_lens ... ok
[INFO] [stdout] test setter::tests::setter_from_prism ... ok
[INFO] [stdout] test setter::tests::setter_identity_law ... ok
[INFO] [stdout] test setter::tests::setter_over ... ok
[INFO] [stdout] test setter::tests::setter_set ... ok
[INFO] [stdout] test traversal::tests::traversal_composition ... ok
[INFO] [stdout] test traversal::tests::traversal_composition_law ... ok
[INFO] [stdout] test traversal::tests::traversal_from_lens ... ok
[INFO] [stdout] test traversal::tests::traversal_from_prism ... ok
[INFO] [stdout] test traversal::tests::traversal_get_all ... ok
[INFO] [stdout] test traversal::tests::traversal_identity_law ... ok
[INFO] [stdout] test traversal::tests::traversal_over ... ok
[INFO] [stdout] test traversal::tests::traversal_set ... ok
[INFO] [stdout] test traversal::tests::traversal_transform_fnp ... ok
[INFO] [stdout] test traversal::tests::traversal_transform_forget ... ok
[INFO] [stdout] test prism::tests::law_review_preview ... ok
[INFO] [stdout] test lens::tests::composed_law_put_put ... ok
[INFO] [stdout] test prism::tests::law_over_identity_rect ... ok
[INFO] [stdout] test prism::tests::law_preview_review ... ok
[INFO] [stdout] test iso::tests::law_roundtrip_backward_forward ... ok
[INFO] [stdout] test lens::tests::composed_law_get_put ... ok
[INFO] [stdout] test lens::tests::composed_law_put_get ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 72 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.21s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/karpal_profunctor-fbceff0896a444a9)
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test fn_profunctor::tests::fnp_dimap ... ok
[INFO] [stdout] test fn_profunctor::tests::fnp_second ... ok
[INFO] [stdout] test forget::tests::forget_choice_left_miss ... ok
[INFO] [stdout] test forget::tests::forget_choice_left_match ... ok
[INFO] [stdout] test fn_profunctor::tests::fnp_first ... ok
[INFO] [stdout] test fn_profunctor::tests::fnp_left ... ok
[INFO] [stdout] test forget::tests::forget_dimap_ignores_g ... ok
[INFO] [stdout] test forget::tests::forget_phantom_b_verification ... ok
[INFO] [stdout] test forget::tests::forget_strong_first ... ok
[INFO] [stdout] test forget::tests::forget_strong_second ... ok
[INFO] [stdout] test tagged::tests::tagged_choice_left ... ok
[INFO] [stdout] test tagged::tests::tagged_choice_right ... ok
[INFO] [stdout] test tagged::tests::tagged_phantom_a_verification ... ok
[INFO] [stdout] test tagged::tests::tagged_dimap_ignores_f ... ok
[INFO] [stdout] test forget::tests::forget_choice_right_match ... ok
[INFO] [stdout] test fn_profunctor::tests::fnp_right ... ok
[INFO] [stdout] test tagged::tests::tagged_profunctor_identity ... ok
[INFO] [stdout] test fn_profunctor::law_tests::profunctor_identity ... ok
[INFO] [stdout] test fn_profunctor::law_tests::profunctor_composition ... ok
[INFO] [stdout] test forget::tests::forget_profunctor_identity ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/karpal_proof-aea4839c2005eaec)
[INFO] [stdout] 
[INFO] [stdout] running 65 tests
[INFO] [stdout] test law_check::tests::absorption_holds_for_bool ... ok
[INFO] [stdout] test law_check::tests::associativity_fails_for_subtraction ... ok
[INFO] [stdout] test law_check::tests::associativity_holds_for_addition ... ok
[INFO] [stdout] test law_check::tests::commutativity_holds_for_addition ... ok
[INFO] [stdout] test law_check::tests::identity_holds ... ok
[INFO] [stdout] test law_check::tests::inverse_holds ... ok
[INFO] [stdout] test law_check::tests::law_violation_display ... ok
[INFO] [stdout] test property::tests::implication_lattice_compiles ... ok
[INFO] [stdout] test property::tests::property_names ... ok
[INFO] [stdout] test law_check::tests::distributivity_holds_for_integers ... ok
[INFO] [stdout] test law_check::tests::idempotency_fails_for_addition ... ok
[INFO] [stdout] test law_check::tests::idempotency_holds_for_min ... ok
[INFO] [stdout] test law_check::tests::commutativity_fails_for_subtraction ... ok
[INFO] [stdout] test proven::tests::and_conjunction ... ok
[INFO] [stdout] test proven::tests::derive_abelian_chain ... ok
[INFO] [stdout] test proven::tests::derive_second_from_and ... ok
[INFO] [stdout] test proven::tests::derive_weaker_property ... ok
[INFO] [stdout] test proven::tests::field_forwarding ... ok
[INFO] [stdout] test proven::tests::from_abelian ... ok
[INFO] [stdout] test proven::tests::from_bounded_lattice ... ok
[INFO] [stdout] test proven::tests::from_field ... ok
[INFO] [stdout] test proven::tests::from_group ... ok
[INFO] [stdout] test proven::tests::from_lattice ... ok
[INFO] [stdout] test proven::tests::from_monoid ... ok
[INFO] [stdout] test proven::tests::from_ring ... ok
[INFO] [stdout] test proven::tests::from_semigroup_and_access ... ok
[INFO] [stdout] test proven::tests::from_semiring ... ok
[INFO] [stdout] test proven::tests::group_forwarding ... ok
[INFO] [stdout] test proven::tests::lattice_forwarding ... ok
[INFO] [stdout] test proven::tests::monoid_forwarding ... ok
[INFO] [stdout] test proven::tests::proven_preserves_equality ... ok
[INFO] [stdout] test proven::tests::proven_preserves_ordering ... ok
[INFO] [stdout] test proven::tests::ring_forwarding ... ok
[INFO] [stdout] test proven::tests::semigroup_forwarding ... ok
[INFO] [stdout] test proven::tests::semiring_forwarding ... ok
[INFO] [stdout] test proven::tests::unsafe_axiom ... ok
[INFO] [stdout] test refinement::tests::non_empty_from_parts ... ok
[INFO] [stdout] test refinement::tests::non_empty_into_vec ... ok
[INFO] [stdout] test refinement::tests::non_empty_iter ... ok
[INFO] [stdout] test refinement::tests::non_empty_map ... ok
[INFO] [stdout] test refinement::tests::non_empty_push ... ok
[INFO] [stdout] test refinement::tests::non_empty_semigroup ... ok
[INFO] [stdout] test refinement::tests::non_empty_singleton ... ok
[INFO] [stdout] test refinement::tests::non_empty_try_new ... ok
[INFO] [stdout] test refinement::tests::positive_f32 ... ok
[INFO] [stdout] test refinement::tests::positive_f64 ... ok
[INFO] [stdout] test refinement::tests::positive_i32 ... ok
[INFO] [stdout] test refinement::tests::positive_u32 ... ok
[INFO] [stdout] test refinement::tests::positive_u32_from_nonzero ... ok
[INFO] [stdout] test rewrite::tests::annihilation_rewrite ... ok
[INFO] [stdout] test rewrite::tests::associativity_rewrite ... ok
[INFO] [stdout] test rewrite::tests::commutativity_rewrite ... ok
[INFO] [stdout] test rewrite::tests::distribution_rewrite ... ok
[INFO] [stdout] test rewrite::tests::identity_rewrite ... ok
[INFO] [stdout] test rewrite::tests::inverse_rewrite ... ok
[INFO] [stdout] test rewrite::tests::symmetry ... ok
[INFO] [stdout] test rewrite::tests::three_step_chain ... ok
[INFO] [stdout] test rewrite::tests::transitivity_chain ... ok
[INFO] [stdout] test proven::law_tests::law_check_inverse_i16 ... ok
[INFO] [stdout] test proven::law_tests::proven_group_inverse ... ok
[INFO] [stdout] test proven::law_tests::law_check_commutativity_i16 ... ok
[INFO] [stdout] test proven::law_tests::law_check_semigroup_via_trait ... ok
[INFO] [stdout] test proven::law_tests::law_check_distributivity_i16 ... ok
[INFO] [stderr]      Running tests/derive_tests.rs (/opt/rustwide/target/debug/deps/derive_tests-3d75d8d1b2ed228b)
[INFO] [stdout] test proven::law_tests::proven_monoid_identity ... ok
[INFO] [stdout] test proven::law_tests::proven_semigroup_associativity ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 65 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test verify_lattice_minmax::join_associativity ... ok
[INFO] [stdout] test verify_lattice_minmax::join_idempotency ... ok
[INFO] [stdout] test verify_group_additiveg::left_inverse ... ok
[INFO] [stdout] test verify_lattice_minmax::absorption_meet_join ... ok
[INFO] [stdout] test verify_commutative_additivec::commutativity ... ok
[INFO] [stdout] test verify_lattice_minmax::absorption_join_meet ... ok
[INFO] [stdout] test verify_lattice_minmax::join_commutativity ... ok
[INFO] [stdout] test verify_lattice_minmax::meet_associativity ... ok
[INFO] [stdout] test verify_group_additiveg::right_inverse ... ok
[INFO] [stdout] test verify_lattice_minmax::meet_commutativity ... ok
[INFO] [stdout] test verify_ring_wrapringn::left_additive_inverse ... ok
[INFO] [stdout] test verify_monoid_additivem::right_identity ... ok
[INFO] [stdout] test verify_monoid_additivem::left_identity ... ok
[INFO] [stdout] test verify_ring_wrapringn::right_additive_inverse ... ok
[INFO] [stdout] test verify_lattice_minmax::meet_idempotency ... ok
[INFO] [stdout] test verify_semiring_wrapring::mul_associativity ... ok
[INFO] [stdout] test verify_semiring_wrapring::left_distributivity ... ok
[INFO] [stdout] test verify_semiring_wrapring::mul_identity ... ok
[INFO] [stdout] test verify_semiring_wrapring::add_associativity ... ok
[INFO] [stdout] test verify_semiring_wrapring::add_commutativity ... ok
[INFO] [stdout] test verify_semigroup_additives::associativity ... ok
[INFO] [stdout] test verify_semiring_wrapring::zero_annihilation ... ok
[INFO] [stdout] test verify_semiring_wrapring::add_identity ... ok
[INFO] [stdout] test verify_semiring_wrapring::right_distributivity ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.18s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/karpal_proof_derive-255d1d068b200e93)
[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/karpal_recursion-f940626fe29ae0f2)
[INFO] [stdout] 
[INFO] [stdout] running 45 tests
[INFO] [stdout] test either::tests::either_left ... ok
[INFO] [stdout] test either::tests::either_right ... ok
[INFO] [stdout] test either::tests::map_right ... ok
[INFO] [stdout] test either::tests::map_right_on_left_is_noop ... ok
[INFO] [stdout] test fix::tests::clone_fix ... ok
[INFO] [stdout] test fix::tests::mu_is_fix ... ok
[INFO] [stdout] test fix::tests::fix_unfix_roundtrip ... ok
[INFO] [stdout] test either::tests::map_left ... ok
[INFO] [stdout] test fix::tests::zero_is_none ... ok
[INFO] [stdout] test fix::tests::succ_is_some ... ok
[INFO] [stdout] test either::tests::map_left_on_right_is_noop ... ok
[INFO] [stdout] test nu::tests::observe_once ... ok
[INFO] [stdout] test nu::tests::to_fix_converts ... ok
[INFO] [stdout] test nu::tests::observe_at_zero ... ok
[INFO] [stdout] test schemes::tests::ana_build_nat ... ok
[INFO] [stdout] test schemes::tests::ana_step_by_two ... ok
[INFO] [stdout] test schemes::tests::ana_zero ... ok
[INFO] [stdout] test schemes::tests::apo_build_nat ... ok
[INFO] [stdout] test schemes::tests::apo_degenerates_to_ana ... ok
[INFO] [stdout] test schemes::tests::apo_early_stop ... ok
[INFO] [stdout] test schemes::tests::cata_count_nat ... ok
[INFO] [stdout] test schemes::tests::cata_identity_law ... ok
[INFO] [stdout] test schemes::tests::cata_to_string ... ok
[INFO] [stdout] test schemes::tests::cata_zero ... ok
[INFO] [stdout] test schemes::tests::chrono_fibonacci ... ok
[INFO] [stdout] test schemes::tests::futu_build_nat ... ok
[INFO] [stdout] test schemes::tests::futu_degenerates_to_ana ... ok
[INFO] [stdout] test schemes::tests::futu_multi_step ... ok
[INFO] [stdout] test schemes::law_tests::cata_fix_identity ... ok
[INFO] [stdout] test schemes::tests::histo_fibonacci ... ok
[INFO] [stdout] test schemes::tests::histo_zero ... ok
[INFO] [stdout] test schemes::tests::histo_degenerates_to_cata ... ok
[INFO] [stdout] test schemes::tests::hylo_equals_cata_ana ... ok
[INFO] [stdout] test schemes::tests::hylo_count ... ok
[INFO] [stdout] test schemes::tests::para_degenerates_to_cata ... ok
[INFO] [stdout] test schemes::tests::para_factorial ... ok
[INFO] [stdout] test schemes::tests::para_zero ... ok
[INFO] [stdout] test schemes::tests::zygo_degenerates_to_cata ... ok
[INFO] [stdout] test schemes::tests::zygo_parity_and_count ... ok
[INFO] [stdout] test schemes::law_tests::futu_always_pure_is_ana ... ok
[INFO] [stdout] test schemes::law_tests::histo_ignoring_history_is_cata ... ok
[INFO] [stdout] test schemes::law_tests::para_ignoring_subterms_is_cata ... ok
[INFO] [stdout] test schemes::law_tests::hylo_is_cata_ana ... ok
[INFO] [stdout] test schemes::law_tests::apo_always_right_is_ana ... ok
[INFO] [stdout] test schemes::law_tests::ana_cata_roundtrip ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 45 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/karpal_schubert_types-d32471b9d6396b03)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test lr_enriched::tests::lr_compose_geometric_zero_propagates ... ok
[INFO] [stdout] test lr_enriched::tests::lr_compose_structural_zero_dominates ... ok
[INFO] [stdout] test lr_enriched::tests::lr_compose_underdetermined_underdetermined_is_underdetermined ... ok
[INFO] [stdout] test lr_enriched::tests::lr_compose_positive_positive_is_positive ... ok
[INFO] [stdout] test lr_enriched::tests::lr_identity_is_positive ... ok
[INFO] [stdout] test lr_enriched::tests::meet_lattice_order_is_correct ... ok
[INFO] [stdout] test lr_enriched::tests::real_schubert_intersection_composes_correctly ... ok
[INFO] [stdout] test lr_enriched::tests::lr_compose_positive_underdetermined_gives_positive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/schubert_core.rs (/opt/rustwide/target/debug/deps/schubert_core-3c05cc43fb4bdd2e)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test intersection_four_lines_in_gr_2_4_is_finite ... ok
[INFO] [stdout] test intersection_kind_positive_is_not_zero ... ok
[INFO] [stdout] test intersection_kind_structural_zero_is_zero ... ok
[INFO] [stdout] test schubert_type_empty_partition_is_point_class ... ok
[INFO] [stdout] test intersection_structural_zero_when_codim_exceeds_dim ... ok
[INFO] [stdout] test intersection_positive_in_gr_2_4 ... ok
[INFO] [stdout] test schubert_type_rejects_partition_exceeding_box ... ok
[INFO] [stdout] test schubert_type_valid_in_gr_2_4 ... ok
[INFO] [stderr]      Running tests/schubert_proof.rs (/opt/rustwide/target/debug/deps/schubert_proof-40eb769710710348)
[INFO] [stdout] test intersection_kind_geometric_zero_is_zero ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test compose_checks_compatible_chain_succeeds ... ok
[INFO] [stdout] test schubert_proven_check_against_compatible_type_is_nonzero ... ok
[INFO] [stdout] test schubert_proven_holds_value ... ok
[INFO] [stdout] test schubert_proven_into_inner_unwraps ... ok
[INFO] [stdout] test schubert_proven_check_against_incompatible_type_is_none ... ok
[INFO] [stdout] test compose_checks_incompatible_chain_fails ... 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 tests/schubert_verification.rs (/opt/rustwide/target/debug/deps/schubert_verification-492f3fce9bc368ec)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test schubert_bundle_contains_lr_consistency ... ok
[INFO] [stdout] test schubert_bundle_contains_three_obligations ... ok
[INFO] [stdout] test schubert_bundle_contains_partition_validity ... ok
[INFO] [stdout] test verify_schubert_all_obligations_have_results ... ok
[INFO] [stdout] test verify_schubert_produces_report ... 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] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/karpal_std-d1515761073a1e45)
[INFO] [stdout] running 9 tests
[INFO] [stdout] test tests::prelude_arrow_accessible ... ok
[INFO] [stdout] test tests::prelude_diagram_accessible ... ok
[INFO] [stdout] test tests::prelude_functor_accessible ... ok
[INFO] [stdout] test tests::prelude_hkt_accessible ... ok
[INFO] [stdout] test tests::prelude_lens_accessible ... ok
[INFO] [stdout] test tests::prelude_prism_accessible ... ok
[INFO] [stdout] test tests::prelude_profunctor_accessible ... ok
[INFO] [stdout] test tests::prelude_verify_accessible ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/karpal_verify-85f538256726c2ca)
[INFO] [stdout] test tests::prelude_schubert_accessible ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 57 tests
[INFO] [stdout] test bundle::tests::monoid_bundle_contains_expected_laws ... ok
[INFO] [stdout] test artifact::tests::write_bundle_artifacts_writes_files ... ok
[INFO] [stdout] test artifact::tests::dry_run_creates_expected_paths_and_plans ... ok
[INFO] [stdout] test command::tests::kani_plan_invokes_standalone_kani_for_generated_harness ... ok
[INFO] [stdout] test command::tests::lean_project_plan_can_use_lake_build ... ok
[INFO] [stdout] test command::tests::lean_project_plan_uses_lake_from_project_root ... ok
[INFO] [stdout] test gpu::tests::gpu_bundle_contains_expected_obligations ... ok
[INFO] [stdout] test command::tests::smt_plan_includes_script_path ... ok
[INFO] [stdout] test bundle::tests::ring_bundle_contains_additive_inverse_laws ... ok
[INFO] [stdout] test bundle::tests::semiring_bundle_contains_expected_laws ... ok
[INFO] [stdout] test export::tests::lean_bundle_export_contains_multiple_theorems ... ok
[INFO] [stdout] test export::tests::lean_bundle_export_with_prelude_renders_imports ... ok
[INFO] [stdout] test command::tests::shell_render_quotes_complex_args ... ok
[INFO] [stdout] test export::tests::smt_bundle_export_returns_one_script_per_obligation ... ok
[INFO] [stdout] test gpu::tests::gpu_bundle_exports_through_all_backends ... ok
[INFO] [stdout] test gpu::tests::numerical_correctness_property_has_name ... ok
[INFO] [stdout] test gpu::tests::numerical_correctness_records_threshold_and_trials ... ok
[INFO] [stdout] test gpu::tests::numerical_correctness_exports_through_all_backends ... ok
[INFO] [stdout] test lean::tests::derived_prelude_aliases_invalid_symbols ... ok
[INFO] [stdout] test lean::tests::exports_theorem_skeleton ... ok
[INFO] [stdout] test lean::tests::project_derives_mathlib_requirement_from_prelude ... ok
[INFO] [stdout] test obligation::tests::lattice_absorption_creates_conjunction ... ok
[INFO] [stdout] test obligation::tests::monoid_identity_builder_creates_conjunction ... ok
[INFO] [stdout] test kani::tests::kani_backend_sanitizes_invalid_harness_names ... ok
[INFO] [stdout] test lean::tests::explicit_prelude_renders_imports_before_namespace ... ok
[INFO] [stdout] test lean::tests::structured_export_tracks_theorem_identity ... ok
[INFO] [stdout] test gpu::tests::with_numerical_correctness_adds_obligation ... ok
[INFO] [stdout] test obligation::tests::associativity_builder_populates_metadata ... ok
[INFO] [stdout] test kani::tests::kani_backend_exports_one_harness_per_bundle_obligation ... ok
[INFO] [stdout] test obligation::tests::signature_driven_group_builders_use_registered_roles ... ok
[INFO] [stdout] test proof_bridge::tests::proof_bridge_builds_certificate_from_passed_law_check ... ok
[INFO] [stdout] test kani::tests::kani_backend_renders_harness_for_associativity_obligation ... ok
[INFO] [stdout] test proof_bridge::tests::proof_evidence_can_record_seed_and_notes ... ok
[INFO] [stdout] test report::tests::report_serialization_includes_summary_data ... ok
[INFO] [stdout] test report::tests::successful_execution_yields_certificates ... ok
[INFO] [stdout] test report::tests::theorem_mapping_uses_exported_theorem_identity_not_obligation_name ... ok
[INFO] [stdout] test report::tests::theorem_mapping_can_fall_back_to_exported_line_spans ... ok
[INFO] [stdout] test runner::tests::parses_lean_diagnostics_and_theorem_hits ... ok
[INFO] [stdout] test runner::tests::parses_smt_statuses ... ok
[INFO] [stdout] test runner::tests::successful_smt_result_can_yield_certificate ... ok
[INFO] [stdout] test runner::tests::dry_runner_returns_dry_run_result ... ok
[INFO] [stdout] test runner::tests::verification_policy_is_backend_specific ... ok
[INFO] [stdout] test runner::tests::theorem_location_matching_falls_back_to_line_spans ... ok
[INFO] [stdout] test signature::tests::group_signature_registers_expected_roles ... ok
[INFO] [stdout] test signature::tests::semiring_signature_registers_expected_roles ... ok
[INFO] [stdout] test session::tests::dry_run_report_orchestrates_artifacts_and_report ... ok
[INFO] [stdout] test trust::tests::certificate_can_be_derived_from_obligation ... ok
[INFO] [stdout] test smt::tests::exports_declarations_and_negated_goal ... ok
[INFO] [stdout] test trust::tests::kani_certificate_has_stable_backend_name ... ok
[INFO] [stdout] test trust::tests::lean_module_ref_is_stable ... ok
[INFO] [stdout] test trust::tests::proof_test_certificate_has_stable_backend_name ... ok
[INFO] [stdout] test trust::tests::certificate_stores_metadata ... ok
[INFO] [stdout] test report::tests::dry_run_report_attaches_results_to_all_obligations ... ok
[INFO] [stdout] test trust::tests::trust_boundary_can_be_crossed_explicitly ... ok
[INFO] [stdout] test session::tests::verify_report_builds_artifacts_runs_plans_and_returns_report ... ok
[INFO] [stdout] test trust::tests::certified_wraps_value ... ok
[INFO] [stdout] test session::tests::verify_with_ci_outputs_writes_reports_beside_artifacts ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 57 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/export_golden.rs (/opt/rustwide/target/debug/deps/export_golden-3924da4aed4ee204)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test lean_manifest_json_matches_expected_shape ... ok
[INFO] [stdout] test smt_export_for_group_left_inverse_matches_expected_shape ... ok
[INFO] [stdout] test lean_export_for_semiring_left_distributivity_matches_expected_shape ... ok
[INFO] [stdout] test verification_report_json_files_match_expected_shape ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- verification_report_json_files_match_expected_shape stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'verification_report_json_files_match_expected_shape' (3063) panicked at karpal-verify/tests/export_golden.rs:121:10:
[INFO] [stdout] ci outputs should be written: Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x6074fa680348 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x6074fa680348 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::trace_unsynchronized::<std[10d71ac2c42b111e]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x6074fa680348 - std[10d71ac2c42b111e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x6074fa680348 - <<std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[8fb95b77d25ab6c8]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x6074fa694eba - <core[8fb95b77d25ab6c8]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x6074fa694eba - core[8fb95b77d25ab6c8]::fmt::write
[INFO] [stdout]    6:     0x6074fa684c12 - std[10d71ac2c42b111e]::io::default_write_fmt::<alloc[a7ee25936407c584]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x6074fa684c12 - <alloc[a7ee25936407c584]::vec::Vec<u8> as std[10d71ac2c42b111e]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x6074fa65da86 - <std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x6074fa65da86 - std[10d71ac2c42b111e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x6074fa677d99 - std[10d71ac2c42b111e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x6074fa5c669c - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   12:     0x6074fa5c669c - test[213991da798b1c03]::test_main_inner::<test[213991da798b1c03]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x6074fa677f52 - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   14:     0x6074fa677f52 - std[10d71ac2c42b111e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x6074fa65db42 - std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x6074fa652b19 - std[10d71ac2c42b111e]::sys::backtrace::__rust_end_short_backtrace::<std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x6074fa65e85d - __rustc[3be9ba60078d4c86]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x6074fa69560c - core[8fb95b77d25ab6c8]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x6074fa695382 - core[8fb95b77d25ab6c8]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/result.rs:1867:5
[INFO] [stdout]   20:     0x6074fa5b04c3 - <core[8fb95b77d25ab6c8]::result::Result<karpal_verify[166580265485a75a]::session::VerificationOutput, std[10d71ac2c42b111e]::io::error::Error>>::expect
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/result.rs:1185:23
[INFO] [stdout]   21:     0x6074fa5b5732 - export_golden[39641d1c18ffbb07]::verification_report_json_files_match_expected_shape
[INFO] [stdout]                                at /opt/rustwide/workdir/karpal-verify/tests/export_golden.rs:121:10
[INFO] [stdout]   22:     0x6074fa5b4ef7 - export_golden[39641d1c18ffbb07]::verification_report_json_files_match_expected_shape::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/karpal-verify/tests/export_golden.rs:107:57
[INFO] [stdout]   23:     0x6074fa5b33e6 - <export_golden[39641d1c18ffbb07]::verification_report_json_files_match_expected_shape::{closure#0} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x6074fa5b977b - <fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x6074fa5b977b - test[213991da798b1c03]::__rust_begin_short_backtrace::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:724:18
[INFO] [stdout]   26:     0x6074fa5c6ff5 - test[213991da798b1c03]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x6074fa5c6ff5 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x6074fa5c6ff5 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x6074fa5c6ff5 - std[10d71ac2c42b111e]::panicking::catch_unwind::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x6074fa5c6ff5 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x6074fa5c6ff5 - test[213991da798b1c03]::run_test_in_process
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x6074fa5c6ff5 - test[213991da798b1c03]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x6074fa5c0904 - test[213991da798b1c03]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x6074fa5c0904 - std[10d71ac2c42b111e]::sys::backtrace::__rust_begin_short_backtrace::<test[213991da798b1c03]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x6074fa5ca072 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   36:     0x6074fa5ca072 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x6074fa5ca072 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x6074fa5ca072 - std[10d71ac2c42b111e]::panicking::catch_unwind::<(), core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x6074fa5ca072 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x6074fa5ca072 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   41:     0x6074fa5ca072 - <std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x6074fa67f79f - <alloc[a7ee25936407c584]::boxed::Box<dyn core[8fb95b77d25ab6c8]::ops::function::FnOnce<(), Output = ()> + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2275:9
[INFO] [stdout]   43:     0x6074fa67f79f - <std[10d71ac2c42b111e]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   44:     0x70fc88de2aa4 - <unknown>
[INFO] [stdout]   45:     0x70fc88e6fa64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     verification_report_json_files_match_expected_shape
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 3 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p karpal-verify --test export_golden`
[INFO] running `Command { std: "docker" "inspect" "693425b085e9a2d086617c622a55619ce3da2c0faa0b8bf1e3e75d6a9a2f406f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "693425b085e9a2d086617c622a55619ce3da2c0faa0b8bf1e3e75d6a9a2f406f", kill_on_drop: false }`
[INFO] [stdout] 693425b085e9a2d086617c622a55619ce3da2c0faa0b8bf1e3e75d6a9a2f406f
