[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] 626868c240b37107cb313f3443fd44a507f5df66
[INFO] testing paiml/provable-contracts/626868c240b37107cb313f3443fd44a507f5df66 against try#33835004928d3bf65db4d4712e1330766263b0bd for pr-155739
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpaiml%2Fprovable-contracts" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  32% (545/1657)
Updating files:  33% (547/1657)
Updating files:  34% (564/1657)
Updating files:  35% (580/1657)
Updating files:  36% (597/1657)
Updating files:  37% (614/1657)
Updating files:  38% (630/1657)
Updating files:  39% (647/1657)
Updating files:  40% (663/1657)
Updating files:  41% (680/1657)
Updating files:  42% (696/1657)
Updating files:  43% (713/1657)
Updating files:  44% (730/1657)
Updating files:  45% (746/1657)
Updating files:  46% (763/1657)
Updating files:  47% (779/1657)
Updating files:  48% (796/1657)
Updating files:  49% (812/1657)
Updating files:  50% (829/1657)
Updating files:  51% (846/1657)
Updating files:  52% (862/1657)
Updating files:  53% (879/1657)
Updating files:  54% (895/1657)
Updating files:  55% (912/1657)
Updating files:  56% (928/1657)
Updating files:  57% (945/1657)
Updating files:  58% (962/1657)
Updating files:  59% (978/1657)
Updating files:  60% (995/1657)
Updating files:  61% (1011/1657)
Updating files:  62% (1028/1657)
Updating files:  63% (1044/1657)
Updating files:  64% (1061/1657)
Updating files:  65% (1078/1657)
Updating files:  66% (1094/1657)
Updating files:  67% (1111/1657)
Updating files:  68% (1127/1657)
Updating files:  69% (1144/1657)
Updating files:  70% (1160/1657)
Updating files:  71% (1177/1657)
Updating files:  72% (1194/1657)
Updating files:  73% (1210/1657)
Updating files:  74% (1227/1657)
Updating files:  75% (1243/1657)
Updating files:  76% (1260/1657)
Updating files:  77% (1276/1657)
Updating files:  78% (1293/1657)
Updating files:  79% (1310/1657)
Updating files:  80% (1326/1657)
Updating files:  81% (1343/1657)
Updating files:  82% (1359/1657)
Updating files:  83% (1376/1657)
Updating files:  84% (1392/1657)
Updating files:  85% (1409/1657)
Updating files:  86% (1426/1657)
Updating files:  87% (1442/1657)
Updating files:  88% (1459/1657)
Updating files:  89% (1475/1657)
Updating files:  90% (1492/1657)
Updating files:  91% (1508/1657)
Updating files:  92% (1525/1657)
Updating files:  93% (1542/1657)
Updating files:  94% (1558/1657)
Updating files:  95% (1575/1657)
Updating files:  96% (1591/1657)
Updating files:  97% (1608/1657)
Updating files:  98% (1624/1657)
Updating files:  99% (1641/1657)
Updating files: 100% (1657/1657)
Updating files: 100% (1657/1657), done.
[INFO] removed /workspace/builds/worker-5-tc2/source/.cargo/config.toml
[INFO] removed /workspace/builds/worker-5-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-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/paiml/provable-contracts on toolchain 33835004928d3bf65db4d4712e1330766263b0bd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/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" "+33835004928d3bf65db4d4712e1330766263b0bd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dc1938bf97cae68991df767c7d880d67da15bfa548834a7d1c6e5a9ee24a58c1
[INFO] running `Command { std: "docker" "start" "-a" "dc1938bf97cae68991df767c7d880d67da15bfa548834a7d1c6e5a9ee24a58c1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dc1938bf97cae68991df767c7d880d67da15bfa548834a7d1c6e5a9ee24a58c1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dc1938bf97cae68991df767c7d880d67da15bfa548834a7d1c6e5a9ee24a58c1", kill_on_drop: false }`
[INFO] [stdout] dc1938bf97cae68991df767c7d880d67da15bfa548834a7d1c6e5a9ee24a58c1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f69f7e2d6a6ffecc5aa96bdd3433b34b152fcd9e49715f6cddc52812888cbb0f
[INFO] running `Command { std: "docker" "start" "-a" "f69f7e2d6a6ffecc5aa96bdd3433b34b152fcd9e49715f6cddc52812888cbb0f", kill_on_drop: false }`
[INFO] [stderr]    Compiling ryu v1.0.23
[INFO] [stderr]    Compiling clap_lex v1.0.0
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling clap_builder v4.5.59
[INFO] [stderr]    Compiling syn v2.0.116
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling provable-contracts-macros v0.3.1 (/opt/rustwide/workdir/crates/provable-contracts-macros)
[INFO] [stderr]    Compiling clap_derive v4.5.55
[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.3.1 (/opt/rustwide/workdir/crates/provable-contracts)
[INFO] [stderr] warning: provable-contracts@0.3.1: [contract] Assertions: 874 preconditions, 81 postconditions from YAML
[INFO] [stderr]    Compiling provable-contracts-cli v0.3.1 (/opt/rustwide/workdir/crates/provable-contracts-cli)
[INFO] [stdout] warning: function `check` is never used
[INFO] [stdout]   --> crates/provable-contracts-cli/src/commands/verify_structure.rs:92:4
[INFO] [stdout]    |
[INFO] [stdout] 92 | fn check(label: &str, ok: bool) {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 36.10s
[INFO] running `Command { std: "docker" "inspect" "f69f7e2d6a6ffecc5aa96bdd3433b34b152fcd9e49715f6cddc52812888cbb0f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f69f7e2d6a6ffecc5aa96bdd3433b34b152fcd9e49715f6cddc52812888cbb0f", kill_on_drop: false }`
[INFO] [stdout] f69f7e2d6a6ffecc5aa96bdd3433b34b152fcd9e49715f6cddc52812888cbb0f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 585d8517ce784ede5335537b6c74ffbb500390f652e16aad1c7cdade09dd17a2
[INFO] running `Command { std: "docker" "start" "-a" "585d8517ce784ede5335537b6c74ffbb500390f652e16aad1c7cdade09dd17a2", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling getrandom v0.4.1
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling target-triple v1.0.0
[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 syn v2.0.116
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling tempfile v3.25.0
[INFO] [stderr]    Compiling toml_parser v1.0.9+spec-1.1.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling toml v1.0.3+spec-1.1.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zerocopy-derive v0.8.39
[INFO] [stderr]    Compiling provable-contracts-macros v0.3.1 (/opt/rustwide/workdir/crates/provable-contracts-macros)
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling clap v4.5.59
[INFO] [stderr]    Compiling serde_yaml v0.9.34+deprecated
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling trybuild v1.0.116
[INFO] [stderr]    Compiling provable-contracts v0.3.1 (/opt/rustwide/workdir/crates/provable-contracts)
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr] warning: provable-contracts@0.3.1: [contract] Assertions: 874 preconditions, 81 postconditions from YAML
[INFO] [stderr]    Compiling proptest v1.10.0
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]    Compiling provable-contracts-cli v0.3.1 (/opt/rustwide/workdir/crates/provable-contracts-cli)
[INFO] [stdout] warning: function `check` is never used
[INFO] [stdout]   --> crates/provable-contracts-cli/src/commands/verify_structure.rs:92:4
[INFO] [stdout]    |
[INFO] [stdout] 92 | fn check(label: &str, ok: bool) {
[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 `check` is never used
[INFO] [stdout]   --> crates/provable-contracts-cli/src/commands/verify_structure.rs:92:4
[INFO] [stdout]    |
[INFO] [stdout] 92 | fn check(label: &str, ok: bool) {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 28s
[INFO] running `Command { std: "docker" "inspect" "585d8517ce784ede5335537b6c74ffbb500390f652e16aad1c7cdade09dd17a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "585d8517ce784ede5335537b6c74ffbb500390f652e16aad1c7cdade09dd17a2", kill_on_drop: false }`
[INFO] [stdout] 585d8517ce784ede5335537b6c74ffbb500390f652e16aad1c7cdade09dd17a2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] ae19368b3a931187b7c6837189ba44c83bce47278bf69e6153ad7061201b4318
[INFO] running `Command { std: "docker" "start" "-a" "ae19368b3a931187b7c6837189ba44c83bce47278bf69e6153ad7061201b4318", kill_on_drop: false }`
[INFO] [stderr] warning: provable-contracts@0.3.1: [contract] Assertions: 874 preconditions, 81 postconditions from YAML
[INFO] [stderr] warning: function `check` is never used
[INFO] [stderr]   --> crates/provable-contracts-cli/src/commands/verify_structure.rs:92:4
[INFO] [stderr]    |
[INFO] [stderr] 92 | fn check(label: &str, ok: bool) {
[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: `provable-contracts-cli` (bin "pv") generated 1 warning (1 duplicate)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.26s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/provable_contracts-df2c4ae1b21f9e18)
[INFO] [stdout] 
[INFO] [stdout] running 1376 tests
[INFO] [stdout] test audit::tests::audit_complete_contract ... ok
[INFO] [stdout] test audit::tests::audit_minimal_contract ... ok
[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::binding_audit_multiple_contracts ... 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_partial_status ... ok
[INFO] [stdout] test binding::tests::parse_binding_with_entries ... ok
[INFO] [stdout] test audit::tests::audit_warns_on_no_obligations ... ok
[INFO] [stdout] test audit::tests::binding_audit_all_implemented ... ok
[INFO] [stdout] test binding::tests::parse_binding_nonexistent_file ... ok
[INFO] [stdout] test binding::tests::parse_invalid_binding_yaml ... ok
[INFO] [stdout] test binding::tests::parse_minimal_binding ... ok
[INFO] [stdout] test binding::tests::parse_partial_status ... ok
[INFO] [stdout] test book_gen::page::tests::codomain_and_invariants_rendered ... ok
[INFO] [stdout] test book_gen::page::tests::latex_rendering_in_equations ... 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::kernel_phases_rendered ... ok
[INFO] [stdout] test book_gen::page::tests::generates_title_and_equations ... ok
[INFO] [stdout] test book_gen::page::tests::optional_sections_omitted_when_empty ... 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 build_helper::tests::make_env_key_with_yaml_extension ... ok
[INFO] [stdout] test book_gen::page::tests::qa_gate_rendered ... ok
[INFO] [stdout] test book_gen::page::tests::pipe_escaped_in_tables ... 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::sorts_stems_alphabetically ... ok
[INFO] [stdout] test build_helper::tests::binding_policy_clone_eq ... ok
[INFO] [stdout] test build_helper::tests::binding_policy_debug ... ok
[INFO] [stdout] test build_helper::tests::make_env_key_dots_replaced ... ok
[INFO] [stdout] test build_helper::tests::scan_source_fns_skips_git_dir ... ok
[INFO] [stdout] test build_helper::tests::scan_source_fns_skips_non_rs_files ... ok
[INFO] [stdout] test build_helper::tests::scan_source_fns_empty_dir ... ok
[INFO] [stdout] test build_helper::tests::scan_source_fns_finds_pub_crate_fn ... ok
[INFO] [stdout] test build_helper::tests::scan_source_fns_handles_generic_fn ... 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 build_helper::tests::scan_source_fns_finds_pub_fn ... ok
[INFO] [stdout] test build_helper::tests::scan_source_fns_skips_target_dir ... ok
[INFO] [stdout] test build_helper::tests::scan_source_fns_nonexistent_dir ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_handles_nested_path ... ok
[INFO] [stdout] test build_helper::tests::scan_source_fns_recursive ... ok
[INFO] [stdout] test build_helper::tests::scan_source_fns_finds_pub_async_fn ... ok
[INFO] [stdout] test build_helper::tests::scan_source_fns_case_insensitive ... ok
[INFO] [stdout] test build_helper::tests::scan_source_fns_ignores_private_fn ... ok
[INFO] [stdout] test build_helper::tests::scan_source_fns_multiple_fns_one_file ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_all_implemented_all_ok ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_pending_no_module_path ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_pending_status_warns ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_not_implemented_no_module_path ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_pending_with_tiered ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_pending_with_warn_on_gaps ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_empty_bindings ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_partial_no_module_path ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_warn_on_gaps_not_implemented ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_warn_on_gaps_mixed ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_tiered_all_implemented ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_warn_on_gaps_all_implemented ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_warn_on_gaps_partial ... ok
[INFO] [stdout] test build_helper::tests::verify_source_functions_all_found ... ok
[INFO] [stdout] test build_helper::tests::verify_result_debug_display ... ok
[INFO] [stdout] test build_helper::tests::verify_source_functions_missing_yaml ... ok
[INFO] [stdout] test build_helper::tests::verify_source_functions_invalid_yaml ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_tiered_partial_warns_but_ok ... ok
[INFO] [stdout] test build_helper::tests::verify_source_functions_many_missing_truncates ... ok
[INFO] [stdout] test build_helper::tests::verify_source_functions_nonexistent_src_dir ... ok
[INFO] [stdout] test build_helper::tests::verify_source_functions_no_implemented_bindings ... ok
[INFO] [stdout] test build_helper::tests::verify_source_functions_no_function_field ... ok
[INFO] [stdout] test build_helper::tests::verify_source_functions_skips_not_implemented ... ok
[INFO] [stdout] test codegen::tests::test_collect_yaml_files_skips_binding ... ok
[INFO] [stdout] test binding::tests::parse_binding_from_file ... ok
[INFO] [stdout] test codegen::tests::test_collect_yaml_files_skips_special_dirs ... ok
[INFO] [stdout] test codegen::tests::test_collect_yaml_files_basic ... ok
[INFO] [stdout] test codegen::tests::test_detect_primary_var_empty_list ... ok
[INFO] [stdout] test codegen::tests::test_detect_primary_var_fallback_default ... ok
[INFO] [stdout] test codegen::tests::test_detect_primary_var_logits ... ok
[INFO] [stdout] test codegen::tests::test_detect_primary_var_simple_dot ... ok
[INFO] [stdout] test codegen::tests::test_detect_primary_var_skips_invalid_prefix ... ok
[INFO] [stdout] test codegen::tests::test_detect_primary_var_skips_operator_prefix ... ok
[INFO] [stdout] test codegen::tests::test_detect_primary_var_skips_result ... ok
[INFO] [stdout] test codegen::tests::test_collect_yaml_files_nonexistent_dir ... ok
[INFO] [stdout] test codegen::tests::test_detect_primary_var_underscore_name ... ok
[INFO] [stdout] test codegen::tests::test_emit_combined_macro_both_empty ... ok
[INFO] [stdout] test codegen::tests::test_emit_combined_macro_empty_posts ... ok
[INFO] [stdout] test build_helper::tests::verify_source_functions_some_missing ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_warn_on_gaps_real_file ... ok
[INFO] [stdout] test codegen::tests::test_emit_postcondition_method_call_on_result ... ok
[INFO] [stdout] test codegen::tests::test_emit_combined_macro_empty_pres ... ok
[INFO] [stdout] test codegen::tests::test_emit_combined_macro_both_present ... ok
[INFO] [stdout] test codegen::tests::test_emit_postcondition_empty ... ok
[INFO] [stdout] test codegen::tests::test_emit_postcondition_is_finite ... ok
[INFO] [stdout] test codegen::tests::test_emit_postcondition_quote_escaping ... ok
[INFO] [stdout] test codegen::tests::test_emit_postcondition_result_paren ... ok
[INFO] [stdout] test codegen::tests::test_emit_postcondition_scalar_result ... ok
[INFO] [stdout] test codegen::tests::test_emit_postcondition_multiple ... ok
[INFO] [stdout] test codegen::tests::test_emit_postcondition_skips_unbound ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_domain_dot_with_is_empty_not_domain ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_domain_path_contains_freqs ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_domain_path_contains_weight ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_domain_path_contains_eps ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_domain_path_contains_eq ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_domain_path_contains_scale ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_domain_skips_unbound ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_domain_quote_escaping ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_domain_zero_arg_form ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_empty ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_generic_is_finite_safe_method ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_generic_iter_safe_method ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_generic_non_ident_var_not_remapped ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_generic_path_x_dot_replacement ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_generic_safe_method_mapping ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_generic_path_x_paren_replacement ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_generic_skips_still_unbound ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_generic_with_input_var ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_mixed_domain_triggers ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_multiple_domain ... ok
[INFO] [stdout] test codegen::tests::test_generate_all_skips_invalid_yaml ... ok
[INFO] [stdout] test codegen::tests::test_generate_all_skips_no_assertions_contract ... ok
[INFO] [stdout] test codegen::tests::test_generate_all_with_valid_contract ... ok
[INFO] [stdout] test codegen::tests::test_generate_all_sorted_by_name ... ok
[INFO] [stdout] test codegen::tests::test_generate_contract_with_lean_theorem ... ok
[INFO] [stdout] test codegen::tests::test_generate_contract_with_postconditions_only ... ok
[INFO] [stdout] test codegen::tests::test_generate_contract_with_preconditions_only ... ok
[INFO] [stdout] test codegen::tests::test_generate_contract_with_both_emits_combined ... ok
[INFO] [stdout] test codegen::tests::test_generate_contract_multiple_equations ... ok
[INFO] [stdout] test codegen::tests::test_generate_empty_contract ... ok
[INFO] [stdout] test codegen::tests::test_generated_contract_clone_debug ... ok
[INFO] [stdout] test codegen::tests::test_has_unbound_vars_abs_sum ... ok
[INFO] [stdout] test codegen::tests::test_has_unbound_vars_contract_input ... ok
[INFO] [stdout] test codegen::tests::test_has_unbound_vars_long_token_not_flagged ... ok
[INFO] [stdout] test codegen::tests::test_has_unbound_vars_numeric_literal ... ok
[INFO] [stdout] test codegen::tests::test_has_unbound_vars_only_numbers ... ok
[INFO] [stdout] test codegen::tests::test_has_unbound_vars_safe_methods ... ok
[INFO] [stdout] test codegen::tests::test_has_unbound_vars_simple_primary ... ok
[INFO] [stdout] test codegen::tests::test_has_unbound_vars_type_names ... ok
[INFO] [stdout] test codegen::tests::test_has_unbound_vars_v_and_id_safe ... ok
[INFO] [stdout] test codegen::tests::test_has_unbound_vars_with_any ... ok
[INFO] [stdout] test codegen::tests::test_has_unbound_vars_with_extra_var ... ok
[INFO] [stdout] test codegen::tests::test_lean_stub_empty_formula ... ok
[INFO] [stdout] test codegen::tests::test_lean_stub_multiline_formula ... ok
[INFO] [stdout] test codegen::tests::test_write_rust_module ... ok
[INFO] [stdout] test codegen::tests::test_write_rust_module_empty ... ok
[INFO] [stdout] test coq_gen::tests::generates_coq_for_minimal_contract ... ok
[INFO] [stdout] test coq_gen::tests::references_lean_proof ... ok
[INFO] [stdout] test coq_gen::tests::uses_coq_spec_imports ... ok
[INFO] [stdout] test coverage::tests::binding_coverage_implemented ... ok
[INFO] [stdout] test coverage::tests::binding_coverage_partial ... ok
[INFO] [stdout] test coverage::tests::binding_missing_when_no_entry ... ok
[INFO] [stdout] test coverage::tests::empty_contracts ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_generic_path_input_replacement ... ok
[INFO] [stdout] test codegen::tests::test_generate_contract_hyphenated_name_becomes_underscore ... ok
[INFO] [stdout] test coverage::tests::no_binding_defaults_to_missing ... ok
[INFO] [stdout] test coverage::tests::multiple_contracts ... ok
[INFO] [stdout] test coverage::tests::kani_covered_capped_at_obligations ... ok
[INFO] [stdout] test coverage::tests::obligation_type_breakdown ... ok
[INFO] [stdout] test codegen::tests::test_has_unbound_vars_bool_literals ... ok
[INFO] [stdout] test codegen::tests::test_has_unbound_vars_empty_expr ... ok
[INFO] [stdout] test diff::tests::added_equation ... ok
[INFO] [stdout] test coverage::tests::single_contract_full_coverage ... ok
[INFO] [stdout] test diff::tests::added_obligation ... ok
[INFO] [stdout] test coverage::tests::no_tests_zero_coverage ... ok
[INFO] [stdout] test diff::tests::added_kani_harness ... ok
[INFO] [stdout] test diff::tests::added_falsification_test ... ok
[INFO] [stdout] test diff::tests::changed_formula ... ok
[INFO] [stdout] test diff::tests::domain_change_detected ... ok
[INFO] [stdout] test diff::tests::removed_equation ... 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 doc_integrity::tests::code_fence_closing_not_flagged ... ok
[INFO] [stdout] test diff::tests::version_change_is_patch ... ok
[INFO] [stdout] test doc_integrity::tests::code_fence_with_language ... ok
[INFO] [stdout] test doc_integrity::tests::drift_identical ... ok
[INFO] [stdout] test doc_integrity::tests::drift_different_line_count ... ok
[INFO] [stdout] test doc_integrity::tests::drift_trailing_whitespace_normalized ... ok
[INFO] [stdout] test doc_integrity::tests::falsify_doc_001_heading_skip ... ok
[INFO] [stdout] test doc_integrity::tests::falsify_doc_002_duplicate_h1 ... ok
[INFO] [stdout] test doc_integrity::tests::falsify_doc_005_table_column_mismatch ... ok
[INFO] [stdout] test doc_integrity::tests::falsify_doc_006_svg_script_injection ... ok
[INFO] [stdout] test doc_integrity::tests::falsify_doc_007_readme_drift ... ok
[INFO] [stdout] test doc_integrity::tests::falsify_doc_008_svg_missing_viewbox ... ok
[INFO] [stdout] test doc_integrity::tests::falsify_doc_009_missing_required_section ... ok
[INFO] [stdout] test doc_integrity::tests::heading_hierarchy_empty_document ... ok
[INFO] [stdout] test doc_integrity::tests::heading_hierarchy_first_not_h1 ... ok
[INFO] [stdout] test doc_integrity::tests::heading_hierarchy_valid ... ok
[INFO] [stdout] test doc_integrity::tests::heading_inside_code_fence_ignored ... ok
[INFO] [stdout] test doc_integrity::tests::image_link_validated ... ok
[INFO] [stdout] test doc_integrity::tests::falsify_doc_003_javascript_link ... ok
[INFO] [stdout] test doc_integrity::tests::link_inside_code_fence_ignored ... ok
[INFO] [stdout] test doc_integrity::tests::falsify_doc_004_bare_code_fence ... ok
[INFO] [stdout] test doc_integrity::tests::link_unescaped_space ... ok
[INFO] [stdout] test doc_integrity::tests::link_empty_url ... ok
[INFO] [stdout] test diff::tests::enforcement_added ... ok
[INFO] [stdout] test diff::tests::identical_contracts ... ok
[INFO] [stdout] test doc_integrity::tests::link_valid ... ok
[INFO] [stdout] test doc_integrity::tests::required_section_inside_fence_not_counted ... ok
[INFO] [stdout] test doc_integrity::tests::required_sections_all_present ... ok
[INFO] [stdout] test doc_integrity::tests::required_sections_case_insensitive ... ok
[INFO] [stdout] test doc_integrity::tests::svg_foreign_object ... ok
[INFO] [stdout] test doc_integrity::tests::svg_missing_xmlns ... ok
[INFO] [stdout] test doc_integrity::tests::svg_no_svg_element ... ok
[INFO] [stdout] test doc_integrity::tests::svg_valid ... ok
[INFO] [stdout] test doc_integrity::tests::table_separator_mismatch ... ok
[INFO] [stdout] test doc_integrity::tests::table_valid ... ok
[INFO] [stdout] test doc_integrity::tests::validate_document_md ... ok
[INFO] [stdout] test doc_integrity::tests::validate_document_missing_file ... ok
[INFO] [stdout] test doc_integrity::tests::validate_document_svg ... ok
[INFO] [stdout] test error::tests::contract_error_duplicate_id ... ok
[INFO] [stdout] test error::tests::contract_error_invalid_reference ... ok
[INFO] [stdout] test doc_integrity::tests::validate_document_unsupported ... 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_warning ... ok
[INFO] [stdout] test error::tests::violation_display_info ... ok
[INFO] [stdout] test explain::tests::explain_binding_status_missing_equation ... ok
[INFO] [stdout] test explain::tests::explain_binding_status_in_plain_text ... ok
[INFO] [stdout] test explain::tests::explain_enforcement_default_severity ... ok
[INFO] [stdout] test explain::tests::explain_coq_spec_no_obligations ... ok
[INFO] [stdout] test explain::tests::explain_equation_with_invariants ... ok
[INFO] [stdout] test explain::tests::explain_equation_with_codomain ... ok
[INFO] [stdout] test explain::tests::explain_json_no_binding ... ok
[INFO] [stdout] test explain::tests::explain_json_is_valid ... ok
[INFO] [stdout] test explain::tests::explain_equation_with_lean_theorem ... ok
[INFO] [stdout] test explain::tests::explain_kani_harness_all_strategies ... ok
[INFO] [stdout] test explain::tests::explain_json_with_binding ... ok
[INFO] [stdout] test explain::tests::explain_lean_proved_shows_l5_in_cross_ref ... ok
[INFO] [stdout] test explain::tests::explain_json_with_all_obligation_fields ... ok
[INFO] [stdout] test explain::tests::explain_kani_harness_no_bound_no_strategy ... ok
[INFO] [stdout] test explain::tests::explain_markdown_binding_no_match ... ok
[INFO] [stdout] test explain::tests::explain_markdown_equation_with_invariants_and_conditions ... ok
[INFO] [stdout] test explain::tests::explain_markdown_no_obligations ... ok
[INFO] [stdout] test explain::tests::explain_markdown_has_headers_and_latex ... ok
[INFO] [stdout] test explain::tests::explain_markdown_no_references ... ok
[INFO] [stdout] test explain::tests::explain_markdown_no_equations ... ok
[INFO] [stdout] test explain::tests::explain_markdown_no_verification_summary ... ok
[INFO] [stdout] test explain::tests::explain_markdown_with_verification_summary ... ok
[INFO] [stdout] test explain::tests::explain_markdown_with_binding ... ok
[INFO] [stdout] test explain::tests::explain_no_equations ... ok
[INFO] [stdout] test explain::tests::explain_minimal_contract ... ok
[INFO] [stdout] test explain::tests::explain_no_binding_provided ... ok
[INFO] [stdout] test explain::tests::explain_obligation_cross_ref_to_falsification ... ok
[INFO] [stdout] test explain::tests::explain_obligation_pattern_specific_values ... ok
[INFO] [stdout] test explain::tests::explain_obligation_cross_ref_to_kani ... ok
[INFO] [stdout] test explain::tests::explain_obligation_with_tolerance ... ok
[INFO] [stdout] test explain::tests::explain_renders_dbc_fields ... ok
[INFO] [stdout] test explain::tests::explain_qa_gate_minimal ... ok
[INFO] [stdout] test explain::tests::explain_type_invariant_without_description ... ok
[INFO] [stdout] test explain::tests::explain_verification_ladder_strategies_summary ... ok
[INFO] [stdout] test explain::tests::explain_with_coq_spec ... ok
[INFO] [stdout] test explain::tests::explain_with_kernel_structure ... ok
[INFO] [stdout] test explain::tests::explain_with_lean_proof ... ok
[INFO] [stdout] test explain::tests::explain_with_multiple_references ... ok
[INFO] [stdout] test explain::tests::explain_with_enforcement ... ok
[INFO] [stdout] test explain::tests::explain_with_no_references ... ok
[INFO] [stdout] test explain::tests::explain_with_depends_on ... ok
[INFO] [stdout] test explain::tests::explain_with_qa_gate ... ok
[INFO] [stdout] test explain::tests::explain_with_type_invariants ... ok
[INFO] [stdout] test explain::tests::explain_with_verification_summary ... ok
[INFO] [stdout] test explain::tests::obligation_pattern_coverage ... ok
[INFO] [stdout] test explain::tests::strategy_explanation_all_variants ... ok
[INFO] [stdout] test extract::extract_tests::capitalize_basic ... ok
[INFO] [stdout] test extract::extract_tests::extract_arguments_basic ... ok
[INFO] [stdout] test extract::extract_tests::extract_arguments_multiline ... ok
[INFO] [stdout] test extract::extract_tests::extract_arguments_skips_self ... ok
[INFO] [stdout] test extract::extract_tests::extract_arguments_skips_underscore ... ok
[INFO] [stdout] test extract::extract_tests::extract_docstring_multiline ... ok
[INFO] [stdout] test extract::extract_tests::extract_docstring_none ... ok
[INFO] [stdout] test extract::extract_tests::extract_docstring_raw_string ... ok
[INFO] [stdout] test extract::extract_tests::extract_docstring_triple_quotes ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_bare_filename - should panic ... ok
[INFO] [stdout] test extract::extract_tests::extract_equations_no_math_fallback ... ok
[INFO] [stdout] test explain::tests::explain_with_simd_dispatch ... ok
[INFO] [stdout] test explain::tests::explain_with_preconditions ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_all_implemented_not_impl_with_module_path - should panic ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_panics_on_missing_yaml - should panic ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_panics_on_invalid_yaml - should panic ... ok
[INFO] [stdout] test extract::extract_tests::extract_equations_with_math ... ok
[INFO] [stdout] test extract::extract_tests::extract_from_pytorch_file_not_found ... ok
[INFO] [stdout] test extract::extract_tests::extract_from_pytorch_with_target_separator ... ok
[INFO] [stdout] test extract::extract_tests::extract_function_basic ... ok
[INFO] [stdout] test extract::extract_tests::extract_equations_multiple_math ... ok
[INFO] [stdout] test extract::extract_tests::extract_function_not_found ... ok
[INFO] [stdout] test extract::extract_tests::extract_return_type_arrow ... ok
[INFO] [stdout] test extract::extract_tests::extract_return_type_multiline_arrow ... ok
[INFO] [stdout] test extract::extract_tests::extract_return_type_no_annotation ... ok
[INFO] [stdout] test extract::extract_tests::infer_postconditions_fallback ... ok
[INFO] [stdout] test extract::extract_tests::infer_postconditions_normalized ... ok
[INFO] [stdout] test extract::extract_tests::infer_postconditions_positive_keyword ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_all_implemented_panics_on_not_implemented - should panic ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_all_implemented_panics_on_partial - should panic ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_tiered_not_impl_with_module_path - should panic ... ok
[INFO] [stdout] test extract::extract_tests::infer_postconditions_range ... ok
[INFO] [stdout] test extract::extract_tests::infer_postconditions_sum_to_one ... ok
[INFO] [stdout] test extract::extract_tests::infer_preconditions_basic ... ok
[INFO] [stdout] test extract::extract_tests::infer_preconditions_dim_and_positive ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_tiered_panics_on_not_implemented - should panic ... ok
[INFO] [stdout] test extract::extract_tests::infer_preconditions_positive ... ok
[INFO] [stdout] test extract::extract_tests::infer_preconditions_with_dim ... ok
[INFO] [stdout] test extract::extract_tests::kernel_to_yaml_multiple_equations ... ok
[INFO] [stdout] test build_helper::tests::verify_bindings_all_implemented_partial_with_module_path - should panic ... ok
[INFO] [stdout] test extract::extract_tests::kernel_to_yaml_output ... ok
[INFO] [stdout] test extract::extract_tests::latex_to_readable_epsilon ... ok
[INFO] [stdout] test extract::extract_tests::latex_to_readable_sqrt_and_log ... ok
[INFO] [stdout] test extract::tests::test_extract_softmax ... ok
[INFO] [stdout] test codegen::tests::test_emit_precondition_domain_path_dot_not_is_empty ... ok
[INFO] [stdout] test doc_integrity::tests::table_inside_code_fence_ignored ... ok
[INFO] [stdout] test error::tests::contract_error_schema ... ok
[INFO] [stdout] test extract::tests::test_latex_to_readable ... ok
[INFO] [stdout] test flux_gen::tests::generates_generic_annotations ... ok
[INFO] [stdout] test fuzz_gen::tests::generates_cargo_toml ... ok
[INFO] [stdout] test flux_gen::tests::generates_shape_annotations ... ok
[INFO] [stdout] test build_helper::tests::verify_source_functions_hard_fail_panics - should panic ... ok
[INFO] [stdout] test fuzz_gen::tests::generates_fuzz_target ... ok
[INFO] [stdout] test generate::tests::artifact_kind_display ... ok
[INFO] [stdout] test fuzz_gen::tests::generates_fuzz_target_no_preconditions ... ok
[INFO] [stdout] test generate::tests::file_names_use_stem ... ok
[INFO] [stdout] test infer::tests::test_extract_bound_fn_names_nonexistent_file ... ok
[INFO] [stdout] test infer::tests::test_extract_bound_fn_names_parses_functions ... ok
[INFO] [stdout] test infer::tests::test_extract_bound_fn_names_with_quotes ... ok
[INFO] [stdout] test graph::tests::cycle_detected ... ok
[INFO] [stdout] test infer::tests::test_format_binding_entry ... ok
[INFO] [stdout] test graph::tests::diamond_dependency ... ok
[INFO] [stdout] test generate::tests::generates_into_subdir ... ok
[INFO] [stdout] test infer::tests::test_format_contract_stub_short_prefix ... ok
[INFO] [stdout] test infer::tests::test_fuzzy_match ... ok
[INFO] [stdout] test infer::tests::test_format_contract_stub ... ok
[INFO] [stdout] test graph::tests::topo_order_respects_deps ... ok
[INFO] [stdout] test infer::tests::test_fuzzy_match_empty_keywords ... ok
[INFO] [stdout] test infer::tests::test_fuzzy_match_eq_contains_fn ... ok
[INFO] [stdout] test infer::tests::test_fuzzy_match_keyword_overlap ... ok
[INFO] [stdout] test infer::tests::test_fuzzy_match_no_overlap_returns_none ... ok
[INFO] [stdout] test generate::tests::generate_all_without_binding ... ok
[INFO] [stdout] test generate::tests::generate_all_with_binding ... ok
[INFO] [stdout] test graph::tests::single_node_no_deps ... ok
[INFO] [stdout] test infer::tests::test_format_binding_entry_module_match ... ok
[INFO] [stdout] test infer::tests::test_format_binding_entry_signature_match ... ok
[INFO] [stdout] test graph::tests::empty_graph ... ok
[INFO] [stdout] test graph::tests::linear_chain ... ok
[INFO] [stdout] test infer::tests::test_contract_suggestion_clone_and_debug ... ok
[INFO] [stdout] test graph::tests::graph_nodes_metadata ... ok
[INFO] [stdout] test graph::tests::external_dependency_added_to_nodes ... ok
[INFO] [stdout] test infer::tests::test_infer_result_sorting ... ok
[INFO] [stdout] test infer::tests::test_extract_bound_fn_names_empty_file ... ok
[INFO] [stdout] test infer::tests::test_infer_tier_cache_and_dispatch ... ok
[INFO] [stdout] test infer::tests::test_infer_tier_classical_ml ... ok
[INFO] [stdout] test infer::tests::test_infer_tier_default ... ok
[INFO] [stdout] test infer::tests::test_infer_tier_transformer ... ok
[INFO] [stdout] test infer::tests::test_infer_tier_simd_paths ... ok
[INFO] [stdout] test infer::tests::test_infer_tier_training ... ok
[INFO] [stdout] test infer::tests::test_fuzzy_match_picks_highest_confidence ... ok
[INFO] [stdout] test infer::tests::test_is_trivial ... ok
[INFO] [stdout] test infer::tests::test_match_strategy_copy ... ok
[INFO] [stdout] test infer::tests::test_inferred_binding_clone_and_debug ... ok
[INFO] [stdout] test infer::tests::test_is_trivial_non_trivial_names ... ok
[INFO] [stdout] test infer::tests::test_infer_tier ... ok
[INFO] [stdout] test infer::tests::test_is_trivial_prefix_matches ... ok
[INFO] [stdout] test infer::tests::test_infer_with_temp_crate ... ok
[INFO] [stdout] test infer::tests::test_is_trivial_case_insensitive ... ok
[INFO] [stdout] test infer::tests::test_match_strategy_display ... ok
[INFO] [stdout] test infer::tests::test_normalize_name ... ok
[INFO] [stdout] test infer::tests::test_normalize_name_chained_replacements ... ok
[INFO] [stdout] test infer::tests::test_suggest_contract_name ... ok
[INFO] [stdout] test infer::tests::test_suggest_contract_name_short ... ok
[INFO] [stdout] test infer::tests::test_suggest_contract_name_with_colons ... ok
[INFO] [stdout] test infer::tests::test_suggest_contract_name_with_underscores ... ok
[INFO] [stdout] test infer::tests::test_tokenize ... ok
[INFO] [stdout] test infer::tests::test_tokenize_all_short ... ok
[INFO] [stdout] test infer::tests::test_tokenize_empty ... ok
[INFO] [stdout] test infer::tests::test_tokenize_filters_short_words ... ok
[INFO] [stdout] test invariant_gen::tests::empty_contract_produces_no_output ... ok
[INFO] [stdout] test invariant_gen::tests::generates_trait_impl ... ok
[INFO] [stdout] test invariant_gen::tests::multiple_types_get_separate_impls ... 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 kani_gen::tests::generate_harness_without_strategy ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_avx2_parity ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_basic ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_ptx_structure ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_shape_preservation ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_zero_pos_is_identity ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_large_positive ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_avx2_parity ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_ptx_structure ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_large_negative ... 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::absolute_position::tests::test_abs_position_oob - should panic ... 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_silu_avx2_parity ... ok
[INFO] [stdout] test kernels::activation::tests::test_relu_zero ... 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::adamw::tests::avx2_tests::test_adamw_avx2_parity ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_ptx_target ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_ptx_balanced_braces ... 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_ptx_entry ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_avx2_parity ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_single_step_known ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_diagonal_zero ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_ptx_ret ... ok
[INFO] [stdout] test kernels::activation::tests::prop_relu_nonnegative ... ok
[INFO] [stdout] test kernels::absolute_position::tests::prop_abs_position_finite ... ok
[INFO] [stdout] test kernels::activation::tests::prop_silu_sign_preserving ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_symmetry ... 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::attention::tests::test_attention_avx2_parity ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_slopes ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_single_query_single_key ... 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::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_attention_ptx_nonempty ... ok
[INFO] [stdout] test kernels::attention::tests::test_softmax_row_uniform ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_ptx_structure ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_avx2_parity_inference ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_avx2_parity_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_length_mismatch - 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::adamw::tests::test_adamw_zero_timestep - should panic ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_ret ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_bad_v_dim - should panic ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_target ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_bad_q_dim - should panic ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_shared_memory ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_version ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_constant_input_training ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_warp_shuffle ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_training_updates_running_stats ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_entry ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_single_sample ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_avx2_parity ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_additivity ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_broadcast ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_bad_k_dim - should panic ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_basic ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_inplace_matches ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_input_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_zero_is_identity ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_ptx_structure ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_avx2_parity ... ok
[INFO] [stdout] test kernels::batchnorm::tests::prop_batchnorm_training_finite ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_zero_batch - should panic ... 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_target ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_ptx_version ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_identity_cholesky ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_single_dimension ... ok
[INFO] [stdout] test kernels::batchnorm::tests::prop_batchnorm_running_var_nonneg ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_ptx_ret ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_sigma_zero ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_identity ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_avx2_parity ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_known_values ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_ptx_entry ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_ptx_ret ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_with_bias ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_with_stride ... 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::alibi::tests::prop_alibi_slopes_positive ... ok
[INFO] [stdout] test kernels::adamw::tests::avx2_tests::prop_adamw_avx2_parity ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_avx2_soft_targets ... ok
[INFO] [stdout] test kernels::adamw::tests::prop_adamw_gradient_direction ... 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::alibi::tests::prop_alibi_output_finite ... 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_second_class ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_soft_targets ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_uniform_logits ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_avx2_parity ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_dominant ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_mean_mismatch - should panic ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_avx2_parity ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_shift_invariance ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_single_element ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_three_classes ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_uniform ... ok
[INFO] [stdout] test kernels::dropout::tests::prop_dropout_eval_identity ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_input_mismatch - should panic ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_avx2_parity ... 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_train_all_dropped ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_empty - should panic ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_train_zero_p ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_shape_preservation ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_train_all_kept ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_avx2_parity ... 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_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_basic ... 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::dropout::tests::prop_dropout_train_finite ... ok
[INFO] [stdout] test kernels::activation::tests::prop_gelu_zero_at_zero ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_avx2_parity ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_inf ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_nan ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_batch_conversion ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_known_values ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_negative_zero ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_sign_preservation ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_roundtrip_normal ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_ptx_structure ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_subnormal_conversion ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_zero ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f32_to_f16_batch ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_with_padding ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_one ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f32_to_f16_edge_cases ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::prop_log_softmax_shift_invariant ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_attention_ptx_structure ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_oob - should panic ... 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::cross_entropy::tests::prop_cross_entropy_nonnegative ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::prop_cross_entropy_finite ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_matches_naive_larger ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_attention_ptx_nonempty ... ok
[INFO] [stdout] test kernels::attention::tests::prop_attention_output_bounded ... 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::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::flash_attention::tests::test_flash_tile_size_invariance ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_zero_tile_size - should panic ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_single_tile ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_tile_size_one ... 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::cross_entropy::tests::prop_log_softmax_exp_sums_to_one ... ok
[INFO] [stdout] test kernels::f16_convert::tests::prop_f16_sign_preserved ... ok
[INFO] [stdout] test kernels::attention::tests::prop_attention_softmax_rows_sum_to_one ... ok
[INFO] [stdout] test kernels::embedding::tests::prop_embedding_output_finite ... 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_ret ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_ptx_target ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_ptx_version ... ok
[INFO] [stdout] test kernels::f16_convert::tests::prop_f16_roundtrip_normal ... 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_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::gelu::tests::test_gelu_positive_nonneg ... ok
[INFO] [stdout] test kernels::gelu::tests::test_gelu_zero_preservation ... ok
[INFO] [stdout] test kernels::gelu::tests::test_gelu_monotonic_positive ... ok
[INFO] [stdout] test kernels::flash_attention::tests::prop_flash_output_row_norms_bounded ... 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_ptx_nonempty ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::prop_log_softmax_all_nonpositive ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_ptx_structure ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_equals_mha_when_heads_match ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_kv_broadcasting ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_single_head_single_pos ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_ptx_entry ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_ptx_ret ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_bad_q_dim - should panic ... 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::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::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_entry ... 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::layernorm::tests::test_layernorm_avx2_non_multiple_of_8 ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_constant_input ... 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::gelu::tests::prop_gelu_positive_nonneg ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::gelu::tests::prop_gelu_finite ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_points_mismatch - should panic ... 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::layernorm::tests::test_layernorm_empty_input - should panic ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_steepest_descent ... 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::layernorm::tests::test_layernorm_gamma_mismatch - should panic ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_beta_mismatch - should panic ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_batch ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_linearity ... 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::matmul::tests::test_matmul_2x2_known ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_avx2_parity_non_aligned ... 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::linear::tests::test_linear_avx2_parity ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_basic_with_bias ... ok
[INFO] [stdout] test kernels::flash_attention::tests::prop_flash_matches_naive ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_gradient_mismatch - should panic ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_output_mismatch - should panic ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_non_square ... ok
[INFO] [stdout] test kernels::gqa::tests::prop_gqa_output_finite ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_ptx_nonempty ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_zero ... ok
[INFO] [stdout] test kernels::matmul::tests::prop_matmul_zero_matrix ... ok
[INFO] [stdout] test kernels::ops::tests::dot_zero ... ok
[INFO] [stdout] test kernels::ops::tests::matmul_sv_basic ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_bad_a_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_bad_b_dim - should panic ... ok
[INFO] [stdout] test kernels::ops::tests::score_matrix_basic ... ok
[INFO] [stdout] test kernels::ops::tests::matmul_sv_identity_weights ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_identity_right ... ok
[INFO] [stdout] test kernels::ops::tests::softmax_row_uniform ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_avx2_parity ... 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_bar_sync ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_ptx_structure ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_zero_mean ... ok
[INFO] [stdout] test kernels::ops::tests::dot_basic ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_avx2_basic ... ok
[INFO] [stdout] test kernels::ops::tests::softmax_row_sums_to_one ... ok
[INFO] [stdout] test kernels::ops::tests::weighted_accumulate_basic ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_identity_left ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_target ... 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_ptx_ret ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_zero_n - should panic ... 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_known_unit ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_gamma_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_output_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_entry ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_bar_sync ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_ret ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_shared_memory ... 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_with_gamma ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_zeros_with_eps ... 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::pagerank::tests::prop_pagerank_output_sums_to_one ... ok
[INFO] [stdout] test kernels::matmul::tests::prop_matmul_dimensions_correct ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_shared_memory ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_avx2_small_dim ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_avx2_parity ... 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_odd_dim_panics - 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_pair_norm_preserved ... 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::pagerank::tests::test_pagerank_ptx_entry ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_default_base ... 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::rope::tests::test_rope_ptx_has_params ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_avx2_position_zero ... ok
[INFO] [stdout] test kernels::rope::tests::prop_rope_output_finite ... 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_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_greedy_is_argmax ... 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_renormalizes ... ok
[INFO] [stdout] test kernels::sampling::tests::test_top_p_cumulative ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::prop_rmsnorm_scale_invariance ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_unit_variance ... 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::sampling::tests::test_top_k_keeps_highest ... ok
[INFO] [stdout] test kernels::linear::tests::prop_linear_output_finite ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_ptx_kernels_are_nonempty ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_avx2_parity ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_large_negative ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_avx2_parity ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_symmetry ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_zero ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_ptx_structure ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_matches_direct ... ok
[INFO] [stdout] test kernels::sampling::tests::prop_top_k_cardinality ... ok
[INFO] [stdout] test kernels::rope::tests::prop_rope_position_zero_identity ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_avx2_parity ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_positive ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_ptx_structure ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_zero ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_negative ... ok
[INFO] [stdout] test kernels::sampling::tests::prop_temperature_identity ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_large_positive ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::prop_sigmoid_in_unit_interval ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_avx2_non_multiple_of_8 ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_avx2_basic ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::prop_sigmoid_monotonic ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_numerical_stability ... ok
[INFO] [stdout] test kernels::sampling::tests::prop_greedy_is_argmax ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::prop_silu_standalone_sign_preserving ... 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_version ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_empty_input - should panic ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_shared_memory ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_single_element ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_ret ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_two_equal ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_abar_mismatch - should panic ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_uniform ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_avx2_parity ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_entry ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_target ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_ret ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_warp_shuffle ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_target ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_two_timesteps ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_version ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_zero_input ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_single_timestep ... 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::layernorm::tests::prop_layernorm_shift_invariance ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_ptx_has_three_params ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_negative_gate ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_ptx_nonempty ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_length_mismatch_gate_value - should panic ... 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::transpose::tests::falsify_tp_001_element_correctness ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::test_tied_zero_input ... 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::transpose::tests::falsify_tp_005_identity ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_sums_to_one ... ok
[INFO] [stdout] test kernels::transpose::tests::scalar_remainder_paths ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_order_preservation ... 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_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::ulp::tests::test_ulp_distance_negative_zero ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_sign_mismatch ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_small_gap ... ok
[INFO] [stdout] test latex::tests::test_latex_escape ... ok
[INFO] [stdout] test latex::tests::test_math_to_latex_exp ... ok
[INFO] [stdout] test kernels::ulp::tests::test_assert_ulp_eq_length_mismatch - should panic ... 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_math_to_latex_greek ... 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::generates_defs_and_theorem_files ... ok
[INFO] [stdout] test kernels::rope::tests::prop_rope_preserves_norm ... ok
[INFO] [stdout] test lean_gen::tests::format_status_report_renders_table ... ok
[INFO] [stdout] test lean_gen::tests::lean_status_counts_correctly ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_outputs_in_unit_interval ... ok
[INFO] [stdout] test lean_gen::tests::no_lean_obligations_produces_empty ... ok
[INFO] [stdout] test lean_gen::tests::proved_theorem_has_proved_comment ... ok
[INFO] [stdout] test lint::cache::tests::cache_clear_removes_entries ... 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_roundtrip ... ok
[INFO] [stdout] test lint::cache::tests::cache_stats_default ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::prop_rmsnorm_finite_output ... ok
[INFO] [stdout] test lint::cache::tests::cache_stats_hit_rate ... ok
[INFO] [stdout] test lint::cache::tests::content_hash_deterministic ... ok
[INFO] [stdout] test lint::cache::tests::content_hash_differs_on_rules ... ok
[INFO] [stdout] test lint::composition_gate::tests::composition_gate_missing_guarantees_is_error ... ok
[INFO] [stdout] test lint::composition_gate::tests::composition_gate_no_assumes_passes ... ok
[INFO] [stdout] test lint::composition_gate::tests::composition_gate_valid_chain_passes ... ok
[INFO] [stdout] test lint::cache::tests::cache_clear_empty ... ok
[INFO] [stdout] test lint::cache::tests::content_hash_differs_on_content ... ok
[INFO] [stdout] test lint::config::tests::default_functions_return_expected_values ... ok
[INFO] [stdout] test lint::config::tests::config_serializes ... ok
[INFO] [stdout] test lint::config::tests::load_config_file ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_translation_invariance ... ok
[INFO] [stdout] test lint::config::tests::find_config_local ... ok
[INFO] [stdout] test lint::config::tests::cache_defaults ... ok
[INFO] [stdout] test lint::config::tests::parse_cache_section ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_avx2_parity ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::prop_tied_output_finite ... ok
[INFO] [stdout] test lint::config::tests::parse_lint_section ... ok
[INFO] [stdout] test lint::config::tests::parse_output_section ... 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_empty_config ... 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_defaults ... ok
[INFO] [stdout] test lint::config::tests::resolve_strict_from_config ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::prop_rmsnorm_avx2_parity ... ok
[INFO] [stdout] test lint::config::tests::load_config_missing_file ... ok
[INFO] [stdout] test lint::diff::tests::changed_contracts_from_head ... ignored
[INFO] [stdout] test lint::config::tests::parse_diff_section ... ok
[INFO] [stdout] test lint::config::tests::resolve_strict_mode ... ok
[INFO] [stdout] test lint::config::tests::parse_unknown_keys_in_sections_ignored ... ok
[INFO] [stdout] test lint::config::tests::trend_defaults ... ok
[INFO] [stdout] test lint::diff::tests::changed_contracts_with_range ... ignored
[INFO] [stdout] test lint::diff::tests::expand_dependents_no_deps ... ok
[INFO] [stdout] test lint::diff::tests::expand_dependents_transitive ... ok
[INFO] [stdout] test lint::config::tests::parse_comments_and_blank_lines ... ok
[INFO] [stdout] test lint::diff::tests::expand_dependents_already_in_changed ... ok
[INFO] [stdout] test lint::diff::tests::expand_dependents_empty_changed ... ok
[INFO] [stdout] test lint::diff::tests::find_repo_root_works ... ignored
[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::github_annotation_error ... ok
[INFO] [stdout] test lint::config::tests::parse_unknown_section_ignored ... ok
[INFO] [stdout] test kernels::transpose::tests::falsify_tp_006_attention_shape ... ok
[INFO] [stdout] test lint::finding::tests::github_annotation_no_line ... ok
[INFO] [stdout] test lint::finding::tests::is_new_deserializes_default ... ok
[INFO] [stdout] test lint::finding::tests::github_annotation_warning ... ok
[INFO] [stdout] test lint::finding::tests::is_new_defaults_to_false ... ok
[INFO] [stdout] test lint::finding::tests::is_new_display_badge ... ok
[INFO] [stdout] test lint::finding::tests::is_new_no_badge_when_false ... ok
[INFO] [stdout] test lint::finding::tests::suppressed_serializes ... ok
[INFO] [stdout] test lint::finding::tests::with_stem ... ok
[INFO] [stdout] test lint::finding::tests::is_new_serializes_when_true ... ok
[INFO] [stdout] test lint::finding::tests::fingerprint_differs_on_rule ... ok
[INFO] [stdout] test lint::finding::tests::serializes_to_json ... ok
[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_audit_rules ... ok
[INFO] [stdout] test lint::gates::tests::map_validation_rules ... ok
[INFO] [stdout] test lint::gates::tests::validate_gate_fails_on_parse_errors ... ok
[INFO] [stdout] test lint::config::tests::find_config_not_in_tempdir ... ok
[INFO] [stdout] test lint::config::tests::find_config_nonexistent ... ok
[INFO] [stdout] test lint::diff::tests::find_repo_root_non_git_dir ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_capitalize_first_normal ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_capitalize_first_empty ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_capitalize_first_single_char ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_finite_output ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_collect_test_fns_empty_dir ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_capitalize_first_already_capitalized ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_collect_test_fns_finds_test_functions ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_collect_test_fns_ignores_non_rs_files ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_collect_test_fns_nested_dirs ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_compute_actual_level_basic ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_compute_actual_level_proven ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_compute_actual_level_only_falsification ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_compute_actual_level_only_kani ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_compute_actual_level_standard ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_collect_test_fns_extracts_name_correctly ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_enforce_gate_equation_missing_lean_theorem ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_enforce_gate_equation_missing_preconditions ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_enforce_gate_equation_with_all_fields ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_enforce_gate_multiple_equations_mixed ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_enforce_gate_no_equations ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_enforcement_level_gate_basic_below_standard ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_enforcement_level_gate_basic_contract_meets_basic ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_enforcement_level_gate_declared_vs_actual_mismatch ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_enforcement_level_gate_skips_registries ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_enforce_gate_skips_registries ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_level_lock_aliases ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_level_lock_no_regression ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_level_lock_regression_detected ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_enforcement_level_gate_standard_contract ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_reverse_coverage_gate_high_coverage ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_reverse_coverage_gate_below_threshold ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_stale_suppressions_empty_everything ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_stale_suppressions_multiple_stale_rules ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_stale_suppressions_rule_no_longer_fires ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_stale_suppressions_rule_still_active ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_stale_suppressions_stem_no_findings ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_stale_suppressions_stem_still_has_findings ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_verify_gate_gpu_test_is_warning_not_error ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_verify_gate_all_tests_present ... ok
[INFO] [stdout] test kernels::transpose::tests::falsify_tp_004_avx2_scalar_parity ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::prop_rmsnorm_unit_gamma_normalized_rms ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_verify_gate_no_falsification_tests ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_verify_gate_test_name_with_quotes ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_verify_gate_skips_non_test_names ... ok
[INFO] [stdout] test lint::rules::tests::all_rule_ids_unique ... ok
[INFO] [stdout] test lint::rules::tests::find_rule_missing ... 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::gates_extended::tests::test_verify_gate_test_with_module_path ... 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_result_maps_finding ... ok
[INFO] [stdout] test lint::sarif::tests::sarif_off_severity_filtered ... 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::tests::gate_detail_variants ... 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::diff::tests::changed_contracts_invalid_ref ... ok
[INFO] [stdout] test lint::tests::lifecycle_first_run_all_new ... ok
[INFO] [stdout] test lint::tests::lifecycle_mark_new_findings_unit ... ok
[INFO] [stdout] test kernels::swiglu::tests::prop_swiglu_output_bounded ... ok
[INFO] [stdout] test lint::tests::lint_empty_dir ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_compute_actual_level_with_sorry_not_proven ... ok
[INFO] [stdout] test lint::rules::tests::find_rule_by_id ... ok
[INFO] [stdout] test lint::gates_extended::tests::test_verify_gate_missing_test ... ok
[INFO] [stdout] test lint::tests::lifecycle_persists_fingerprints ... ok
[INFO] [stdout] test lint::tests::lint_cache_second_run_hits ... ok
[INFO] [stdout] test lint::tests::lifecycle_second_run_pre_existing ... ok
[INFO] [stdout] test kernels::swiglu::tests::prop_swiglu_zero_gate_yields_zero ... ok
[INFO] [stdout] test kernels::swiglu::tests::prop_swiglu_silu_lower_bound ... ok
[INFO] [stdout] test lint::tests::lint_cache_populates_stats ... ok
[INFO] [stdout] test lint::gates::tests::audit_gate_passes ... 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_validation_failure_skips_audit_and_score ... ok
[INFO] [stdout] test lint::tests::skipped_gate_creates_correct_result ... 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::trend::tests::detect_drift_one_snapshot ... 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_display ... ok
[INFO] [stdout] test lint::trend::tests::format_trend_empty ... ok
[INFO] [stdout] test lint::trend::tests::format_trend_stable ... ok
[INFO] [stdout] test lint::trend::tests::load_snapshots_empty_dir ... 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::record_and_load_snapshot ... ok
[INFO] [stdout] test lint::trend::tests::trend_dir_path ... ok
[INFO] [stdout] test mirai_gen::tests::empty_obligations_still_generates ... ok
[INFO] [stdout] test mirai_gen::tests::generates_mirai_annotations ... ok
[INFO] [stdout] test pipeline::tests::parse_inference_forward ... ok
[INFO] [stdout] test pipeline::tests::parse_minimal_pipeline ... ok
[INFO] [stdout] test pipeline::tests::substage_names_collected ... ok
[INFO] [stdout] test pipeline::tests::validate_bad_stage_ref ... ok
[INFO] [stdout] test pipeline::tests::validate_valid_pipeline ... ok
[INFO] [stdout] test probar_gen::tests::generate_all_obligation_types ... ok
[INFO] [stdout] test probar_gen::tests::generate_empty_probar_tests ... ok
[INFO] [stdout] test probar_gen::tests::generate_equivalence_property_test ... 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 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_equivalence_non_simd ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_generic_conservation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_generic_linearity ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_idempotency_non_softmax_free_fn ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_idempotency_obligation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_idempotency_struct_method ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_invariant_tensor_method ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_invariant_with_formal ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_monotonicity_obligation ... 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_binding_generates_ignored ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_no_obligations_with_bindings ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_struct_method_binding ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_symmetry_obligation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_tensor_method_binding ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_test_for_implemented_binding ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_test_for_no_bindings ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_test_includes_contract_hash ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_test_skips_simd_obligations ... ok
[INFO] [stdout] test proof_status::tests::count_bindings_helper ... ok
[INFO] [stdout] test proof_status::tests::format_obligation_table_check_marks ... ok
[INFO] [stdout] test proof_status::tests::format_obligation_table_empty_obligations ... ok
[INFO] [stdout] test proof_status::tests::format_obligation_table_header ... 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::is_fully_bound_edge_cases ... ok
[INFO] [stdout] test proof_status::tests::json_roundtrip ... ok
[INFO] [stdout] test proof_status::tests::kernel_class_all_bound_false_when_partial ... ok
[INFO] [stdout] test proof_status::tests::kernel_class_min_level ... ok
[INFO] [stdout] test proof_status::tests::level_l1_for_equations_only ... ok
[INFO] [stdout] test proof_status::tests::level_l2_for_falsification_covered ... ok
[INFO] [stdout] test proof_status::tests::level_l2_not_enough_tests ... ok
[INFO] [stdout] test proof_status::tests::level_l3_kani_plus_falsification ... ok
[INFO] [stdout] test proof_status::tests::level_l3_kani_without_enough_tests ... ok
[INFO] [stdout] test proof_status::tests::level_l4_all_lean_proved ... 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_l5_lean_plus_all_bound ... ok
[INFO] [stdout] test proof_status::tests::obligation_matrix_empty ... ok
[INFO] [stdout] test proof_status::tests::obligation_matrix_index_based_l2 ... ok
[INFO] [stdout] test proof_status::tests::obligation_matrix_lean_proved ... ok
[INFO] [stdout] test proof_status::tests::obligation_matrix_multiple_contracts ... ok
[INFO] [stdout] test proof_status::tests::obligation_matrix_no_tests_is_l1 ... ok
[INFO] [stdout] test proof_status::tests::obligation_matrix_sorry_is_not_l4 ... 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::property_words_match_basic ... ok
[INFO] [stdout] test proof_status::tests::property_words_match_ignores_stop_words ... ok
[INFO] [stdout] test proof_status::tests::report_empty_contracts ... ok
[INFO] [stdout] test proof_status::tests::report_multiple_contracts_totals ... ok
[INFO] [stdout] test proof_status::tests::report_single_contract ... ok
[INFO] [stdout] test proof_status::tests::report_with_binding ... 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::timestamp_is_populated ... ok
[INFO] [stdout] test proof_status::tests::truncate_helper ... ok
[INFO] [stdout] test lint::gates::tests::score_gate_fails_high_threshold ... ok
[INFO] [stdout] test lint::tests::lint_no_cache_skips_stats ... ok
[INFO] [stdout] test lint::diff::tests::expand_dependents_with_real_contracts ... ok
[INFO] [stdout] test lint::tests::lint_report_serializes_to_json ... ok
[INFO] [stdout] test lint::tests::lint_severity_filter ... ok
[INFO] [stdout] test lint::tests::lint_score_gate_fails_with_high_threshold ... 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::gates::tests::load_contracts_real ... ok
[INFO] [stdout] test lint::gates::tests::score_gate_passes_zero_threshold ... ok
[INFO] [stdout] test lint::tests::lint_strict_mode ... ok
[INFO] [stdout] test lint::tests::lint_passes_on_real_contracts ... ok
[INFO] [stdout] test query::coverage_tests::month_days_all_months ... ok
[INFO] [stdout] test lint::tests::lint_suppression_by_rule ... 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 lint::tests::lint_sarif_output ... ok
[INFO] [stdout] test lint::tests::lint_suppression_by_file_pattern ... ok
[INFO] [stdout] test lint::tests::lint_severity_override ... ok
[INFO] [stdout] test query::coverage_tests::show_diff_enrichment ... ignored
[INFO] [stdout] test lint::tests::lint_suppression_by_stem ... 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::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_basic ... 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::coverage_tests::pagerank_enrichment ... ok
[INFO] [stdout] test query::coverage_tests::binding_gaps_filter ... ok
[INFO] [stdout] test query::index::tests::from_directory_uses_cache ... ok
[INFO] [stdout] test query::coverage_tests::binding_gaps_without_registry ... ok
[INFO] [stdout] test query::coverage_tests::rebuild_index_flag ... ok
[INFO] [stdout] test query::index::tests::pagerank_empty_index ... ok
[INFO] [stdout] test query::coverage_tests::all_projects_triggers_xp_scan ... ok
[INFO] [stdout] test query::coverage_tests::graph_enrichment_with_depended_by ... 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::query_enrich::tests::build_binding_info_no_registry ... ok
[INFO] [stdout] test query::query_enrich::tests::build_binding_info_with_registry ... ok
[INFO] [stdout] test query::query_enrich::tests::build_call_sites_no_index ... ok
[INFO] [stdout] test query::query_enrich::tests::build_coverage_map_show_false ... ok
[INFO] [stdout] test query::query_enrich::tests::build_coverage_map_show_true_no_index ... ok
[INFO] [stdout] test query::query_enrich::tests::build_violations_show_false ... ok
[INFO] [stdout] test query::query_enrich::tests::build_violations_show_true_no_index ... ok
[INFO] [stdout] test query::query_enrich::tests::filter_by_project_no_match ... ok
[INFO] [stdout] test query::query_enrich::tests::filter_by_project_none_returns_all ... ok
[INFO] [stdout] test query::query_enrich::tests::filter_by_project_some_filters ... ok
[INFO] [stdout] test query::query_enrich::tests::filter_coverage_none_returns_all ... ok
[INFO] [stdout] test query::query_enrich::tests::filter_coverage_some_filters ... ok
[INFO] [stdout] test query::query_enrich::tests::filter_violations_none_returns_all ... ok
[INFO] [stdout] test query::query_enrich::tests::filter_violations_some_filters ... ok
[INFO] [stdout] test query::query_enrich::tests::month_days_boundaries ... ok
[INFO] [stdout] test query::query_enrich::tests::parse_iso_days_ago_invalid_format ... ok
[INFO] [stdout] test query::query_enrich::tests::parse_iso_days_ago_recent ... ok
[INFO] [stdout] test query::query_enrich::tests::parse_iso_days_ago_valid_date ... ok
[INFO] [stdout] test query::query_enrich::tests::parse_proof_level_all_variants ... ok
[INFO] [stdout] test query::query_enrich::tests::parse_proof_level_case_insensitive ... ok
[INFO] [stdout] test query::query_enrich::tests::parse_proof_level_unknown_defaults_l1 ... 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::project_filter_restricts_violations ... ok
[INFO] [stdout] test query::coverage_tests::binding_unbound_path ... ok
[INFO] [stdout] test query::coverage_tests::binding_with_real_registry ... ok
[INFO] [stdout] test query::tests::clean_path_strips_prefix ... ok
[INFO] [stdout] test query::index::tests::bm25_ranks_relevant_first ... ok
[INFO] [stdout] test query::coverage_tests::min_score_filter ... ok
[INFO] [stdout] test query::coverage_tests::depends_on_filter ... ok
[INFO] [stdout] test query::coverage_tests::binding_info_unbound_equations ... ok
[INFO] [stdout] test query::coverage_tests::project_filter_restricts_call_sites ... ok
[INFO] [stdout] test query::coverage_tests::min_level_filter_restricts_results ... ok
[INFO] [stdout] test query::index::tests::index_from_contracts_dir ... ok
[INFO] [stdout] test query::index::tests::regex_search_finds_patterns ... ok
[INFO] [stdout] test query::coverage_tests::violations_enrichment ... ok
[INFO] [stdout] test query::index::tests::literal_search_finds_match ... ok
[INFO] [stdout] test query::index::tests::depended_by_returns_dependents ... ok
[INFO] [stdout] test query::index::tests::pagerank_produces_valid_scores ... ok
[INFO] [stdout] test query::tests::depended_by_filter ... 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::case_sensitive_literal ... ok
[INFO] [stdout] test query::tests::kind_filter_narrows_to_registries ... ok
[INFO] [stdout] test query::tests::limit_caps_results ... ok
[INFO] [stdout] test query::tests::graph_enrichment_shows_depends ... ok
[INFO] [stdout] test query::tests::display_output_is_valid ... ok
[INFO] [stdout] test query::tests::display_with_all_enrichment ... ok
[INFO] [stdout] test query::tests::literal_query_finds_contracts ... ok
[INFO] [stdout] test query::tests::kind_filter_pattern_finds_pattern_contracts ... ok
[INFO] [stdout] test readme_gen::tests::ci_workflow_is_deterministic ... ok
[INFO] [stdout] test readme_gen::tests::readme_is_deterministic ... ok
[INFO] [stdout] test reverse_coverage::tests::test_extract_bound_functions ... ok
[INFO] [stdout] test reverse_coverage::tests::test_extract_bound_functions_lowercased ... ok
[INFO] [stdout] test reverse_coverage::tests::test_extract_bound_functions_missing_file ... ok
[INFO] [stdout] test reverse_coverage::tests::test_extract_bound_functions_no_function_lines ... ok
[INFO] [stdout] test reverse_coverage::tests::test_extract_bound_functions_quoted_names ... ok
[INFO] [stdout] test reverse_coverage::tests::test_extract_feature_gate_all_test ... ok
[INFO] [stdout] test reverse_coverage::tests::test_extract_feature_gate_complex_all ... ok
[INFO] [stdout] test reverse_coverage::tests::test_extract_feature_gate_no_feature ... ok
[INFO] [stdout] test reverse_coverage::tests::test_extract_feature_gate_not ... ok
[INFO] [stdout] test reverse_coverage::tests::test_extract_feature_gate_simple ... ok
[INFO] [stdout] test reverse_coverage::tests::test_extract_feature_gate_target_os ... ok
[INFO] [stdout] test reverse_coverage::tests::test_reverse_coverage_all_bound ... ok
[INFO] [stdout] test reverse_coverage::tests::test_reverse_coverage_annotated_fn ... ok
[INFO] [stdout] test reverse_coverage::tests::test_reverse_coverage_auto_exempt ... ok
[INFO] [stdout] test reverse_coverage::tests::test_reverse_coverage_case_insensitive_matching ... ok
[INFO] [stdout] test reverse_coverage::tests::test_reverse_coverage_empty_crate ... ok
[INFO] [stdout] test reverse_coverage::tests::test_reverse_coverage_some_unbound ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_dir_handles_non_rs_files ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_dir_skips_git_dir ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_file ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_file_cfg_feature_gate_on_function ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_file_cfg_feature_gate_on_module ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_file_contract_annotation_not_sticky ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_file_contract_reset_by_non_attr_line ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_file_empty_file ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_file_feature_gate_cleared_after_module_close ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_file_generic_fn ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_file_pending_gate_cleared_by_code ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_file_private_fns_only ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_file_pub_async_fn ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_file_records_line_number ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_file_skips_main_and_new ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_pub_fns_nested_modules ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_pub_fns_no_src_dir ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_pub_fns_skips_target_and_tests_dirs ... ok
[INFO] [stdout] test reverse_coverage::tests::test_scan_pub_fns_src_dir ... ok
[INFO] [stdout] test roofline::tests::bottleneck_classification ... ok
[INFO] [stdout] test roofline::tests::roofline_7b_q4 ... ok
[INFO] [stdout] test roofline::tests::roofline_contract_id ... ok
[INFO] [stdout] test scaffold::domain_tests::adamw_filters_scalars ... ok
[INFO] [stdout] test scaffold::domain_tests::empty_domain ... ok
[INFO] [stdout] test scaffold::domain_tests::matmul_ab ... ok
[INFO] [stdout] test scaffold::domain_tests::none_domain ... ok
[INFO] [stdout] test scaffold::domain_tests::qkv_attention ... ok
[INFO] [stdout] test scaffold::domain_tests::rope_with_position ... ok
[INFO] [stdout] test scaffold::domain_tests::single_vector ... ok
[INFO] [stdout] test scaffold::tests::generate_contract_tests_all_ids ... ok
[INFO] [stdout] test scaffold::tests::generate_standalone_multiple_equations ... ok
[INFO] [stdout] test scaffold::tests::generate_standalone_trait_header ... ok
[INFO] [stdout] test scaffold::tests::generate_standalone_trait_implementor_note ... ok
[INFO] [stdout] test scaffold::tests::generate_standalone_trait_invariants ... ok
[INFO] [stdout] test scaffold::tests::generate_standalone_trait_methods ... ok
[INFO] [stdout] test scaffold::tests::generate_standalone_trait_references ... ok
[INFO] [stdout] test scaffold::tests::generate_tests_creates_stubs ... ok
[INFO] [stdout] test scaffold::tests::generate_tests_includes_predictions ... ok
[INFO] [stdout] test scaffold::tests::generate_trait_includes_domain_codomain ... ok
[INFO] [stdout] test scaffold::tests::generate_trait_includes_equations ... ok
[INFO] [stdout] test scaffold::tests::generate_trait_includes_paper_refs ... ok
[INFO] [stdout] test scaffold::tests::generate_trait_includes_proof_obligation ... ok
[INFO] [stdout] test scaffold::tests::generate_trait_multiple_equations ... ok
[INFO] [stdout] test scaffold::tests::generate_trait_version_in_header ... ok
[INFO] [stdout] test scaffold::tests::stem_to_trait_name_basic ... ok
[INFO] [stdout] test schema::parser::tests::parse_contract_defaults_to_kernel_kind ... ok
[INFO] [stdout] test schema::parser::tests::parse_contract_with_all_fields ... ok
[INFO] [stdout] test schema::parser::tests::parse_contract_with_kind_model_family ... ok
[INFO] [stdout] test schema::parser::tests::parse_dbc_obligation_types ... 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::contract_kind_default_is_kernel ... ok
[INFO] [stdout] test schema::types::tests::contract_kind_display ... ok
[INFO] [stdout] test schema::types::tests::explicit_kind_overrides_default ... ok
[INFO] [stdout] test schema::types::tests::kani_strategy_display ... ok
[INFO] [stdout] test schema::types::tests::kernel_contract_requires_proofs ... ok
[INFO] [stdout] test schema::types::tests::lean_status_default_is_sorry ... ok
[INFO] [stdout] test schema::types::tests::lean_status_display ... ok
[INFO] [stdout] test schema::types::tests::legacy_registry_flag_maps_to_registry_kind ... ok
[INFO] [stdout] test schema::types::tests::non_kernel_kinds_exempt_from_provability ... 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::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::extra::applies_to_phase_only_valid_on_loop_types ... ok
[INFO] [stdout] test schema::validator::tests::extra::empty_kani_obligation_is_error ... ok
[INFO] [stdout] test schema::validator::tests::extra::kernel_contract_without_kani_is_error ... ok
[INFO] [stdout] test schema::validator::tests::extra::kernel_with_fewer_tests_than_obligations_is_error ... ok
[INFO] [stdout] test schema::validator::tests::extra::no_qa_gate_is_warning ... ok
[INFO] [stdout] test schema::validator::tests::extra::parent_contract_must_be_in_depends_on ... ok
[INFO] [stdout] test schema::validator::tests::extra::parent_contract_only_valid_on_subcontract ... ok
[INFO] [stdout] test schema::validator::tests::extra::registry_contract_without_kani_is_ok ... ok
[INFO] [stdout] test schema::validator::tests::extra::requires_only_valid_on_postcondition ... ok
[INFO] [stdout] test schema::validator::tests::extra::valid_dbc_fields_pass_validation ... ok
[INFO] [stdout] test schema::validator::tests::kani_harness_without_bound_is_warning ... ok
[INFO] [stdout] test schema::validator::tests::missing_references_is_error ... ok
[INFO] [stdout] test schema::validator::tests::no_equations_is_error ... ok
[INFO] [stdout] test schema::validator::tests::valid_contract_has_no_errors ... ok
[INFO] [stdout] test scoring::codebase::tests::codebase_display_format ... ok
[INFO] [stdout] test scoring::codebase::tests::compute_gaps_falsification_and_binding ... ok
[INFO] [stdout] test scoring::codebase::tests::dependency_fanout_fallback ... ok
[INFO] [stdout] test scoring::codebase::tests::dependency_fanout_with_pagerank ... ok
[INFO] [stdout] test query::tests::get_by_obligation_works ... ok
[INFO] [stdout] test scoring::codebase::tests::empty_binding_scores_low ... ok
[INFO] [stdout] test query::tests::kind_filter_kernel_excludes_registries ... ok
[INFO] [stdout] test query::tests::empty_query_returns_empty ... ok
[INFO] [stdout] test scoring::codebase::tests::reverse_dep_counts ... ok
[INFO] [stdout] test query::tests::invalid_regex_returns_empty ... 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 query::tests::get_by_equation_works ... ok
[INFO] [stdout] test scoring::drift::tests::detect_stale_missing_contract_file ... ok
[INFO] [stdout] test scoring::codebase::tests::pagerank_weighted_gaps_differ ... ok
[INFO] [stdout] test scoring::drift::tests::git_ts_for_real_contract ... ignored
[INFO] [stdout] test scoring::drift::tests::git_ts_nonexistent_file ... ok
[INFO] [stdout] test scoring::pvscore::tests::all_perfect_returns_100 ... ok
[INFO] [stdout] test scoring::drift::tests::detect_stale_no_git_binding ... ok
[INFO] [stdout] test scoring::pvscore::tests::all_zeros_returns_zero ... ok
[INFO] [stdout] test scoring::pvscore::tests::geometric_mean_less_than_arithmetic ... ok
[INFO] [stdout] test scoring::pvscore::tests::mixed_values_geometric_mean ... 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::pvscore::tests::one_zero_excluded_from_mean ... 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::contract_score_display ... ok
[INFO] [stdout] test scoring::tests::kani_no_strategy_weight ... ok
[INFO] [stdout] test scoring::tests::kani_strategy_weights_all_variants ... ok
[INFO] [stdout] test scoring::drift::tests::detect_stale_with_real_files ... ok
[INFO] [stdout] test scoring::tests::probe_tests::probes_binding_no_registry ... ok
[INFO] [stdout] test scoring::tests::kani_coverage_with_no_obligations ... ok
[INFO] [stdout] test scoring::tests::probe_tests::probes_falsification_shows_test_id ... ok
[INFO] [stdout] test scoring::tests::probe_tests::probes_kani_shows_harness_id ... ok
[INFO] [stdout] test scoring::tests::probe_tests::probes_populated_for_complete_contract ... ok
[INFO] [stdout] test scoring::tests::probe_tests::probes_serialization_skip_empty ... ok
[INFO] [stdout] test scoring::tests::probe_tests::probes_spec_depth_per_equation ... ok
[INFO] [stdout] test scoring::tests::registry_scoring_full_binding_credit ... ok
[INFO] [stdout] test scoring::tests::score_complete_contract ... ok
[INFO] [stdout] test scoring::tests::probe_tests::probes_lean_no_obligations ... ok
[INFO] [stdout] test scoring::tests::weights_normalization ... ok
[INFO] [stdout] test tla_gen::tests::generates_tla_module ... ok
[INFO] [stdout] test tla_gen::tests::handles_empty_contracts ... ok
[INFO] [stdout] test scoring::tests::score_real_softmax_contract ... ok
[INFO] [stdout] test scoring::tests::probe_tests::probes_binding_with_partial_status ... ok
[INFO] [stdout] test scoring::codebase::tests::drift_override_affects_composite ... ok
[INFO] [stdout] test scoring::codebase::tests::gap_actions_are_populated ... ok
[INFO] [stdout] test scoring::codebase::tests::score_codebase_with_binding ... ok
[INFO] [stdout] test query::tests::obligation_filter_narrows_results ... ok
[INFO] [stdout] test query::tests::proof_status_enrichment_works ... ok
[INFO] [stdout] test query::tests::min_score_filter_works ... ok
[INFO] [stdout] test query::tests::unproven_filter_narrows ... ok
[INFO] [stdout] test query::tests::show_score_enriches_results ... ok
[INFO] [stdout] test query::tests::regex_query_works ... ok
[INFO] [stdout] test query::tests::markdown_output_format ... ok
[INFO] [stdout] test query::tests::query_result_path_is_clean ... ok
[INFO] [stdout] test query::tests::markdown_with_proof_and_binding ... ok
[INFO] [stdout] test query::tests::semantic_query_returns_results ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1371 passed; 0 failed; 5 ignored; 0 measured; 0 filtered out; finished in 23.60s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/falsify_activation_gated.rs (/opt/rustwide/target/debug/deps/falsify_activation_gated-b12b3caf64a5c3f5)
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test falsify_act_002_gelu_at_zero ... ok
[INFO] [stdout] test falsify_act_004_silu_zero_preservation ... ok
[INFO] [stdout] test falsify_sg_001_zero_gate ... ok
[INFO] [stdout] test falsify_ce_002_log_softmax_nonpositive ... ok
[INFO] [stdout] test falsify_rp_002_relative_position ... ok
[INFO] [stdout] test falsify_sg_005_symmetry_check ... ok
[INFO] [stdout] test falsify_ce_003_finiteness ... ok
[INFO] [stdout] test falsify_si_001_zero_preservation ... ok
[INFO] [stdout] test falsify_act_005_relu_monotonicity ... ok
[INFO] [stdout] test falsify_act_006_simd_equivalence ... ok
[INFO] [stdout] test falsify_ce_004_nll_equivalence ... ok
[INFO] [stdout] test falsify_rp_001_norm_preservation ... ok
[INFO] [stdout] test falsify_ce_006_log_softmax_normalization ... ok
[INFO] [stdout] test falsify_act_001_relu_non_negative ... ok
[INFO] [stdout] test falsify_ce_005_simd_equivalence ... ok
[INFO] [stdout] test falsify_rp_004_simd_equivalence ... ok
[INFO] [stdout] test falsify_rp_003_output_bounds ... ok
[INFO] [stdout] test falsify_act_003_gelu_approx_error ... ok
[INFO] [stdout] test falsify_si_002_lower_bound ... ok
[INFO] [stdout] test falsify_ce_001_non_negative ... ok
[INFO] [stdout] test falsify_sg_003_output_bound ... ok
[INFO] [stdout] test falsify_si_003_monotonicity_large_x ... ok
[INFO] [stdout] test falsify_sg_002_fused_equals_unfused ... ok
[INFO] [stdout] test falsify_sg_006_finiteness ... ok
[INFO] [stdout] test falsify_si_006_sigmoid_range ... ok
[INFO] [stdout] test falsify_si_005_simd_equivalence ... ok
[INFO] [stdout] test falsify_si_004_asymptotic ... ok
[INFO] [stdout] test falsify_sg_004_simd_equivalence ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 28 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.23s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/falsify_cross_kernel.rs (/opt/rustwide/target/debug/deps/falsify_cross_kernel-e031e5ac1ea69c2a)
[INFO] [stdout] 
[INFO] [stdout] running 42 tests
[INFO] [stdout] test isolation_cross_entropy_through_softmax ... ok
[INFO] [stdout] test isolation_cma_through_rmsnorm ... ok
[INFO] [stdout] test isolation_adamw_through_lbfgs ... ok
[INFO] [stdout] test isolation_conv1d_through_matmul ... ok
[INFO] [stdout] test isolation_flash_through_attention ... ok
[INFO] [stdout] test isolation_gqa_through_matmul ... ok
[INFO] [stdout] test isolation_attention_through_softmax ... ok
[INFO] [stdout] test isolation_lbfgs_through_adamw ... ok
[INFO] [stdout] test isolation_layernorm_through_softmax ... ok
[INFO] [stdout] test isolation_matmul_through_softmax ... ok
[INFO] [stdout] test isolation_relu_through_silu ... ok
[INFO] [stdout] test isolation_pagerank_through_softmax ... ok
[INFO] [stdout] test isolation_rmsnorm_through_layernorm ... ok
[INFO] [stdout] test isolation_gdn_through_ssm ... ok
[INFO] [stdout] test isolation_rope_through_layernorm ... ok
[INFO] [stdout] test isolation_silu_through_relu ... ok
[INFO] [stdout] test isolation_softmax_through_attention ... ok
[INFO] [stdout] test isolation_softmax_through_rmsnorm ... ok
[INFO] [stdout] test isolation_ssm_through_conv1d ... ok
[INFO] [stdout] test isolation_swiglu_through_silu ... ok
[INFO] [stdout] test mutation_activation_detect_relu_for_gelu ... ok
[INFO] [stdout] test mutation_adamw_detect_l2_instead_of_decoupled ... ok
[INFO] [stdout] test mutation_attention_detect_wrong_scaling ... ok
[INFO] [stdout] test mutation_batchnorm_detect_no_running_update ... ok
[INFO] [stdout] test mutation_cma_detect_no_cholesky ... ok
[INFO] [stdout] test mutation_conv1d_detect_off_by_one ... ok
[INFO] [stdout] test mutation_cross_entropy_detect_no_max_logsumexp ... ok
[INFO] [stdout] test mutation_gdn_detect_extreme_decay ... ok
[INFO] [stdout] test mutation_flash_detect_no_rescaling ... ok
[INFO] [stdout] test mutation_gqa_detect_wrong_head_broadcast ... ok
[INFO] [stdout] test mutation_kmeans_detect_random_assignment ... ok
[INFO] [stdout] test mutation_layernorm_detect_no_eps ... ok
[INFO] [stdout] test mutation_lbfgs_detect_reverse_loop ... ok
[INFO] [stdout] test mutation_pagerank_detect_no_normalization ... ok
[INFO] [stdout] test mutation_matmul_detect_swap_indices ... ok
[INFO] [stdout] test mutation_rmsnorm_detect_zero_eps ... ok
[INFO] [stdout] test mutation_rope_detect_swap_sincos ... ok
[INFO] [stdout] test mutation_softmax_detect_no_max_subtraction ... ok
[INFO] [stdout] test mutation_ssm_detect_noncausal ... ok
[INFO] [stdout] test mutation_silu_detect_constant_sigmoid ... ok
[INFO] [stdout] test mutation_swiglu_detect_relu_gate ... ok
[INFO] [stdout] test isolation_kmeans_through_pagerank ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 42 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/falsify_matrix_attention.rs (/opt/rustwide/target/debug/deps/falsify_matrix_attention-a2fd7a5e8fa04409)
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test falsify_att_003_scaling ... ok
[INFO] [stdout] test falsify_gq_006_head_divisibility ... ok
[INFO] [stdout] test falsify_gq_003_mha_equivalence ... ok
[INFO] [stdout] test falsify_gq_002_kv_head_broadcasting ... ok
[INFO] [stdout] test falsify_mm_005_identity ... ok
[INFO] [stdout] test falsify_gq_005_simd_equivalence ... ok
[INFO] [stdout] test falsify_gq_001_weight_normalization ... ok
[INFO] [stdout] test falsify_att_002_convexity ... ok
[INFO] [stdout] test falsify_mm_002_associativity ... ok
[INFO] [stdout] test falsify_gq_004_convexity ... ok
[INFO] [stdout] test falsify_mm_004_simd_equivalence ... ok
[INFO] [stdout] test falsify_att_004_simd_equivalence ... ok
[INFO] [stdout] test falsify_fa_002_online_softmax ... ok
[INFO] [stdout] test falsify_att_001_weight_normalization ... ok
[INFO] [stdout] test falsify_fa_001_matches_standard ... ok
[INFO] [stdout] test falsify_att_005_output_bounds ... ok
[INFO] [stdout] test falsify_mm_003_linearity ... ok
[INFO] [stdout] test falsify_fa_003_tile_coverage ... ok
[INFO] [stdout] test falsify_fa_004_output_conservation ... ok
[INFO] [stdout] test falsify_mm_001_shape_correctness ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.22s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/falsify_normalization.rs (/opt/rustwide/target/debug/deps/falsify_normalization-9402d89affde9bef)
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test falsify_bn_003_denominator_safety ... ok
[INFO] [stdout] test falsify_bn_005_eval_vs_train_mode ... ok
[INFO] [stdout] test falsify_bn_002_running_variance_update ... ok
[INFO] [stdout] test falsify_bn_006_running_stats_updated ... ok
[INFO] [stdout] test falsify_ln_003_denominator_safety ... ok
[INFO] [stdout] test falsify_ln_007_constant_input ... ok
[INFO] [stdout] test falsify_rn_004_zero_vector ... ok
[INFO] [stdout] test falsify_sm_005_single_element ... ok
[INFO] [stdout] test falsify_sm_006_identical_inputs ... ok
[INFO] [stdout] test falsify_bn_001_training_standardization ... ok
[INFO] [stdout] test falsify_bn_004_simd_equivalence ... ok
[INFO] [stdout] test falsify_sm_001_normalization ... ok
[INFO] [stdout] test falsify_ln_001_centering ... ok
[INFO] [stdout] test falsify_sm_002_positivity ... ok
[INFO] [stdout] test falsify_sm_003_order_preservation ... ok
[INFO] [stdout] test falsify_rn_002_scale_invariance ... ok
[INFO] [stdout] test falsify_ln_002_standardization ... ok
[INFO] [stdout] test falsify_ln_004_simd_equivalence ... ok
[INFO] [stdout] test falsify_sm_004_simd_equivalence ... ok
[INFO] [stderr]      Running tests/falsify_optimizer_sequence.rs (/opt/rustwide/target/debug/deps/falsify_optimizer_sequence-d1c8494373503eec)
[INFO] [stdout] test falsify_ln_005_idempotency ... ok
[INFO] [stdout] test falsify_rn_001_finiteness ... ok
[INFO] [stdout] test falsify_rn_005_unit_gamma_rms ... ok
[INFO] [stdout] test falsify_rn_003_simd_equivalence ... ok
[INFO] [stdout] test falsify_ln_006_shift_invariance ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.17s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 47 tests
[INFO] [stdout] test falsify_aw_001_decoupled_weight_decay ... ok
[INFO] [stdout] test falsify_aw_002_bias_correction ... ok
[INFO] [stdout] test falsify_cma_002_symmetry ... ok
[INFO] [stdout] test falsify_cma_004_positive_definite ... ok
[INFO] [stdout] test falsify_cma_006_identity_cholesky ... ok
[INFO] [stdout] test falsify_cv_001_output_shape ... ok
[INFO] [stdout] test falsify_cv_003_pointwise_equivalence ... ok
[INFO] [stdout] test falsify_cv_006_identity_kernel ... ok
[INFO] [stdout] test falsify_gdn_002_causality ... ok
[INFO] [stdout] test falsify_gdn_001_output_shape ... ok
[INFO] [stdout] test falsify_km_003_objective_decrease ... ok
[INFO] [stdout] test falsify_cv_004_output_bound ... ok
[INFO] [stdout] test falsify_cv_002_linearity ... ok
[INFO] [stdout] test falsify_km_006_convergence ... ok
[INFO] [stdout] test falsify_gdn_004_l2_direction ... ok
[INFO] [stdout] test falsify_lb_002_curvature_condition ... ok
[INFO] [stdout] test falsify_lb_003_history_bound ... ok
[INFO] [stdout] test falsify_lb_001_descent_direction ... ok
[INFO] [stdout] test falsify_cv_005_simd_equivalence ... ok
[INFO] [stdout] test falsify_lb_006_gradient_recovery ... ok
[INFO] [stdout] test falsify_cma_001_output_structure ... ok
[INFO] [stdout] test falsify_pr_002_input_normalization ... ok
[INFO] [stdout] test falsify_pr_003_convergence ... ok
[INFO] [stdout] test falsify_aw_006_weight_decay_direction ... ok
[INFO] [stdout] test falsify_km_005_simd_equivalence ... ok
[INFO] [stdout] test falsify_pr_006_uniform_stationary ... ok
[INFO] [stdout] test falsify_ssm_001_causality ... ok
[INFO] [stdout] test falsify_aw_005_update_finite ... ok
[INFO] [stdout] test falsify_cma_003_step_size ... ok
[INFO] [stdout] test falsify_ssm_004_deterministic ... ok
[INFO] [stdout] test falsify_lb_004_objective_decrease ... ok
[INFO] [stdout] test falsify_lb_005_simd_equivalence ... ok
[INFO] [stdout] test falsify_ssm_006_zero_input ... ok
[INFO] [stdout] test falsify_pr_005_simd_equivalence ... ok
[INFO] [stdout] test falsify_aw_003_simd_equivalence ... ok
[INFO] [stdout] test falsify_pr_001_output_distribution ... ok
[INFO] [stdout] test falsify_ssm_005_simd_equivalence ... ok
[INFO] [stdout] test falsify_ssm_002_scan_linearity ... ok
[INFO] [stdout] test falsify_ssm_003_output_finite ... ok
[INFO] [stdout] test falsify_km_002_valid_indices ... ok
[INFO] [stdout] test falsify_cma_005_simd_equivalence ... ok
[INFO] [stdout] test falsify_gdn_005_simd_equivalence ... ok
[INFO] [stdout] test falsify_aw_004_moments_finite ... ok
[INFO] [stdout] test falsify_pr_004_non_negative ... ok
[INFO] [stdout] test falsify_km_004_nonneg_distances ... ok
[INFO] [stdout] test falsify_gdn_003_decay_bound ... ok
[INFO] [stdout] test falsify_km_001_nearest_assignment ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 47 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.27s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/kani_harness_generation.rs (/opt/rustwide/target/debug/deps/kani_harness_generation-277bdb5d438339ed)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test flash_attention_generates_harnesses ... ok
[INFO] [stdout] test attention_generates_stub_float_harnesses ... ok
[INFO] [stdout] test matmul_generates_exhaustive_harnesses ... ok
[INFO] [stdout] test generated_harness_contains_unimplemented_marker ... ok
[INFO] [stdout] test rmsnorm_generates_harnesses ... ok
[INFO] [stdout] test activation_generates_exhaustive_harnesses ... ok
[INFO] [stdout] test softmax_harnesses_have_kani_attributes ... ok
[INFO] [stdout] test softmax_harnesses_use_stub_float_strategy ... ok
[INFO] [stdout] test softmax_generates_cfg_kani_module ... ok
[INFO] [stdout] test rope_generates_exhaustive_harnesses ... ok
[INFO] [stdout] test softmax_harnesses_have_doc_comments ... ok
[INFO] [stdout] test softmax_generates_all_harnesses ... ok
[INFO] [stdout] test harness_count_matches_contract_definitions ... ok
[INFO] [stdout] test all_contracts_generate_valid_kani_output ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.34s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/probar_test_generation.rs (/opt/rustwide/target/debug/deps/probar_test_generation-9f7a394c96fe3269)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test attention_generates_probar_tests ... ok
[INFO] [stdout] test rmsnorm_generates_equivalence_tests ... ok
[INFO] [stdout] test matmul_generates_bound_tests ... ok
[INFO] [stdout] test softmax_maps_invariant_obligations ... ok
[INFO] [stdout] test softmax_generates_falsification_stubs ... ok
[INFO] [stdout] test contracts_with_falsification_tests_generate_stubs ... ok
[INFO] [stdout] test softmax_generates_probar_module ... ok
[INFO] [stdout] test contracts_with_obligations_generate_property_tests ... ok
[INFO] [stderr]      Running tests/validate_contracts.rs (/opt/rustwide/target/debug/deps/validate_contracts-9333e86233c6f6de)
[INFO] [stdout] test all_contracts_generate_valid_probar_output ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.38s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test validate_attention_contract ... ok
[INFO] [stdout] test validate_flash_attention_contract ... ok
[INFO] [stdout] test validate_softmax_contract ... ok
[INFO] [stdout] test validate_rope_contract ... ok
[INFO] [stdout] test validate_rmsnorm_contract ... ok
[INFO] [stdout] test validate_activation_contract ... ok
[INFO] [stdout] test validate_matmul_contract ... ok
[INFO] [stdout] test contract_data_integrity ... ok
[INFO] [stdout] test validate_all_contracts ... ok
[INFO] [stdout] test qwen35_dag_integrity ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.56s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/pv-9d8c9cd811baa2b7)
[INFO] [stdout] 
[INFO] [stdout] running 60 tests
[INFO] [stdout] test commands::certify::tests::certify_empty_dir ... ok
[INFO] [stdout] test commands::equations::tests::test_from_str_other_format_returns_descriptive_error ... ok
[INFO] [stdout] test commands::equations::tests::test_kernel_name ... ok
[INFO] [stdout] test commands::graph::tests::test_graph_format_from_str ... ok
[INFO] [stdout] test commands::equations::tests::test_detect_simd_isa_avx2 ... ok
[INFO] [stdout] test commands::graph::tests::test_from_str_other_format_returns_descriptive_error ... ok
[INFO] [stdout] test commands::equations::tests::test_output_format_from_str ... ok
[INFO] [stdout] test contract_walk::tests::collect_from_missing_dir_is_empty ... ok
[INFO] [stdout] test contract_walk::tests::collect_recurses_into_subdirs ... ok
[INFO] [stdout] test contract_walk::tests::collect_skips_binding_yaml ... ok
[INFO] [stdout] test commands::graph::tests::test_mermaid_id ... ok
[INFO] [stdout] test commands::verify_pipeline::tests::verify_pipeline_empty_dir ... ok
[INFO] [stdout] test commands::certify::tests::certify_on_real_contracts ... ok
[INFO] [stdout] test dispatch_tests::dispatch_diff ... ok
[INFO] [stdout] test dispatch_tests::dispatch_kani ... ok
[INFO] [stdout] test dispatch_tests::dispatch_lean ... ok
[INFO] [stdout] test dispatch_tests::dispatch_lean_status ... ok
[INFO] [stdout] test commands::verify_pipeline::tests::verify_pipeline_on_real_contracts ... ok
[INFO] [stdout] test dispatch_tests::dispatch_lean_with_output_dir ... ok
[INFO] [stdout] test dispatch_tests::dispatch_pipeline_json ... ok
[INFO] [stdout] test dispatch_tests::dispatch_pipeline_text ... ok
[INFO] [stdout] test dispatch_tests::dispatch_proof_status ... ok
[INFO] [stdout] test dispatch_tests::dispatch_book ... ok
[INFO] [stdout] test dispatch_tests::dispatch_proof_status_json ... ok
[INFO] [stdout] test dispatch_query_tests::dispatch_query_semantic ... ok
[INFO] [stdout] test contract_walk::tests::collect_from_real_contracts_dir ... ok
[INFO] [stdout] test dispatch_tests::dispatch_roofline_invalid_hw ... ok
[INFO] [stdout] test dispatch_tests::dispatch_roofline_json ... ok
[INFO] [stdout] test dispatch_tests::dispatch_roofline_text ... ok
[INFO] [stdout] test dispatch_tests::dispatch_scaffold ... ok
[INFO] [stdout] test dispatch_tests::dispatch_score_custom_weights ... ok
[INFO] [stdout] test dispatch_query_tests::dispatch_query_exit_code_success ... ok
[INFO] [stdout] test dispatch_query_tests::dispatch_query_with_binding ... ok
[INFO] [stdout] test dispatch_query_tests::dispatch_query_with_score ... ok
[INFO] [stdout] test dispatch_tests::dispatch_score_markdown ... ok
[INFO] [stdout] test dispatch_tests::dispatch_score_min_threshold_fails ... ok
[INFO] [stdout] test dispatch_tests::dispatch_proof_status_with_binding ... ok
[INFO] [stdout] test dispatch_tests::dispatch_score_single ... ok
[INFO] [stdout] test dispatch_query_tests::dispatch_query_class_filter ... ok
[INFO] [stdout] test dispatch_query_tests::dispatch_query_literal ... ok
[INFO] [stdout] test commands::verify_pipeline::tests::verify_pipeline_json_on_real_contracts ... ok
[INFO] [stdout] test dispatch_query_tests::dispatch_query_with_proof_status ... ok
[INFO] [stdout] test dispatch_tests::dispatch_lean_status_directory ... ok
[INFO] [stdout] test dispatch_tests::dispatch_status ... ok
[INFO] [stdout] test dispatch_tests::dispatch_validate ... ok
[INFO] [stdout] test dispatch_tests::dispatch_proof_status_directory ... ok
[INFO] [stdout] test dispatch_tests::dispatch_proof_status_markdown ... ok
[INFO] [stdout] test dispatch_query_tests::dispatch_query_exit_code_no_match ... ok
[INFO] [stdout] test dispatch_query_tests::dispatch_query_markdown_format ... ok
[INFO] [stdout] test dispatch_query_tests::dispatch_query_tier_filter ... ok
[INFO] [stdout] test dispatch_tests::dispatch_score_directory ... ok
[INFO] [stdout] test dispatch_tests::dispatch_score_directory_markdown ... ok
[INFO] [stdout] test dispatch_query_tests::dispatch_query_min_level ... ok
[INFO] [stdout] test dispatch_tests::dispatch_score_summary_json ... ok
[INFO] [stdout] test dispatch_tests::dispatch_score_summary ... ok
[INFO] [stdout] test dispatch_tests::dispatch_score_directory_threshold_fails ... ok
[INFO] [stdout] test dispatch_tests::dispatch_score_summary_markdown ... ok
[INFO] [stdout] test dispatch_tests::dispatch_score_with_binding_markdown ... ok
[INFO] [stdout] test dispatch_tests::dispatch_score_with_binding_json ... ok
[INFO] [stdout] test dispatch_tests::dispatch_score_with_binding ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 60 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 14.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/book_coverage.rs (/opt/rustwide/target/debug/deps/book_coverage-d0bf4d8b47e4c054)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test every_contract_generates_book_page ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.49s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cli_integration.rs (/opt/rustwide/target/debug/deps/cli_integration-89759604158e32f6)
[INFO] [stdout] 
[INFO] [stdout] running 64 tests
[INFO] [stdout] test audit::audit_softmax_contract ... ok
[INFO] [stdout] test audit::audit_flash_attention_no_binding ... ok
[INFO] [stdout] test binary::pv_equations_invalid_format ... ok
[INFO] [stdout] test binary::pv_audit_with_errors ... ok
[INFO] [stdout] test binary::pv_equations_ptx ... ok
[INFO] [stdout] test binary::pv_equations_text ... ok
[INFO] [stdout] test binary::pv_equations_ptx_no_kernel_structure ... ok
[INFO] [stdout] test binary::pv_equations_asm ... ok
[INFO] [stdout] test binary::pv_equations_latex ... ok
[INFO] [stdout] test audit::audit_activation_with_binding ... ok
[INFO] [stdout] test binary::pv_audit_with_binding ... ok
[INFO] [stdout] test binary::pv_diff_identical ... ok
[INFO] [stdout] test audit::audit_softmax_with_binding ... ok
[INFO] [stdout] test binary::pv_graph_invalid_format ... ok
[INFO] [stdout] test binary::pv_kani_softmax ... ok
[INFO] [stdout] test binary::pv_lean_status_single ... ok
[INFO] [stdout] test binary::pv_audit_softmax ... ok
[INFO] [stdout] test binary::pv_diff_different ... ok
[INFO] [stdout] test binary::pv_lean_softmax ... ok
[INFO] [stdout] test binary::pv_probar_softmax ... ok
[INFO] [stdout] test binary::pv_probar_with_binding ... ok
[INFO] [stdout] test binary::pv_probar_rope ... ok
[INFO] [stdout] test binary::pv_status_matmul ... ok
[INFO] [stdout] test binary::pv_scaffold_activation ... ok
[INFO] [stdout] test binary::pv_status_no_qa_gate ... ok
[INFO] [stdout] test binary::pv_generate_softmax ... ok
[INFO] [stdout] test binary::pv_generate_with_binding ... ok
[INFO] [stdout] test binary::pv_validate_nonexistent ... ok
[INFO] [stdout] test binary::pv_status_softmax ... ok
[INFO] [stdout] test binary::pv_scaffold_softmax ... ok
[INFO] [stdout] test binary::pv_validate_with_errors ... ok
[INFO] [stdout] test kani::kani_softmax ... ok
[INFO] [stdout] test binary::pv_validate_invalid_file ... ok
[INFO] [stdout] test kani::kani_matmul ... ok
[INFO] [stdout] test probar::probar_softmax_plain ... ok
[INFO] [stdout] test binary::pv_validate_softmax ... ok
[INFO] [stdout] test probar::probar_rmsnorm_plain ... ok
[INFO] [stdout] test scaffold::scaffold_softmax ... ok
[INFO] [stdout] test binary::pv_validate_with_warnings ... ok
[INFO] [stdout] test status::status_matmul_has_no_qa_gate ... ok
[INFO] [stdout] test validate::invalid_yaml_fails ... ok
[INFO] [stdout] test status::status_all_contracts_parse ... ok
[INFO] [stdout] test scaffold::scaffold_activation ... ok
[INFO] [stdout] test validate::nonexistent_file_fails ... ok
[INFO] [stdout] test validate::valid_attention_contract ... ok
[INFO] [stdout] test validate::valid_flash_attention_contract ... ok
[INFO] [stdout] test status::status_softmax_has_qa_gate ... ok
[INFO] [stdout] test validate::valid_activation_contract ... ok
[INFO] [stdout] test validate::valid_matmul_contract ... ok
[INFO] [stdout] test probar::probar_softmax_wired ... ok
[INFO] [stdout] test validate::valid_rmsnorm_contract ... ok
[INFO] [stdout] test validate::valid_rope_contract ... ok
[INFO] [stdout] test validate::valid_softmax_contract ... ok
[INFO] [stdout] test probar::probar_activation_wired ... ok
[INFO] [stdout] test binary::pv_coverage_contracts ... ok
[INFO] [stdout] test binary::pv_coverage_with_binding ... ok
[INFO] [stdout] test binary::pv_graph_dot ... ok
[INFO] [stdout] test binary::pv_graph_json ... ok
[INFO] [stdout] test binary::pv_graph_mermaid ... ok
[INFO] [stdout] test binary::pv_lean_status_directory ... ok
[INFO] [stdout] test binary::pv_graph_contracts ... ok
[INFO] [stdout] test binary::pv_proof_status_kind_kernel_excludes_patterns ... ok
[INFO] [stdout] test binary::pv_query_kind_rejects_invalid ... ok
[INFO] [stdout] test binary::pv_query_kind_pattern_finds_patterns ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 64 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 3.73s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/ground_truth.rs (/opt/rustwide/target/debug/deps/ground_truth-a4234208428bd0e7)
[INFO] [stdout] 
[INFO] [stdout] running 34 tests
[INFO] [stdout] test dot_latex ... ok
[INFO] [stdout] test l2norm_asm ... ok
[INFO] [stdout] test l2norm_latex ... ok
[INFO] [stdout] test clamp_ptx ... ok
[INFO] [stdout] test latex_conversions_scale ... ok
[INFO] [stdout] test clamp_text ... ok
[INFO] [stdout] test clamp_latex ... ok
[INFO] [stdout] test dot_ptx ... ok
[INFO] [stdout] test latex_conversions_l2norm ... ok
[INFO] [stdout] test provability_scale ... ok
[INFO] [stdout] test provability_dot ... ok
[INFO] [stdout] test provability_clamp ... ok
[INFO] [stdout] test provability_relu ... ok
[INFO] [stdout] test relu_latex ... ok
[INFO] [stdout] test relu_ptx ... ok
[INFO] [stdout] test asm_isa_detection ... ok
[INFO] [stdout] test relu_text ... ok
[INFO] [stdout] test clamp_asm ... ok
[INFO] [stdout] test latex_conversions_clamp ... ok
[INFO] [stdout] test dot_text ... ok
[INFO] [stdout] test l2norm_text ... ok
[INFO] [stdout] test l2norm_ptx ... ok
[INFO] [stdout] test dot_asm ... ok
[INFO] [stdout] test scale_latex ... ok
[INFO] [stdout] test scale_ptx ... ok
[INFO] [stdout] test scale_text ... ok
[INFO] [stdout] test asm_function_labels ... ok
[INFO] [stdout] test scale_asm ... ok
[INFO] [stdout] test latex_conversions_dot ... ok
[INFO] [stdout] test latex_conversions_relu ... ok
[INFO] [stdout] test relu_asm ... ok
[INFO] [stdout] test provability_l2norm ... ok
[INFO] [stdout] test ptx_kernel_names ... ok
[INFO] [stdout] test phase_count_consistency ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 34 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.24s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/provable_contracts_macros-96964be1c7e6b3d9)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test tests::test_make_env_key_with_dots ... ok
[INFO] [stdout] test tests::test_make_env_key ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/contract_macros.rs (/opt/rustwide/target/debug/deps/contract_macros-17d4af6bf6c2af58)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_ensures_passes ... ok
[INFO] [stdout] test test_stacked_contracts ... ok
[INFO] [stdout] test test_requires_passes ... ok
[INFO] [stdout] test test_requires_catches_violation - should panic ... ok
[INFO] [stdout] test test_ensures_catches_violation - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests provable_contracts
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test crates/provable-contracts/src/build_helper.rs - build_helper (line 12) ... ignored
[INFO] [stdout] test crates/provable-contracts/src/build_helper.rs - build_helper::verify_source_functions (line 195) ... ignored
[INFO] [stdout] test crates/provable-contracts/src/codegen.rs - codegen::generate_from_contract (line 33) ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.40s; merged doctests compilation took 0.39s
[INFO] [stderr]    Doc-tests provable_contracts_macros
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test crates/provable-contracts-macros/src/lib.rs - (line 11) ... ignored
[INFO] [stdout] test crates/provable-contracts-macros/src/lib.rs - contract (line 126) ... ignored
[INFO] [stdout] test crates/provable-contracts-macros/src/lib.rs - ensures (line 298) ... ignored
[INFO] [stdout] test crates/provable-contracts-macros/src/lib.rs - invariant (line 326) ... ignored
[INFO] [stdout] test crates/provable-contracts-macros/src/lib.rs - must_contract (line 362) ... ignored
[INFO] [stdout] test crates/provable-contracts-macros/src/lib.rs - requires (line 270) ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 6 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.67s; merged doctests compilation took 0.67s
[INFO] running `Command { std: "docker" "inspect" "ae19368b3a931187b7c6837189ba44c83bce47278bf69e6153ad7061201b4318", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ae19368b3a931187b7c6837189ba44c83bce47278bf69e6153ad7061201b4318", kill_on_drop: false }`
[INFO] [stdout] ae19368b3a931187b7c6837189ba44c83bce47278bf69e6153ad7061201b4318
