[INFO] fetching crate telltale-lean-bridge 6.0.0... [INFO] testing telltale-lean-bridge-6.0.0 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-2 [INFO] extracting crate telltale-lean-bridge 6.0.0 into /workspace/builds/worker-5-tc2/source [INFO] started tweaking crates.io crate telltale-lean-bridge 6.0.0 [INFO] removed 0 missing examples [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate telltale-lean-bridge 6.0.0 [INFO] tweaked toml for crates.io crate telltale-lean-bridge 6.0.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate telltale-lean-bridge 6.0.0 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate telltale-lean-bridge 6.0.0 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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3d3106594e038cf8c2a7cc0cd96a0a24ecc6d44c8b7d167d78b6e0a3c61c8fa0 [INFO] running `Command { std: "docker" "start" "-a" "3d3106594e038cf8c2a7cc0cd96a0a24ecc6d44c8b7d167d78b6e0a3c61c8fa0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3d3106594e038cf8c2a7cc0cd96a0a24ecc6d44c8b7d167d78b6e0a3c61c8fa0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3d3106594e038cf8c2a7cc0cd96a0a24ecc6d44c8b7d167d78b6e0a3c61c8fa0", kill_on_drop: false }` [INFO] [stdout] 3d3106594e038cf8c2a7cc0cd96a0a24ecc6d44c8b7d167d78b6e0a3c61c8fa0 [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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 22f406ba3087691db1e58fa9d8206c8f4f28e3808b94c13cc1cf2e391763dcf5 [INFO] running `Command { std: "docker" "start" "-a" "22f406ba3087691db1e58fa9d8206c8f4f28e3808b94c13cc1cf2e391763dcf5", kill_on_drop: false }` [INFO] [stderr] Compiling typenum v1.19.0 [INFO] [stderr] Compiling proc-macro2 v1.0.103 [INFO] [stderr] Compiling quote v1.0.42 [INFO] [stderr] Compiling unicode-ident v1.0.22 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Compiling fixed v1.30.0 [INFO] [stderr] Compiling libc v0.2.177 [INFO] [stderr] Compiling memchr v2.7.6 [INFO] [stderr] Compiling generic-array v0.14.9 [INFO] [stderr] Compiling az v1.3.0 [INFO] [stderr] Compiling rustix v1.1.2 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Compiling bytemuck v1.25.0 [INFO] [stderr] Compiling bitflags v2.10.0 [INFO] [stderr] Compiling linux-raw-sys v0.11.0 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling syn v2.0.110 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling tempfile v3.23.0 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling sha2 v0.10.9 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling telltale-types v6.0.0 [INFO] [stderr] Compiling telltale-theory v6.0.0 [INFO] [stderr] Compiling telltale-lean-bridge v6.0.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 25.23s [INFO] running `Command { std: "docker" "inspect" "22f406ba3087691db1e58fa9d8206c8f4f28e3808b94c13cc1cf2e391763dcf5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "22f406ba3087691db1e58fa9d8206c8f4f28e3808b94c13cc1cf2e391763dcf5", kill_on_drop: false }` [INFO] [stdout] 22f406ba3087691db1e58fa9d8206c8f4f28e3808b94c13cc1cf2e391763dcf5 [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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] fbf2531bbaa3a29c7675f3847a24ef5b47b6df4aebf09df4995263ba02dfd98f [INFO] running `Command { std: "docker" "start" "-a" "fbf2531bbaa3a29c7675f3847a24ef5b47b6df4aebf09df4995263ba02dfd98f", 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 memchr v2.7.6 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Compiling quote v1.0.42 [INFO] [stderr] Compiling hashbrown v0.16.0 [INFO] [stderr] Compiling futures-sink v0.3.31 [INFO] [stderr] Compiling futures-core v0.3.31 [INFO] [stderr] Compiling ucd-trie v0.1.7 [INFO] [stderr] Compiling slab v0.4.11 [INFO] [stderr] Compiling futures-io v0.3.31 [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Compiling futures-task v0.3.31 [INFO] [stderr] Compiling anyhow v1.0.100 [INFO] [stderr] Compiling deranged v0.5.5 [INFO] [stderr] Compiling winnow v0.7.13 [INFO] [stderr] Compiling toml_write v0.1.2 [INFO] [stderr] Compiling bytes v1.11.0 [INFO] [stderr] Compiling time-core v0.1.6 [INFO] [stderr] Compiling tracing-core v0.1.34 [INFO] [stderr] Compiling futures-channel v0.3.31 [INFO] [stderr] Compiling quick-error v1.2.3 [INFO] [stderr] Compiling unsafe-libyaml v0.2.11 [INFO] [stderr] Compiling bit-vec v0.8.0 [INFO] [stderr] Compiling unarray v0.1.4 [INFO] [stderr] Compiling regex-syntax v0.8.8 [INFO] [stderr] Compiling bit-set v0.8.0 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Compiling pest v2.8.3 [INFO] [stderr] Compiling syn v2.0.110 [INFO] [stderr] Compiling indexmap v2.12.0 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling socket2 v0.6.1 [INFO] [stderr] Compiling mio v1.1.0 [INFO] [stderr] Compiling signal-hook-registry v1.4.6 [INFO] [stderr] Compiling wait-timeout v0.2.1 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling tempfile v3.23.0 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling rand_xorshift v0.4.0 [INFO] [stderr] Compiling parking_lot v0.12.5 [INFO] [stderr] Compiling pest_meta v2.8.3 [INFO] [stderr] Compiling rusty-fork v0.3.1 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.9.0 [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 telltale-macros v6.0.0 [INFO] [stderr] Compiling async-trait v0.1.89 [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Compiling async-recursion v1.1.1 [INFO] [stderr] Compiling pest_derive v2.8.3 [INFO] [stderr] Compiling tokio v1.48.0 [INFO] [stderr] Compiling futures-util v0.3.31 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling tracing v0.1.41 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling futures-executor v0.3.31 [INFO] [stderr] Compiling futures v0.3.31 [INFO] [stderr] Compiling telltale-types v6.0.0 [INFO] [stderr] Compiling toml_datetime v0.6.11 [INFO] [stderr] Compiling serde_spanned v0.6.9 [INFO] [stderr] Compiling bincode v1.3.3 [INFO] [stderr] Compiling time v0.3.44 [INFO] [stderr] Compiling serde_yaml v0.9.34+deprecated [INFO] [stderr] Compiling uuid v1.18.1 [INFO] [stderr] Compiling toml_edit v0.22.27 [INFO] [stderr] Compiling telltale-theory v6.0.0 [INFO] [stderr] Compiling telltale v6.0.0 [INFO] [stderr] Compiling toml v0.8.23 [INFO] [stderr] Compiling telltale-vm v6.0.0 [INFO] [stderr] Compiling telltale-lean-bridge v6.0.0 (/opt/rustwide/workdir) [INFO] [stderr] Compiling telltale-choreography v6.0.0 [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 06s [INFO] running `Command { std: "docker" "inspect" "fbf2531bbaa3a29c7675f3847a24ef5b47b6df4aebf09df4995263ba02dfd98f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fbf2531bbaa3a29c7675f3847a24ef5b47b6df4aebf09df4995263ba02dfd98f", kill_on_drop: false }` [INFO] [stdout] fbf2531bbaa3a29c7675f3847a24ef5b47b6df4aebf09df4995263ba02dfd98f [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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] e95a8447ec63ce23645489ae925e15f065a46dca02a9b3fdca56712e14a30b94 [INFO] running `Command { std: "docker" "start" "-a" "e95a8447ec63ce23645489ae925e15f065a46dca02a9b3fdca56712e14a30b94", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.27s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/telltale_lean_bridge-dba7a0f80fa0a762) [INFO] [stdout] [INFO] [stdout] running 69 tests [INFO] [stdout] test equivalence::tests::test_equivalence_result_failure ... ok [INFO] [stdout] test equivalence::tests::test_json_structural_equality ... ok [INFO] [stdout] test equivalence::tests::test_equivalence_result_success ... ok [INFO] [stdout] test equivalence::tests::test_projection_role_set_check_accepts_exact_match ... ok [INFO] [stdout] test equivalence::tests::test_projection_role_set_check_rejects_unexpected_roles ... ok [INFO] [stdout] test export::tests::test_global_comm ... ok [INFO] [stdout] test equivalence::tests::test_projection_role_set_check_rejects_missing_roles ... 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 equivalence::tests::test_strict_mode_is_wired_into_comparison ... ok [INFO] [stdout] test equivalence::golden::tests::stale_golden_projection_roles_detects_extra_files ... ok [INFO] [stdout] test export::tests::test_label_with_sort ... ok [INFO] [stdout] test export::tests::test_local_send ... ok [INFO] [stdout] test export::tests::test_real_sort ... ok [INFO] [stdout] test export::tests::test_vector_sort ... ok [INFO] [stdout] test export::tests::test_local_recv ... 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_global_reports_expected_array_for_branches ... ok [INFO] [stdout] test import::tests::test_parse_global_reports_expected_string_for_sender ... ok [INFO] [stdout] test export::tests::test_prod_sort ... ok [INFO] [stdout] test export::tests::test_local_end ... ok [INFO] [stdout] test import::tests::test_parse_prod_sort ... 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_vector_sort ... ok [INFO] [stdout] test import::tests::test_roundtrip ... ok [INFO] [stdout] test invariants::tests::test_export_protocol_bundle_includes_schema_and_claims ... ok [INFO] [stdout] test projection_payload::tests::parse_projections_field_accepts_object_form ... ok [INFO] [stdout] test runner::tests::test_parse_json_log_rejects_invalid_status ... ok [INFO] [stdout] test runner::tests::test_parse_json_log_success ... ok [INFO] [stdout] test runner::tests::test_with_nonexistent_path_fails ... ok [INFO] [stdout] test sim_reference::tests::sim_input_legacy_decode_defaults_schema_version ... ok [INFO] [stdout] test sim_reference::tests::sim_output_legacy_decode_defaults_schema_version ... ok [INFO] [stdout] test import::tests::test_parse_real_sort ... ok [INFO] [stdout] test runner::tests::test_is_available_returns_bool ... ok [INFO] [stdout] test runner::tests::test_try_new_returns_option ... ok [INFO] [stdout] test sim_reference::tests::sim_trace_validation_roundtrip ... ok [INFO] [stdout] test projection_payload::tests::parse_projections_field_accepts_array_form ... ok [INFO] [stdout] test runner::tests::test_parse_output_rejects_empty_json_log ... ok [INFO] [stdout] test runner::tests::test_parse_output_requires_json_log_file ... 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_projection_rejects_payload_annotation_mismatch ... ok [INFO] [stdout] test validate::tests::test_compare_subtyping_match ... ok [INFO] [stdout] test validate::tests::test_compare_subtyping_mismatch ... ok [INFO] [stdout] test validate::tests::test_global_roundtrip_valid ... ok [INFO] [stdout] test validate::tests::test_local_roundtrip_valid ... ok [INFO] [stdout] test runner::tests::test_wait_with_timeout_returns_timeout_error ... ok [INFO] [stdout] test validate::tests::test_recursive_roundtrip ... ok [INFO] [stdout] test vm_export::tests::vm_export_includes_schema_and_compatibility ... ok [INFO] [stdout] test vm_export::tests::vm_export_legacy_aliases_decode ... ok [INFO] [stdout] test vm_export::tests::vm_export_roundtrip_via_json_decoder ... ok [INFO] [stdout] test vm_export::tests::vm_export_serialization_failure_is_not_silenced ... ok [INFO] [stdout] test vm_runner::tests::compute_trace_diff_reports_event_mismatch ... ok [INFO] [stdout] test vm_runner::tests::compute_trace_diff_none_for_equal_traces ... ok [INFO] [stdout] test vm_runner::tests::parse_required_valid_rejects_missing_or_non_boolean ... ok [INFO] [stdout] test vm_runner::tests::parse_sim_run_output_checks_schema_version ... ok [INFO] [stdout] test vm_runner::tests::parse_structured_errors_reads_codes_and_paths ... ok [INFO] [stdout] test vm_runner::tests::simulation_trace_payload_has_expected_shape ... ok [INFO] [stdout] test vm_runner::tests::parse_sim_trace_validation_reads_errors_and_artifacts ... ok [INFO] [stdout] test vm_trace::tests::event_session_extracts_common_shapes ... ok [INFO] [stdout] test vm_trace::tests::normalize_vm_trace_rewrites_ticks_per_session ... ok [INFO] [stdout] test vm_trace::tests::traces_equivalent_compares_normalized_ticks ... ok [INFO] [stdout] test vm_runner::tests::wait_with_timeout_returns_timeout_error ... ok [INFO] [stderr] Running tests/coherence_tests.rs (/opt/rustwide/target/debug/deps/coherence_tests-f35e77637a9eac49) [INFO] [stdout] [INFO] [stdout] test result: ok. 69 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 22 tests [INFO] [stdout] test test_coherent_choice ... ok [INFO] [stdout] test test_coherent_simple_protocol ... ok [INFO] [stdout] test test_coherent_recursive ... ok [INFO] [stdout] test test_action_pred ... ok [INFO] [stdout] test test_coherent_end ... ok [INFO] [stdout] test test_good_g_choice ... ok [INFO] [stdout] test test_coherent_three_party ... ok [INFO] [stdout] test test_good_g_simple ... ok [INFO] [stdout] test test_incoherent_empty_branches ... ok [INFO] [stdout] test test_incoherent_duplicate_labels ... ok [INFO] [stdout] test test_incoherent_self_comm ... ok [INFO] [stdout] test test_incoherent_nested_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_size_pred ... ok [INFO] [stdout] test test_unique_labels ... ok [INFO] [stdout] test test_projectable_three_party ... ok [INFO] [stdout] test proptest_malformed_is_incoherent ... ok [INFO] [stdout] test proptest_well_formed_implies_coherent ... ok [INFO] [stdout] test proptest_coherent_implies_well_formed ... ok [INFO] [stdout] test proptest_coherence_bundle_consistency ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.12s [INFO] [stdout] [INFO] [stderr] Running tests/golden_equivalence_tests.rs (/opt/rustwide/target/debug/deps/golden_equivalence_tests-83411f04e16b251d) [INFO] [stdout] [INFO] [stdout] running 7 tests [INFO] [stdout] test test_ping_pong_bob_projection ... ok [INFO] [stdout] test test_ping_pong_all_projections ... ok [INFO] [stdout] test test_choice_protocol_server_projection ... ok [INFO] [stdout] test test_choice_protocol_client_projection ... ok [INFO] [stdout] test test_choice_protocol_all_projections ... ok [INFO] [stdout] test test_ping_pong_alice_projection ... ok [INFO] [stderr] Running tests/invariant_verification.rs (/opt/rustwide/target/debug/deps/invariant_verification-164d39ceb142396d) [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.01s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test test_lean_rejects_bad_quorum ... ok [INFO] [stdout] test test_lean_verifies_valid_quorum_protocol ... ok [INFO] [stdout] test test_lean_rejects_deadlock ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/lean_integration_tests.rs (/opt/rustwide/target/debug/deps/lean_integration_tests-96fa6db41a7c940d) [INFO] [stdout] [INFO] [stdout] running 16 tests [INFO] [stdout] test test_lean_binary_available_for_ci ... ignored, temporarily disabled during Lean refactoring [INFO] [stdout] test test_choice_sender_projection ... ok [INFO] [stdout] test test_role_b_ping_pong ... ok [INFO] [stdout] test test_recursive_ping_pong_role_b ... ok [INFO] [stdout] test test_choice_receiver_projection ... ok [INFO] [stdout] test test_three_party_ring ... ok [INFO] [stdout] test test_missing_action_detected ... ok [INFO] [stdout] test test_simple_ping_pong ... ok [INFO] [stdout] test test_invalid_projection_detected ... ok [INFO] [stdout] test test_rust_globaltype_matches_lean ... ok [INFO] [stdout] test test_wrong_label_detected ... ok [INFO] [stdout] test test_validator_with_lean ... ok [INFO] [stdout] test test_calculator_protocol ... ok [INFO] [stdout] test test_validator_detects_invalid ... ok [INFO] [stdout] test test_recursive_ping_pong ... ok [INFO] [stdout] test test_recursive_choice ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 15 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.07s [INFO] [stdout] [INFO] [stderr] Running tests/live_equivalence_tests.rs (/opt/rustwide/target/debug/deps/live_equivalence_tests-e149d71282603371) [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 proptest_live_projection_equivalence ... ok [INFO] [stdout] test test_live_choice_projection ... ok [INFO] [stdout] test test_live_ping_pong_projection ... ok [INFO] [stdout] test test_live_recursive_projection ... ok [INFO] [stdout] test test_live_three_party_projection ... ok [INFO] [stderr] Running tests/merge_semantics_tests.rs (/opt/rustwide/target/debug/deps/merge_semantics_tests-551ebeecf0a9be22) [INFO] [stdout] test test_golden_drift_detection ... 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] [stdout] [INFO] [stdout] running 20 tests [INFO] [stdout] test test_can_merge_end ... ok [INFO] [stdout] test test_lean_accepts_first_branch_for_nonparticipant ... ok [INFO] [stdout] test test_lean_validates_compatible_projection ... ok [INFO] [stdout] test test_recursive_merge_same_var ... ok [INFO] [stdout] test test_projection_fails_for_incompatible_send_merge ... ok [INFO] [stdout] test test_can_merge_recv_different_label_true ... ok [INFO] [stdout] test test_can_merge_send_same_label ... ok [INFO] [stdout] test test_recursive_recv_different_labels_succeeds ... ok [INFO] [stdout] test test_can_merge_end_send_false ... ok [INFO] [stdout] test test_can_merge_send_different_label_false ... ok [INFO] [stdout] test test_projection_succeeds_for_recv_merge ... ok [INFO] [stdout] test test_recursive_merge_different_var_fails ... ok [INFO] [stdout] test test_merged_recv_json_roundtrip ... 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_same_labels_succeeds ... ok [INFO] [stdout] test test_send_merge_same_labels_succeeds ... ok [INFO] [stdout] test test_recv_merge_different_labels_unions ... ok [INFO] [stdout] test test_send_merge_different_labels_fails ... ok [INFO] [stderr] Running tests/projection_equivalence.rs (/opt/rustwide/target/debug/deps/projection_equivalence-19f4d8e706587361) [INFO] [stdout] test test_projection_succeeds_for_compatible_send_merge ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 16 tests [INFO] [stdout] test test_binary_choice ... ok [INFO] [stdout] test test_deep_nesting ... ok [INFO] [stdout] test test_comprehensive_validation ... ok [INFO] [stdout] test test_non_participant_mergeable ... ok [INFO] [stdout] test test_recursion_with_choice ... ok [INFO] [stdout] test test_simple_recursion ... ok [INFO] [stdout] test test_nested_choice ... ok [INFO] [stdout] test test_choice_with_continuation ... ok [INFO] [stdout] test test_single_role_in_choice_branch ... ok [INFO] [stdout] test test_three_party_choice ... ok [INFO] [stdout] test test_three_party_ring ... ok [INFO] [stdout] test test_simple_send ... ok [INFO] [stdout] test test_three_way_choice ... ok [INFO] [stdout] test test_three_message_chain ... ok [INFO] [stdout] test test_two_message_sequence ... ok [INFO] [stdout] test test_three_party_star ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stderr] Running tests/projection_runner_tests.rs (/opt/rustwide/target/debug/deps/projection_runner_tests-dd6a78ab8d32ef54) [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test test_recursive_protocol_projection ... ok [INFO] [stdout] test test_simple_two_role_projection ... ok [INFO] [stdout] test test_choice_projection_three_roles ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stderr] Running tests/property_tests.rs (/opt/rustwide/target/debug/deps/property_tests-32fe1147ad5e0bdc) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test invariant_claim_consistency ... ok [INFO] [stdout] test rust_lean_trace_consistency ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_async_subtyping.rs (/opt/rustwide/target/debug/deps/proptest_async_subtyping-ada323468f8fc44f) [INFO] [stdout] [INFO] [stdout] running 35 tests [INFO] [stdout] test test_async_reordering_send_recv ... ok [INFO] [stdout] test test_deeply_nested_sequence ... ok [INFO] [stdout] test test_async_subtype_end_reflexive ... ok [INFO] [stdout] test test_independent_sends_to_different_partners ... ok [INFO] [stdout] test test_input_tree_partner_mismatch_fails ... ok [INFO] [stdout] test test_input_tree_label_mismatch_fails ... ok [INFO] [stdout] test test_input_tree_contravariance_leaf_accepts_all ... ok [INFO] [stdout] test test_async_subtype_end_only_matches_empty_phase_supertype ... ok [INFO] [stdout] test test_orphan_free_end ... ok [INFO] [stdout] test test_output_tree_partner_mismatch_fails ... ok [INFO] [stdout] test test_mixed_partners_sequence ... ok [INFO] [stdout] test test_single_branch_recv ... ok [INFO] [stdout] test test_siso_decompose_end_is_empty ... ok [INFO] [stdout] test test_recursive_type_decomposition ... ok [INFO] [stdout] test test_input_tree_size ... ok [INFO] [stdout] test test_output_tree_size ... ok [INFO] [stdout] test test_single_branch_send ... ok [INFO] [stdout] test test_output_tree_node_not_subtype_of_leaf ... ok [INFO] [stdout] test test_input_tree_reflexivity ... ok [INFO] [stdout] test test_async_equivalent_reflexive ... ok [INFO] [stdout] test test_choice_types_reflexive_subtype ... ok [INFO] [stdout] test test_three_branch_choice ... ok [INFO] [stdout] test test_var_type ... ok [INFO] [stdout] test test_output_tree_covariance_leaf_subtype_of_all ... ok [INFO] [stdout] test test_siso_decompose_succeeds_for_sequences ... ok [INFO] [stdout] test test_output_tree_reflexivity ... ok [INFO] [stdout] test test_async_equivalent_symmetric ... ok [INFO] [stdout] test test_orphan_free_simple_types ... ok [INFO] [stdout] test test_siso_segment_reflexive ... ok [INFO] [stdout] test test_siso_decompose_succeeds_for_simple_types ... ok [INFO] [stdout] test test_siso_decompose_non_empty_for_non_end ... ok [INFO] [stdout] test test_choice_types_decompose ... ok [INFO] [stdout] test test_siso_segment_empty_is_subtype ... ok [INFO] [stdout] test test_orphan_free_sequences ... ok [INFO] [stdout] test test_async_subtype_reflexive ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 35 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_bundle.rs (/opt/rustwide/target/debug/deps/proptest_bundle-52b5e5ca1f6200a5) [INFO] [stdout] [INFO] [stdout] running 29 tests [INFO] [stdout] test classical_ldp_roundtrip ... ok [INFO] [stdout] test classical_fluid_roundtrip ... ok [INFO] [stdout] test classical_littles_law_roundtrip ... ok [INFO] [stdout] test classical_heavy_traffic_roundtrip ... ok [INFO] [stdout] test classical_max_weight_roundtrip ... ok [INFO] [stdout] test distributed_crdt_roundtrip ... ok [INFO] [stdout] test distributed_accountable_safety_roundtrip ... ok [INFO] [stdout] test distributed_consensus_envelope_roundtrip ... ok [INFO] [stdout] test distributed_byzantine_safety_roundtrip ... ok [INFO] [stdout] test distributed_cap_roundtrip ... ok [INFO] [stdout] test classical_functional_clt_roundtrip ... ok [INFO] [stdout] test classical_concentration_roundtrip ... ok [INFO] [stdout] test classical_mixing_roundtrip ... ok [INFO] [stdout] test distributed_failure_detectors_roundtrip ... ok [INFO] [stdout] test distributed_nakamoto_roundtrip ... ok [INFO] [stdout] test distributed_atomic_broadcast_roundtrip ... ok [INFO] [stdout] test distributed_coordination_roundtrip ... ok [INFO] [stdout] test distributed_data_availability_roundtrip ... ok [INFO] [stdout] test distributed_flp_roundtrip ... ok [INFO] [stdout] test distributed_failure_envelope_roundtrip ... ok [INFO] [stdout] test distributed_responsiveness_roundtrip ... ok [INFO] [stdout] test classical_mean_field_roundtrip ... ok [INFO] [stdout] test distributed_partial_synchrony_roundtrip ... ok [INFO] [stdout] test distributed_protocol_envelope_bridge_roundtrip ... ok [INFO] [stdout] test distributed_reconfiguration_roundtrip ... ok [INFO] [stdout] test distributed_vm_envelope_adherence_roundtrip ... ok [INFO] [stdout] test distributed_vm_envelope_admission_roundtrip ... ok [INFO] [stdout] test distributed_quorum_geometry_roundtrip ... ok [INFO] [stdout] test classical_foster_roundtrip ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_json_roundtrip.rs (/opt/rustwide/target/debug/deps/proptest_json_roundtrip-145d7269c251fac7) [INFO] [stdout] [INFO] [stdout] running 12 tests [INFO] [stdout] test recursive_tests::recursive_local_roundtrip ... ok [INFO] [stdout] test recursive_tests::recursive_global_roundtrip ... ok [INFO] [stdout] test recursive_tests::nested_recursive_roundtrip ... ok [INFO] [stdout] test seeded_tests::seed_produces_deterministic_sequence ... ok [INFO] [stdout] test generated_globals_well_formed ... ok [INFO] [stdout] test seeded_tests::reproducible_local_roundtrip ... ok [INFO] [stdout] test seeded_tests::reproducible_global_roundtrip ... ok [INFO] [stdout] test generated_locals_well_formed ... ok [INFO] [stdout] test local_json_roundtrip ... ok [INFO] [stdout] test global_json_has_required_fields ... ok [INFO] [stdout] test global_json_roundtrip ... ok [INFO] [stdout] test no_free_vars_in_generated ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.18s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_projection.rs (/opt/rustwide/target/debug/deps/proptest_projection-9564a03d782e02d4) [INFO] [stdout] [INFO] [stdout] running 15 tests [INFO] [stdout] test test_multiway_choice_against_lean ... ok [INFO] [stdout] test test_rust_projection_matches_lean_choice ... ok [INFO] [stdout] test test_deep_nesting_against_lean ... ok [INFO] [stdout] test test_choice_continuation_bug_fix_against_lean ... ok [INFO] [stdout] test test_rust_projection_matches_lean_simple ... ok [INFO] [stdout] test test_sender_gets_send_receiver_gets_recv ... ok [INFO] [stdout] test test_project_all_consistency ... ok [INFO] [stdout] test test_choice_projections_have_all_branches ... ok [INFO] [stdout] test test_three_party_nonparticipant_projections ... ok [INFO] [stdout] test test_choice_nonparticipant_merge ... 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] test test_deep_nesting_projections ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s [INFO] [stdout] [INFO] [stderr] Running tests/schema_version_tests.rs (/opt/rustwide/target/debug/deps/schema_version_tests-f8cdf3f39875cc5e) [INFO] [stdout] [INFO] [stdout] running 8 tests [INFO] [stdout] test schema_validator_accepts_current_and_rejects_unknown ... ok [INFO] [stdout] test replay_trace_bundle_legacy_decode_defaults_schema_version ... ok [INFO] [stdout] test protocol_bundle_roundtrip_preserves_schema_version ... ok [INFO] [stdout] test protocol_bundle_legacy_decode_defaults_schema_version ... ok [INFO] [stdout] test vm_run_input_roundtrip_preserves_schema_version ... ok [INFO] [stdout] test vm_run_output_legacy_decode_defaults_schema_version ... ok [INFO] [stdout] test vm_state_roundtrip_preserves_vm_state_schema_version ... ok [INFO] [stdout] test vm_state_legacy_decode_accepts_v0_shape_aliases ... ok [INFO] [stderr] Running tests/semantics_verification.rs (/opt/rustwide/target/debug/deps/semantics_verification-6a56420dd1ad4c8a) [INFO] [stdout] [INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 36 tests [INFO] [stdout] test test_can_step_end ... ok [INFO] [stdout] test test_can_step_head_action ... ok [INFO] [stdout] test test_can_step_async_blocked_sender_is_receiver ... ok [INFO] [stdout] test test_can_step_async_blocked_same_receiver ... ok [INFO] [stdout] test test_can_step_wrong_label ... ok [INFO] [stdout] test test_can_step_mu ... ok [INFO] [stdout] test test_can_step_async_reorder ... ok [INFO] [stdout] test test_can_step_wrong_sender ... ok [INFO] [stdout] test test_consume_proof_wrong_sender ... ok [INFO] [stdout] test test_good_g_end ... ok [INFO] [stdout] test test_local_can_step_async ... ok [INFO] [stdout] test test_local_action_to_global_recv ... ok [INFO] [stdout] test test_local_can_step_recv ... ok [INFO] [stdout] test test_local_step_async ... ok [INFO] [stdout] test test_local_action_to_global_send ... ok [INFO] [stdout] test test_good_g_recursive ... ok [INFO] [stdout] test test_reduces_choice ... ok [INFO] [stdout] test test_consume_proof_simple ... ok [INFO] [stdout] test test_local_can_step_send ... ok [INFO] [stdout] test test_local_step_recv ... ok [INFO] [stdout] test test_good_g_choice ... ok [INFO] [stdout] test test_good_g_simple ... ok [INFO] [stdout] test test_can_step_wrong_receiver ... ok [INFO] [stdout] test test_reduces_star_refl ... ok [INFO] [stdout] test test_reduces_simple ... ok [INFO] [stdout] test test_step_async ... ok [INFO] [stdout] test test_step_choice ... ok [INFO] [stdout] test test_reduces_star_transitive ... ok [INFO] [stdout] test test_step_head ... ok [INFO] [stdout] test test_step_mu ... ok [INFO] [stdout] test test_consume_proof_mu ... ok [INFO] [stdout] test test_local_step_send ... ok [INFO] [stdout] test proptest_reduces_star_reflexive ... ok [INFO] [stdout] test proptest_step_implies_can_step ... ok [INFO] [stdout] test proptest_can_step_implies_step_exists ... ok [INFO] [stdout] test proptest_well_formed_is_good ... ok [INFO] [stdout] [INFO] [stderr] Running tests/vm_composition_stress.rs (/opt/rustwide/target/debug/deps/vm_composition_stress-596fd13cf590d95b) [INFO] [stdout] test result: ok. 36 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test composed_workload_reports_memory_latency_and_safety_metrics ... ok [INFO] [stdout] test composed_workload_scales_with_lane_count_proxy ... ok [INFO] [stderr] Running tests/vm_correspondence_tests.rs (/opt/rustwide/target/debug/deps/vm_correspondence_tests-3ee24d0addc411fd) [INFO] [stdout] test tier1_throughput_budget_stays_within_45_percent ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 3.83s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test test_vm_trace_correspondence_all_tier1 ... ok [INFO] [stdout] test test_vm_trace_correspondence_tier2_to_tier4 ... ok [INFO] [stderr] Running tests/vm_cross_target_tests.rs (/opt/rustwide/target/debug/deps/vm_cross_target_tests-9d900c872fcdc605) [INFO] [stdout] test test_vm_trace_correspondence_ping_pong ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test cross_target_matrix_replay_effect_trace_comparison ... ok [INFO] [stdout] test cross_target_matrix_lane_selection_normalization_single_vs_multi_lane ... ok [INFO] [stdout] test cross_target_matrix_native_single_vs_threaded_traces ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stderr] Running tests/vm_differential_steps.rs (/opt/rustwide/target/debug/deps/vm_differential_steps-98fe1dcc8fc0c8a9) [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test tier1_step_indexed_correspondence ... ok [INFO] [stdout] test tier2_step_indexed_correspondence ... 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] Doc-tests telltale_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_local (line 165) ... ok [INFO] [stdout] test src/export.rs - export::local_to_json (line 88) ... ok [INFO] [stdout] test src/import.rs - import::json_to_global (line 96) ... ok [INFO] [stdout] test src/export.rs - export::global_to_json (line 22) ... 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.74s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "e95a8447ec63ce23645489ae925e15f065a46dca02a9b3fdca56712e14a30b94", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e95a8447ec63ce23645489ae925e15f065a46dca02a9b3fdca56712e14a30b94", kill_on_drop: false }` [INFO] [stdout] e95a8447ec63ce23645489ae925e15f065a46dca02a9b3fdca56712e14a30b94