[INFO] fetching crate xpile-wasm-codegen 0.1.618...
[INFO] testing xpile-wasm-codegen-0.1.618 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate xpile-wasm-codegen 0.1.618 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate xpile-wasm-codegen 0.1.618
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate xpile-wasm-codegen 0.1.618
[INFO] tweaked toml for crates.io crate xpile-wasm-codegen 0.1.618 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate xpile-wasm-codegen 0.1.618 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 xpile-wasm-codegen 0.1.618 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-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] d492a8f0245fa2029000d1fffcbd31ff7a4abc413f906a34eaf41a4b4d685ba0
[INFO] running `Command { std: "docker" "start" "d492a8f0245fa2029000d1fffcbd31ff7a4abc413f906a34eaf41a4b4d685ba0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d492a8f0245fa2029000d1fffcbd31ff7a4abc413f906a34eaf41a4b4d685ba0", 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" "d492a8f0245fa2029000d1fffcbd31ff7a4abc413f906a34eaf41a4b4d685ba0" "/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" "d492a8f0245fa2029000d1fffcbd31ff7a4abc413f906a34eaf41a4b4d685ba0", 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" "d492a8f0245fa2029000d1fffcbd31ff7a4abc413f906a34eaf41a4b4d685ba0" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling unsafe-libyaml v0.2.11
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling aprender-contracts-macros v0.33.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling serde_yaml v0.9.34+deprecated
[INFO] [stderr]    Compiling xpile-meta-hir v0.1.618
[INFO] [stderr]    Compiling aprender-contracts v0.33.0
[INFO] [stderr]    Compiling xpile-contracts v0.1.618
[INFO] [stderr]    Compiling xpile-backend v0.1.618
[INFO] [stderr]    Compiling xpile-wasm-codegen v0.1.618 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1m 39s
[INFO] running `Command { std: "docker" "inspect" "d492a8f0245fa2029000d1fffcbd31ff7a4abc413f906a34eaf41a4b4d685ba0", 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" "d492a8f0245fa2029000d1fffcbd31ff7a4abc413f906a34eaf41a4b4d685ba0" "/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 zerocopy v0.8.48
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling malachite-nz v0.4.22
[INFO] [stderr]    Compiling unicode-width v0.2.2
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling anyhow v1.0.103
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling getopts v0.2.24
[INFO] [stderr]    Compiling unic-common v0.9.0
[INFO] [stderr]    Compiling unic-char-range v0.9.0
[INFO] [stderr]    Compiling unic-char-property v0.9.0
[INFO] [stderr]    Compiling unic-ucd-version v0.9.0
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rustpython-parser-vendored v0.4.0
[INFO] [stderr]    Compiling phf v0.11.3
[INFO] [stderr]    Compiling unic-emoji-char v0.9.0
[INFO] [stderr]    Compiling unic-ucd-ident v0.9.0
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling lalrpop-util v0.20.2
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling derive_more-impl v1.0.0
[INFO] [stderr]    Compiling aprender-contracts-macros v0.33.0
[INFO] [stderr]    Compiling is-macro v0.3.7
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rustpython-parser-core v0.4.0
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling rand v0.8.6
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling malachite-base v0.4.22
[INFO] [stderr]    Compiling phf_generator v0.11.3
[INFO] [stderr]    Compiling phf_codegen v0.11.3
[INFO] [stderr]    Compiling unicode_names2_generator v1.3.0
[INFO] [stderr]    Compiling derive_more v1.0.0
[INFO] [stderr]    Compiling rustpython-parser v0.4.0
[INFO] [stderr]    Compiling unicode_names2 v1.3.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling xpile-meta-hir v0.1.618
[INFO] [stderr]    Compiling serde_yaml v0.9.34+deprecated
[INFO] [stderr]    Compiling aprender-contracts v0.33.0
[INFO] [stderr]    Compiling xpile-frontend v0.1.618
[INFO] [stderr]    Compiling decy-frontend v0.1.618
[INFO] [stderr]    Compiling xpile-contracts v0.1.618
[INFO] [stderr]    Compiling xpile-backend v0.1.618
[INFO] [stderr]    Compiling xpile-rust-codegen v0.1.618
[INFO] [stderr]    Compiling xpile-wasm-codegen v0.1.618 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling malachite-q v0.4.22
[INFO] [stderr]    Compiling malachite v0.4.22
[INFO] [stderr]    Compiling malachite-bigint v0.2.3
[INFO] [stderr]    Compiling rustpython-ast v0.4.0
[INFO] [stderr]    Compiling depyler-frontend v0.1.618
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 7m 13s
[INFO] running `Command { std: "docker" "inspect" "d492a8f0245fa2029000d1fffcbd31ff7a4abc413f906a34eaf41a4b4d685ba0", 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" "d492a8f0245fa2029000d1fffcbd31ff7a4abc413f906a34eaf41a4b4d685ba0" "/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.32s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/db716b4d6515e3bf/out/xpile_wasm_codegen-db716b4d6515e3bf)
[INFO] [stdout] 
[INFO] [stdout] running 157 tests
[INFO] [stdout] test tests::backend_metadata ... ok
[INFO] [stdout] test tests::belt_does_not_fire_on_legal_wat ... ok
[INFO] [stdout] test tests::belt_rejects_a_duplicate_global_definition ... ok
[INFO] [stdout] test tests::belt_passes_on_every_module_the_emitter_actually_produces ... ok
[INFO] [stdout] test tests::allocating_str_op_in_every_position_declares_alloc_and_helper ... ok
[INFO] [stdout] test tests::accepts_scalar_struct_refuses_nonscalar_field ... ok
[INFO] [stdout] test tests::belt_rejects_a_duplicate_func_definition ... ok
[INFO] [stdout] test tests::binding_name_check_is_order_independent ... ok
[INFO] [stdout] test tests::cites_the_compile_contract ... ok
[INFO] [stdout] test tests::c_family_integer_arithmetic_is_refused_but_the_scalar_return_path_is_not ... ok
[INFO] [stdout] test tests::chr_bound_to_int_local_is_type_mismatch ... ok
[INFO] [stdout] test tests::chr_returns_a_new_one_char_string ... ok
[INFO] [stdout] test tests::bool_logic_short_circuits ... ok
[INFO] [stdout] test tests::concat_lowers_to_alloc_and_memory_copy ... ok
[INFO] [stdout] test tests::concat_of_three_str_params_is_single_pass ... ok
[INFO] [stdout] test tests::emits_module_and_func_for_add ... ok
[INFO] [stdout] test tests::cpython_replace_n_pins ... ok
[INFO] [stdout] test tests::cpython_replace_pins_match_rust ... ok
[INFO] [stdout] test tests::float_arith_emits_f64_ops ... ok
[INFO] [stdout] test tests::emits_while_loop_block_loop_shape ... ok
[INFO] [stdout] test tests::allocating_str_op_in_every_position_assembles_under_wat2wasm ... ok
[INFO] [stdout] test tests::floordiv_routes_through_helper ... ok
[INFO] [stdout] test tests::bare_fstring_lone_int_executes_in_wabt ... ok
[INFO] [stdout] test tests::formatspec_with_real_spec_or_float_still_refuses ... ok
[INFO] [stdout] test tests::general_witness_emitter_drives_real_emit_module_not_template ... ok
[INFO] [stdout] test tests::heap_using_module_also_cites_the_wasm_heap_l5_contract ... ok
[INFO] [stdout] test tests::if_expr_emits_typed_if_result ... ok
[INFO] [stdout] test tests::index_scratch_not_declared_without_index ... ok
[INFO] [stdout] test tests::len_of_list_param_reads_header ... ok
[INFO] [stdout] test tests::inline_neg_fstring_over_float_still_refuses ... ok
[INFO] [stdout] test tests::len_over_str_param_counts_chars ... ok
[INFO] [stdout] test tests::list_bool_any_emits_selector_zero ... ok
[INFO] [stdout] test tests::list_bool_reduce_helper_absent_without_use ... ok
[INFO] [stdout] test tests::inline_neg_fstring_executes_in_wabt ... ok
[INFO] [stdout] test tests::general_witness_executed_wat_came_from_emit_module ... ok
[INFO] [stdout] test tests::list_bool_all_emits_reduction_helper_and_call ... ok
[INFO] [stdout] test tests::list_bool_reduce_refuses_generator_short_circuit ... ok
[INFO] [stdout] test tests::list_bool_reduce_refuses_non_bool_list ... ok
[INFO] [stdout] test tests::list_concat_chained_three_operands_compiles ... ok
[INFO] [stdout] test tests::list_bool_reduce_refuses_non_name_list ... ok
[INFO] [stdout] test tests::list_concat_bool_list_refused_honestly ... ok
[INFO] [stdout] test tests::bare_fstring_lone_int_formatspec_lowers_and_gates_helpers ... ok
[INFO] [stdout] test tests::list_concat_helper_absent_without_use ... ok
[INFO] [stdout] test tests::list_concat_literal_operand_compiles ... ok
[INFO] [stdout] test tests::list_float_minmax_emits_f64_helper_and_call ... ok
[INFO] [stdout] test tests::list_concat_mixed_element_type_refused_honestly ... ok
[INFO] [stdout] test tests::list_float_concat_reuses_the_same_i64_word_helper ... ok
[INFO] [stdout] test tests::list_float_reversed_reuses_the_same_i64_word_helper ... ok
[INFO] [stdout] test tests::list_float_slice_reuses_the_same_i64_word_helper ... ok
[INFO] [stdout] test tests::list_float_param_lowers_to_i32_base_pointer_and_memory ... ok
[INFO] [stdout] test tests::list_float_sorted_emits_f64_helper_and_no_int_helper ... ok
[INFO] [stdout] test tests::list_float_slice_executes_in_wabt ... ok
[INFO] [stdout] test tests::list_float_concat_executes_in_wabt ... ok
[INFO] [stdout] test tests::list_index_emits_bounds_guard_and_offset ... ok
[INFO] [stdout] test tests::list_float_reversed_executes_in_wabt ... ok
[INFO] [stdout] test tests::inline_neg_fstring_formatspec_lowers_and_gates_helpers ... ok
[INFO] [stdout] test tests::list_float_sum_emits_reduction_helper_and_call ... ok
[INFO] [stdout] test tests::list_float_minmax_executes_in_wabt ... ok
[INFO] [stdout] test tests::list_int_min_emits_selector_zero ... ok
[INFO] [stdout] test tests::list_int_concat_emits_helper_call_and_heap ... ok
[INFO] [stdout] test tests::list_int_max_emits_reduction_helper_and_call ... ok
[INFO] [stdout] test tests::list_int_param_uses_i64_load_and_stride ... ok
[INFO] [stdout] test tests::list_int_minmax_carries_no_dead_float_helper ... ok
[INFO] [stdout] test tests::list_float_sum_executes_in_wabt ... ok
[INFO] [stdout] test tests::list_int_slice_emits_helper_call_and_heap ... ok
[INFO] [stdout] test tests::list_int_slice_executes_in_wabt ... ok
[INFO] [stdout] test tests::list_int_minmax_executes_in_wabt ... ok
[INFO] [stdout] test tests::list_int_reversed_emits_helper_call_and_heap ... ok
[INFO] [stdout] test tests::list_int_reversed_executes_in_wabt ... ok
[INFO] [stdout] test tests::list_int_concat_executes_in_wabt ... ok
[INFO] [stdout] test tests::list_float_sorted_executes_in_wabt ... ok
[INFO] [stdout] test tests::list_int_sorted_carries_no_dead_float_helper ... ok
[INFO] [stdout] test tests::list_int_sorted_emits_helper_call_and_heap ... ok
[INFO] [stdout] test tests::list_int_sum_emits_reduction_helper_and_call ... ok
[INFO] [stdout] test tests::list_int_sum_helper_absent_without_use ... ok
[INFO] [stdout] test tests::list_int_sum_nested_in_str_repeat_count_gates_helper ... ok
[INFO] [stdout] test tests::list_minmax_helper_absent_without_use ... ok
[INFO] [stdout] test tests::list_int_sorted_reverse_emits_selector_one ... ok
[INFO] [stdout] test tests::list_int_sum_carries_no_dead_float_helper ... ok
[INFO] [stdout] test tests::list_minmax_kind_mismatch_refused_honestly ... ok
[INFO] [stdout] test tests::list_minmax_helper_traps_on_empty ... ok
[INFO] [stdout] test tests::list_int_sorted_executes_in_wabt ... ok
[INFO] [stdout] test tests::list_minmax_of_non_name_refused_honestly ... ok
[INFO] [stdout] test tests::list_minmax_of_struct_cmp_refused_honestly ... ok
[INFO] [stdout] test tests::list_of_bool_param_indexes_as_i32 ... ok
[INFO] [stdout] test tests::list_of_bool_write_stores_i32 ... ok
[INFO] [stdout] test tests::list_minmax_with_default_refused_honestly ... ok
[INFO] [stdout] test tests::list_reversed_bool_list_refused_honestly ... ok
[INFO] [stdout] test tests::list_reversed_non_name_list_refused_honestly ... ok
[INFO] [stdout] test tests::list_minmax_with_key_refused_honestly ... ok
[INFO] [stdout] test tests::list_reversed_helper_absent_without_use ... ok
[INFO] [stdout] test tests::list_slice_bool_list_refused_honestly ... ok
[INFO] [stdout] test tests::list_bool_any_all_executes_in_wabt ... ok
[INFO] [stdout] test tests::list_slice_non_name_collection_refused_honestly ... ok
[INFO] [stdout] test tests::list_slice_helper_absent_without_use ... ok
[INFO] [stdout] test tests::list_slice_mixed_element_type_refused_honestly ... ok
[INFO] [stdout] test tests::list_slice_open_bounds_default_lo_zero_hi_max ... ok
[INFO] [stdout] test tests::list_slice_stepped_refused_honestly ... ok
[INFO] [stdout] test tests::list_sorted_bool_list_refused_honestly ... ok
[INFO] [stdout] test tests::list_sorted_helper_absent_without_use ... ok
[INFO] [stdout] test tests::list_sorted_float_tag_mismatch_refused ... ok
[INFO] [stdout] test tests::list_sorted_with_key_refused_honestly ... ok
[INFO] [stdout] test tests::list_sum_with_start_refused_honestly ... ok
[INFO] [stdout] test tests::list_sum_of_non_name_refused_honestly ... ok
[INFO] [stdout] test tests::list_int_sum_executes_in_wabt ... ok
[INFO] [stdout] test tests::list_write_int_uses_i64_store ... ok
[INFO] [stdout] test tests::no_heap_emitted_without_string_returning_op ... ok
[INFO] [stdout] test tests::no_memory_emitted_without_list_param ... ok
[INFO] [stdout] test tests::list_write_float_emits_bounds_guard_offset_and_store ... ok
[INFO] [stdout] test tests::ord_str_index_decodes_char_with_bounds_guard ... ok
[INFO] [stdout] test tests::list_write_executes_in_wabt ... ok
[INFO] [stdout] test tests::python_and_the_wat_lift_are_still_lowered ... ok
[INFO] [stdout] test tests::refused_source_languages_name_the_language_and_redirect ... ok
[INFO] [stdout] test tests::refuses_binop_add_over_str_pointers_as_pointer_arithmetic ... ok
[INFO] [stdout] test tests::refuses_index_over_non_list ... ok
[INFO] [stdout] test tests::refuses_len_of_list_literal ... ok
[INFO] [stdout] test tests::refuses_len_of_scalar ... ok
[INFO] [stdout] test tests::refuses_multi_index_write ... ok
[INFO] [stdout] test tests::refuses_write_over_non_list_param ... ok
[INFO] [stdout] test tests::refuses_list_literal_expr ... ok
[INFO] [stdout] test tests::refuses_wrong_target ... ok
[INFO] [stdout] test tests::refuses_list_return_type ... ok
[INFO] [stdout] test tests::refuses_string_mul_no_pointer_arithmetic ... ok
[INFO] [stdout] test tests::removeprefix_only_module_carries_no_removesuffix_helper ... ok
[INFO] [stdout] test tests::removeprefix_removesuffix_emit_helper_call_and_forced_predicate ... ok
[INFO] [stdout] test tests::replace_n_lowers_and_malformed_arity_refused ... ok
[INFO] [stdout] test tests::replace_only_module_carries_no_dead_helpers ... ok
[INFO] [stdout] test tests::removesuffix_only_module_carries_no_removeprefix_helper ... ok
[INFO] [stdout] test tests::rust_labelled_modules_are_still_lowered ... ok
[INFO] [stdout] test tests::replace_emit_helper_call_and_allocator ... ok
[INFO] [stdout] test tests::startswith_endswith_emit_helper_and_call_no_alloc ... ok
[INFO] [stdout] test tests::startswith_only_module_carries_no_endswith_helper ... ok
[INFO] [stdout] test tests::str_float_is_refused ... ok
[INFO] [stdout] test tests::str_int_emits_helper_call_and_heap ... ok
[INFO] [stdout] test tests::str_of_bool_operand_is_refused_as_type_mismatch ... ok
[INFO] [stdout] test tests::list_sorted_non_name_list_refused_honestly ... ok
[INFO] [stdout] test tests::list_sum_kind_mismatch_refused_honestly ... ok
[INFO] [stdout] test tests::str_int_binds_a_str_local_and_returns_it ... ok
[INFO] [stdout] test tests::strcharat_as_string_materialises_one_char ... ok
[INFO] [stdout] test tests::str_return_of_param_is_identity ... ok
[INFO] [stdout] test tests::str_param_lowers_to_i32_base_pointer_and_memory ... ok
[INFO] [stdout] test tests::string_equality_uses_content_compare_not_pointer_compare ... ok
[INFO] [stdout] test tests::string_inequality_negates_content_compare ... ok
[INFO] [stdout] test tests::string_literal_in_concat_lowers_to_static_data ... ok
[INFO] [stdout] test tests::string_ordering_is_lexicographic_cmp_not_pointer_compare ... ok
[INFO] [stdout] test tests::str_return_of_non_str_local_is_refused ... ok
[INFO] [stdout] test tests::removeprefix_removesuffix_execute_in_wabt ... ok
[INFO] [stdout] test wasm_diffexec::tests::fixture_matches_gpu_witness_fixtures ... ok
[INFO] [stdout] test wasm_diffexec::tests::general_module_wat_is_real_emitter_output ... ok
[INFO] [stdout] test wasm_diffexec::tests::parse_interp_output_empty_is_error ... ok
[INFO] [stdout] test wasm_diffexec::tests::parse_interp_output_extracts_f64_vector ... ok
[INFO] [stdout] test tests::replace_executes_in_wabt_and_matches_cpython ... ok
[INFO] [stdout] test tests::replace_n_executes_in_wabt_and_matches_cpython ... ok
[INFO] [stdout] test wasm_diffexec::tests::required_runtime_is_present_when_declared ... ok
[INFO] [stdout] test wasm_diffexec::tests::executed_witness_real_emit_assemble_run_matches ... ok
[INFO] [stdout] test tests::the_diffexec_general_module_still_emits_through_the_guard ... ok
[INFO] [stderr]      Running tests/abs_num_builtin_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/3a6715124d0b0329/out/abs_num_builtin_witness-3a6715124d0b0329)
[INFO] [stdout] test wasm_diffexec::tests::engine_constructs ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 157 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.12s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test abs_in_fstring_wraps_via_str_int ... ok
[INFO] [stdout] test abs_int_uses_the_branch_helper_and_float_is_inline ... ok
[INFO] [stdout] test abs_int_helper_declared_once_across_many_uses ... ok
[INFO] [stdout] test non_abs_num_builtins_refuse ... ok
[INFO] [stdout] test abs_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/c_scalar_abi_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/53813dd26e33ad9b/out/c_scalar_abi_witness-53813dd26e33ad9b)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test refused_c_tokens_refuse_at_the_named_stage ... ok
[INFO] [stdout] test pmat_1395_shapes_emit_at_the_declared_width ... ok
[INFO] [stdout] test c_scalar_returns_match_the_real_c_compiler ... ok
[INFO] [stdout] test every_c_scalar_probe_that_emits_assembles ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/comp_2gen_hash_source_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/bcfc4f0853974580/out/comp_2gen_hash_source_witness-bcfc4f0853974580)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test frontend_refusals_refuse_at_lowering ... ok
[INFO] [stdout] test order_gate_refusals_are_valid_mhir_the_wasm_lane_refuses ... ok
[INFO] [stdout] test corpus_emits_with_set_add_helpers ... ok
[INFO] [stdout] test sugar_matches_the_manual_nested_loop ... ok
[INFO] [stdout] test comp_2gen_hash_source_witness_executes_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test belt_refusals_refuse_at_the_frontend ... ok
[INFO] [stderr]      Running tests/comp_hash_source_fuzz_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/8c7c998f63082059/out/comp_hash_source_fuzz_witness-8c7c998f63082059)
[INFO] [stdout] test gate_refusals_refuse_at_the_backend ... ok
[INFO] [stdout] test executed_str_pins_match_cpython_and_hand_constants ... ok
[INFO] [stdout] test executed_int_pins_match_cpython_and_hand_constants ... ok
[INFO] [stdout] test admitted_modules_emit_with_keyed_store_helpers ... ok
[INFO] [stderr]      Running tests/concat_chr_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/e27235fe812d20ba/out/concat_chr_witness-e27235fe812d20ba)
[INFO] [stdout] test pins_are_not_vacuous ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test concat_dst_is_distinct_from_operand_scratch ... ok
[INFO] [stdout] test chr_concat_executes_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/dict_bool_pop_setdefault_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/dd0a46c06d12355e/out/dict_bool_pop_setdefault_witness-dd0a46c06d12355e)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test dict_bool_pop_setdefault_refuse_out_of_lane_forms ... ok
[INFO] [stdout] test dict_bool_pop_setdefault_lower_and_reuse_helpers ... ok
[INFO] [stdout] test dict_bool_pop_setdefault_pins_discriminate ... ok
[INFO] [stdout] test dict_bool_pop_absent_key_traps ... ok
[INFO] [stdout] test dict_bool_pop_setdefault_execute_in_wasm_and_match_cpython ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_bool_values_minmax_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/d6c7f70d0126dcbf/out/dict_bool_values_minmax_witness-d6c7f70d0126dcbf)
[INFO] [stdout] test result: ok. 5 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 dict_bool_values_minmax_wrap_and_reuse_helper ... ok
[INFO] [stdout] test dict_bool_values_refuse_out_of_lane_forms ... ok
[INFO] [stdout] test dict_bool_values_minmax_execute_in_wasm_and_match_cpython ... ok
[INFO] [stderr]      Running tests/dict_bool_values_sum_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/364df90675ccd62e/out/dict_bool_values_sum_witness-364df90675ccd62e)
[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 dict_bool_values_sum_reuses_shared_helpers ... ok
[INFO] [stderr]      Running tests/dict_bool_values_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/5cd0bb0ee741acbe/out/dict_bool_values_witness-5cd0bb0ee741acbe)
[INFO] [stdout] test dict_bool_values_sum_refuse_out_of_lane_forms ... ok
[INFO] [stdout] test dict_bool_values_sum_execute_in_wasm_and_match_cpython ... 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 4 tests
[INFO] [stdout] test dict_bool_values_refuse_out_of_lane_forms ... ok
[INFO] [stdout] test dict_value_gate_still_refuses_nested ... ok
[INFO] [stdout] test dict_bool_values_lower_and_reuse_helpers ... ok
[INFO] [stdout] test dict_bool_values_execute_in_wasm_and_match_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_boundary_fuzz_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/bf422784f1983f80/out/dict_boundary_fuzz_witness-bf422784f1983f80)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test corpus_is_deterministic ... ok
[INFO] [stdout] test corpus_forces_boundary_relocations_and_covers_the_alphabet ... ok
[INFO] [stdout] test boundary_growth_and_bind_belts_hold ... ok
[INFO] [stdout] test fuzz_corpus_lowers_on_the_i32_boundary_abi ... ok
[INFO] [stdout] test dict_boundary_fuzz_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_clear_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/57bb8b9dec69d250/out/dict_clear_witness-57bb8b9dec69d250)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test dict_clear_lowers_and_carries_shape ... ok
[INFO] [stdout] test list_mutate_forms_all_lower ... ok
[INFO] [stdout] test dict_clear_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_comp_hash_source_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/282a05016630f04a/out/dict_comp_hash_source_witness-282a05016630f04a)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test dict_comp_self_reference_refuses_in_all_read_positions ... ok
[INFO] [stdout] test list_comp_self_reference_refuses_in_all_read_positions ... ok
[INFO] [stdout] test tuple_source_still_refuses ... ok
[INFO] [stdout] test comp_over_mutated_dict_refuses_in_wasm_like_the_statement ... ok
[INFO] [stdout] test order_gate_refusals_fire_through_the_sugar ... ok
[INFO] [stdout] test corpus_emits_with_keyed_store_helpers ... ok
[INFO] [stdout] test list_comp_shadow_carve_out_executes ... ok
[INFO] [stdout] test two_generator_dict_comp_over_hash_sources_now_lowers_gate_refuses_wasm ... ok
[INFO] [stdout] test dict_comp_hash_source_witness_executes_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_del_item_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/4e874814454f3253/out/dict_del_item_witness-4e874814454f3253)
[INFO] [stdout] running 5 tests
[INFO] [stdout] test dict_del_list_form_now_lowers ... ok
[INFO] [stdout] test dict_del_item_absent_key_traps_keyerror ... ok
[INFO] [stdout] test dict_del_item_lowers_and_carries_shape ... ok
[INFO] [stdout] test dict_del_item_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/dict_equality_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/6360534db637963b/out/dict_equality_witness-6360534db637963b)
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test dict_equality_lowers_and_carries_helper ... ok
[INFO] [stdout] test dict_equality_refuses_ordering_and_mixed_operands ... ok
[INFO] [stdout] test dict_equality_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_float_values_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/72a0e9694532eaae/out/dict_float_values_witness-72a0e9694532eaae)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test dict_float_values_refuse_out_of_lane_forms ... ok
[INFO] [stdout] test dict_float_values_execute_in_wasm_and_match_cpython ... ok
[INFO] [stdout] test dict_float_values_lower_and_reuse_helpers ... 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/dict_get_default_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/37a47fea4db4eaa8/out/dict_get_default_witness-37a47fea4db4eaa8)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test dict_get_default_lowers_and_carries_helpers ... ok
[INFO] [stdout] test dict_get_default_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stderr]      Running tests/dict_items_iteration_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/65de531e6475a868/out/dict_items_iteration_witness-65de531e6475a868)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test dict_items_negatives_sum_matches_cpython ... ok
[INFO] [stdout] test dict_items_compound_matches_cpython ... ok
[INFO] [stdout] test dict_items_outer_list_inner_nested_matches_cpython ... ok
[INFO] [stdout] test dict_items_max_key_idiom_matches_cpython ... ok
[INFO] [stdout] test dict_items_product_matches_cpython ... ok
[INFO] [stdout] test dict_items_after_delete_matches_cpython ... ok
[INFO] [stdout] test dict_items_count_matches_cpython ... ok
[INFO] [stdout] test dict_items_min_value_idiom_matches_cpython ... ok
[INFO] [stdout] test dict_items_sum_key_plus_value_matches_cpython ... ok
[INFO] [stdout] test dict_items_sum_key_times_value_matches_cpython ... ok
[INFO] [stdout] test order_dependent_items_over_value_refuses ... ok
[INFO] [stdout] test horner_mixed_op_spine_refuses ... ok
[INFO] [stdout] test order_dependent_items_over_key_refuses ... ok
[INFO] [stdout] test dict_items_xor_matches_cpython ... ok
[INFO] [stdout] test dict_mutating_items_body_refuses ... ok
[INFO] [stdout] test str_keyed_dict_items_len_plus_value_matches_cpython ... ok
[INFO] [stdout] test empty_dict_items_iterates_zero_times ... ok
[INFO] [stdout] test dict_items_reads_key_and_value_slots_in_place ... ok
[INFO] [stdout] test dict_items_decomposes_into_keys_plus_values ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_iter_store_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/585c8bf97ae80e64/out/dict_iter_store_witness-585c8bf97ae80e64)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test call_in_stored_value_refuses ... ok
[INFO] [stdout] test let_temp_smuggle_refuses ... ok
[INFO] [stdout] test nested_outer_var_value_refuses ... ok
[INFO] [stdout] test fold_reading_store_target_refuses ... ok
[INFO] [stdout] test store_into_iterated_dict_refuses ... ok
[INFO] [stdout] test store_into_param_dict_refuses_at_growth_belt ... ok
[INFO] [stdout] test accumulator_valued_store_refuses ... ok
[INFO] [stdout] test computed_key_store_refuses ... ok
[INFO] [stdout] test fixed_key_store_refuses ... ok
[INFO] [stdout] test items_value_keyed_store_refuses ... ok
[INFO] [stdout] test corpus_emits_with_store_helpers ... ok
[INFO] [stdout] test dict_iter_store_witness_executes_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_key_iteration_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/eae3054913305617/out/dict_key_iteration_witness-eae3054913305617)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test dict_key_iteration_reads_entry_in_place ... ok
[INFO] [stdout] test dict_keys_view_iteration_now_lowers ... ok
[INFO] [stdout] test dict_key_compound_matches_cpython ... ok
[INFO] [stdout] test dict_key_count_matches_cpython ... ok
[INFO] [stdout] test dict_key_min_idiom_matches_cpython ... ok
[INFO] [stdout] test order_dependent_dict_iteration_refuses ... ok
[INFO] [stdout] test dict_key_product_matches_cpython ... ok
[INFO] [stdout] test dict_key_sum_matches_cpython ... ok
[INFO] [stdout] test str_keyed_dict_iteration_lowers ... ok
[INFO] [stdout] test mutated_dict_iteration_refuses ... ok
[INFO] [stdout] test dict_key_xor_matches_cpython ... ok
[INFO] [stdout] test str_keyed_dict_len_fold_matches_cpython ... ok
[INFO] [stdout] test dict_outer_list_inner_nested_matches_cpython ... ok
[INFO] [stdout] test empty_dict_iterates_zero_times ... ok
[INFO] [stdout] test str_keyed_dict_long_key_count_matches_cpython ... ok
[INFO] [stderr]      Running tests/dict_key_reduce_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/bc2dffb658403fb5/out/dict_key_reduce_witness-bc2dffb658403fb5)
[INFO] [stdout] test dict_key_sum_of_squares_matches_cpython ... 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] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test dict_minmax_lowers_through_set_materialiser_and_minmax_helper ... ok
[INFO] [stdout] test dict_sorted_lowers_through_set_materialiser_and_sort_helper ... ok
[INFO] [stdout] test dict_min_matches_cpython ... ok
[INFO] [stdout] test dict_reduction_composes_in_arithmetic ... ok
[INFO] [stdout] test dict_max_matches_cpython ... ok
[INFO] [stdout] test dict_min_empty_traps_like_cpython_valueerror ... ok
[INFO] [stdout] test dict_sorted_ascending_matches_cpython ... ok
[INFO] [stdout] test dict_sum_lowers_through_set_materialiser_and_sum_helper ... ok
[INFO] [stdout] test dict_values_reduction_uses_distinct_value_materialiser ... ok
[INFO] [stdout] test dict_sum_matches_cpython ... ok
[INFO] [stdout] test str_keyed_dict_reduction_refuses ... ok
[INFO] [stdout] test dict_sorted_reverse_matches_cpython ... ok
[INFO] [stdout] test dict_sum_empty_is_zero ... ok
[INFO] [stdout] test dict_sum_dedup_matches_cpython ... ok
[INFO] [stdout] test dict_sum_order_independent_after_del ... ok
[INFO] [stdout] test set_and_list_reductions_still_work ... ok
[INFO] [stderr]      Running tests/dict_keys_any_all_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/6e8a5bef14e08c1f/out/dict_keys_any_all_witness-6e8a5bef14e08c1f)
[INFO] [stdout] test dict_reductions_negatives_match_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test dict_keys_any_all_bare_and_view_are_aliases ... ok
[INFO] [stdout] test dict_keys_any_all_refuse_out_of_lane_forms ... ok
[INFO] [stdout] test dict_keys_any_all_reuses_shared_helpers ... ok
[INFO] [stdout] test dict_keys_any_all_execute_in_wasm_and_match_cpython ... ok
[INFO] [stderr]      Running tests/dict_keys_view_iteration_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/7524f6a5d06af5bf/out/dict_keys_view_iteration_witness-7524f6a5d06af5bf)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test dict_keys_view_reads_key_slot_in_place ... ok
[INFO] [stdout] test dict_keys_view_compound_matches_cpython ... ok
[INFO] [stdout] test dict_keys_view_product_matches_cpython ... ok
[INFO] [stdout] test dict_keys_view_xor_matches_cpython ... ok
[INFO] [stdout] test dict_keys_view_sum_matches_cpython ... ok
[INFO] [stdout] test dict_keys_view_negatives_sum_matches_cpython ... ok
[INFO] [stdout] test order_dependent_keys_view_iteration_refuses ... ok
[INFO] [stdout] test empty_dict_keys_view_iterates_zero_times ... ok
[INFO] [stdout] test dict_keys_view_outer_list_inner_nested_matches_cpython ... ok
[INFO] [stdout] test dict_keys_view_min_idiom_matches_cpython ... ok
[INFO] [stdout] test dict_keys_view_count_matches_cpython ... ok
[INFO] [stdout] test str_keyed_dict_keys_view_long_key_count_matches_cpython ... ok
[INFO] [stdout] test str_keyed_dict_keys_view_len_fold_matches_cpython ... ok
[INFO] [stdout] test keys_view_equals_bare_dict_iteration ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_merge_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/a9e7f15724e80de2/out/dict_merge_witness-a9e7f15724e80de2)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test merge_forces_real_relocations ... ok
[INFO] [stdout] test dict_merge_refuses_nested_literal_source ... ok
[INFO] [stdout] test dict_merge_refuses_mismatched_key_kind ... ok
[INFO] [stdout] test dict_merge_refuses_set_splat ... ok
[INFO] [stdout] test dict_merge_refuses_unbound_chained_union ... ok
[INFO] [stdout] test dict_merge_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/dict_method_param_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/426bf0ba3f3c77de/out/dict_method_param_witness-426bf0ba3f3c77de)
[INFO] [stdout] test dict_merge_lowers_and_reuses_helpers ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test method_param_growth_refuses ... ok
[INFO] [stdout] test method_param_only_modules_carry_their_helpers ... ok
[INFO] [stdout] test method_call_kind_mismatches_refuse ... ok
[INFO] [stdout] test assoc_fn_dict_param_refuses ... ok
[INFO] [stdout] test corpus_emits_with_method_param_abi_and_helpers ... ok
[INFO] [stdout] test dict_method_param_witness_executes_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/dict_method_return_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/a583dcf8933d34af/out/dict_method_return_witness-a583dcf8933d34af)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test method_param_growth_still_refuses_alongside_returns ... ok
[INFO] [stdout] test returning_a_non_name_from_method_refuses ... ok
[INFO] [stdout] test returning_a_method_param_refuses ... ok
[INFO] [stdout] test method_call_result_in_value_position_refuses ... ok
[INFO] [stdout] test dict_method_return_witness_executes_and_matches_cpython ... ok
[INFO] [stdout] test corpus_emits_with_method_return_abi_and_helpers ... ok
[INFO] [stderr]      Running tests/dict_param_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/4944bb0d80eb1782/out/dict_param_witness-4944bb0d80eb1782)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test growth_through_a_param_refuses ... ok
[INFO] [stdout] test kind_mismatched_arguments_refuse ... ok
[INFO] [stdout] test method_dict_param_now_lowers ... ok
[INFO] [stdout] test dict_return_now_lowers ... ok
[INFO] [stdout] test param_only_modules_carry_their_helpers ... ok
[INFO] [stdout] test growth_on_locals_and_inplace_on_params_still_lower ... ok
[INFO] [stdout] test corpus_emits_with_param_abi_and_helpers ... ok
[INFO] [stdout] test dict_param_witness_executes_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/dict_pop_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/d5bf96ffae940e75/out/dict_pop_witness-d5bf96ffae940e75)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test dict_pop_lowers_and_carries_helper ... ok
[INFO] [stdout] test dict_pop_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_return_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/a5bdb068af6f5e28/out/dict_return_witness-a5bdb068af6f5e28)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test param_growth_still_refuses_alongside_returns ... ok
[INFO] [stdout] test method_dict_return_now_lowers ... ok
[INFO] [stdout] test call_result_in_value_position_refuses ... ok
[INFO] [stdout] test corpus_emits_with_return_abi_and_helpers ... ok
[INFO] [stdout] test returning_a_param_refuses ... ok
[INFO] [stdout] test dict_return_witness_executes_and_matches_cpython ... ok
[INFO] [stdout] test returning_a_non_name_refuses ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_set_family_fuzz_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/49b439bd53d54351/out/dict_set_family_fuzz_witness-49b439bd53d54351)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test corpus_is_deterministic_and_exercises_interactions ... ok
[INFO] [stdout] test dict_set_family_fuzz_lowers ... ok
[INFO] [stdout] test dict_set_family_matches_cpython_over_random_sequences ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_set_reduction_fuzz_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/f1dfd6fbed2ac4ea/out/dict_set_reduction_fuzz_witness-f1dfd6fbed2ac4ea)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test corpus_is_deterministic_and_exercises_deletes_and_sorted ... ok
[INFO] [stdout] test order_dependent_iteration_refuses ... ok
[INFO] [stdout] test reduction_fuzz_lowers ... ok
[INFO] [stdout] test reductions_match_cpython_over_random_sequences ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_setdefault_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/5e05f8a375ef59ab/out/dict_setdefault_witness-5e05f8a375ef59ab)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test dict_setdefault_lowers_and_carries_shape ... ok
[INFO] [stdout] test dict_setdefault_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_str_eq_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/e4d9f5e5c53e8bec/out/dict_str_eq_witness-e4d9f5e5c53e8bec)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test dict_str_eq_refuses_mixed_value_kinds ... ok
[INFO] [stdout] test dict_str_eq_ordering_still_refused ... ok
[INFO] [stdout] test dict_str_eq_twin_is_gated_on_an_equality ... ok
[INFO] [stdout] test dict_str_eq_int_keyed_twin_forces_str_eq ... ok
[INFO] [stdout] test dict_str_eq_lowers_and_carries_the_sv_twin ... ok
[INFO] [stdout] test dict_str_eq_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/dict_str_pop_setdefault_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/647b60cf67c1ce9c/out/dict_str_pop_setdefault_witness-647b60cf67c1ce9c)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test dict_str_pop_setdefault_refuse_int_position ... ok
[INFO] [stdout] test dict_str_pop_setdefault_refuse_kind_mismatches ... ok
[INFO] [stdout] test dict_str_pop_setdefault_execute_and_match_cpython ... ok
[INFO] [stderr]      Running tests/dict_str_values_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/aa2cab461f8377c1/out/dict_str_values_witness-aa2cab461f8377c1)
[INFO] [stdout] test dict_str_pop_setdefault_lower_and_reuse_helpers ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test dict_str_values_refuse_mixed_value_kinds ... ok
[INFO] [stdout] test dict_str_values_refuse_value_interpreting_forms ... ok
[INFO] [stdout] test dict_value_gate_still_refuses_nested ... ok
[INFO] [stdout] test dict_int_values_refuse_string_position ... ok
[INFO] [stdout] test dict_str_values_lower_and_reuse_helpers ... ok
[INFO] [stdout] test dict_str_values_execute_in_wasm_and_match_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_strv_scramble_fuzz_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/da64b6831bce46cf/out/dict_strv_scramble_fuzz_witness-da64b6831bce46cf)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test corpus_forces_real_relocations_and_covers_the_alphabet ... ok
[INFO] [stdout] test corpus_is_deterministic ... ok
[INFO] [stdout] test sideeffect_and_multi_eval_shapes_refuse ... ok
[INFO] [stdout] test fuzz_corpus_lowers_and_carries_the_sv_helpers ... ok
[INFO] [stderr]      Running tests/dict_update_scramble_fuzz_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/ccf4cda0cd226fd3/out/dict_update_scramble_fuzz_witness-ccf4cda0cd226fd3)
[INFO] [stdout] test dict_strv_fuzz_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.19s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test corpus_forces_real_relocations ... ok
[INFO] [stdout] test dict_copy_binding_refuses ... ok
[INFO] [stdout] test corpus_is_deterministic ... ok
[INFO] [stdout] test out_of_lane_update_shapes_refuse_through_the_full_pipeline ... ok
[INFO] [stdout] test fuzz_corpus_lowers_and_reaches_the_update_helper ... ok
[INFO] [stdout] test dict_mutation_fuzz_matches_cpython ... ok
[INFO] [stderr]      Running tests/dict_update_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/101b3ca04447eaff/out/dict_update_witness-101b3ca04447eaff)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.12s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test dict_update_refuses_mismatched_key_kind ... ok
[INFO] [stdout] test dict_update_refuses_set_argument ... ok
[INFO] [stdout] test dict_update_refuses_dict_literal_argument ... ok
[INFO] [stdout] test dict_update_lowers_and_carries_helper ... ok
[INFO] [stdout] test dict_update_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dict_value_iteration_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/3363685c6d1ef1b4/out/dict_value_iteration_witness-3363685c6d1ef1b4)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test dict_value_iteration_reads_value_slot_in_place ... ok
[INFO] [stdout] test dict_value_product_matches_cpython ... ok
[INFO] [stdout] test dict_value_compound_matches_cpython ... ok
[INFO] [stdout] test dict_value_count_matches_cpython ... ok
[INFO] [stdout] test dict_value_xor_matches_cpython ... ok
[INFO] [stdout] test dict_value_max_idiom_matches_cpython ... ok
[INFO] [stdout] test order_dependent_value_iteration_refuses ... ok
[INFO] [stdout] test dict_value_sum_matches_cpython ... ok
[INFO] [stdout] test dict_duplicate_values_all_visited ... ok
[INFO] [stdout] test mutated_dict_value_iteration_refuses ... ok
[INFO] [stdout] test dict_value_negatives_sum_matches_cpython ... ok
[INFO] [stdout] test str_keyed_dict_value_sum_matches_cpython ... ok
[INFO] [stdout] test empty_dict_values_iterates_zero_times ... ok
[INFO] [stdout] test key_and_value_iteration_coexist_matches_cpython ... ok
[INFO] [stderr]      Running tests/dict_value_kind_adversarial_verify_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/ac2714328fc8855d/out/dict_value_kind_adversarial_verify_witness-ac2714328fc8855d)
[INFO] [stdout] test dict_values_outer_list_inner_nested_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test dict_value_kind_honesty_battery_refuses ... ok
[INFO] [stdout] test dict_value_kind_adversarial_execute_and_match_cpython ... ok
[INFO] [stdout] test dict_value_kind_corpus_lowers_with_the_right_transports ... ok
[INFO] [stderr]      Running tests/dict_value_reduce_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/3627c64f0166da00/out/dict_value_reduce_witness-3627c64f0166da00)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test key_and_set_reductions_still_work ... ok
[INFO] [stdout] test str_keyed_dict_value_sum_matches_cpython ... ok
[INFO] [stdout] test value_minmax_lowers_through_value_materialiser_and_minmax_helper ... ok
[INFO] [stdout] test value_reduction_over_non_name_dict_refuses ... ok
[INFO] [stdout] test value_max_matches_cpython ... ok
[INFO] [stdout] test value_materialiser_reads_the_value_slot_at_offset_8 ... ok
[INFO] [stdout] test value_min_empty_traps_like_cpython_valueerror ... ok
[INFO] [stdout] test value_reduction_composes_in_arithmetic ... ok
[INFO] [stdout] test value_sorted_ascending_matches_cpython ... ok
[INFO] [stdout] test value_sorted_lowers_through_value_materialiser_and_sort_helper ... ok
[INFO] [stdout] test value_reductions_negatives_match_cpython ... ok
[INFO] [stdout] test value_sorted_reverse_matches_cpython ... ok
[INFO] [stdout] test value_sum_empty_is_zero ... ok
[INFO] [stdout] test value_sum_matches_cpython ... ok
[INFO] [stdout] test keys_and_values_reduction_coexist ... ok
[INFO] [stderr]      Running tests/dict_values_any_all_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/139a22378c57a0c5/out/dict_values_any_all_witness-139a22378c57a0c5)
[INFO] [stdout] test value_sum_lowers_through_value_materialiser_and_sum_helper ... ok
[INFO] [stdout] test value_min_matches_cpython ... ok
[INFO] [stdout] test duplicate_values_are_kept ... ok
[INFO] [stdout] test value_sum_order_independent_after_del ... ok
[INFO] [stdout] test value_sorted_keeps_duplicates ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test dict_values_any_all_float_routes_to_f64_helper ... ok
[INFO] [stdout] test dict_values_any_all_refuse_out_of_lane_forms ... ok
[INFO] [stdout] test dict_values_any_all_reuses_shared_helpers ... ok
[INFO] [stderr]      Running tests/dict_view_len_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/0498a6dffd0219a7/out/dict_view_len_witness-0498a6dffd0219a7)
[INFO] [stdout] test dict_values_any_all_execute_in_wasm_and_match_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 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 dict_view_len_refuses_non_name_receiver ... ok
[INFO] [stdout] test dict_view_len_execute_in_wasm_and_match_cpython ... ok
[INFO] [stdout] test dict_view_len_declares_no_dead_materialiser ... 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] [stderr]      Running tests/dict_view_list_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/7867137404bd3466/out/dict_view_list_witness-7867137404bd3466)
[INFO] [stdout] 
[INFO] [stdout] running 21 tests
[INFO] [stdout] test a_float_valued_dict_values_view_is_still_refused ... ok
[INFO] [stdout] test a_set_anywhere_refuses_the_view ... ok
[INFO] [stdout] test a_str_valued_dict_values_view_is_still_refused ... ok
[INFO] [stdout] test a_dict_del_refuses_the_order_observing_view ... ok
[INFO] [stdout] test a_dict_pop_refuses_even_nested_in_a_condition ... ok
[INFO] [stdout] test a_removal_in_another_function_refuses_the_view ... ok
[INFO] [stdout] test a_str_keyed_dict_view_is_still_refused ... ok
[INFO] [stdout] test list_of_a_set_is_still_refused ... ok
[INFO] [stdout] test list_of_dict_keys_lowers_identically_to_the_bare_form ... ok
[INFO] [stdout] test list_of_dict_values_lowers_through_the_value_materialiser ... ok
[INFO] [stdout] test list_of_dict_lowers_through_the_key_materialiser_without_sorting ... ok
[INFO] [stdout] test order_independent_reductions_still_emit_alongside_a_removal ... ok
[INFO] [stdout] test list_of_dict_is_insertion_order_not_sorted_order ... ok
[INFO] [stdout] test materialised_view_scans_under_a_while_loop ... ok
[INFO] [stdout] test list_of_dict_values_keeps_duplicates_and_matches_cpython ... ok
[INFO] [stdout] test loop_built_dict_view_matches_cpython ... ok
[INFO] [stdout] test list_of_dict_keys_matches_cpython ... ok
[INFO] [stdout] test duplicate_literal_key_collapses_first_position_last_value ... ok
[INFO] [stdout] test merged_dict_view_matches_cpython ... ok
[INFO] [stdout] test reassigned_key_keeps_its_original_position ... ok
[INFO] [stdout] test sorted_of_the_materialised_view_still_matches_cpython ... ok
[INFO] [stderr]      Running tests/enumerate_e2e_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/68ec1c06426ea2cd/out/enumerate_e2e_witness-68ec1c06426ea2cd)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test dict_items_pairs_refuses_honestly ... ok
[INFO] [stdout] test enumerate_over_nonname_source_refuses_honestly ... ok
[INFO] [stdout] test zip_over_named_lists_now_lowers ... ok
[INFO] [stdout] test float_enumerate_executes_and_matches_cpython ... ok
[INFO] [stdout] test int_enumerate_executes_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/float_divzero_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/99ecb2a65772544c/out/float_divzero_witness-99ecb2a65772544c)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test float_div_emits_zero_divisor_guard ... ok
[INFO] [stdout] test float_div_by_zero_traps_else_divides ... 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/foreach_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/651f50df892ed95a/out/foreach_witness-651f50df892ed95a)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test elementwise_mutation_loop_is_refused ... ok
[INFO] [stdout] test foreach_desugars_to_synthetic_index_locals ... ok
[INFO] [stdout] test non_name_call_iterable_is_refused ... ok
[INFO] [stdout] test ord_of_non_str_name_is_refused ... ok
[INFO] [stdout] test list_literal_iterable_desugars_to_synthetic_list_local ... ok
[INFO] [stdout] test order_dependent_dict_iteration_is_refused_precisely ... ok
[INFO] [stdout] test increment_precedes_body_so_continue_advances ... ok
[INFO] [stdout] test foreach_list_kernel_executes_and_matches_cpython ... ok
[INFO] [stdout] test foreach_str_programs_execute_and_match_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running tests/free_fn_struct_return_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/1b89523326f1ff7e/out/free_fn_struct_return_witness-1b89523326f1ff7e)
[INFO] [stdout] running 5 tests
[INFO] [stdout] test free_fn_struct_returns_type_as_i32_pointers ... ok
[INFO] [stdout] test free_fn_arity_mismatch_is_refused ... ok
[INFO] [stdout] test unit_free_fn_in_value_position_is_refused ... ok
[INFO] [stdout] test unknown_value_position_callee_is_refused_by_name ... ok
[INFO] [stdout] test free_fn_struct_programs_execute_and_match_cpython ... ok
[INFO] [stderr]      Running tests/fstring_int_operand_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/b2aae172cbdd1bb2/out/fstring_int_operand_witness-b2aae172cbdd1bb2)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test str_only_concat_is_untouched_by_the_pre_pass ... ok
[INFO] [stdout] test cpython_fstring_int_values_are_pinned ... ok
[INFO] [stdout] test label_emits_int_to_str_helper_and_call ... ok
[INFO] [stdout] test helper_emitted_exactly_once_for_two_operands ... ok
[INFO] [stdout] test charcount_operand_executes_and_matches_cpython ... ok
[INFO] [stdout] test bare_int_formatspec_folds_to_int_to_str ... ok
[INFO] [stdout] test strformat_spec_and_float_formatspec_refused_honestly ... ok
[INFO] [stdout] test int_arith_operand_executes_and_matches_cpython ... ok
[INFO] [stdout] test two_ints_execute_and_match_cpython ... ok
[INFO] [stdout] test label_executes_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/heap_dict_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/c6e4c9489ff61008/out/heap_dict_witness-c6e4c9489ff61008)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test missing_key_get_lowers_with_trap ... ok
[INFO] [stdout] test absent_key_get_traps_at_run ... ok
[INFO] [stdout] test dict_program_lowers_and_carries_helpers ... ok
[INFO] [stdout] test dict_set_program_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/heap_grow_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/76449abd440b816c/out/heap_grow_witness-76449abd440b816c)
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test dict_set_grow_executes_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/heap_string_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/ef636bb9428b3ce3/out/heap_string_witness-ef636bb9428b3ce3)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 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 concat_emits_allocator_and_memory_copy ... ok
[INFO] [stdout] test cpython_concat_is_ascii_and_pinned ... ok
[INFO] [stdout] test real_concat_program_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/heap_struct_method_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/233ac3209b429c1e/out/heap_struct_method_witness-233ac3209b429c1e)
[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 6 tests
[INFO] [stdout] test struct_equality_is_refused_not_pointer_compared ... ok
[INFO] [stdout] test unknown_method_is_refused ... ok
[INFO] [stdout] test unit_method_in_value_position_is_refused ... ok
[INFO] [stdout] test method_programs_execute_and_match_cpython ... ok
[INFO] [stdout] test non_method_side_effect_call_is_refused ... ok
[INFO] [stdout] test methods_emit_as_wat_functions ... ok
[INFO] [stderr]      Running tests/heap_struct_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/9773a5a47f992cb7/out/heap_struct_witness-9773a5a47f992cb7)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test struct_program_lowers_and_carries_layout ... ok
[INFO] [stdout] test non_scalar_field_struct_is_refused ... ok
[INFO] [stdout] test struct_return_lowers_as_heap_pointer ... ok
[INFO] [stdout] test struct_param_field_read_executes_and_matches_cpython ... ok
[INFO] [stdout] test float_field_executes_and_matches_cpython ... ok
[INFO] [stdout] test struct_local_program_executes_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/i64_overflow_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/12b648fe91ec8a2e/out/i64_overflow_witness-12b648fe91ec8a2e)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test both_backends_agree_that_i64_overflow_is_an_error ... ok
[INFO] [stdout] test in_range_arithmetic_still_matches_cpython ... ok
[INFO] [stdout] test negating_i64_min_traps_and_every_other_negation_is_exact ... ok
[INFO] [stdout] test pow_over_i64_is_refused_not_wrapped ... ok
[INFO] [stdout] test bare_wrapping_instructions_exist_only_inside_the_helpers ... ok
[INFO] [stdout] test each_arithmetic_helper_is_laid_down_only_when_called ... ok
[INFO] [stdout] test unary_negation_routes_through_the_checked_multiply ... ok
[INFO] [stdout] test shl_residual_and_mul_disagree_on_the_same_value ... ok
[INFO] [stdout] test overflow_traps_and_in_range_arithmetic_is_exact ... ok
[INFO] [stderr]      Running tests/int_minmax_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/7cba45eebadb4cca/out/int_minmax_witness-7cba45eebadb4cca)
[INFO] [stdout] test the_repro_traps_instead_of_answering_zero ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test non_int_min_max_refuse ... ok
[INFO] [stdout] test helper_declared_once_across_many_uses ... ok
[INFO] [stdout] test nested_min_max_declares_both_helpers_once ... ok
[INFO] [stdout] test variadic_min_left_folds_to_repeated_helper_calls ... ok
[INFO] [stdout] test int_min_uses_the_select_helper_and_max_is_independent ... ok
[INFO] [stderr]      Running tests/int_to_str_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/9e279fd918b63ff0/out/int_to_str_witness-9e279fd918b63ff0)
[INFO] [stdout] test int_min_max_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test cpython_str_int_values_are_pinned ... ok
[INFO] [stdout] test to_s_emits_int_to_str_helper_and_call ... ok
[INFO] [stdout] test real_str_int_program_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test str_int_composes_as_a_concat_operand_matches_cpython ... ok
[INFO] [stdout] test str_int_sign_zero_boundary_edges_match_cpython ... ok
[INFO] [stderr]      Running tests/iteration_scramble_fuzz_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/0c6fa1b30e327154/out/iteration_scramble_fuzz_witness-0c6fa1b30e327154)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test bare_for_k_over_mutated_dict_refuses ... ok
[INFO] [stdout] test corpus_is_deterministic_and_scrambles_before_iterating ... ok
[INFO] [stdout] test order_dependent_iteration_refuses ... ok
[INFO] [stdout] test str_valued_values_iteration_refuses ... ok
[INFO] [stdout] test iteration_fuzz_lowers ... ok
[INFO] [stdout] test iteration_matches_cpython_over_scrambled_sequences ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/list_adversarial_value_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/5c69ba618307f02c/out/list_adversarial_value_witness-5c69ba618307f02c)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test reversed_model_is_list ... ok
[INFO] [stderr]      Running tests/list_append_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/39acd4b778568c02/out/list_append_witness-39acd4b778568c02)
[INFO] [stdout] test adversarial_values_match_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 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 append_to_alias_refuses_honestly ... ok
[INFO] [stdout] test append_to_param_refuses_honestly ... ok
[INFO] [stdout] test append_to_sorted_result_refuses_honestly ... ok
[INFO] [stdout] test append_past_capacity_traps ... ok
[INFO] [stdout] test float_append_executes_and_matches_cpython ... ok
[INFO] [stdout] test append_nonempty_literal_executes_and_matches_cpython ... ok
[INFO] [stdout] test append_build_loop_executes_and_matches_cpython ... ok
[INFO] [stdout] test nested_reduce_elem_gates_helpers ... ok
[INFO] [stderr]      Running tests/list_bool_reduce_frontend_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/cc834548c9b53dff/out/list_bool_reduce_frontend_witness-cc834548c9b53dff)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 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 any_all_unsupported_shapes_refuse ... ok
[INFO] [stdout] test bool_reduce_pipeline_lowers_and_emits ... ok
[INFO] [stdout] test any_all_execute_and_match_cpython ... ok
[INFO] [stderr]      Running tests/list_contains_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/fd80b85dde5331f8/out/list_contains_witness-fd80b85dde5331f8)
[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 6 tests
[INFO] [stdout] test non_name_list_membership_refuses_honestly ... ok
[INFO] [stdout] test int_membership_executes_and_matches_cpython ... ok
[INFO] [stdout] test float_membership_executes_and_matches_cpython ... ok
[INFO] [stdout] test bool_list_membership_refuses_honestly ... ok
[INFO] [stdout] test empty_list_membership_is_false ... ok
[INFO] [stdout] test param_membership_executes_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running tests/list_delitem_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/d82cbdd99e1955d1/out/list_delitem_witness-d82cbdd99e1955d1)
[INFO] [stdout] running 12 tests
[INFO] [stdout] test del_into_bool_list_refuses_honestly ... ok
[INFO] [stdout] test del_from_param_lowers_and_emits ... ok
[INFO] [stdout] test del_float_executes_and_matches_cpython ... ok
[INFO] [stdout] test del_loop_drain_front_executes_and_matches_cpython ... ok
[INFO] [stdout] test del_deep_negative_boundary_traps ... ok
[INFO] [stdout] test del_last_int_executes_and_matches_cpython ... ok
[INFO] [stdout] test del_negative_deep_executes_and_matches_cpython ... ok
[INFO] [stdout] test del_first_int_executes_and_matches_cpython ... ok
[INFO] [stdout] test del_on_empty_traps ... ok
[INFO] [stdout] test del_out_of_range_traps ... ok
[INFO] [stdout] test del_negative_one_executes_and_matches_cpython ... ok
[INFO] [stdout] test del_middle_int_executes_and_matches_cpython ... 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 6 tests
[INFO] [stderr]      Running tests/list_e2e_frontend_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/fb4877f2d3339b24/out/list_e2e_frontend_witness-fb4877f2d3339b24)
[INFO] [stdout] test unsupported_shapes_refuse_not_miscompile ... ok
[INFO] [stdout] test generalized_concat_operands_execute_and_match_cpython ... ok
[INFO] [stdout] test set_algebra_executes_and_matches_cpython ... ok
[INFO] [stdout] test generalized_concat_float_operands_execute_and_match_cpython ... ok
[INFO] [stdout] test float_list_ops_execute_and_match_cpython ... ok
[INFO] [stdout] test int_list_ops_execute_and_match_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stderr]      Running tests/list_family_composition_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/2c35cb719e15ea76/out/list_family_composition_witness-2c35cb719e15ea76)
[INFO] [stdout] test slice_of_temporary_refuses_honestly ... ok
[INFO] [stdout] test corpus_exercises_nested_allocation ... ok
[INFO] [stdout] test min_of_empty_traps_like_cpython ... ok
[INFO] [stdout] test composition_corpus_lowers ... ok
[INFO] [stdout] test composition_family_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/list_insert_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/7bf28f14f706be9d/out/list_insert_witness-7bf28f14f706be9d)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test insert_into_param_refuses_honestly ... ok
[INFO] [stdout] test insert_loop_front_build_executes_and_matches_cpython ... ok
[INFO] [stdout] test insert_into_bool_list_refuses_honestly ... ok
[INFO] [stdout] test insert_into_alias_refuses_honestly ... ok
[INFO] [stdout] test insert_middle_int_executes_and_matches_cpython ... ok
[INFO] [stdout] test insert_past_capacity_traps ... ok
[INFO] [stdout] test insert_float_executes_and_matches_cpython ... ok
[INFO] [stdout] test insert_into_empty_executes_and_matches_cpython ... ok
[INFO] [stdout] test insert_negative_one_executes_and_matches_cpython ... ok
[INFO] [stdout] test insert_then_sum_gates_helper_executes_and_matches_cpython ... ok
[INFO] [stdout] test insert_front_negative_clamps_and_matches_cpython ... ok
[INFO] [stdout] test insert_past_end_clamps_to_append_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/list_local_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/93c19f574a30f1d8/out/list_local_witness-93c19f574a30f1d8)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test append_to_a_param_list_is_refused ... ok
[INFO] [stdout] test alias_binding_is_a_bare_pointer_copy ... ok
[INFO] [stdout] test list_of_str_local_is_refused_at_registration ... ok
[INFO] [stdout] test append_to_literal_bound_list_emits_a_bounded_in_place_write ... ok
[INFO] [stdout] test list_binding_from_a_call_is_refused ... ok
[INFO] [stdout] test list_lit_materialises_on_the_bump_heap_under_the_param_abi ... ok
[INFO] [stdout] test list_local_programs_execute_and_match_cpython ... 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] [stderr]      Running tests/list_mutation_composition_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/06681a4f93d0cfdb/out/list_mutation_composition_witness-06681a4f93d0cfdb)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test corpus_exercises_mutation_interference ... ok
[INFO] [stdout] test mutation_traps_are_loud ... ok
[INFO] [stdout] test mutation_composition_corpus_lowers ... ok
[INFO] [stdout] test mutation_composition_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/list_neg_index_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/5e49203a7b3ec7d8/out/list_neg_index_witness-5e49203a7b3ec7d8)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test negative_list_index_normalizes_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/list_pop_index_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/cf0400b031cd5ae8/out/list_pop_index_witness-cf0400b031cd5ae8)
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test pop_index_bool_list_refuses_honestly ... ok
[INFO] [stdout] test pop_index_from_param_lowers_and_assembles ... ok
[INFO] [stdout] test pop_index_middle_int_executes_and_matches_cpython ... ok
[INFO] [stdout] test pop_index_last_equiv_executes_and_matches_cpython ... ok
[INFO] [stdout] test pop_index_negative_executes_and_matches_cpython ... ok
[INFO] [stdout] test pop_index_non_name_refuses_honestly ... ok
[INFO] [stdout] test pop_index_float_twin_executes_and_matches_cpython ... ok
[INFO] [stdout] test pop_index_front_drain_loop_executes_and_matches_cpython ... ok
[INFO] [stdout] test pop_index_nested_query_gates_both_helpers ... ok
[INFO] [stdout] test pop_index_deep_negative_boundary_traps ... ok
[INFO] [stdout] test pop_index_tight_gate_no_dead_helper ... ok
[INFO] [stdout] test pop_index_out_of_range_traps ... ok
[INFO] [stdout] test pop_index_runtime_deep_negative_traps ... ok
[INFO] [stdout] test pop_index_runtime_negative_executes_and_matches_cpython ... ok
[INFO] [stdout] test pop_index_runtime_positive_executes_and_matches_cpython ... ok
[INFO] [stdout] test pop_index_nested_in_query_needle_gates_both_helpers ... ok
[INFO] [stdout] test pop_index_on_empty_traps ... ok
[INFO] [stdout] test pop_index_too_negative_traps ... ok
[INFO] [stdout] test pop_index_then_append_executes_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/list_pop_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/293dddab4e6c9b7b/out/list_pop_witness-293dddab4e6c9b7b)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test pop_non_name_refuses_honestly ... ok
[INFO] [stdout] test pop_indexed_now_lowers ... ok
[INFO] [stdout] test pop_from_param_lowers ... ok
[INFO] [stdout] test pop_bool_executes_and_matches_cpython ... ok
[INFO] [stdout] test pop_temporary_refuses_honestly ... ok
[INFO] [stdout] test pop_last_int_executes_and_matches_cpython ... ok
[INFO] [stdout] test pop_drain_loop_executes_and_matches_cpython ... ok
[INFO] [stdout] test pop_float_executes_and_matches_cpython ... ok
[INFO] [stdout] test pop_empty_traps ... ok
[INFO] [stdout] test pop_two_in_one_expr_executes_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/list_query_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/9f60b7b96f3a616d/out/list_query_witness-9f60b7b96f3a616d)
[INFO] [stdout] test pop_then_sum_gates_helper ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test non_name_list_query_refuses_honestly ... ok
[INFO] [stdout] test bool_list_query_refuses_honestly ... ok
[INFO] [stdout] test nested_reduce_needle_gates_all_helpers ... ok
[INFO] [stdout] test float_query_executes_and_matches_cpython ... ok
[INFO] [stdout] test int_count_executes_and_matches_cpython ... ok
[INFO] [stdout] test int_index_executes_and_matches_cpython ... ok
[INFO] [stdout] test index_miss_traps ... ok
[INFO] [stdout] test param_query_executes_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/list_reduction_adversarial_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/c31a36e3f46871d1/out/list_reduction_adversarial_witness-c31a36e3f46871d1)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test minmax_helpers_emit_the_empty_list_trap_guard ... ok
[INFO] [stderr]      Running tests/list_remove_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/7f5e68018f6cf4fb/out/list_remove_witness-7f5e68018f6cf4fb)
[INFO] [stdout] test sum_empty_is_identity_not_a_trap ... ok
[INFO] [stdout] test min_empty_int_traps ... ok
[INFO] [stdout] test sorted_over_duplicates_full_order ... ok
[INFO] [stdout] test min_empty_float_traps ... ok
[INFO] [stdout] test float_sum_is_a_left_fold ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test remove_into_bool_list_refuses_honestly ... ok
[INFO] [stdout] test remove_absent_traps ... ok
[INFO] [stdout] test remove_middle_int_executes_and_matches_cpython ... ok
[INFO] [stdout] test remove_from_param_lowers_and_emits ... ok
[INFO] [stdout] test remove_last_int_executes_and_matches_cpython ... ok
[INFO] [stdout] test remove_float_executes_and_matches_cpython ... ok
[INFO] [stdout] test remove_first_int_executes_and_matches_cpython ... ok
[INFO] [stdout] test remove_negative_value_executes_and_matches_cpython ... ok
[INFO] [stdout] test remove_first_of_duplicates_executes_and_matches_cpython ... ok
[INFO] [stdout] test remove_two_sequential_executes_and_matches_cpython ... ok
[INFO] [stdout] test remove_on_empty_traps ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/list_reverse_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/42a30e266b29d0e7/out/list_reverse_witness-42a30e266b29d0e7)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test reverse_bool_list_refuses_honestly ... ok
[INFO] [stdout] test no_reverse_omits_helper ... ok
[INFO] [stdout] test reverse_empty_int_executes_and_matches_cpython ... ok
[INFO] [stdout] test reverse_from_param_lowers_and_emits ... ok
[INFO] [stdout] test reverse_then_append_executes_and_matches_cpython ... ok
[INFO] [stdout] test reverse_in_if_declares_helper_and_matches_cpython ... ok
[INFO] [stdout] test reverse_float_executes_and_matches_cpython ... ok
[INFO] [stdout] test reverse_even_int_executes_and_matches_cpython ... ok
[INFO] [stdout] test reverse_negative_int_executes_and_matches_cpython ... ok
[INFO] [stdout] test reverse_single_int_executes_and_matches_cpython ... ok
[INFO] [stdout] test reverse_odd_int_executes_and_matches_cpython ... ok
[INFO] [stdout] test reverse_twice_is_identity_executes_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/list_scalar_truthy_reduce_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/1d79407eba93cc6c/out/list_scalar_truthy_reduce_witness-1d79407eba93cc6c)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test int_any_all_execute_and_match_cpython ... ok
[INFO] [stdout] test float_any_all_execute_and_match_cpython ... ok
[INFO] [stdout] test scalar_truthy_pipeline_routes_by_element_kind ... ok
[INFO] [stdout] test scalar_truthy_unsupported_shapes_refuse ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/list_slice_adversarial_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/2dc184765dbbf2ca/out/list_slice_adversarial_witness-2dc184765dbbf2ca)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test stepped_list_slice_refuses_honestly ... ok
[INFO] [stdout] test float_slice_executes_and_matches_cpython ... ok
[INFO] [stdout] test int_slice_adversarial_executes_and_matches_cpython ... ok
[INFO] [stdout] test empty_list_slice_is_empty ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/list_sort_clear_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/b38f8b228e5e9886/out/list_sort_clear_witness-b38f8b228e5e9886)
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test no_sort_omits_helpers ... ok
[INFO] [stdout] test sort_bool_list_refuses_honestly ... ok
[INFO] [stdout] test clear_int_list_executes_and_matches_cpython ... ok
[INFO] [stdout] test clear_float_list_executes_and_matches_cpython ... ok
[INFO] [stdout] test clear_empty_is_idempotent ... ok
[INFO] [stdout] test sort_already_sorted_executes_and_matches_cpython ... ok
[INFO] [stdout] test clear_then_append_executes_and_matches_cpython ... ok
[INFO] [stdout] test sort_int_asc_executes_and_matches_cpython ... ok
[INFO] [stdout] test sort_int_desc_executes_and_matches_cpython ... ok
[INFO] [stdout] test sort_negative_dupes_executes_and_matches_cpython ... ok
[INFO] [stdout] test sort_empty_executes_and_matches_cpython ... ok
[INFO] [stdout] test sort_float_asc_executes_and_matches_cpython ... ok
[INFO] [stdout] test sort_single_executes_and_matches_cpython ... ok
[INFO] [stdout] test clear_from_param_lowers_and_emits ... ok
[INFO] [stdout] test sorted_only_module_omits_inplace_twins ... ok
[INFO] [stdout] test sort_then_append_executes_and_matches_cpython ... ok
[INFO] [stdout] test sort_from_param_lowers_and_emits ... ok
[INFO] [stdout] test sort_float_desc_executes_and_matches_cpython ... ok
[INFO] [stdout] test sort_vs_sorted_coexist_executes_and_matches_cpython ... ok
[INFO] [stdout] test sort_in_if_declares_helper_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/literal_string_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/201fd16e4d954eac/out/literal_string_witness-201fd16e4d954eac)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test greet_emits_literal_data_segments_and_heap ... ok
[INFO] [stdout] test cpython_greet_is_ascii_and_pinned ... ok
[INFO] [stdout] test real_string_equality_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test real_literal_program_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test real_str_index_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/math_rounding_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/7ef876f22f49ef6b/out/math_rounding_witness-7ef876f22f49ef6b)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test transcendentals_and_int_arg_refuse ... ok
[INFO] [stderr]      Running tests/module_const_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/8d27ba1c18e4f1dd/out/module_const_witness-8d27ba1c18e4f1dd)
[INFO] [stdout] test floor_and_trunc_differ_on_a_negative ... ok
[INFO] [stdout] test floor_ceil_trunc_emit_native_rounding_plus_narrow ... ok
[INFO] [stdout] test fstring_over_rounding_materialises_via_str_int ... ok
[INFO] [stdout] test floor_ceil_trunc_execute_in_wasm_and_match_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stderr]      Running tests/module_identifier_collision_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/97a32d4066001a3b/out/module_identifier_collision_witness-97a32d4066001a3b)
[INFO] [stdout] test non_scalar_module_constant_refuses ... ok
[INFO] [stdout] test shadowing_a_const_is_refused_upstream ... ok
[INFO] [stdout] test scalar_const_module_needs_no_heap ... ok
[INFO] [stdout] test int_const_in_fstring_wraps_via_str_int ... ok
[INFO] [stdout] test each_const_emits_one_immutable_global ... ok
[INFO] [stdout] test module_consts_execute_in_wasm_and_match_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test a_duplicate_top_level_binding_refuses ... ok
[INFO] [stdout] test a_reserved_runtime_name_refuses ... ok
[INFO] [stdout] test a_reserved_name_in_a_local_position_is_not_refused ... ok
[INFO] [stdout] test a_struct_beside_a_function_of_a_different_name_still_emits ... ok
[INFO] [stdout] test distinct_top_level_names_still_emit ... ok
[INFO] [stdout] test the_refusal_message_tells_the_caller_what_to_do ... ok
[INFO] [stdout] test a_reserved_name_in_a_local_position_executes_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/num_builtin_adversarial_verify_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/0fcdae8024a820d6/out/num_builtin_adversarial_verify_witness-0fcdae8024a820d6)
[INFO] [stdout] test the_ordinary_distinct_name_module_still_assembles_and_runs ... ok
[INFO] [stdout] test every_module_this_backend_still_accepts_here_actually_assembles ... ok
[INFO] [stdout] test the_mixed_def_plus_const_shape_was_a_silent_divergence_not_a_loud_one ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test a_float_min_max_still_refuses_in_every_position ... ok
[INFO] [stdout] test the_variadic_fold_is_pairwise_and_shares_one_helper ... ok
[INFO] [stdout] test a_side_effecting_operand_is_evaluated_exactly_once ... ok
[INFO] [stdout] test every_gate_fires_through_another_num_builtin_node ... ok
[INFO] [stdout] test the_per_op_gates_stay_independent ... ok
[INFO] [stdout] test min_max_in_a_format_position_lowers ... ok
[INFO] [stderr]      Running tests/real_program_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/7be11f2360ffd9c5/out/real_program_witness-7be11f2360ffd9c5)
[INFO] [stdout] test the_num_builtin_belt_executes_and_matches_cpython ... 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 1 test
[INFO] [stdout] test real_weighted_sum_program_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/round_to_int_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/5e8447daec05b58f/out/round_to_int_witness-5e8447daec05b58f)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test round_in_fstring_wraps_via_str_int ... ok
[INFO] [stdout] test round_of_int_is_the_frontend_identity ... ok
[INFO] [stdout] test round_lowers_to_f64_nearest_and_narrows ... ok
[INFO] [stdout] test round_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test two_arg_round_refuses_and_says_why ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/set_algebra_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/c152e25902b3861d/out/set_algebra_witness-c152e25902b3861d)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test set_algebra_lowers_and_carries_helpers ... ok
[INFO] [stdout] test set_algebra_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stderr]      Running tests/set_any_all_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/9a323d933ee0984d/out/set_any_all_witness-9a323d933ee0984d)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test set_any_all_reuses_shared_helpers ... ok
[INFO] [stdout] test set_any_all_refuse_out_of_lane_forms ... ok
[INFO] [stdout] test set_any_all_execute_in_wasm_and_match_cpython ... 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] [stderr]      Running tests/set_build_store_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/1b43060e7cd816c9/out/set_build_store_witness-1b43060e7cd816c9)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test add_while_iterating_refuses ... ok
[INFO] [stdout] test let_temp_element_refuses ... ok
[INFO] [stdout] test accumulator_element_refuses ... ok
[INFO] [stdout] test call_element_refuses ... ok
[INFO] [stdout] test fold_reading_built_set_refuses ... ok
[INFO] [stdout] test membership_guard_on_built_set_refuses ... ok
[INFO] [stdout] test add_into_param_set_refuses_at_growth_belt ... ok
[INFO] [stdout] test set_comprehension_over_hash_source_now_lowers ... ok
[INFO] [stdout] test corpus_emits_with_set_add_helpers ... ok
[INFO] [stdout] test set_build_store_witness_executes_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/set_comp_hash_source_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/e25eaba245427b24/out/set_comp_hash_source_witness-e25eaba245427b24)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test comp_over_mutated_dict_refuses_in_wasm_like_the_statement ... ok
[INFO] [stdout] test call_element_refuses_through_the_sugar ... ok
[INFO] [stdout] test expression_position_comp_still_refuses_in_wasm ... ok
[INFO] [stdout] test self_reference_refuses_in_all_read_positions ... ok
[INFO] [stdout] test two_generator_set_comp_over_set_sources_now_lowers_and_emits ... ok
[INFO] [stdout] test tuple_source_still_refuses ... ok
[INFO] [stdout] test corpus_emits_with_set_add_helpers ... ok
[INFO] [stdout] test set_comp_hash_source_witness_executes_and_matches_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/set_disjoint_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/ca72d24a07bb5dfb/out/set_disjoint_witness-ca72d24a07bb5dfb)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test set_disjoint_lowers_and_carries_helper ... ok
[INFO] [stdout] test set_disjoint_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stderr]      Running tests/set_equality_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/e35b3a8eec68f87a/out/set_equality_witness-e35b3a8eec68f87a)
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test set_equality_refuses_dict_and_mixed_operands ... ok
[INFO] [stdout] test set_equality_lowers_and_carries_helper ... ok
[INFO] [stdout] test set_equality_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stderr]      Running tests/set_iteration_order_guard_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/1df7d1640d8aac14/out/set_iteration_order_guard_witness-1df7d1640d8aac14)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test non_whitelisted_op_refuses_conservatively ... ok
[INFO] [stdout] test first_element_flag_refuses ... ok
[INFO] [stdout] test commutative_sum_still_matches_cpython ... ok
[INFO] [stdout] test accumulator_observing_guard_refuses ... ok
[INFO] [stdout] test conditional_count_still_matches_cpython ... ok
[INFO] [stdout] test order_dependent_positional_fold_refuses ... ok
[INFO] [stdout] test xor_fold_still_matches_cpython ... ok
[INFO] [stdout] test extremum_idiom_max_still_matches_cpython ... ok
[INFO] [stdout] test commutative_count_still_matches_cpython ... ok
[INFO] [stdout] test sorted_binding_allows_order_dependent_fold ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/set_iteration_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/dea6ac9fc491722b/out/set_iteration_witness-dea6ac9fc491722b)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test direct_set_subscript_refuses_typeerror ... ok
[INFO] [stdout] test order_dependent_for_in_dict_still_refuses ... ok
[INFO] [stdout] test set_iteration_lowers_with_stride16_read ... ok
[INFO] [stdout] test set_iteration_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/set_pred_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/7e9876a8e2148388/out/set_pred_witness-7e9876a8e2148388)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test set_pred_lowers_and_carries_helper ... ok
[INFO] [stdout] test set_pred_refuses_mixed ... ok
[INFO] [stdout] test set_pred_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/set_reduce_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/2af36215b9bef1d3/out/set_reduce_witness-2af36215b9bef1d3)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test set_minmax_lowers_through_materialiser_and_minmax_helper ... ok
[INFO] [stdout] test list_reductions_still_work ... ok
[INFO] [stdout] test set_sum_dedup_matches_cpython ... ok
[INFO] [stdout] test set_max_matches_cpython ... ok
[INFO] [stdout] test set_reduction_composes_in_arithmetic ... ok
[INFO] [stdout] test set_min_empty_traps_like_cpython_valueerror ... ok
[INFO] [stdout] test set_min_matches_cpython ... ok
[INFO] [stdout] test str_set_reduction_refuses ... ok
[INFO] [stdout] test set_sum_lowers_through_materialiser_and_sum_helper ... ok
[INFO] [stdout] test set_sum_order_independent_after_discard ... ok
[INFO] [stdout] test set_sum_empty_is_zero ... ok
[INFO] [stdout] test set_sum_matches_cpython ... ok
[INFO] [stdout] test set_reductions_negatives_match_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/set_remove_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/7ba385eb3b2ce907/out/set_remove_witness-7ba385eb3b2ce907)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test set_remove_lowers_and_carries_shape ... ok
[INFO] [stdout] test set_remove_over_non_set_local_is_refused ... ok
[INFO] [stdout] test set_remove_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test set_remove_absent_element_traps_keyerror ... ok
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/set_subset_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/65d5a4605b157a34/out/set_subset_witness-65d5a4605b157a34)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test set_subset_lowers_and_carries_helper ... ok
[INFO] [stdout] test set_subset_refuses_mixed_and_algebra ... ok
[INFO] [stdout] test set_subset_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stdout] test cpython_pins_are_python ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/shift_count_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/22ac23e3b40a352c/out/shift_count_witness-22ac23e3b40a352c)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test shift_helpers_are_absent_from_a_shiftless_module ... ok
[INFO] [stdout] test shifts_route_through_the_count_honest_helpers ... ok
[INFO] [stdout] test a_module_with_no_arithmetic_and_no_shift_carries_no_trap ... ok
[INFO] [stdout] test out_of_range_shift_counts_trap_or_saturate ... ok
[INFO] [stdout] test in_range_shift_counts_are_unregressed ... ok
[INFO] [stderr]      Running tests/sorted_set_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/4cae3b16d98f02c5/out/sorted_set_witness-4cae3b16d98f02c5)
[INFO] [stdout] test shl_in_range_overflow_is_a_known_residual ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test bare_list_of_set_refuses_honestly ... ok
[INFO] [stdout] test sorted_set_lowers_and_carries_helpers ... ok
[INFO] [stdout] test sorted_set_dedup_matches_cpython ... ok
[INFO] [stdout] test sorted_set_descending_matches_cpython ... ok
[INFO] [stdout] test sorted_set_ascending_matches_cpython ... ok
[INFO] [stdout] test sorted_str_set_refuses_honestly ... ok
[INFO] [stdout] test sorted_set_order_independent_after_discard ... ok
[INFO] [stderr]      Running tests/sqrt_num_builtin_witness.rs (/opt/rustwide/target/release/build/xpile-wasm-codegen/b6a751770d2018f3/out/sqrt_num_builtin_witness-b6a751770d2018f3)
[INFO] [stdout] test sorted_empty_set_no_trap ... ok
[INFO] [stdout] test sorted_set_single_and_negatives_match_cpython ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test sqrt_emits_the_domain_guarded_native_helper ... ok
[INFO] [stdout] test transcendentals_and_an_int_arg_still_refuse ... ok
[INFO] [stdout] test the_sqrt_helper_is_gated_and_deduplicated ... ok
[INFO] [stdout] test a_deeply_nested_sqrt_still_arms_the_gate ... ok
[INFO] [stdout] test sqrt_executes_in_wasm_and_matches_cpython ... ok
[INFO] [stderr] error: test failed, to rerun pass `--test sqrt_num_builtin_witness`
[INFO] [stdout] test sqrt_of_a_negative_traps_where_cpython_raises ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- sqrt_of_a_negative_traps_where_cpython_raises stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'sqrt_of_a_negative_traps_where_cpython_raises' (6805) panicked at tests/sqrt_num_builtin_witness.rs:468:9:
[INFO] [stdout] CPython must RAISE ValueError on math.sqrt(-1.0): Output { status: ExitStatus(unix_wait_status(256)), stdout: "", stderr: "Traceback (most recent call last):\n  File \"<string>\", line 5, in <module>\n    neg()\n    ~~~^^\n  File \"<string>\", line 3, in neg\n    return math.sqrt(-1.0)\n           ~~~~~~~~~^^^^^^\nValueError: expected a nonnegative input, got -1.0\n" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x610862adaa81 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x610862aefdaa - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x610862adeedc - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x610862ab60d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x610862ad2f39 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x61086271d050 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x610862ad30f2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x610862ab6182 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x610862aaed79 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x610862ab6d8d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x610862af04dc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x61086270ba86 - <sqrt_num_builtin_witness[9a4dabdaf68ade18]::sqrt_of_a_negative_traps_where_cpython_raises::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x61086271049b - 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:     0x61086271d675 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x610862716f64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x610862720702 - <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:     0x610862ada0ff - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x7eb3512a4dfa - <unknown>
[INFO] [stdout]   18:     0x7eb3513383d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     sqrt_of_a_negative_traps_where_cpython_raises
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 5 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.15s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "d492a8f0245fa2029000d1fffcbd31ff7a4abc413f906a34eaf41a4b4d685ba0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d492a8f0245fa2029000d1fffcbd31ff7a4abc413f906a34eaf41a4b4d685ba0", kill_on_drop: false }`
[INFO] [stdout] d492a8f0245fa2029000d1fffcbd31ff7a4abc413f906a34eaf41a4b4d685ba0
