[INFO] fetching crate rumpsteak-lean-bridge 0.9.1...
[INFO] testing rumpsteak-lean-bridge-0.9.1 against 1.95.0 for beta-1.96-2
[INFO] extracting crate rumpsteak-lean-bridge 0.9.1 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate rumpsteak-lean-bridge 0.9.1
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate rumpsteak-lean-bridge 0.9.1
[INFO] tweaked toml for crates.io crate rumpsteak-lean-bridge 0.9.1 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate rumpsteak-lean-bridge 0.9.1 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate rumpsteak-lean-bridge 0.9.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rumpsteak-theory v0.9.1
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.105
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.105
[INFO] [stderr]   Downloaded rumpsteak-aura-macros v0.9.1
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.105
[INFO] [stderr]   Downloaded wasm-timer v0.2.5
[INFO] [stderr]   Downloaded wasm-bindgen-futures v0.4.55
[INFO] [stderr]   Downloaded pest_derive v2.8.3
[INFO] [stderr]   Downloaded pest_generator v2.8.3
[INFO] [stderr]   Downloaded pest_meta v2.8.3
[INFO] [stderr]   Downloaded mio v1.1.0
[INFO] [stderr]   Downloaded pest v2.8.3
[INFO] [stderr]   Downloaded rumpsteak-types v0.9.1
[INFO] [stderr]   Downloaded js-sys v0.3.82
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.105
[INFO] [stderr]   Downloaded proptest v1.9.0
[INFO] [stderr]   Downloaded syn v2.0.110
[INFO] [stderr]   Downloaded rumpsteak-aura-choreography v0.9.1
[INFO] [stderr]   Downloaded rumpsteak-aura v0.9.1
[INFO] [stderr]   Downloaded web-sys v0.3.82
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0ef15b4defa8242479d539817713ad0e4e3964ef44f7d9ec1081d4c471e69c14
[INFO] running `Command { std: "docker" "start" "-a" "0ef15b4defa8242479d539817713ad0e4e3964ef44f7d9ec1081d4c471e69c14", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0ef15b4defa8242479d539817713ad0e4e3964ef44f7d9ec1081d4c471e69c14", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0ef15b4defa8242479d539817713ad0e4e3964ef44f7d9ec1081d4c471e69c14", kill_on_drop: false }`
[INFO] [stdout] 0ef15b4defa8242479d539817713ad0e4e3964ef44f7d9ec1081d4c471e69c14
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 65c883ade3f0e110682377d4b2882ac0007f9a07896c844c6f06b7a8df2a03a9
[INFO] running `Command { std: "docker" "start" "-a" "65c883ade3f0e110682377d4b2882ac0007f9a07896c844c6f06b7a8df2a03a9", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling generic-array v0.14.9
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling crypto-common v0.1.6
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling rumpsteak-types v0.9.1
[INFO] [stderr]    Compiling rumpsteak-theory v0.9.1
[INFO] [stderr]    Compiling rumpsteak-lean-bridge v0.9.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 23.27s
[INFO] running `Command { std: "docker" "inspect" "65c883ade3f0e110682377d4b2882ac0007f9a07896c844c6f06b7a8df2a03a9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "65c883ade3f0e110682377d4b2882ac0007f9a07896c844c6f06b7a8df2a03a9", kill_on_drop: false }`
[INFO] [stdout] 65c883ade3f0e110682377d4b2882ac0007f9a07896c844c6f06b7a8df2a03a9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c0b50e8f68bd1d13fb09cd6cb7bf45c189b9cbc53a4b4ad6c349fa7c4c1c1a28
[INFO] running `Command { std: "docker" "start" "-a" "c0b50e8f68bd1d13fb09cd6cb7bf45c189b9cbc53a4b4ad6c349fa7c4c1c1a28", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling futures-core v0.3.31
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling pest v2.8.3
[INFO] [stderr]    Compiling futures-channel v0.3.31
[INFO] [stderr]    Compiling hashbrown v0.16.0
[INFO] [stderr]    Compiling anyhow v1.0.100
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling time-core v0.1.6
[INFO] [stderr]    Compiling bytes v1.11.0
[INFO] [stderr]    Compiling winnow v0.7.13
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]    Compiling indexmap v2.12.0
[INFO] [stderr]    Compiling toml_write v0.1.2
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling pest_meta v2.8.3
[INFO] [stderr]    Compiling mio v1.1.0
[INFO] [stderr]    Compiling socket2 v0.6.1
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling signal-hook-registry v1.4.6
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling deranged v0.5.5
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]    Compiling pest_generator v2.8.3
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling futures-macro v0.3.31
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.30
[INFO] [stderr]    Compiling rumpsteak-aura-macros v0.9.1
[INFO] [stderr]    Compiling tokio v1.48.0
[INFO] [stderr]    Compiling futures-util v0.3.31
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling tracing v0.1.41
[INFO] [stderr]    Compiling pest_derive v2.8.3
[INFO] [stderr]    Compiling async-recursion v1.1.1
[INFO] [stderr]    Compiling rumpsteak-types v0.9.1
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling time v0.3.44
[INFO] [stderr]    Compiling uuid v1.18.1
[INFO] [stderr]    Compiling bincode v1.3.3
[INFO] [stderr]    Compiling futures-executor v0.3.31
[INFO] [stderr]    Compiling futures v0.3.31
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling rumpsteak-theory v0.9.1
[INFO] [stderr]    Compiling rumpsteak-lean-bridge v0.9.1 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling rumpsteak-aura v0.9.1
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling rumpsteak-aura-choreography v0.9.1
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 39s
[INFO] running `Command { std: "docker" "inspect" "c0b50e8f68bd1d13fb09cd6cb7bf45c189b9cbc53a4b4ad6c349fa7c4c1c1a28", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c0b50e8f68bd1d13fb09cd6cb7bf45c189b9cbc53a4b4ad6c349fa7c4c1c1a28", kill_on_drop: false }`
[INFO] [stdout] c0b50e8f68bd1d13fb09cd6cb7bf45c189b9cbc53a4b4ad6c349fa7c4c1c1a28
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] d0090265e22492dac8d04260779d8ae430a4c6253d27fb24388da32f92265df6
[INFO] running `Command { std: "docker" "start" "-a" "d0090265e22492dac8d04260779d8ae430a4c6253d27fb24388da32f92265df6", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.25s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/rumpsteak_lean_bridge-beb07f61b26a874e)
[INFO] [stdout] 
[INFO] [stdout] running 34 tests
[INFO] [stdout] test equivalence::tests::test_equivalence_result_success ... ok
[INFO] [stdout] test equivalence::tests::test_json_structural_equality ... ok
[INFO] [stdout] test export::tests::test_global_comm ... ok
[INFO] [stdout] test export::tests::test_label_with_sort ... ok
[INFO] [stdout] test export::tests::test_global_end ... ok
[INFO] [stdout] test export::tests::test_global_rec ... ok
[INFO] [stdout] test equivalence::tests::test_checker_has_lean ... ok
[INFO] [stdout] test export::tests::test_local_end ... ok
[INFO] [stdout] test export::tests::test_local_recv ... ok
[INFO] [stdout] test export::tests::test_local_send ... ok
[INFO] [stdout] test export::tests::test_prod_sort ... ok
[INFO] [stdout] test import::tests::test_parse_global_comm ... ok
[INFO] [stdout] test import::tests::test_parse_global_end ... ok
[INFO] [stdout] test import::tests::test_parse_global_rec ... ok
[INFO] [stdout] test import::tests::test_parse_local_end ... ok
[INFO] [stdout] test import::tests::test_parse_local_send ... ok
[INFO] [stdout] test import::tests::test_parse_prod_sort ... ok
[INFO] [stdout] test import::tests::test_roundtrip ... ok
[INFO] [stdout] test runner::tests::test_is_available_returns_bool ... ok
[INFO] [stdout] test runner::tests::test_parse_action_array_empty ... ok
[INFO] [stdout] test runner::tests::test_parse_action_array_null ... ok
[INFO] [stdout] test runner::tests::test_parse_action_array_with_values ... ok
[INFO] [stdout] test runner::tests::test_try_new_returns_option ... ok
[INFO] [stdout] test runner::tests::test_with_nonexistent_path_fails ... ok
[INFO] [stdout] test test_utils::tests::test_deterministic_seed_is_32_bytes ... ok
[INFO] [stdout] test test_utils::tests::test_lean_available_returns_bool ... ok
[INFO] [stdout] test test_utils::tests::test_skip_without_lean_macro ... ok
[INFO] [stdout] test validate::tests::test_compare_projection ... ok
[INFO] [stdout] test validate::tests::test_compare_subtyping_match ... ok
[INFO] [stdout] test validate::tests::test_global_roundtrip_valid ... ok
[INFO] [stdout] test validate::tests::test_compare_subtyping_mismatch ... ok
[INFO] [stdout] test validate::tests::test_recursive_roundtrip ... ok
[INFO] [stdout] test validate::tests::test_local_roundtrip_valid ... ok
[INFO] [stdout] test equivalence::tests::test_equivalence_result_failure ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 34 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running tests/coherence_tests.rs (/opt/rustwide/target/debug/deps/coherence_tests-161640a245b249ea)
[INFO] [stdout] running 22 tests
[INFO] [stderr]      Running tests/golden_equivalence_tests.rs (/opt/rustwide/target/debug/deps/golden_equivalence_tests-376e393002054909)
[INFO] [stdout] test test_action_pred ... ok
[INFO] [stdout] test test_coherent_end ... ok
[INFO] [stdout] test test_coherent_choice ... ok
[INFO] [stdout] test test_coherent_three_party ... ok
[INFO] [stdout] test test_coherent_simple_protocol ... ok
[INFO] [stdout] test test_good_g_choice ... ok
[INFO] [stdout] test test_incoherent_duplicate_labels ... ok
[INFO] [stdout] test test_coherent_recursive ... ok
[INFO] [stdout] test test_good_g_simple ... ok
[INFO] [stdout] test test_incoherent_empty_branches ... ok
[INFO] [stdout] test test_incoherent_nested_self_comm ... ok
[INFO] [stdout] test test_incoherent_self_comm ... ok
[INFO] [stdout] test test_incoherent_nested_duplicate_labels ... ok
[INFO] [stdout] test test_linear_pred_always_true ... ok
[INFO] [stdout] test test_projectable_simple ... ok
[INFO] [stdout] test test_projectable_three_party ... ok
[INFO] [stdout] test test_size_pred ... ok
[INFO] [stdout] test test_unique_labels ... ok
[INFO] [stdout] test proptest_coherent_implies_well_formed ... ok
[INFO] [stdout] test proptest_malformed_is_incoherent ... ok
[INFO] [stdout] test proptest_coherence_bundle_consistency ... ok
[INFO] [stdout] test proptest_well_formed_implies_coherent ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test test_choice_protocol_client_projection ... ok
[INFO] [stdout] test test_ping_pong_alice_projection ... ok
[INFO] [stdout] test test_choice_protocol_server_projection ... ok
[INFO] [stdout] test test_ping_pong_bob_projection ... ok
[INFO] [stdout] test test_ping_pong_all_projections ... ok
[INFO] [stdout] test test_choice_protocol_all_projections ... ok
[INFO] [stderr]      Running tests/lean_integration_tests.rs (/opt/rustwide/target/debug/deps/lean_integration_tests-d3791eba24f6a5dc)
[INFO] [stdout] test test_all_golden_projections ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test test_calculator_protocol ... ok
[INFO] [stdout] test test_lean_binary_available_for_ci ... ignored, temporarily disabled during Lean refactoring
[INFO] [stdout] test test_choice_reject_branch ... ok
[INFO] [stdout] test test_invalid_projection_detected ... ok
[INFO] [stdout] test test_recursive_ping_pong_role_b ... ok
[INFO] [stdout] test test_rust_globaltype_matches_lean ... ok
[INFO] [stdout] test test_role_b_ping_pong ... ok
[INFO] [stdout] test test_simple_ping_pong ... ok
[INFO] [stdout] test test_three_party_ring ... ok
[INFO] [stdout] test test_recursive_ping_pong_unrolled ... ok
[INFO] [stdout] test test_recursive_choice_unrolled ... ok
[INFO] [stdout] test test_validator_with_lean ... ok
[INFO] [stdout] test test_missing_action_detected ... ok
[INFO] [stdout] test test_wrong_label_detected ... ok
[INFO] [stdout] test test_validator_detects_invalid ... ok
[INFO] [stdout] test test_choice_accept_branch ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/live_equivalence_tests.rs (/opt/rustwide/target/debug/deps/live_equivalence_tests-3f86b1f6b4aaa26f)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test generate_golden_choice ... ignored
[INFO] [stdout] test generate_golden_ping_pong ... ignored
[INFO] [stdout] test test_golden_drift_detection ... ok
[INFO] [stdout] test proptest_live_projection_equivalence ... ok
[INFO] [stdout] test test_live_choice_projection ... ok
[INFO] [stdout] test test_live_three_party_projection ... ok
[INFO] [stdout] test test_live_recursive_projection ... ok
[INFO] [stdout] test test_live_ping_pong_projection ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/merge_semantics_tests.rs (/opt/rustwide/target/debug/deps/merge_semantics_tests-364bbc2845ed0c97)
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test test_can_merge_end_send_false ... ok
[INFO] [stdout] test test_can_merge_send_same_label ... ok
[INFO] [stdout] test test_can_merge_recv_different_label_true ... ok
[INFO] [stdout] test test_lean_accepts_recv_merge_projection ... ok
[INFO] [stdout] test test_can_merge_end ... ok
[INFO] [stdout] test test_can_merge_send_different_label_false ... ok
[INFO] [stdout] test test_merged_recv_json_roundtrip ... ok
[INFO] [stdout] test test_projection_fails_for_incompatible_send_merge ... ok
[INFO] [stdout] test test_recursive_merge_different_var_fails ... ok
[INFO] [stdout] test test_projection_succeeds_for_compatible_send_merge ... ok
[INFO] [stdout] test test_recursive_merge_same_var ... ok
[INFO] [stdout] test test_recursive_recv_different_labels_succeeds ... ok
[INFO] [stdout] test test_recursive_send_different_labels_fails ... ok
[INFO] [stdout] test test_recv_merge_overlapping_labels ... ok
[INFO] [stdout] test test_recv_merge_different_labels_unions ... ok
[INFO] [stdout] test test_recv_merge_same_labels_succeeds ... ok
[INFO] [stdout] test test_send_merge_different_labels_fails ... ok
[INFO] [stdout] test test_send_merge_same_labels_succeeds ... ok
[INFO] [stdout] test test_lean_validates_compatible_projection ... ok
[INFO] [stdout] test test_projection_succeeds_for_recv_merge ... ok
[INFO] [stderr]      Running tests/projection_equivalence_tests.rs (/opt/rustwide/target/debug/deps/projection_equivalence_tests-57178e3c394d6649)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test test_deep_nesting ... ok
[INFO] [stdout] test test_binary_choice ... ok
[INFO] [stdout] test test_choice_with_continuation ... ok
[INFO] [stdout] test test_comprehensive_validation ... ok
[INFO] [stdout] test test_non_participant_mergeable ... ok
[INFO] [stdout] test test_three_party_ring ... ok
[INFO] [stdout] test test_single_role_in_choice_branch ... ok
[INFO] [stdout] test test_nested_choice ... ok
[INFO] [stdout] test test_three_message_chain ... ok
[INFO] [stdout] test test_recursion_with_choice ... ok
[INFO] [stdout] test test_three_party_choice ... ok
[INFO] [stdout] test test_three_party_star ... ok
[INFO] [stderr]      Running tests/proptest_async_subtyping.rs (/opt/rustwide/target/debug/deps/proptest_async_subtyping-56b223f8532e59a8)
[INFO] [stdout] test test_three_way_choice ... ok
[INFO] [stdout] test test_two_message_sequence ... ok
[INFO] [stdout] test test_simple_send ... ok
[INFO] [stdout] test test_simple_recursion ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 35 tests
[INFO] [stdout] test test_async_reordering_send_recv ... ok
[INFO] [stdout] test test_async_subtype_end_reflexive ... ok
[INFO] [stdout] test test_deeply_nested_sequence ... ok
[INFO] [stdout] test test_independent_sends_to_different_partners ... ok
[INFO] [stdout] test test_async_subtype_reflexive ... ok
[INFO] [stdout] test test_choice_types_decompose ... ok
[INFO] [stdout] test test_input_tree_label_mismatch_fails ... ok
[INFO] [stdout] test test_input_tree_partner_mismatch_fails ... ok
[INFO] [stdout] test test_async_subtype_end_is_subtype_of_all ... ok
[INFO] [stdout] test test_mixed_partners_sequence ... ok
[INFO] [stdout] test test_orphan_free_end ... ok
[INFO] [stdout] test test_input_tree_size ... ok
[INFO] [stdout] test test_output_tree_covariance_leaf_subtype_of_all ... ok
[INFO] [stdout] test test_input_tree_reflexivity ... ok
[INFO] [stdout] test test_output_tree_partner_mismatch_fails ... ok
[INFO] [stdout] test test_async_equivalent_reflexive ... ok
[INFO] [stdout] test test_choice_types_reflexive_subtype ... ok
[INFO] [stdout] test test_recursive_type_decomposition ... ok
[INFO] [stdout] test test_single_branch_recv ... ok
[INFO] [stdout] test test_output_tree_node_not_subtype_of_leaf ... ok
[INFO] [stdout] test test_single_branch_send ... ok
[INFO] [stdout] test test_output_tree_size ... ok
[INFO] [stdout] test test_siso_decompose_end_is_empty ... ok
[INFO] [stdout] test test_input_tree_contravariance_leaf_accepts_all ... ok
[INFO] [stdout] test test_async_equivalent_symmetric ... ok
[INFO] [stdout] test test_orphan_free_simple_types ... ok
[INFO] [stdout] test test_output_tree_reflexivity ... ok
[INFO] [stdout] test test_three_branch_choice ... ok
[INFO] [stdout] test test_siso_decompose_succeeds_for_simple_types ... ok
[INFO] [stdout] test test_var_type ... ok
[INFO] [stdout] test test_siso_decompose_non_empty_for_non_end ... ok
[INFO] [stdout] test test_siso_segment_empty_is_subtype ... ok
[INFO] [stdout] test test_siso_segment_reflexive ... ok
[INFO] [stdout] test test_siso_decompose_succeeds_for_sequences ... ok
[INFO] [stdout] test test_orphan_free_sequences ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 35 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.16s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_json_roundtrip.rs (/opt/rustwide/target/debug/deps/proptest_json_roundtrip-cfd2d21fec060336)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test recursive_tests::recursive_global_roundtrip ... ok
[INFO] [stdout] test recursive_tests::recursive_local_roundtrip ... ok
[INFO] [stdout] test recursive_tests::nested_recursive_roundtrip ... ok
[INFO] [stdout] test seeded_tests::reproducible_local_roundtrip ... ok
[INFO] [stdout] test seeded_tests::seed_produces_deterministic_sequence ... ok
[INFO] [stdout] test generated_locals_well_formed ... ok
[INFO] [stdout] test seeded_tests::reproducible_global_roundtrip ... ok
[INFO] [stdout] test local_json_roundtrip ... ok
[INFO] [stdout] test no_free_vars_in_generated ... ok
[INFO] [stdout] test global_json_has_required_fields ... ok
[INFO] [stdout] test generated_globals_well_formed ... ok
[INFO] [stdout] test global_json_roundtrip ... ok
[INFO] [stderr]      Running tests/proptest_projection.rs (/opt/rustwide/target/debug/deps/proptest_projection-70c041b10e961c63)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.37s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test test_deep_nesting_against_lean ... ok
[INFO] [stdout] test test_choice_continuation_bug_fix_against_lean ... ok
[INFO] [stdout] test test_multiway_choice_against_lean ... ok
[INFO] [stdout] test test_choice_projections_have_all_branches ... ok
[INFO] [stdout] test test_choice_nonparticipant_merge ... ok
[INFO] [stdout] test test_rust_projection_matches_lean_simple ... ok
[INFO] [stdout] test test_rust_projection_matches_lean_choice ... ok
[INFO] [stdout] test test_project_all_consistency ... ok
[INFO] [stdout] test test_sender_gets_send_receiver_gets_recv ... ok
[INFO] [stdout] test test_three_party_nonparticipant_projections ... ok
[INFO] [stdout] test test_deep_nesting_projections ... ok
[INFO] [stdout] test test_projection_preserves_roles ... ok
[INFO] [stdout] test test_choice_continuations_preserved ... ok
[INFO] [stdout] test test_multiway_choice_projections ... ok
[INFO] [stdout] test test_projection_json_export_consistency ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.17s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/semantics_verification_tests.rs (/opt/rustwide/target/debug/deps/semantics_verification_tests-07fc6bc359464cf0)
[INFO] [stdout] 
[INFO] [stdout] running 36 tests
[INFO] [stdout] test test_can_step_async_blocked_same_receiver ... ok
[INFO] [stdout] test test_can_step_async_blocked_sender_is_receiver ... ok
[INFO] [stdout] test test_can_step_end ... ok
[INFO] [stdout] test test_can_step_wrong_label ... ok
[INFO] [stdout] test test_can_step_async_reorder ... ok
[INFO] [stdout] test test_can_step_wrong_sender ... ok
[INFO] [stdout] test test_can_step_head_action ... ok
[INFO] [stdout] test test_can_step_mu ... ok
[INFO] [stdout] test test_can_step_wrong_receiver ... ok
[INFO] [stdout] test test_consume_proof_wrong_sender ... ok
[INFO] [stdout] test test_good_g_choice ... ok
[INFO] [stdout] test test_good_g_end ... ok
[INFO] [stdout] test test_good_g_recursive ... ok
[INFO] [stdout] test test_good_g_simple ... ok
[INFO] [stdout] test test_local_action_to_global_recv ... ok
[INFO] [stdout] test proptest_reduces_star_reflexive ... ok
[INFO] [stdout] test test_local_can_step_recv ... ok
[INFO] [stdout] test test_consume_proof_mu ... ok
[INFO] [stdout] test test_consume_proof_simple ... ok
[INFO] [stdout] test test_local_step_recv ... ok
[INFO] [stdout] test test_local_step_send ... ok
[INFO] [stdout] test test_local_action_to_global_send ... ok
[INFO] [stdout] test test_local_can_step_async ... ok
[INFO] [stdout] test test_local_can_step_send ... ok
[INFO] [stdout] test test_reduces_choice ... ok
[INFO] [stdout] test test_local_step_async ... ok
[INFO] [stdout] test test_step_async ... ok
[INFO] [stdout] test test_reduces_simple ... ok
[INFO] [stdout] test test_reduces_star_refl ... ok
[INFO] [stdout] test test_step_choice ... ok
[INFO] [stdout] test test_reduces_star_transitive ... ok
[INFO] [stdout] test test_step_mu ... ok
[INFO] [stdout] test test_step_head ... ok
[INFO] [stdout] test proptest_well_formed_is_good ... ok
[INFO] [stdout] test proptest_can_step_implies_step_exists ... ok
[INFO] [stdout] test proptest_step_implies_can_step ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 36 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests rumpsteak_lean_bridge
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test src/equivalence.rs - equivalence (line 20) ... ignored
[INFO] [stdout] test src/runner.rs - runner (line 8) ... ignored
[INFO] [stdout] test src/import.rs - import::json_to_global (line 36) ... ok
[INFO] [stdout] test src/import.rs - import::json_to_local (line 123) ... ok
[INFO] [stdout] test src/export.rs - export::global_to_json (line 22) ... ok
[INFO] [stdout] test src/export.rs - export::local_to_json (line 88) ... ok
[INFO] [stdout] test src/lib.rs - (line 40) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.81s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "d0090265e22492dac8d04260779d8ae430a4c6253d27fb24388da32f92265df6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d0090265e22492dac8d04260779d8ae430a4c6253d27fb24388da32f92265df6", kill_on_drop: false }`
[INFO] [stdout] d0090265e22492dac8d04260779d8ae430a4c6253d27fb24388da32f92265df6
