[INFO] fetching crate telltale-lean-bridge 6.0.0...
[INFO] testing telltale-lean-bridge-6.0.0 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate telltale-lean-bridge 6.0.0 into /workspace/builds/worker-6-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-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate telltale-lean-bridge 6.0.0 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "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" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 81dbb7b38f67fbd56cf218da64972dbf89f2a174e44bc59ce79b4c4e80d0dd0b
[INFO] running `Command { std: "docker" "start" "81dbb7b38f67fbd56cf218da64972dbf89f2a174e44bc59ce79b4c4e80d0dd0b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "81dbb7b38f67fbd56cf218da64972dbf89f2a174e44bc59ce79b4c4e80d0dd0b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "81dbb7b38f67fbd56cf218da64972dbf89f2a174e44bc59ce79b4c4e80d0dd0b" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "81dbb7b38f67fbd56cf218da64972dbf89f2a174e44bc59ce79b4c4e80d0dd0b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "81dbb7b38f67fbd56cf218da64972dbf89f2a174e44bc59ce79b4c4e80d0dd0b" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling fixed v1.30.0
[INFO] [stderr]    Compiling az v1.3.0
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling bytemuck v1.25.0
[INFO] [stderr]    Compiling half v1.8.3
[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 once_cell v1.21.3
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling tempfile v3.23.0
[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 `release` profile [optimized] target(s) in 35.88s
[INFO] running `Command { std: "docker" "inspect" "81dbb7b38f67fbd56cf218da64972dbf89f2a174e44bc59ce79b4c4e80d0dd0b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "81dbb7b38f67fbd56cf218da64972dbf89f2a174e44bc59ce79b4c4e80d0dd0b" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling pest v2.8.3
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling deranged v0.5.5
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling winnow v0.7.13
[INFO] [stderr]    Compiling time-core v0.1.6
[INFO] [stderr]    Compiling num-conv v0.1.0
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rayon v1.11.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 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 async-trait v0.1.89
[INFO] [stderr]    Compiling telltale-macros v6.0.0
[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 telltale-types v6.0.0
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling bincode v1.3.3
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling time v0.3.44
[INFO] [stderr]    Compiling uuid v1.18.1
[INFO] [stderr]    Compiling serde_yaml v0.9.34+deprecated
[INFO] [stderr]    Compiling telltale-theory v6.0.0
[INFO] [stderr]    Compiling futures-executor v0.3.31
[INFO] [stderr]    Compiling telltale-lean-bridge v6.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling futures v0.3.31
[INFO] [stderr]    Compiling telltale-vm v6.0.0
[INFO] [stderr]    Compiling telltale v6.0.0
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling telltale-choreography v6.0.0
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 2m 55s
[INFO] running `Command { std: "docker" "inspect" "81dbb7b38f67fbd56cf218da64972dbf89f2a174e44bc59ce79b4c4e80d0dd0b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "81dbb7b38f67fbd56cf218da64972dbf89f2a174e44bc59ce79b4c4e80d0dd0b" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.28s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/50c810ba98874578/out/telltale_lean_bridge-50c810ba98874578)
[INFO] [stdout] 
[INFO] [stdout] running 69 tests
[INFO] [stdout] test equivalence::tests::test_projection_role_set_check_rejects_missing_roles ... ok
[INFO] [stdout] test equivalence::tests::test_projection_role_set_check_rejects_unexpected_roles ... ok
[INFO] [stdout] test equivalence::tests::test_equivalence_result_failure ... ok
[INFO] [stdout] test equivalence::tests::test_strict_mode_is_wired_into_comparison ... ok
[INFO] [stdout] test equivalence::tests::test_projection_role_set_check_accepts_exact_match ... ok
[INFO] [stdout] test export::tests::test_global_comm ... ok
[INFO] [stdout] test export::tests::test_global_end ... ok
[INFO] [stdout] test export::tests::test_global_rec ... ok
[INFO] [stdout] test export::tests::test_label_with_sort ... 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 equivalence::tests::test_equivalence_result_success ... ok
[INFO] [stdout] test equivalence::tests::test_checker_has_lean ... ok
[INFO] [stdout] test equivalence::golden::tests::stale_golden_projection_roles_detects_extra_files ... ok
[INFO] [stdout] test export::tests::test_real_sort ... ok
[INFO] [stdout] test import::tests::test_parse_global_reports_expected_array_for_branches ... ok
[INFO] [stdout] test import::tests::test_parse_local_send ... ok
[INFO] [stdout] test import::tests::test_parse_prod_sort ... ok
[INFO] [stdout] test equivalence::tests::test_json_structural_equality ... ok
[INFO] [stdout] test export::tests::test_vector_sort ... ok
[INFO] [stdout] test import::tests::test_parse_global_comm ... ok
[INFO] [stdout] test invariants::tests::test_export_protocol_bundle_includes_schema_and_claims ... ok
[INFO] [stdout] test runner::tests::test_is_available_returns_bool ... 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 import::tests::test_parse_global_reports_expected_string_for_sender ... ok
[INFO] [stdout] test projection_payload::tests::parse_projections_field_accepts_object_form ... ok
[INFO] [stdout] test runner::tests::test_with_nonexistent_path_fails ... ok
[INFO] [stdout] test runner::tests::test_try_new_returns_option ... ok
[INFO] [stdout] test sim_reference::tests::sim_output_legacy_decode_defaults_schema_version ... ok
[INFO] [stdout] test sim_reference::tests::sim_input_legacy_decode_defaults_schema_version ... ok
[INFO] [stdout] test projection_payload::tests::parse_projections_field_accepts_array_form ... ok
[INFO] [stdout] test import::tests::test_parse_vector_sort ... ok
[INFO] [stdout] test import::tests::test_parse_global_end ... 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 test_utils::tests::test_deterministic_seed_is_32_bytes ... ok
[INFO] [stdout] test validate::tests::test_local_roundtrip_valid ... ok
[INFO] [stdout] test test_utils::tests::test_lean_available_returns_bool ... ok
[INFO] [stdout] test sim_reference::tests::sim_trace_validation_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_runner::tests::parse_sim_trace_validation_reads_errors_and_artifacts ... 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 import::tests::test_parse_local_end ... ok
[INFO] [stdout] test import::tests::test_parse_global_rec ... ok
[INFO] [stdout] test import::tests::test_parse_real_sort ... ok
[INFO] [stdout] test export::tests::test_prod_sort ... ok
[INFO] [stdout] test validate::tests::test_recursive_roundtrip ... 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_trace::tests::event_session_extracts_common_shapes ... ok
[INFO] [stdout] test import::tests::test_roundtrip ... ok
[INFO] [stdout] test vm_trace::tests::traces_equivalent_compares_normalized_ticks ... ok
[INFO] [stdout] test vm_trace::tests::normalize_vm_trace_rewrites_ticks_per_session ... ok
[INFO] [stdout] test vm_runner::tests::compute_trace_diff_reports_event_mismatch ... ok
[INFO] [stdout] test runner::tests::test_parse_output_rejects_empty_json_log ... 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 runner::tests::test_parse_output_requires_json_log_file ... ok
[INFO] [stdout] test vm_runner::tests::compute_trace_diff_none_for_equal_traces ... ok
[INFO] [stdout] test runner::tests::test_wait_with_timeout_returns_timeout_error ... ok
[INFO] [stderr]      Running tests/coherence_tests.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/f9659fd47dfb15bb/out/coherence_tests-f9659fd47dfb15bb)
[INFO] [stdout] test vm_runner::tests::wait_with_timeout_returns_timeout_error ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 69 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test test_action_pred ... ok
[INFO] [stdout] test test_coherent_end ... ok
[INFO] [stdout] test test_good_g_simple ... ok
[INFO] [stdout] test test_good_g_choice ... ok
[INFO] [stdout] test test_incoherent_duplicate_labels ... ok
[INFO] [stdout] test test_incoherent_empty_branches ... ok
[INFO] [stdout] test proptest_malformed_is_incoherent ... ok
[INFO] [stdout] test test_incoherent_nested_duplicate_labels ... ok
[INFO] [stdout] test test_incoherent_nested_self_comm ... ok
[INFO] [stdout] test test_linear_pred_always_true ... ok
[INFO] [stdout] test test_size_pred ... ok
[INFO] [stdout] test test_unique_labels ... ok
[INFO] [stdout] test proptest_coherence_bundle_consistency ... ok
[INFO] [stdout] test proptest_coherent_implies_well_formed ... ok
[INFO] [stdout] test test_coherent_simple_protocol ... ok
[INFO] [stdout] test test_coherent_recursive ... ok
[INFO] [stdout] test test_projectable_three_party ... ok
[INFO] [stdout] test test_coherent_choice ... ok
[INFO] [stdout] test proptest_well_formed_implies_coherent ... ok
[INFO] [stdout] test test_incoherent_self_comm ... ok
[INFO] [stderr]      Running tests/golden_equivalence_tests.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/58c75cd8c4d0bee6/out/golden_equivalence_tests-58c75cd8c4d0bee6)
[INFO] [stdout] test test_projectable_simple ... ok
[INFO] [stdout] test test_coherent_three_party ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test test_choice_protocol_client_projection ... ok
[INFO] [stdout] test test_choice_protocol_all_projections ... ok
[INFO] [stdout] test test_choice_protocol_server_projection ... ok
[INFO] [stdout] test test_ping_pong_bob_projection ... ok
[INFO] [stdout] test test_all_golden_projections ... ok
[INFO] [stdout] test test_ping_pong_alice_projection ... ok
[INFO] [stdout] test test_ping_pong_all_projections ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/invariant_verification.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/dfe9f422152228f8/out/invariant_verification-dfe9f422152228f8)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_lean_rejects_bad_quorum ... ok
[INFO] [stdout] test test_lean_rejects_deadlock ... ok
[INFO] [stdout] test test_lean_verifies_valid_quorum_protocol ... ok
[INFO] [stderr]      Running tests/lean_integration_tests.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/1a168e0f0586a421/out/lean_integration_tests-1a168e0f0586a421)
[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] [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_missing_action_detected ... ok
[INFO] [stderr]      Running tests/live_equivalence_tests.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/e46957fd33e1fb73/out/live_equivalence_tests-e46957fd33e1fb73)
[INFO] [stdout] test test_recursive_ping_pong_role_b ... ok
[INFO] [stdout] test test_role_b_ping_pong ... ok
[INFO] [stdout] test test_choice_sender_projection ... ok
[INFO] [stdout] test test_invalid_projection_detected ... ok
[INFO] [stdout] test test_rust_globaltype_matches_lean ... ok
[INFO] [stdout] test test_simple_ping_pong ... ok
[INFO] [stdout] test test_validator_detects_invalid ... ok
[INFO] [stdout] test test_calculator_protocol ... ok
[INFO] [stdout] test test_three_party_ring ... ok
[INFO] [stdout] test test_choice_receiver_projection ... ok
[INFO] [stdout] test test_recursive_choice ... ok
[INFO] [stdout] test test_recursive_ping_pong ... ok
[INFO] [stdout] test test_validator_with_lean ... ok
[INFO] [stdout] test test_wrong_label_detected ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[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_ping_pong_projection ... ok
[INFO] [stderr]      Running tests/merge_semantics_tests.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/1a49f5a4222fc5de/out/merge_semantics_tests-1a49f5a4222fc5de)
[INFO] [stdout] test test_golden_drift_detection ... ok
[INFO] [stdout] test test_live_choice_projection ... ok
[INFO] [stdout] test test_live_recursive_projection ... ok
[INFO] [stdout] test test_live_three_party_projection ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test test_projection_succeeds_for_compatible_send_merge ... 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_recursive_merge_same_var ... ok
[INFO] [stdout] test test_recursive_recv_different_labels_succeeds ... ok
[INFO] [stdout] test test_recv_merge_same_labels_succeeds ... ok
[INFO] [stdout] test test_recv_merge_overlapping_labels ... ok
[INFO] [stdout] test test_send_merge_same_labels_succeeds ... ok
[INFO] [stdout] test test_merged_recv_json_roundtrip ... ok
[INFO] [stdout] test test_can_merge_end ... ok
[INFO] [stdout] test test_lean_validates_compatible_projection ... ok
[INFO] [stdout] test test_lean_accepts_first_branch_for_nonparticipant ... ok
[INFO] [stdout] test test_can_merge_recv_different_label_true ... ok
[INFO] [stdout] test test_can_merge_send_different_label_false ... ok
[INFO] [stdout] test test_projection_fails_for_incompatible_send_merge ... ok
[INFO] [stderr]      Running tests/projection_equivalence.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/c0c662921d62e1ae/out/projection_equivalence-c0c662921d62e1ae)
[INFO] [stdout] test test_can_merge_end_send_false ... ok
[INFO] [stdout] test test_recursive_send_different_labels_fails ... ok
[INFO] [stdout] test test_send_merge_different_labels_fails ... ok
[INFO] [stdout] test test_can_merge_send_same_label ... ok
[INFO] [stdout] test test_recv_merge_different_labels_unions ... 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_single_role_in_choice_branch ... ok
[INFO] [stdout] test test_three_party_ring ... ok
[INFO] [stdout] test test_three_party_star ... ok
[INFO] [stdout] test test_binary_choice ... ok
[INFO] [stdout] test test_choice_with_continuation ... ok
[INFO] [stdout] test test_simple_recursion ... ok
[INFO] [stdout] test test_nested_choice ... ok
[INFO] [stdout] test test_recursion_with_choice ... ok
[INFO] [stdout] test test_simple_send ... ok
[INFO] [stdout] test test_comprehensive_validation ... ok
[INFO] [stdout] test test_three_party_choice ... ok
[INFO] [stdout] test test_two_message_sequence ... ok
[INFO] [stdout] test test_deep_nesting ... ok
[INFO] [stdout] test test_non_participant_mergeable ... ok
[INFO] [stdout] test test_three_message_chain ... ok
[INFO] [stdout] test test_three_way_choice ... 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] [stderr]      Running tests/projection_runner_tests.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/506e17582dbc9e9a/out/projection_runner_tests-506e17582dbc9e9a)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_choice_projection_three_roles ... ok
[INFO] [stdout] test test_recursive_protocol_projection ... ok
[INFO] [stdout] test test_simple_two_role_projection ... ok
[INFO] [stderr]      Running tests/property_tests.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/c767ae0638399a48/out/property_tests-c767ae0638399a48)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.24s
[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.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_async_subtyping.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/2fab5554d470d135/out/proptest_async_subtyping-2fab5554d470d135)
[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_async_subtype_end_only_matches_empty_phase_supertype ... ok
[INFO] [stdout] test test_async_equivalent_symmetric ... ok
[INFO] [stdout] test test_input_tree_contravariance_leaf_accepts_all ... ok
[INFO] [stdout] test test_deeply_nested_sequence ... ok
[INFO] [stdout] test test_choice_types_reflexive_subtype ... ok
[INFO] [stdout] test test_async_equivalent_reflexive ... ok
[INFO] [stdout] test test_independent_sends_to_different_partners ... ok
[INFO] [stdout] test test_choice_types_decompose ... 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_mixed_partners_sequence ... ok
[INFO] [stdout] test test_async_subtype_reflexive ... ok
[INFO] [stdout] test test_input_tree_reflexivity ... ok
[INFO] [stdout] test test_input_tree_size ... ok
[INFO] [stdout] test test_orphan_free_end ... ok
[INFO] [stdout] test test_siso_decompose_non_empty_for_non_end ... ok
[INFO] [stdout] test test_orphan_free_sequences ... ok
[INFO] [stdout] test test_three_branch_choice ... ok
[INFO] [stdout] test test_output_tree_size ... ok
[INFO] [stdout] test test_siso_decompose_end_is_empty ... ok
[INFO] [stdout] test test_output_tree_reflexivity ... ok
[INFO] [stdout] test test_single_branch_send ... ok
[INFO] [stdout] test test_single_branch_recv ... ok
[INFO] [stdout] test test_recursive_type_decomposition ... ok
[INFO] [stdout] test test_var_type ... ok
[INFO] [stdout] test test_siso_decompose_succeeds_for_simple_types ... ok
[INFO] [stdout] test test_siso_segment_empty_is_subtype ... ok
[INFO] [stdout] test test_siso_segment_reflexive ... ok
[INFO] [stdout] test test_output_tree_partner_mismatch_fails ... ok
[INFO] [stdout] test test_orphan_free_simple_types ... ok
[INFO] [stdout] test test_output_tree_node_not_subtype_of_leaf ... 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] 
[INFO] [stdout] test result: ok. 35 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_bundle.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/be2914f7ae43d4c5/out/proptest_bundle-be2914f7ae43d4c5)
[INFO] [stdout] 
[INFO] [stdout] running 29 tests
[INFO] [stdout] test classical_heavy_traffic_roundtrip ... ok
[INFO] [stdout] test classical_functional_clt_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 classical_mean_field_roundtrip ... ok
[INFO] [stdout] test distributed_data_availability_roundtrip ... ok
[INFO] [stdout] test distributed_consensus_envelope_roundtrip ... ok
[INFO] [stdout] test distributed_atomic_broadcast_roundtrip ... ok
[INFO] [stdout] test classical_concentration_roundtrip ... ok
[INFO] [stdout] test distributed_coordination_roundtrip ... ok
[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 distributed_byzantine_safety_roundtrip ... ok
[INFO] [stdout] test classical_mixing_roundtrip ... ok
[INFO] [stdout] test classical_foster_roundtrip ... ok
[INFO] [stdout] test distributed_failure_detectors_roundtrip ... ok
[INFO] [stdout] test distributed_cap_roundtrip ... ok
[INFO] [stdout] test distributed_quorum_geometry_roundtrip ... ok
[INFO] [stderr]      Running tests/proptest_json_roundtrip.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/7447a307cc76ec17/out/proptest_json_roundtrip-7447a307cc76ec17)
[INFO] [stdout] test distributed_responsiveness_roundtrip ... ok
[INFO] [stdout] test distributed_partial_synchrony_roundtrip ... ok
[INFO] [stdout] test distributed_protocol_envelope_bridge_roundtrip ... ok
[INFO] [stdout] test distributed_failure_envelope_roundtrip ... ok
[INFO] [stdout] test distributed_vm_envelope_admission_roundtrip ... ok
[INFO] [stdout] test distributed_nakamoto_roundtrip ... ok
[INFO] [stdout] test distributed_flp_roundtrip ... ok
[INFO] [stdout] test distributed_reconfiguration_roundtrip ... ok
[INFO] [stdout] test distributed_vm_envelope_adherence_roundtrip ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test global_json_has_required_fields ... ok
[INFO] [stdout] test recursive_tests::recursive_global_roundtrip ... ok
[INFO] [stdout] test no_free_vars_in_generated ... ok
[INFO] [stdout] test generated_globals_well_formed ... ok
[INFO] [stdout] test local_json_roundtrip ... ok
[INFO] [stdout] test global_json_roundtrip ... ok
[INFO] [stdout] test recursive_tests::nested_recursive_roundtrip ... ok
[INFO] [stdout] test generated_locals_well_formed ... ok
[INFO] [stdout] test recursive_tests::recursive_local_roundtrip ... ok
[INFO] [stdout] test seeded_tests::reproducible_global_roundtrip ... ok
[INFO] [stderr]      Running tests/proptest_projection.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/56fd4e915292720f/out/proptest_projection-56fd4e915292720f)
[INFO] [stdout] test seeded_tests::seed_produces_deterministic_sequence ... ok
[INFO] [stdout] test seeded_tests::reproducible_local_roundtrip ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test test_multiway_choice_against_lean ... 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_choice_nonparticipant_merge ... ok
[INFO] [stdout] test test_rust_projection_matches_lean_simple ... ok
[INFO] [stdout] test test_three_party_nonparticipant_projections ... ok
[INFO] [stdout] test test_choice_projections_have_all_branches ... ok
[INFO] [stdout] test test_project_all_consistency ... ok
[INFO] [stdout] test test_choice_continuations_preserved ... ok
[INFO] [stdout] test test_rust_projection_matches_lean_choice ... ok
[INFO] [stdout] test test_multiway_choice_projections ... ok
[INFO] [stderr]      Running tests/schema_version_tests.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/32b560928c3ef6e0/out/schema_version_tests-32b560928c3ef6e0)
[INFO] [stdout] test test_projection_preserves_roles ... ok
[INFO] [stdout] test test_sender_gets_send_receiver_gets_recv ... 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.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test protocol_bundle_legacy_decode_defaults_schema_version ... ok
[INFO] [stdout] test protocol_bundle_roundtrip_preserves_schema_version ... ok
[INFO] [stdout] test replay_trace_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_legacy_decode_accepts_v0_shape_aliases ... ok
[INFO] [stdout] test schema_validator_accepts_current_and_rejects_unknown ... ok
[INFO] [stdout] test vm_state_roundtrip_preserves_vm_state_schema_version ... ok
[INFO] [stderr]      Running tests/semantics_verification.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/bb6f8c3d99c94aa3/out/semantics_verification-bb6f8c3d99c94aa3)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 36 tests
[INFO] [stdout] test test_consume_proof_simple ... ok
[INFO] [stdout] test test_can_step_mu ... ok
[INFO] [stdout] test test_good_g_choice ... ok
[INFO] [stdout] test test_can_step_wrong_label ... ok
[INFO] [stdout] test test_consume_proof_mu ... ok
[INFO] [stdout] test test_can_step_async_blocked_sender_is_receiver ... ok
[INFO] [stdout] test test_consume_proof_wrong_sender ... ok
[INFO] [stdout] test test_good_g_recursive ... 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_action_to_global_recv ... ok
[INFO] [stdout] test test_local_can_step_recv ... ok
[INFO] [stdout] test proptest_well_formed_is_good ... ok
[INFO] [stdout] test test_local_can_step_send ... ok
[INFO] [stdout] test test_can_step_async_blocked_same_receiver ... ok
[INFO] [stdout] test test_local_step_async ... ok
[INFO] [stdout] test test_can_step_wrong_sender ... ok
[INFO] [stdout] test test_local_step_recv ... ok
[INFO] [stdout] test test_local_step_send ... ok
[INFO] [stdout] test test_reduces_simple ... ok
[INFO] [stdout] test test_reduces_choice ... ok
[INFO] [stdout] test test_step_async ... ok
[INFO] [stdout] test test_step_head ... ok
[INFO] [stdout] test test_can_step_head_action ... ok
[INFO] [stdout] test test_can_step_async_reorder ... ok
[INFO] [stdout] test test_can_step_wrong_receiver ... ok
[INFO] [stdout] test test_step_mu ... ok
[INFO] [stdout] test test_step_choice ... ok
[INFO] [stdout] test test_good_g_end ... ok
[INFO] [stdout] test test_good_g_simple ... ok
[INFO] [stdout] test proptest_can_step_implies_step_exists ... ok
[INFO] [stdout] test test_reduces_star_refl ... ok
[INFO] [stdout] test test_reduces_star_transitive ... ok
[INFO] [stdout] test proptest_step_implies_can_step ... ok
[INFO] [stdout] test test_can_step_end ... ok
[INFO] [stderr]      Running tests/vm_composition_stress.rs (/opt/rustwide/target/release/build/telltale-lean-bridge/04453f0ae3e63603/out/vm_composition_stress-04453f0ae3e63603)
[INFO] [stdout] test proptest_reduces_star_reflexive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 36 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[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] [stdout] test tier1_throughput_budget_stays_within_45_percent ... FAILED
[INFO] [stderr] error: test failed, to rerun pass `--test vm_composition_stress`
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tier1_throughput_budget_stays_within_45_percent stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tier1_throughput_budget_stays_within_45_percent' (2888) panicked at tests/vm_composition_stress.rs:263:5:
[INFO] [stdout] throughput regression exceeded stability budget: median multi/single=0.463, samples=[2.004793418781674, 0.462782119167293, 0.12779583953410495, 0.3169708889381452, 0.8636559180781688]
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60c678042a11 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x60c67805718a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x60c678046c7c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x60c67801e866 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x60c67803abc9 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x60c677f238d0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x60c67803aef2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x60c67801e912 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x60c678017499 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x60c67801f51d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x60c6780578bc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x60c677f0b8cd - <vm_composition_stress[14731971fdb23a09]::tier1_throughput_budget_stays_within_45_percent::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x60c677f16d1b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x60c677f23ef5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x60c677f1d7e4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x60c677f26f82 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x60c678041eff - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x755e3ff23dfa - <unknown>
[INFO] [stdout]   18:     0x755e3ffb73d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     tier1_throughput_budget_stays_within_45_percent
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 2 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.43s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "81dbb7b38f67fbd56cf218da64972dbf89f2a174e44bc59ce79b4c4e80d0dd0b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "81dbb7b38f67fbd56cf218da64972dbf89f2a174e44bc59ce79b4c4e80d0dd0b", kill_on_drop: false }`
[INFO] [stdout] 81dbb7b38f67fbd56cf218da64972dbf89f2a174e44bc59ce79b4c4e80d0dd0b
