[INFO] cloning repository https://github.com/paiml/provable-contracts
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/paiml/provable-contracts" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpaiml%2Fprovable-contracts", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpaiml%2Fprovable-contracts'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 24cf2b2f7712802224bea9fee99875173000ec3c
[INFO] testing paiml/provable-contracts against beta-2026-03-05 for beta-1.95-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpaiml%2Fprovable-contracts" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-0-tc2/source/.cargo/config.toml
[INFO] removed /workspace/builds/worker-0-tc2/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/paiml/provable-contracts
[INFO] finished tweaking git repo https://github.com/paiml/provable-contracts
[INFO] tweaked toml for git repo https://github.com/paiml/provable-contracts written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/paiml/provable-contracts on toolchain beta-2026-03-05
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-03-05" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/paiml/provable-contracts 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" "+beta-2026-03-05" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e83a784fd3e562a3cd10c204c55332b8e737a5df661fdacfdc28b6e3e2de4945
[INFO] running `Command { std: "docker" "start" "-a" "e83a784fd3e562a3cd10c204c55332b8e737a5df661fdacfdc28b6e3e2de4945", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e83a784fd3e562a3cd10c204c55332b8e737a5df661fdacfdc28b6e3e2de4945", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e83a784fd3e562a3cd10c204c55332b8e737a5df661fdacfdc28b6e3e2de4945", kill_on_drop: false }`
[INFO] [stdout] e83a784fd3e562a3cd10c204c55332b8e737a5df661fdacfdc28b6e3e2de4945
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 94cf2ed86e30f81e2df36cc862aed2e3f37ae95f937f3f8d007a3803bd0e03d4
[INFO] running `Command { std: "docker" "start" "-a" "94cf2ed86e30f81e2df36cc862aed2e3f37ae95f937f3f8d007a3803bd0e03d4", kill_on_drop: false }`
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling zmij v1.0.21
[INFO] [stderr]    Compiling regex-syntax v0.8.9
[INFO] [stderr]    Compiling ryu v1.0.23
[INFO] [stderr]    Compiling unsafe-libyaml v0.2.11
[INFO] [stderr]    Compiling clap_builder v4.5.59
[INFO] [stderr]    Compiling syn v2.0.116
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]    Compiling provable-contracts-macros v0.1.1 (/opt/rustwide/workdir/crates/provable-contracts-macros)
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling clap v4.5.59
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling serde_yaml v0.9.34+deprecated
[INFO] [stderr]    Compiling provable-contracts v0.1.1 (/opt/rustwide/workdir/crates/provable-contracts)
[INFO] [stderr]    Compiling provable-contracts-cli v0.1.1 (/opt/rustwide/workdir/crates/provable-contracts-cli)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 47.41s
[INFO] running `Command { std: "docker" "inspect" "94cf2ed86e30f81e2df36cc862aed2e3f37ae95f937f3f8d007a3803bd0e03d4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "94cf2ed86e30f81e2df36cc862aed2e3f37ae95f937f3f8d007a3803bd0e03d4", kill_on_drop: false }`
[INFO] [stdout] 94cf2ed86e30f81e2df36cc862aed2e3f37ae95f937f3f8d007a3803bd0e03d4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a2877e31187432f6d1a31bc4e18b1eb97791941177d089484de9849a75d0a0d2
[INFO] running `Command { std: "docker" "start" "-a" "a2877e31187432f6d1a31bc4e18b1eb97791941177d089484de9849a75d0a0d2", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling getrandom v0.4.1
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling target-triple v1.0.0
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling serde_yaml v0.9.34+deprecated
[INFO] [stderr]    Compiling serde_spanned v1.0.4
[INFO] [stderr]    Compiling toml_datetime v1.0.0+spec-1.1.0
[INFO] [stderr]    Compiling toml_writer v1.0.6+spec-1.1.0
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]    Compiling provable-contracts-macros v0.1.1 (/opt/rustwide/workdir/crates/provable-contracts-macros)
[INFO] [stderr]    Compiling tempfile v3.25.0
[INFO] [stderr]    Compiling provable-contracts v0.1.1 (/opt/rustwide/workdir/crates/provable-contracts)
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling toml_parser v1.0.9+spec-1.1.0
[INFO] [stderr]    Compiling toml v1.0.3+spec-1.1.0
[INFO] [stderr]    Compiling trybuild v1.0.116
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.10.0
[INFO] [stderr]    Compiling provable-contracts-cli v0.1.1 (/opt/rustwide/workdir/crates/provable-contracts-cli)
[INFO] [stdout] warning: function `test_contract` is never used
[INFO] [stdout]  --> crates/provable-contracts-cli/src/../tests/includes/dispatch_query_tests.rs:3:4
[INFO] [stdout]   |
[INFO] [stdout] 3 | fn test_contract() -> PathBuf {
[INFO] [stdout]   |    ^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `assert_probability_distribution` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:11:8
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub fn assert_probability_distribution(slice: &[f32], tol: f32) {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `l2_norm` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub fn l2_norm(slice: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dot_product` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:38:8
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub fn dot_product(a: &[f32], b: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_stochastic_row` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:44:8
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub fn random_stochastic_row(n: usize) -> Vec<f32> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `stochastic_transition_matrix` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:51:8
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub fn stochastic_transition_matrix(n: usize) -> Vec<f32> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `mean` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:77:8
[INFO] [stdout]    |
[INFO] [stdout] 77 | pub fn mean(slice: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `variance` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:85:8
[INFO] [stdout]    |
[INFO] [stdout] 85 | pub fn variance(slice: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `assert_probability_distribution` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:11:8
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub fn assert_probability_distribution(slice: &[f32], tol: f32) {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `l2_distance` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:28:8
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub fn l2_distance(a: &[f32], b: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dot_product` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:38:8
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub fn dot_product(a: &[f32], b: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_stochastic_row` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:44:8
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub fn random_stochastic_row(n: usize) -> Vec<f32> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `stochastic_transition_matrix` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:51:8
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub fn stochastic_transition_matrix(n: usize) -> Vec<f32> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `identity_matrix` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:68:8
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub fn identity_matrix(n: usize) -> Vec<f32> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `mean` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:77:8
[INFO] [stdout]    |
[INFO] [stdout] 77 | pub fn mean(slice: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `variance` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:85:8
[INFO] [stdout]    |
[INFO] [stdout] 85 | pub fn variance(slice: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `assert_probability_distribution` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:11:8
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub fn assert_probability_distribution(slice: &[f32], tol: f32) {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dot_product` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:38:8
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub fn dot_product(a: &[f32], b: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_stochastic_row` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:44:8
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub fn random_stochastic_row(n: usize) -> Vec<f32> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `stochastic_transition_matrix` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:51:8
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub fn stochastic_transition_matrix(n: usize) -> Vec<f32> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `mean` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:77:8
[INFO] [stdout]    |
[INFO] [stdout] 77 | pub fn mean(slice: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `variance` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:85:8
[INFO] [stdout]    |
[INFO] [stdout] 85 | pub fn variance(slice: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `l2_norm` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub fn l2_norm(slice: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dot_product` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:38:8
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub fn dot_product(a: &[f32], b: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_stochastic_row` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:44:8
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub fn random_stochastic_row(n: usize) -> Vec<f32> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `identity_matrix` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:68:8
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub fn identity_matrix(n: usize) -> Vec<f32> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `variance` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:85:8
[INFO] [stdout]    |
[INFO] [stdout] 85 | pub fn variance(slice: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `max_ulp_distance` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:94:8
[INFO] [stdout]    |
[INFO] [stdout] 94 | pub fn max_ulp_distance(a: &[f32], b: &[f32]) -> u32 {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `l2_norm` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub fn l2_norm(slice: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dot_product` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:38:8
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub fn dot_product(a: &[f32], b: &[f32]) -> f32 {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_stochastic_row` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:44:8
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub fn random_stochastic_row(n: usize) -> Vec<f32> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `stochastic_transition_matrix` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:51:8
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub fn stochastic_transition_matrix(n: usize) -> Vec<f32> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `identity_matrix` is never used
[INFO] [stdout]   --> crates/provable-contracts/tests/common/mod.rs:68:8
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub fn identity_matrix(n: usize) -> Vec<f32> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 28s
[INFO] running `Command { std: "docker" "inspect" "a2877e31187432f6d1a31bc4e18b1eb97791941177d089484de9849a75d0a0d2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a2877e31187432f6d1a31bc4e18b1eb97791941177d089484de9849a75d0a0d2", kill_on_drop: false }`
[INFO] [stdout] a2877e31187432f6d1a31bc4e18b1eb97791941177d089484de9849a75d0a0d2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] ee8ccb64abfcf8dc4240ef8dbde59acbae68092d7e6e0bf52c18ce106a2a7e51
[INFO] running `Command { std: "docker" "start" "-a" "ee8ccb64abfcf8dc4240ef8dbde59acbae68092d7e6e0bf52c18ce106a2a7e51", kill_on_drop: false }`
[INFO] [stderr] warning: function `assert_probability_distribution` is never used
[INFO] [stderr]   --> crates/provable-contracts/tests/common/mod.rs:11:8
[INFO] [stderr]    |
[INFO] [stderr] 11 | pub fn assert_probability_distribution(slice: &[f32], tol: f32) {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `l2_norm` is never used
[INFO] [stderr]   --> crates/provable-contracts/tests/common/mod.rs:23:8
[INFO] [stderr]    |
[INFO] [stderr] 23 | pub fn l2_norm(slice: &[f32]) -> f32 {
[INFO] [stderr]    |        ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `dot_product` is never used
[INFO] [stderr]   --> crates/provable-contracts/tests/common/mod.rs:38:8
[INFO] [stderr]    |
[INFO] [stderr] 38 | pub fn dot_product(a: &[f32], b: &[f32]) -> f32 {
[INFO] [stderr]    |        ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `random_stochastic_row` is never used
[INFO] [stderr]   --> crates/provable-contracts/tests/common/mod.rs:44:8
[INFO] [stderr]    |
[INFO] [stderr] 44 | pub fn random_stochastic_row(n: usize) -> Vec<f32> {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `stochastic_transition_matrix` is never used
[INFO] [stderr]   --> crates/provable-contracts/tests/common/mod.rs:51:8
[INFO] [stderr]    |
[INFO] [stderr] 51 | pub fn stochastic_transition_matrix(n: usize) -> Vec<f32> {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `mean` is never used
[INFO] [stderr]   --> crates/provable-contracts/tests/common/mod.rs:77:8
[INFO] [stderr]    |
[INFO] [stderr] 77 | pub fn mean(slice: &[f32]) -> f32 {
[INFO] [stderr]    |        ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `variance` is never used
[INFO] [stderr]   --> crates/provable-contracts/tests/common/mod.rs:85:8
[INFO] [stderr]    |
[INFO] [stderr] 85 | pub fn variance(slice: &[f32]) -> f32 {
[INFO] [stderr]    |        ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `provable-contracts` (test "falsify_matrix_attention") generated 7 warnings
[INFO] [stderr] warning: function `test_contract` is never used
[INFO] [stderr]  --> crates/provable-contracts-cli/src/../tests/includes/dispatch_query_tests.rs:3:4
[INFO] [stderr]   |
[INFO] [stderr] 3 | fn test_contract() -> PathBuf {
[INFO] [stderr]   |    ^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `provable-contracts-cli` (bin "pv" test) generated 1 warning
[INFO] [stderr] warning: function `l2_norm` is never used
[INFO] [stderr]   --> crates/provable-contracts/tests/common/mod.rs:23:8
[INFO] [stderr]    |
[INFO] [stderr] 23 | pub fn l2_norm(slice: &[f32]) -> f32 {
[INFO] [stderr]    |        ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `identity_matrix` is never used
[INFO] [stderr]   --> crates/provable-contracts/tests/common/mod.rs:68:8
[INFO] [stderr]    |
[INFO] [stderr] 68 | pub fn identity_matrix(n: usize) -> Vec<f32> {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `max_ulp_distance` is never used
[INFO] [stderr]   --> crates/provable-contracts/tests/common/mod.rs:94:8
[INFO] [stderr]    |
[INFO] [stderr] 94 | pub fn max_ulp_distance(a: &[f32], b: &[f32]) -> u32 {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `provable-contracts` (test "falsify_cross_kernel") generated 6 warnings (3 duplicates)
[INFO] [stderr] warning: function `l2_distance` is never used
[INFO] [stderr]   --> crates/provable-contracts/tests/common/mod.rs:28:8
[INFO] [stderr]    |
[INFO] [stderr] 28 | pub fn l2_distance(a: &[f32], b: &[f32]) -> f32 {
[INFO] [stderr]    |        ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `provable-contracts` (test "falsify_optimizer_sequence") generated 6 warnings (6 duplicates)
[INFO] [stderr] warning: `provable-contracts` (test "falsify_activation_gated") generated 8 warnings (7 duplicates)
[INFO] [stderr] warning: `provable-contracts` (test "falsify_normalization") generated 5 warnings (5 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.18s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/provable_contracts-d088f039fb0991e4)
[INFO] [stdout] 
[INFO] [stdout] running 884 tests
[INFO] [stdout] test audit::tests::audit_empty_harness_obligation ... ok
[INFO] [stdout] test audit::tests::binding_audit_missing_equation ... ok
[INFO] [stdout] test audit::tests::audit_minimal_contract ... ok
[INFO] [stdout] test audit::tests::binding_audit_not_implemented ... ok
[INFO] [stdout] test binding::tests::impl_status_display ... ok
[INFO] [stdout] test audit::tests::binding_audit_multiple_contracts ... ok
[INFO] [stdout] test binding::tests::parse_binding_nonexistent_file ... ok
[INFO] [stdout] test audit::tests::audit_complete_contract ... ok
[INFO] [stdout] test audit::tests::audit_warns_on_no_obligations ... ok
[INFO] [stdout] test binding::tests::parse_binding_with_entries ... ok
[INFO] [stdout] test binding::tests::parse_invalid_binding_yaml ... ok
[INFO] [stdout] test binding::tests::parse_minimal_binding ... ok
[INFO] [stdout] test book_gen::page::tests::codomain_and_invariants_rendered ... ok
[INFO] [stdout] test audit::tests::binding_audit_partial_status ... ok
[INFO] [stdout] test binding::tests::parse_partial_status ... ok
[INFO] [stdout] test book_gen::page::tests::dependency_graph_rendered ... ok
[INFO] [stdout] test book_gen::page::tests::dependent_graph_rendered ... ok
[INFO] [stdout] test book_gen::page::tests::generates_title_and_equations ... ok
[INFO] [stdout] test book_gen::page::tests::kernel_phases_rendered ... ok
[INFO] [stdout] test book_gen::page::tests::latex_rendering_in_equations ... ok
[INFO] [stdout] test book_gen::page::tests::optional_sections_omitted_when_empty ... ok
[INFO] [stdout] test book_gen::page::tests::pipe_escaped_in_tables ... ok
[INFO] [stdout] test book_gen::page::tests::qa_gate_rendered ... ok
[INFO] [stdout] test book_gen::page::tests::simd_dispatch_rendered ... ok
[INFO] [stdout] test book_gen::summary::tests::appends_when_no_markers ... ok
[INFO] [stdout] test book_gen::summary::tests::empty_stems_produces_empty_section ... ok
[INFO] [stdout] test book_gen::summary::tests::replaces_existing_markers ... ok
[INFO] [stdout] test book_gen::summary::tests::sorts_stems_alphabetically ... ok
[INFO] [stdout] test build_helper::tests::binding_policy_debug ... ok
[INFO] [stdout] test build_helper::tests::make_env_key_with_yaml_extension ... ok
[INFO] [stdout] test build_helper::tests::test_make_env_key_matches_macro_convention ... ok
[INFO] [stdout] test build_helper::tests::test_verify_result_defaults ... ok
[INFO] [stdout] test coverage::tests::binding_coverage_implemented ... ok
[INFO] [stdout] test coverage::tests::kani_covered_capped_at_obligations ... ok
[INFO] [stdout] test coverage::tests::binding_missing_when_no_entry ... ok
[INFO] [stdout] test coverage::tests::empty_contracts ... ok
[INFO] [stdout] test coverage::tests::binding_coverage_partial ... ok
[INFO] [stdout] test coverage::tests::single_contract_full_coverage ... ok
[INFO] [stdout] test coverage::tests::multiple_contracts ... ok
[INFO] [stdout] test coverage::tests::no_binding_defaults_to_missing ... ok
[INFO] [stdout] test audit::tests::binding_audit_all_implemented ... ok
[INFO] [stdout] test diff::tests::added_falsification_test ... ok
[INFO] [stdout] test diff::tests::added_kani_harness ... ok
[INFO] [stdout] test coverage::tests::obligation_type_breakdown ... ok
[INFO] [stdout] test diff::tests::added_obligation ... ok
[INFO] [stdout] test diff::tests::domain_change_detected ... ok
[INFO] [stdout] test diff::tests::changed_formula ... ok
[INFO] [stdout] test diff::tests::enforcement_added ... ok
[INFO] [stdout] test coverage::tests::no_tests_zero_coverage ... ok
[INFO] [stdout] test diff::tests::added_equation ... ok
[INFO] [stdout] test diff::tests::identical_contracts ... ok
[INFO] [stdout] test diff::tests::removed_obligation_is_major ... ok
[INFO] [stdout] test diff::tests::section_diff_is_empty ... ok
[INFO] [stdout] test diff::tests::semver_bump_display ... ok
[INFO] [stdout] test diff::tests::version_change_is_patch ... ok
[INFO] [stdout] test diff::tests::removed_equation ... ok
[INFO] [stdout] test error::tests::contract_error_invalid_reference ... ok
[INFO] [stdout] test error::tests::contract_error_io ... ok
[INFO] [stdout] test error::tests::contract_error_missing_field ... ok
[INFO] [stdout] test error::tests::violation_display_error ... ok
[INFO] [stdout] test error::tests::violation_display_info ... ok
[INFO] [stdout] test error::tests::violation_display_warning ... ok
[INFO] [stdout] test generate::tests::artifact_kind_display ... ok
[INFO] [stdout] test error::tests::contract_error_duplicate_id ... ok
[INFO] [stdout] test error::tests::contract_error_schema ... ok
[INFO] [stdout] test generate::tests::file_names_use_stem ... ok
[INFO] [stdout] test generate::tests::generate_all_without_binding ... ok
[INFO] [stdout] test generate::tests::generate_all_with_binding ... ok
[INFO] [stdout] test generate::tests::generates_into_subdir ... ok
[INFO] [stdout] test graph::tests::empty_graph ... ok
[INFO] [stdout] test graph::tests::external_dependency_added_to_nodes ... ok
[INFO] [stdout] test graph::tests::linear_chain ... ok
[INFO] [stdout] test graph::tests::single_node_no_deps ... ok
[INFO] [stdout] test graph::tests::topo_order_respects_deps ... ok
[INFO] [stdout] test kani_gen::tests::generate_bounded_int_harness ... ok
[INFO] [stdout] test kani_gen::tests::generate_compositional_harness ... ok
[INFO] [stdout] test kani_gen::tests::generate_empty_harnesses ... ok
[INFO] [stdout] test kani_gen::tests::generate_exhaustive_harness ... ok
[INFO] [stdout] test kani_gen::tests::generate_full_softmax_contract ... ok
[INFO] [stdout] test kani_gen::tests::generate_harness_property_in_doc_comment ... ok
[INFO] [stdout] test kani_gen::tests::generate_harness_with_all_attributes ... ok
[INFO] [stdout] test graph::tests::cycle_detected ... ok
[INFO] [stdout] test graph::tests::graph_nodes_metadata ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_basic ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_avx2_parity ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_ptx_structure ... ok
[INFO] [stdout] test kani_gen::tests::generate_harness_without_strategy ... ok
[INFO] [stdout] test graph::tests::diamond_dependency ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_zero_pos_is_identity ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_shape_preservation ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_avx2_parity ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_large_negative ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_large_positive ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_ptx_structure ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_zero ... ok
[INFO] [stdout] test kernels::activation::tests::test_ptx_kernels_are_nonempty ... ok
[INFO] [stdout] test kernels::activation::tests::test_relu_avx2_non_aligned_length ... ok
[INFO] [stdout] test kernels::activation::tests::test_relu_avx2_parity ... ok
[INFO] [stdout] test kernels::activation::tests::test_relu_negative_to_zero ... ok
[INFO] [stdout] test kernels::activation::tests::test_relu_positive_identity ... ok
[INFO] [stdout] test kernels::activation::tests::test_relu_ptx_structure ... ok
[INFO] [stdout] test kernels::activation::tests::test_relu_zero ... ok
[INFO] [stdout] test kernels::activation::tests::test_silu_avx2_parity ... ok
[INFO] [stdout] test kernels::activation::tests::test_silu_negative ... ok
[INFO] [stdout] test kernels::activation::tests::test_silu_positive ... ok
[INFO] [stdout] test kernels::activation::tests::test_silu_ptx_structure ... ok
[INFO] [stdout] test kernels::activation::tests::test_silu_zero ... ok
[INFO] [stdout] test kernels::absolute_position::tests::prop_abs_position_finite ... ok
[INFO] [stdout] test kernels::adamw::tests::avx2_tests::test_adamw_avx2_parity ... ok
[INFO] [stdout] test kernels::activation::tests::prop_relu_nonnegative ... ok
[INFO] [stdout] test kernels::adamw::tests::avx2_tests::prop_adamw_avx2_parity ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_ptx_entry ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_ptx_ret ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_warn_on_gaps ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_ptx_target ... ok
[INFO] [stdout] test kernels::activation::tests::prop_silu_sign_preserving ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_ptx_version ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_zero_gradient ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_single_step_known ... ok
[INFO] [stdout] test kernels::alibi::tests::prop_alibi_output_finite ... ok
[INFO] [stdout] test kernels::alibi::tests::prop_alibi_slopes_positive ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_avx2_parity ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_diagonal_zero ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_negative_bias ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_ptx_structure ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_slopes ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_symmetry ... ok
[INFO] [stdout] test kernels::attention::tests::prop_attention_softmax_rows_sum_to_one ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_avx2_parity ... ok
[INFO] [stdout] test kernels::attention::tests::prop_attention_output_bounded ... ok
[INFO] [stdout] test kernels::activation::tests::prop_gelu_zero_at_zero ... ok
[INFO] [stdout] test kernels::adamw::tests::prop_adamw_gradient_direction ... ok
[INFO] [stdout] test binding::tests::parse_binding_from_file ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_oob - should panic ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_ptx_nonempty ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_ptx_structure ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_single_query_single_key ... ok
[INFO] [stdout] test kernels::attention::tests::test_softmax_row_monotonic ... ok
[INFO] [stdout] test kernels::attention::tests::test_softmax_row_single ... ok
[INFO] [stdout] test kernels::attention::tests::test_softmax_row_sums_to_one ... ok
[INFO] [stdout] test kernels::attention::tests::test_softmax_row_uniform ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_two_queries_two_keys ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_uniform_scores ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_avx2_parity_inference ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_constant_input_training ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_inference_differs_from_training ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_inference_uses_running_stats ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_zero_timestep - should panic ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_multi_channel ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_bar_sync ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_entry ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_ret ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_shared_memory ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_target ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_version ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_warp_shuffle ... ok
[INFO] [stdout] test kernels::batchnorm::tests::prop_batchnorm_running_var_nonneg ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_bad_q_dim - should panic ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_bad_k_dim - should panic ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_avx2_parity_training ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_bad_v_dim - should panic ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_single_sample ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_additivity ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_training_updates_running_stats ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_avx2_parity ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_broadcast ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_inplace_matches ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_zero_is_identity ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_avx2_parity ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_identity_cholesky ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_zero_batch - should panic ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_basic ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_lower_triangular ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_ptx_entry ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_ptx_version ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_input_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_sigma_zero ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_ptx_structure ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_single_dimension ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_avx2_parity ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_identity ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_known_values ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_input_mismatch - should panic ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_ptx_ret ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_ptx_target ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_ptx_version ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_with_bias ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_with_padding ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_with_stride ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_ptx_ret ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_ptx_target ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_ptx_entry ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_mean_mismatch - should panic ... ok
[INFO] [stdout] test kernels::batchnorm::tests::prop_batchnorm_training_finite ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_avx2_soft_targets ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_avx2_parity ... ok
[INFO] [stdout] test kernels::bias_add::tests::prop_bias_add_finite ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_one_hot ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_perfect_prediction ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_ptx_has_barrier ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_ptx_has_params ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_ptx_has_shared_memory ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_ptx_nonempty ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_ptx_structure ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_empty - should panic ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_second_class ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_uniform_logits ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_dominant ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_avx2_parity ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_soft_targets ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_shift_invariance ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_three_classes ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_empty - should panic ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_uniform ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_single_element ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_avx2_parity ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::prop_log_softmax_shift_invariant ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_dropped_units_are_zero ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_eval_is_identity ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_ptx_structure ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_shape_preservation ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_train_all_dropped ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_train_all_kept ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_train_zero_p ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_avx2_parity ... ok
[INFO] [stdout] test kernels::dropout::tests::prop_dropout_eval_identity ... ok
[INFO] [stdout] test kernels::embedding::tests::prop_embedding_output_finite ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_basic ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::prop_cross_entropy_finite ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::prop_cross_entropy_nonnegative ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::prop_log_softmax_exp_sums_to_one ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_deterministic ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_ptx_structure ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_single ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_avx2_parity ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_batch_conversion ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_inf ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_known_values ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_one ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_ptx_structure ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_roundtrip_normal ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_sign_preservation ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_subnormal_conversion ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_nan ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_negative_zero ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_zero ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_oob - should panic ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f32_to_f16_batch ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f32_to_f16_edge_cases ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_attention_ptx_nonempty ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_attention_ptx_structure ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_avx2_parity ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_bad_q_dim - should panic ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_matches_naive_larger ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_matches_naive_small ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_single_element ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_single_tile ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_tile_size_invariance ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_tile_size_one ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_zero_tile_size - should panic ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_avx2_parity ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_frozen_state ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_memoryless ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_ptx_ret ... ok
[INFO] [stdout] test kernels::f16_convert::tests::prop_f16_roundtrip_normal ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_ptx_version ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_q_mismatch - should panic ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_ptx_entry ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_ptx_target ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_single_step ... ok
[INFO] [stdout] test kernels::gelu::tests::test_gelu_asymptotic_linearity ... ok
[INFO] [stdout] test kernels::gelu::tests::test_gelu_lower_bound ... ok
[INFO] [stdout] test kernels::flash_attention::tests::prop_flash_matches_naive ... ok
[INFO] [stdout] test kernels::gelu::tests::test_gelu_monotonic_positive ... ok
[INFO] [stdout] test kernels::gelu::tests::test_gelu_positive_nonneg ... ok
[INFO] [stdout] test kernels::flash_attention::tests::prop_flash_output_row_norms_bounded ... ok
[INFO] [stdout] test kernels::f16_convert::tests::prop_f16_sign_preserved ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_avx2_parity ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_bad_head_ratio - should panic ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_bad_q_dim - should panic ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_equals_mha_when_heads_match ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_kv_broadcasting ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_ptx_nonempty ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_ptx_structure ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_single_head_single_pos ... ok
[INFO] [stdout] test kernels::gelu::tests::test_gelu_zero_preservation ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_ptx_entry ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_points_mismatch - should panic ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_ptx_ret ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_ptx_target ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_ptx_version ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::prop_log_softmax_all_nonpositive ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_single_centroid ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_two_clusters ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_avx2_parity ... ok
[INFO] [stdout] test kernels::gelu::tests::prop_gelu_finite ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_empty_cluster ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_known ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_ptx_ret ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_ptx_target ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_ptx_version ... ok
[INFO] [stdout] test kernels::gqa::tests::prop_gqa_mha_equivalence ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_ptx_entry ... ok
[INFO] [stdout] test kernels::gelu::tests::prop_gelu_positive_nonneg ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_avx2_basic ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_avx2_non_multiple_of_8 ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_beta_mismatch - should panic ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_constant_input ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_empty_input - should panic ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_gamma_mismatch - should panic ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_output_mismatch - should panic ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_bar_sync ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_entry ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_ret ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_shared_memory ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_target ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_version ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_warp_shuffle ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_simple ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_with_affine ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_avx2_parity ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_direction_is_descent ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_gradient_mismatch - should panic ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_ptx_entry ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_ptx_ret ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_ptx_target ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_ptx_version ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_single_history_entry ... ok
[INFO] [stdout] test kernels::dropout::tests::prop_dropout_train_finite ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_steepest_descent ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_avx2_parity ... ok
[INFO] [stdout] test kernels::linear::tests::prop_linear_output_finite ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_batch ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_basic_with_bias ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_no_bias ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_ptx_structure ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_zero_input_returns_bias ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_linearity ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_shift_invariance ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_avx2_parity ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_avx2_parity_non_aligned ... ok
[INFO] [stdout] test kernels::gqa::tests::prop_gqa_output_finite ... ok
[INFO] [stdout] test kernels::matmul::tests::prop_matmul_zero_matrix ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_2x2_known ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_avx2_parity_small ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_avx2_parity_square ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_bad_b_dim - should panic ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_bad_c_dim - should panic ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_identity_left ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_non_square ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_ptx_nonempty ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_ptx_structure ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_zero ... ok
[INFO] [stdout] test kernels::ops::tests::dot_basic ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_identity_right ... ok
[INFO] [stdout] test kernels::ops::tests::dot_zero ... ok
[INFO] [stdout] test kernels::ops::tests::matmul_sv_identity_weights ... ok
[INFO] [stdout] test kernels::ops::tests::matmul_sv_basic ... ok
[INFO] [stdout] test kernels::ops::tests::score_matrix_basic ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_bad_a_dim - should panic ... ok
[INFO] [stdout] test kernels::ops::tests::softmax_row_sums_to_one ... ok
[INFO] [stdout] test kernels::ops::tests::softmax_row_uniform ... ok
[INFO] [stdout] test kernels::ops::tests::weighted_accumulate_basic ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_convergence ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_known_2node ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_bar_sync ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_entry ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_shared_memory ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_target ... ok
[INFO] [stdout] test kernels::matmul::tests::prop_matmul_dimensions_correct ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_ret ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_version ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_uniform_initial ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_zero_n - should panic ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_avx2_parity ... ok
[INFO] [stdout] test kernels::pagerank::tests::prop_pagerank_output_sums_to_one ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_avx2_basic ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_avx2_non_multiple_of_8 ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_empty_input - should panic ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_gamma_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_known_unit ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_output_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_bar_sync ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_finite_output ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_entry ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::prop_rmsnorm_finite_output ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::prop_rmsnorm_scale_invariance ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_ret ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_rsqrt ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_version ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_target ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_warp_shuffle ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_with_gamma ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_zeros_with_eps ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_zero_mean ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::prop_rmsnorm_unit_gamma_normalized_rms ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_shared_memory ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_unit_variance ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_avx2_parity ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_avx2_small_dim ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_default_base ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::prop_rmsnorm_avx2_parity ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_odd_dim_panics - should panic ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_pair_norm_preserved ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_known_rotation ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_output_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_ptx_has_params ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_position_zero_identity ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_preserves_norm ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_ptx_nonempty ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_ptx_structure ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_zero_dim_panics - should panic ... ok
[INFO] [stdout] test kernels::sampling::tests::test_greedy_avx2_parity ... ok
[INFO] [stdout] test kernels::sampling::tests::test_greedy_basic ... ok
[INFO] [stdout] test kernels::sampling::tests::test_greedy_is_argmax ... ok
[INFO] [stdout] test kernels::sampling::tests::test_sample_scalar_delegates_to_greedy ... ok
[INFO] [stdout] test kernels::sampling::tests::test_sampling_ptx_structure ... ok
[INFO] [stdout] test kernels::sampling::tests::test_temperature_avx2_parity ... ok
[INFO] [stdout] test kernels::sampling::tests::test_temperature_identity ... ok
[INFO] [stdout] test kernels::sampling::tests::test_temperature_scaling ... ok
[INFO] [stdout] test kernels::sampling::tests::test_top_k_cardinality ... ok
[INFO] [stdout] test kernels::sampling::tests::test_top_k_full_k_is_noop ... ok
[INFO] [stdout] test kernels::sampling::tests::test_top_k_keeps_highest ... ok
[INFO] [stdout] test kernels::sampling::tests::test_top_k_renormalizes ... ok
[INFO] [stdout] test kernels::sampling::tests::test_top_p_cumulative ... ok
[INFO] [stdout] test kernels::sampling::tests::test_top_p_minimal_set ... ok
[INFO] [stdout] test kernels::sampling::tests::test_top_p_threshold_one ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_avx2_position_zero ... ok
[INFO] [stdout] test kernels::sampling::tests::prop_temperature_identity ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::prop_sigmoid_in_unit_interval ... ok
[INFO] [stdout] test kernels::rope::tests::prop_rope_position_zero_identity ... ok
[INFO] [stdout] test kernels::rope::tests::prop_rope_preserves_norm ... ok
[INFO] [stdout] test kernels::rope::tests::prop_rope_output_finite ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_avx2_parity ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_ptx_structure ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_symmetry ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_ptx_kernels_are_nonempty ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_large_negative ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_large_positive ... ok
[INFO] [stdout] test kernels::sampling::tests::prop_top_k_cardinality ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_negative ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_zero ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_avx2_parity ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_matches_direct ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_positive ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_zero ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_ptx_structure ... ok
[INFO] [stdout] test kernels::sampling::tests::prop_greedy_is_argmax ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::prop_silu_standalone_sign_preserving ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::prop_sigmoid_monotonic ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_empty_input - should panic ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_avx2_basic ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_avx2_non_multiple_of_8 ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_bar_sync ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_entry ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_ret ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_shared_memory ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_target ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_version ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_warp_shuffle ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_single_element ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_two_equal ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_uniform ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_abar_mismatch - should panic ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_avx2_parity ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_entry ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_ret ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_target ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_version ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_single_timestep ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_two_timesteps ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_zero_input ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_numerical_stability ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_order_preservation ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_avx2_non_aligned_length ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_avx2_parity ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_empty ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_large_positive_gate ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_length_mismatch_gate_output - should panic ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_length_mismatch_gate_value - should panic ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_negative_gate ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_ptx_has_three_params ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_outputs_in_unit_interval ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_ptx_nonempty ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_ptx_structure ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_silu_value_at_one ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_zero_gate ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_zero_value ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::test_tied_avx2_parity ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::test_tied_basic ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::test_tied_equals_linear_no_bias ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::test_tied_ptx_structure ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::test_tied_zero_input ... ok
[INFO] [stdout] test kernels::transpose::tests::falsify_tp_001_element_correctness ... ok
[INFO] [stdout] test kernels::transpose::tests::falsify_tp_002_involution ... ok
[INFO] [stdout] test kernels::transpose::tests::falsify_tp_003_non_aligned ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_translation_invariance ... ok
[INFO] [stdout] test kernels::transpose::tests::falsify_tp_005_identity ... ok
[INFO] [stdout] test kernels::swiglu::tests::prop_swiglu_zero_gate_yields_zero ... ok
[INFO] [stdout] test kernels::transpose::tests::scalar_remainder_paths ... ok
[INFO] [stdout] test kernels::ulp::tests::test_assert_ulp_eq_fails - should panic ... ok
[INFO] [stdout] test kernels::ulp::tests::test_assert_ulp_eq_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::ulp::tests::test_assert_ulp_eq_passes ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_adjacent ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_identical ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_nan ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_avx2_parity ... ok
[INFO] [stdout] test kernels::transpose::tests::falsify_tp_004_avx2_scalar_parity ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_sign_mismatch ... ok
[INFO] [stdout] test latex::tests::test_latex_escape ... ok
[INFO] [stdout] test latex::tests::test_math_to_latex_exp ... ok
[INFO] [stdout] test latex::tests::test_math_to_latex_greek ... ok
[INFO] [stdout] test latex::tests::test_math_to_latex_operators ... ok
[INFO] [stdout] test latex::tests::test_math_to_latex_sqrt ... ok
[INFO] [stdout] test latex::tests::test_replace_func_nested ... ok
[INFO] [stdout] test lean_gen::tests::derive_module_name_capitalizes ... ok
[INFO] [stdout] test lean_gen::tests::format_status_report_renders_table ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_negative_zero ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_small_gap ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_sums_to_one ... ok
[INFO] [stdout] test lean_gen::tests::lean_status_counts_correctly ... ok
[INFO] [stdout] test kernels::transpose::tests::falsify_tp_006_attention_shape ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::prop_tied_output_finite ... ok
[INFO] [stdout] test lean_gen::tests::no_lean_obligations_produces_empty ... ok
[INFO] [stdout] test lean_gen::tests::generates_defs_and_theorem_files ... ok
[INFO] [stdout] test lean_gen::tests::proved_theorem_has_proved_comment ... ok
[INFO] [stdout] test lint::cache::tests::cache_roundtrip ... ok
[INFO] [stdout] test lint::cache::tests::cache_stats_default ... ok
[INFO] [stdout] test lint::cache::tests::content_hash_deterministic ... ok
[INFO] [stdout] test lint::cache::tests::content_hash_differs_on_content ... ok
[INFO] [stdout] test lint::cache::tests::cache_stats_hit_rate ... ok
[INFO] [stdout] test lint::cache::tests::content_hash_differs_on_rules ... ok
[INFO] [stdout] test lint::cache::tests::cache_clear_empty ... ok
[INFO] [stdout] test kernels::swiglu::tests::prop_swiglu_silu_lower_bound ... ok
[INFO] [stdout] test lint::config::tests::cache_defaults ... ok
[INFO] [stdout] test lint::config::tests::config_serializes ... ok
[INFO] [stdout] test kernels::swiglu::tests::prop_swiglu_output_bounded ... ok
[INFO] [stdout] test lint::cache::tests::cache_dir_path ... ok
[INFO] [stdout] test lint::cache::tests::cache_miss ... ok
[INFO] [stdout] test lint::cache::tests::cache_clear_removes_entries ... ok
[INFO] [stdout] test lint::config::tests::default_functions_return_expected_values ... ok
[INFO] [stdout] test lint::config::tests::find_config_local ... ok
[INFO] [stdout] test lint::config::tests::load_config_file ... ok
[INFO] [stdout] test lint::config::tests::load_config_missing_file ... ok
[INFO] [stdout] test lint::config::tests::parse_diff_section ... ok
[INFO] [stdout] test lint::config::tests::parse_cache_section ... ok
[INFO] [stdout] test lint::config::tests::parse_empty_config ... ok
[INFO] [stdout] test lint::config::tests::parse_rules_section ... ok
[INFO] [stdout] test lint::config::tests::parse_suppress_section ... ok
[INFO] [stdout] test lint::config::tests::parse_output_section ... ok
[INFO] [stdout] test lint::config::tests::parse_lint_section ... ok
[INFO] [stdout] test lint::config::tests::parse_unknown_keys_in_sections_ignored ... ok
[INFO] [stdout] test lint::config::tests::parse_unknown_section_ignored ... ok
[INFO] [stdout] test lint::config::tests::parse_trend_section ... ok
[INFO] [stdout] test lint::config::tests::resolve_cli_override_wins ... ok
[INFO] [stdout] test lint::config::tests::resolve_config_override ... ok
[INFO] [stdout] test lint::config::tests::resolve_strict_mode ... ok
[INFO] [stdout] test lint::config::tests::trend_defaults ... ok
[INFO] [stdout] test lint::config::tests::resolve_defaults ... ok
[INFO] [stdout] test lint::config::tests::resolve_strict_from_config ... ok
[INFO] [stdout] test lint::diff::tests::expand_dependents_no_deps ... ok
[INFO] [stdout] test lint::config::tests::find_config_nonexistent ... ok
[INFO] [stdout] test lint::config::tests::find_config_not_in_tempdir ... ok
[INFO] [stdout] test lint::diff::tests::expand_dependents_empty_changed ... ok
[INFO] [stdout] test lint::config::tests::parse_comments_and_blank_lines ... ok
[INFO] [stdout] test lint::finding::tests::display_format ... ok
[INFO] [stdout] test lint::finding::tests::display_suppressed ... ok
[INFO] [stdout] test lint::finding::tests::fingerprint_deterministic ... ok
[INFO] [stdout] test lint::finding::tests::fingerprint_differs_on_rule ... ok
[INFO] [stdout] test lint::finding::tests::github_annotation_no_line ... ok
[INFO] [stdout] test lint::finding::tests::github_annotation_error ... ok
[INFO] [stdout] test lint::finding::tests::github_annotation_warning ... ok
[INFO] [stdout] test lint::finding::tests::serializes_to_json ... ok
[INFO] [stdout] test lint::finding::tests::with_stem ... ok
[INFO] [stdout] test lint::finding::tests::suppressed_serializes ... ok
[INFO] [stdout] test lint::diff::tests::changed_contracts_from_head ... ok
[INFO] [stdout] test lint::diff::tests::find_repo_root_works ... FAILED
[INFO] [stdout] test lint::gates::tests::load_contracts_empty_dir ... ok
[INFO] [stdout] test lint::gates::tests::load_contracts_reports_parse_errors ... ok
[INFO] [stdout] test lint::gates::tests::map_validation_rules ... ok
[INFO] [stdout] test lint::diff::tests::find_repo_root_non_git_dir ... ok
[INFO] [stdout] test lint::gates::tests::map_audit_rules ... ok
[INFO] [stdout] test lint::diff::tests::changed_contracts_invalid_ref ... ok
[INFO] [stdout] test lint::gates::tests::validate_gate_fails_on_parse_errors ... ok
[INFO] [stdout] test lint::rules::tests::all_rule_ids_unique ... ok
[INFO] [stdout] test lint::diff::tests::changed_contracts_with_range ... ok
[INFO] [stdout] test lint::rules::tests::find_rule_by_id ... ok
[INFO] [stdout] test lint::rules::tests::rule_catalog_not_empty ... ok
[INFO] [stdout] test lint::rules::tests::rule_serializes ... ok
[INFO] [stdout] test lint::rules::tests::rules_for_category_validate ... ok
[INFO] [stdout] test lint::rules::tests::severity_as_str_roundtrip ... ok
[INFO] [stdout] test lint::rules::tests::severity_from_str ... ok
[INFO] [stdout] test lint::rules::tests::severity_ordering ... ok
[INFO] [stdout] test lint::rules::tests::severity_sarif_level ... ok
[INFO] [stdout] test lint::sarif::tests::sarif_log_has_rules ... ok
[INFO] [stdout] test lint::sarif::tests::sarif_log_has_schema ... ok
[INFO] [stdout] test lint::sarif::tests::sarif_log_has_tool_info ... ok
[INFO] [stdout] test lint::sarif::tests::sarif_multiple_findings ... ok
[INFO] [stdout] test lint::sarif::tests::sarif_off_severity_filtered ... ok
[INFO] [stdout] test lint::sarif::tests::sarif_result_maps_finding ... ok
[INFO] [stdout] test lint::sarif::tests::sarif_suppressed_finding ... ok
[INFO] [stdout] test lint::sarif::tests::sarif_to_json_compact ... ok
[INFO] [stdout] test lint::sarif::tests::sarif_to_json_pretty ... ok
[INFO] [stdout] test lint::sarif::tests::sarif_valid_json ... ok
[INFO] [stdout] test lint::tests::gate_detail_variants ... ok
[INFO] [stdout] test lint::rules::tests::find_rule_missing ... ok
[INFO] [stdout] test lint::tests::lint_cache_second_run_hits ... ok
[INFO] [stdout] test lint::tests::lint_empty_dir ... ok
[INFO] [stdout] test lint::gates::tests::load_contracts_real ... ok
[INFO] [stdout] test lint::gates::tests::score_gate_passes_zero_threshold ... ok
[INFO] [stdout] test lint::gates::tests::audit_gate_passes ... ok
[INFO] [stdout] test lint::gates::tests::score_gate_fails_high_threshold ... ok
[INFO] [stdout] test lint::gates::tests::validate_gate_passes ... ok
[INFO] [stdout] test lint::tests::lint_findings_on_failure ... ok
[INFO] [stdout] test lint::tests::lint_cache_populates_stats ... ok
[INFO] [stdout] test lint::diff::tests::expand_dependents_with_real_contracts ... ok
[INFO] [stdout] test lint::tests::lint_score_gate_fails_with_high_threshold ... ok
[INFO] [stdout] test lint::tests::lint_no_cache_skips_stats ... ok
[INFO] [stdout] test lint::tests::lint_passes_on_real_contracts ... ok
[INFO] [stdout] test lint::tests::lint_sarif_output ... ok
[INFO] [stdout] test lint::tests::lint_report_serializes_to_json ... ok
[INFO] [stdout] test lint::tests::lint_strict_mode ... ok
[INFO] [stdout] test lint::trend::tests::count_by_severity_mixed ... ok
[INFO] [stdout] test lint::trend::tests::detect_drift_declining ... ok
[INFO] [stdout] test lint::trend::tests::detect_drift_empty_recent_window ... ok
[INFO] [stdout] test lint::trend::tests::detect_drift_no_data ... ok
[INFO] [stdout] test lint::tests::skipped_gate_creates_correct_result ... ok
[INFO] [stdout] test lint::tests::lint_validation_failure_skips_audit_and_score ... ok
[INFO] [stdout] test lint::trend::tests::detect_drift_stable ... ok
[INFO] [stdout] test lint::trend::tests::extract_mean_score_no_score_gate ... ok
[INFO] [stdout] test lint::trend::tests::format_trend_declining ... ok
[INFO] [stdout] test lint::trend::tests::format_trend_empty ... ok
[INFO] [stdout] test lint::tests::lint_severity_filter ... ok
[INFO] [stdout] test lint::trend::tests::load_snapshots_empty_dir ... ok
[INFO] [stdout] test lint::trend::tests::format_trend_display ... ok
[INFO] [stdout] test lint::trend::tests::load_snapshots_nonexistent_dir ... ok
[INFO] [stdout] test lint::trend::tests::now_iso8601_format ... ok
[INFO] [stdout] test lint::trend::tests::trend_dir_path ... ok
[INFO] [stdout] test lint::trend::tests::detect_drift_one_snapshot ... ok
[INFO] [stdout] test probar_gen::tests::generate_empty_probar_tests ... ok
[INFO] [stdout] test lint::trend::tests::format_trend_stable ... ok
[INFO] [stdout] test probar_gen::tests::generate_equivalence_property_test ... ok
[INFO] [stdout] test probar_gen::tests::generate_all_obligation_types ... ok
[INFO] [stdout] test probar_gen::tests::generate_falsification_stubs ... ok
[INFO] [stdout] test probar_gen::tests::generate_invariant_property_test ... ok
[INFO] [stdout] test probar_gen::tests::generate_mixed_obligations_and_falsification ... ok
[INFO] [stdout] test probar_gen::tests::generate_monotonicity_test ... ok
[INFO] [stdout] test probar_gen::wired::tests::emit_imports_deduplicates ... ok
[INFO] [stdout] test probar_gen::wired::tests::simple_hash_deterministic ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_associativity_obligation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_bound_obligation ... ok
[INFO] [stdout] test lint::trend::tests::record_and_load_snapshot ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_bound_struct_method ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_default_tolerance ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_empty_property_name ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_generic_linearity ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_equivalence_non_simd ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_generic_conservation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_idempotency_non_softmax_free_fn ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_idempotency_struct_method ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_monotonicity_obligation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_invariant_tensor_method ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_monotonicity_tensor_method ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_multiple_obligations_mixed ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_no_obligations_with_bindings ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_idempotency_obligation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_symmetry_obligation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_struct_method_binding ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_no_binding_generates_ignored ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_test_for_implemented_binding ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_tensor_method_binding ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_test_for_no_bindings ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_test_skips_simd_obligations ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_test_includes_contract_hash ... ok
[INFO] [stdout] test proof_status::tests::count_bindings_helper ... ok
[INFO] [stdout] test proof_status::tests::format_text_produces_output ... ok
[INFO] [stdout] test proof_status::tests::format_text_without_classes ... ok
[INFO] [stdout] test proof_status::tests::json_roundtrip ... ok
[INFO] [stdout] test proof_status::tests::kernel_class_min_level ... ok
[INFO] [stdout] test proof_status::tests::level_l2_not_enough_tests ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_invariant_with_formal ... ok
[INFO] [stdout] test proof_status::tests::level_l2_for_falsification_covered ... ok
[INFO] [stdout] test proof_status::tests::level_l3_kani_without_enough_tests ... ok
[INFO] [stdout] test proof_status::tests::level_l4_partial_lean_stays_l3 ... ok
[INFO] [stdout] test proof_status::tests::level_l4_when_bindings_incomplete ... ok
[INFO] [stdout] test proof_status::tests::level_l4_all_lean_proved ... ok
[INFO] [stdout] test proof_status::tests::level_l1_for_equations_only ... ok
[INFO] [stdout] test proof_status::tests::level_l3_kani_plus_falsification ... ok
[INFO] [stdout] test proof_status::tests::level_l5_lean_plus_all_bound ... ok
[INFO] [stdout] test proof_status::tests::proof_level_display ... ok
[INFO] [stdout] test proof_status::tests::proof_level_ordering ... ok
[INFO] [stdout] test proof_status::tests::report_empty_contracts ... ok
[INFO] [stdout] test proof_status::tests::report_single_contract ... ok
[INFO] [stdout] test proof_status::tests::report_with_kernel_classes ... ok
[INFO] [stdout] test proof_status::tests::schema_version_present ... ok
[INFO] [stdout] test proof_status::tests::report_with_binding ... ok
[INFO] [stdout] test proof_status::tests::timestamp_is_populated ... ok
[INFO] [stdout] test proof_status::tests::truncate_helper ... ok
[INFO] [stdout] test lint::tests::lint_severity_override ... ok
[INFO] [stdout] test lint::tests::lint_suppression_by_stem ... ok
[INFO] [stdout] test lint::tests::lint_suppression_by_rule ... ok
[INFO] [stdout] test query::coverage_tests::coverage_map_enrichment ... ok
[INFO] [stdout] test query::coverage_tests::default_query_params_new_fields ... ok
[INFO] [stdout] test lint::tests::lint_suppression_by_file_pattern ... ok
[INFO] [stdout] test query::coverage_tests::binding_unbound_path ... ok
[INFO] [stdout] test query::coverage_tests::all_projects_triggers_xp_scan ... ok
[INFO] [stdout] test query::coverage_tests::binding_info_unbound_equations ... ok
[INFO] [stdout] test query::coverage_tests::binding_gaps_without_registry ... ok
[INFO] [stdout] test query::coverage_tests::month_days_all_months ... ok
[INFO] [stdout] test query::coverage_tests::parse_iso_days_ago_invalid ... ok
[INFO] [stdout] test query::coverage_tests::parse_iso_days_ago_recent ... ok
[INFO] [stdout] test query::coverage_tests::parse_proof_level_all_levels ... ok
[INFO] [stdout] test query::coverage_tests::binding_gaps_filter ... ok
[INFO] [stdout] test query::coverage_tests::graph_enrichment_with_depended_by ... ok
[INFO] [stdout] test query::coverage_tests::binding_with_real_registry ... ok
[INFO] [stdout] test query::coverage_tests::depends_on_filter ... ok
[INFO] [stdout] test query::coverage_tests::project_filter_restricts_violations ... ok
[INFO] [stdout] test query::cross_project::tests::binding_refs_for_aprender ... ok
[INFO] [stdout] test query::cross_project::tests::build_cross_project_index ... ok
[INFO] [stdout] test query::cross_project::tests::build_with_extra_duplicate ... ok
[INFO] [stdout] test query::cross_project::tests::build_with_extra_project ... ok
[INFO] [stdout] test query::coverage_tests::min_level_filter_restricts_results ... ok
[INFO] [stdout] test query::cross_project::tests::call_sites_for_known_contract ... ok
[INFO] [stdout] test query::cross_project::tests::call_sites_for_unknown_contract ... ok
[INFO] [stdout] test query::cross_project::tests::commit_refs_discovered ... ok
[INFO] [stdout] test query::cross_project::tests::commit_refs_for_unknown ... ok
[INFO] [stdout] test query::cross_project::tests::cross_project_index_accessors ... ok
[INFO] [stdout] test query::cross_project::tests::discover_real_sibling_projects ... ok
[INFO] [stdout] test query::cross_project::tests::extract_contract_stem_basic ... ok
[INFO] [stdout] test query::cross_project::tests::extract_contract_stem_with_yaml ... ok
[INFO] [stdout] test query::cross_project::tests::extract_equation_missing ... ok
[INFO] [stdout] test query::cross_project::tests::extract_patterns_contract_id ... ok
[INFO] [stdout] test query::cross_project::tests::extract_patterns_kaizen ... ok
[INFO] [stdout] test query::cross_project::tests::extract_patterns_multiple ... ok
[INFO] [stdout] test query::cross_project::tests::extract_patterns_none ... ok
[INFO] [stdout] test query::cross_project::tests::find_binding_path_real ... ok
[INFO] [stdout] test query::cross_project::tests::kaizen_refs_in_trueno ... ok
[INFO] [stdout] test query::cross_project::tests::parse_contract_annotation_line ... ok
[INFO] [stdout] test query::cross_project::tests::extract_equation_basic ... ok
[INFO] [stdout] test query::coverage_tests::pagerank_enrichment ... ok
[INFO] [stdout] test query::index::tests::from_directory_uses_cache ... ok
[INFO] [stdout] test query::coverage_tests::min_score_filter ... ok
[INFO] [stdout] test query::coverage_tests::project_filter_restricts_call_sites ... ok
[INFO] [stdout] test query::index::tests::pagerank_empty_index ... ok
[INFO] [stdout] test query::coverage_tests::rebuild_index_flag ... ok
[INFO] [stdout] test query::coverage_tests::violations_enrichment ... ok
[INFO] [stdout] test query::index::tests::tokenize_filters_short ... ok
[INFO] [stdout] test query::index::tests::tokenize_splits_correctly ... ok
[INFO] [stdout] test query::persist::tests::dir_max_mtime_contracts ... ok
[INFO] [stdout] test query::persist::tests::dir_max_mtime_empty ... ok
[INFO] [stdout] test query::persist::tests::roundtrip_persisted_index ... ok
[INFO] [stdout] test query::persist::tests::stale_cache_returns_none ... ok
[INFO] [stdout] test query::registry::tests::class_a_llama ... ok
[INFO] [stdout] test query::registry::tests::class_b_gpt2 ... ok
[INFO] [stdout] test query::registry::tests::class_c_bloom ... ok
[INFO] [stdout] test query::registry::tests::class_e_qwen ... ok
[INFO] [stdout] test query::registry::tests::class_none_for_non_arch ... ok
[INFO] [stdout] test query::registry::tests::multi_class_layernorm ... ok
[INFO] [stdout] test query::registry::tests::multi_class_membership ... ok
[INFO] [stdout] test query::registry::tests::tier1_foundation ... ok
[INFO] [stdout] test query::registry::tests::tier2_composite ... ok
[INFO] [stdout] test query::registry::tests::tier3_system ... ok
[INFO] [stdout] test query::registry::tests::tier4_training ... ok
[INFO] [stdout] test query::registry::tests::tier5_classical ... ok
[INFO] [stdout] test query::registry::tests::tier6_model_specific ... ok
[INFO] [stdout] test query::registry::tests::tier7_default ... ok
[INFO] [stdout] test query::render_tests::coverage_bar_rendering ... ok
[INFO] [stdout] test query::render_tests::display_with_diff_and_bindings ... ok
[INFO] [stdout] test query::render_tests::display_with_violations_and_coverage ... ok
[INFO] [stdout] test query::render_tests::markdown_all_enrichment_paths ... ok
[INFO] [stdout] test query::render_tests::markdown_with_diff_and_bindings ... ok
[INFO] [stdout] test query::render_tests::markdown_with_violations_and_coverage ... ok
[INFO] [stdout] test query::render_tests::text_display_with_score_and_proof_status ... ok
[INFO] [stdout] test query::coverage_tests::show_diff_enrichment ... ok
[INFO] [stdout] test query::index::tests::depended_by_returns_dependents ... ok
[INFO] [stdout] test query::index::tests::bm25_ranks_relevant_first ... ok
[INFO] [stdout] test query::tests::clean_path_strips_prefix ... ok
[INFO] [stdout] test query::index::tests::literal_search_finds_match ... ok
[INFO] [stdout] test query::index::tests::index_from_contracts_dir ... ok
[INFO] [stdout] test query::index::tests::pagerank_produces_valid_scores ... ok
[INFO] [stdout] test query::index::tests::regex_search_finds_patterns ... ok
[INFO] [stdout] test query::tests::binding_enrichment_with_registry ... ok
[INFO] [stdout] test query::tests::binding_enrichment_without_registry ... ok
[INFO] [stdout] test query::tests::empty_query_returns_empty ... ok
[INFO] [stdout] test query::tests::case_sensitive_literal ... ok
[INFO] [stdout] test query::tests::depended_by_filter ... ok
[INFO] [stdout] test query::tests::display_output_is_valid ... ok
[INFO] [stdout] test query::tests::get_by_equation_works ... ok
[INFO] [stdout] test query::tests::display_with_all_enrichment ... ok
[INFO] [stdout] test query::tests::graph_enrichment_shows_depends ... ok
[INFO] [stdout] test query::tests::get_by_obligation_works ... ok
[INFO] [stdout] test query::tests::invalid_regex_returns_empty ... ok
[INFO] [stdout] test query::tests::limit_caps_results ... ok
[INFO] [stdout] test query::tests::literal_query_finds_contracts ... ok
[INFO] [stdout] test query::tests::markdown_with_proof_and_binding ... ok
[INFO] [stdout] test query::tests::markdown_output_format ... ok
[INFO] [stdout] test query::tests::min_score_filter_works ... ok
[INFO] [stdout] test scaffold::tests::generate_tests_creates_stubs ... ok
[INFO] [stdout] test query::tests::obligation_filter_narrows_results ... ok
[INFO] [stdout] test scaffold::tests::generate_trait_includes_equations ... ok
[INFO] [stdout] test schema::parser::tests::parse_contract_with_all_fields ... ok
[INFO] [stdout] test schema::parser::tests::parse_invalid_yaml_returns_error ... ok
[INFO] [stdout] test schema::parser::tests::parse_kani_strategies ... ok
[INFO] [stdout] test schema::parser::tests::parse_minimal_contract ... ok
[INFO] [stdout] test schema::parser::tests::parse_missing_metadata_returns_error ... ok
[INFO] [stdout] test schema::parser::tests::parse_obligation_types ... ok
[INFO] [stdout] test schema::types::tests::kani_strategy_display ... ok
[INFO] [stdout] test schema::types::tests::lean_status_default_is_sorry ... ok
[INFO] [stdout] test scaffold::tests::generate_tests_includes_predictions ... ok
[INFO] [stdout] test schema::types::tests::obligation_type_display ... ok
[INFO] [stdout] test schema::validator::tests::duplicate_falsification_id_is_error ... ok
[INFO] [stdout] test schema::validator::tests::duplicate_formal_is_warning ... ok
[INFO] [stdout] test schema::validator::tests::duplicate_kani_id_is_error ... ok
[INFO] [stdout] test schema::validator::tests::empty_formula_is_error ... ok
[INFO] [stdout] test schema::types::tests::lean_status_display ... ok
[INFO] [stdout] test schema::validator::tests::empty_if_fails_is_warning ... ok
[INFO] [stdout] test schema::validator::tests::empty_prediction_is_error ... ok
[INFO] [stdout] test schema::validator::tests::empty_property_is_error ... ok
[INFO] [stdout] test schema::validator::tests::empty_version_is_error ... ok
[INFO] [stdout] test schema::validator::tests::empty_kani_obligation_is_error ... ok
[INFO] [stdout] test schema::validator::tests::kani_harness_without_bound_is_warning ... ok
[INFO] [stdout] test schema::validator::tests::kernel_contract_without_kani_is_error ... ok
[INFO] [stdout] test schema::validator::tests::kernel_with_fewer_tests_than_obligations_is_error ... ok
[INFO] [stdout] test schema::validator::tests::no_equations_is_error ... ok
[INFO] [stdout] test schema::validator::tests::no_qa_gate_is_warning ... ok
[INFO] [stdout] test schema::validator::tests::registry_contract_without_kani_is_ok ... ok
[INFO] [stdout] test schema::validator::tests::missing_references_is_error ... ok
[INFO] [stdout] test schema::validator::tests::valid_contract_has_no_errors ... ok
[INFO] [stdout] test scoring::codebase::tests::compute_gaps_falsification_and_binding ... ok
[INFO] [stdout] test scoring::codebase::tests::codebase_display_format ... ok
[INFO] [stdout] test scoring::codebase::tests::dependency_fanout_with_pagerank ... ok
[INFO] [stdout] test scoring::codebase::tests::dependency_fanout_fallback ... ok
[INFO] [stdout] test scoring::codebase::tests::empty_binding_scores_low ... ok
[INFO] [stdout] test query::tests::proof_status_enrichment_works ... ok
[INFO] [stdout] test query::tests::query_result_path_is_clean ... ok
[INFO] [stdout] test scoring::codebase::tests::reverse_dep_counts ... ok
[INFO] [stdout] test query::tests::regex_query_works ... ok
[INFO] [stdout] test scoring::drift::tests::compute_drift_all_stale ... ok
[INFO] [stdout] test scoring::drift::tests::compute_drift_empty_total ... ok
[INFO] [stdout] test scoring::drift::tests::compute_drift_no_stale ... ok
[INFO] [stdout] test scoring::drift::tests::compute_drift_partial ... ok
[INFO] [stdout] test scoring::drift::tests::detect_stale_missing_contract_file ... ok
[INFO] [stdout] test scoring::drift::tests::detect_stale_no_git_binding ... ok
[INFO] [stdout] test scoring::drift::tests::detect_stale_with_real_files ... ok
[INFO] [stdout] test scoring::drift::tests::git_ts_for_real_contract ... ok
[INFO] [stdout] test scoring::drift::tests::git_ts_nonexistent_file ... ok
[INFO] [stdout] test scoring::tests::binding_no_relevant_entries ... ok
[INFO] [stdout] test scoring::tests::binding_partial_status_coverage ... ok
[INFO] [stdout] test scoring::tests::contract_score_display ... ok
[INFO] [stdout] test scoring::tests::custom_weights_change_composite ... ok
[INFO] [stdout] test scoring::tests::empty_contract_scores_low ... ok
[INFO] [stdout] test scoring::tests::grade_display_all_variants ... ok
[INFO] [stdout] test scoring::tests::grade_thresholds ... ok
[INFO] [stdout] test scoring::tests::kani_compositional_strategy_weight ... ok
[INFO] [stdout] test scoring::tests::kani_coverage_with_no_obligations ... ok
[INFO] [stdout] test scoring::tests::kani_no_strategy_weight ... ok
[INFO] [stdout] test scoring::tests::score_complete_contract ... ok
[INFO] [stdout] test scoring::tests::score_real_softmax_contract ... ok
[INFO] [stdout] test query::tests::semantic_query_returns_results ... ok
[INFO] [stdout] test scoring::tests::weights_normalization ... ok
[INFO] [stdout] test scoring::codebase::tests::pagerank_weighted_gaps_differ ... ok
[INFO] [stdout] test scoring::codebase::tests::gap_actions_are_populated ... ok
[INFO] [stdout] test scoring::codebase::tests::drift_override_affects_composite ... ok
[INFO] [stdout] test query::tests::show_score_enriches_results ... ok
[INFO] [stdout] test scoring::codebase::tests::score_codebase_with_binding ... ok
[INFO] [stdout] test query::tests::unproven_filter_narrows ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- lint::diff::tests::find_repo_root_works stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'lint::diff::tests::find_repo_root_works' (610) panicked at crates/provable-contracts/src/lint/diff.rs:177:9:
[INFO] [stdout] assertion failed: root.unwrap().contains("provable-contracts")
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x575fb419597a - std[b80a194dd3c418bb]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x575fb419597a - std[b80a194dd3c418bb]::backtrace_rs::backtrace::trace_unsynchronized::<std[b80a194dd3c418bb]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x575fb419597a - std[b80a194dd3c418bb]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x575fb419597a - <<std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[10b6fa85044e1869]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x575fb41ae72a - <core[10b6fa85044e1869]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x575fb41ae72a - core[10b6fa85044e1869]::fmt::write
[INFO] [stdout]    6:     0x575fb419a892 - std[b80a194dd3c418bb]::io::default_write_fmt::<alloc[dd269455e567d8e9]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x575fb419a892 - <alloc[dd269455e567d8e9]::vec::Vec<u8> as std[b80a194dd3c418bb]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x575fb41713af - <std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x575fb41713af - std[b80a194dd3c418bb]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x575fb418c429 - std[b80a194dd3c418bb]::panicking::default_hook
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x575fb4025cac - <alloc[dd269455e567d8e9]::boxed::Box<dyn for<'a, 'b> core[10b6fa85044e1869]::ops::function::Fn<(&'a std[b80a194dd3c418bb]::panic::PanicHookInfo<'b>,), Output = ()> + core[10b6fa85044e1869]::marker::Sync + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::Fn<(&std[b80a194dd3c418bb]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   12:     0x575fb4025cac - test[826cbc6ef54ab466]::test_main_with_exit_callback::<test[826cbc6ef54ab466]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x575fb418c5e2 - <alloc[dd269455e567d8e9]::boxed::Box<dyn for<'a, 'b> core[10b6fa85044e1869]::ops::function::Fn<(&'a std[b80a194dd3c418bb]::panic::PanicHookInfo<'b>,), Output = ()> + core[10b6fa85044e1869]::marker::Sync + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::Fn<(&std[b80a194dd3c418bb]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   14:     0x575fb418c5e2 - std[b80a194dd3c418bb]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x575fb417149a - std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:691:13
[INFO] [stdout]   16:     0x575fb4168b19 - std[b80a194dd3c418bb]::sys::backtrace::__rust_end_short_backtrace::<std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x575fb417217d - __rustc[9698a3e60dd14283]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x575fb41af08c - core[10b6fa85044e1869]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x575fb41af052 - core[10b6fa85044e1869]::panicking::panic
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panicking.rs:150:5
[INFO] [stdout]   20:     0x575fb3d64380 - provable_contracts::lint::diff::tests::find_repo_root_works::hd0843aeade5e2e5b
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/provable-contracts/src/lint/diff.rs:177:9
[INFO] [stdout]   21:     0x575fb3d643d7 - provable_contracts::lint::diff::tests::find_repo_root_works::{{closure}}::h84dde77169d7bdb5
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/provable-contracts/src/lint/diff.rs:174:30
[INFO] [stdout]   22:     0x575fb3d9e4e6 - core::ops::function::FnOnce::call_once::h5339842d8754b1d1
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x575fb4019d8b - <fn() -> core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x575fb4019d8b - test[826cbc6ef54ab466]::__rust_begin_short_backtrace::<core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>, fn() -> core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:663:18
[INFO] [stdout]   25:     0x575fb402677b - test[826cbc6ef54ab466]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:686:74
[INFO] [stdout]   26:     0x575fb402677b - <core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   27:     0x575fb402677b - std[b80a194dd3c418bb]::panicking::catch_unwind::do_call::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}>, core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stdout]   28:     0x575fb402677b - std[b80a194dd3c418bb]::panicking::catch_unwind::<core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>, core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stdout]   29:     0x575fb402677b - std[b80a194dd3c418bb]::panic::catch_unwind::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}>, core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stdout]   30:     0x575fb402677b - test[826cbc6ef54ab466]::run_test_in_process
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:686:27
[INFO] [stdout]   31:     0x575fb402677b - test[826cbc6ef54ab466]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:607:43
[INFO] [stdout]   32:     0x575fb4021e94 - test[826cbc6ef54ab466]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:637:41
[INFO] [stdout]   33:     0x575fb4021e94 - std[b80a194dd3c418bb]::sys::backtrace::__rust_begin_short_backtrace::<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   34:     0x575fb4029382 - std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked::<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   35:     0x575fb4029382 - <core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   36:     0x575fb4029382 - std[b80a194dd3c418bb]::panicking::catch_unwind::do_call::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stdout]   37:     0x575fb4029382 - std[b80a194dd3c418bb]::panicking::catch_unwind::<(), core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stdout]   38:     0x575fb4029382 - std[b80a194dd3c418bb]::panic::catch_unwind::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stdout]   39:     0x575fb4029382 - std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked::<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   40:     0x575fb4029382 - <std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1} as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x575fb4194cbf - <alloc[dd269455e567d8e9]::boxed::Box<dyn core[10b6fa85044e1869]::ops::function::FnOnce<(), Output = ()> + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stdout]   42:     0x575fb4194cbf - <std[b80a194dd3c418bb]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   43:     0x7bbe4cf11aa4 - <unknown>
[INFO] [stdout]   44:     0x7bbe4cf9ea64 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     lint::diff::tests::find_repo_root_works
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 883 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 23.73s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p provable-contracts --lib`
[INFO] running `Command { std: "docker" "inspect" "ee8ccb64abfcf8dc4240ef8dbde59acbae68092d7e6e0bf52c18ce106a2a7e51", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ee8ccb64abfcf8dc4240ef8dbde59acbae68092d7e6e0bf52c18ce106a2a7e51", kill_on_drop: false }`
[INFO] [stdout] ee8ccb64abfcf8dc4240ef8dbde59acbae68092d7e6e0bf52c18ce106a2a7e51
