[INFO] cloning repository https://github.com/dollspace-gay/Thermite
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/dollspace-gay/Thermite" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdollspace-gay%2FThermite", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdollspace-gay%2FThermite'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8c022a6294d248c80658b68bb991887cd90a1215
[INFO] testing dollspace-gay/Thermite against 1.98.0-beta.1 for beta-1.98-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdollspace-gay%2FThermite" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-6-tc2/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/dollspace-gay/Thermite
[INFO] finished tweaking git repo https://github.com/dollspace-gay/Thermite
[INFO] tweaked toml for git repo https://github.com/dollspace-gay/Thermite written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/dollspace-gay/Thermite on toolchain 1.98.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/dollspace-gay/Thermite 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.98.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 2f7262eb078b3bcbc0806fc1751d16ebe93abbf69f6209ad0a338b13a593f97c
[INFO] running `Command { std: "docker" "start" "2f7262eb078b3bcbc0806fc1751d16ebe93abbf69f6209ad0a338b13a593f97c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2f7262eb078b3bcbc0806fc1751d16ebe93abbf69f6209ad0a338b13a593f97c", 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" "2f7262eb078b3bcbc0806fc1751d16ebe93abbf69f6209ad0a338b13a593f97c" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2f7262eb078b3bcbc0806fc1751d16ebe93abbf69f6209ad0a338b13a593f97c", 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" "2f7262eb078b3bcbc0806fc1751d16ebe93abbf69f6209ad0a338b13a593f97c" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling thermite-syntax v0.0.1 (/opt/rustwide/workdir/thermite-syntax)
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling thermite-verified v0.0.1 (/opt/rustwide/workdir/thermite-verified)
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling thermite-spec v0.0.1 (/opt/rustwide/workdir/thermite-spec)
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling thermite-skill v0.0.1 (/opt/rustwide/workdir/thermite-skill)
[INFO] [stderr]    Compiling thermite-lower v0.0.1 (/opt/rustwide/workdir/thermite-lower)
[INFO] [stderr]    Compiling thermite-tv v0.0.1 (/opt/rustwide/workdir/thermite-tv)
[INFO] [stderr]    Compiling forge v0.0.1 (/opt/rustwide/workdir/forge)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 26.29s
[INFO] running `Command { std: "docker" "inspect" "2f7262eb078b3bcbc0806fc1751d16ebe93abbf69f6209ad0a338b13a593f97c", 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" "2f7262eb078b3bcbc0806fc1751d16ebe93abbf69f6209ad0a338b13a593f97c" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling thermite-skill v0.0.1 (/opt/rustwide/workdir/thermite-skill)
[INFO] [stderr]    Compiling thermite-tv v0.0.1 (/opt/rustwide/workdir/thermite-tv)
[INFO] [stderr]    Compiling thermite-spec v0.0.1 (/opt/rustwide/workdir/thermite-spec)
[INFO] [stderr]    Compiling forge v0.0.1 (/opt/rustwide/workdir/forge)
[INFO] [stderr]    Compiling thermite-syntax v0.0.1 (/opt/rustwide/workdir/thermite-syntax)
[INFO] [stderr]    Compiling thermite-lower v0.0.1 (/opt/rustwide/workdir/thermite-lower)
[INFO] [stderr]    Compiling thermite-verified v0.0.1 (/opt/rustwide/workdir/thermite-verified)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 21s
[INFO] running `Command { std: "docker" "inspect" "2f7262eb078b3bcbc0806fc1751d16ebe93abbf69f6209ad0a338b13a593f97c", 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" "2f7262eb078b3bcbc0806fc1751d16ebe93abbf69f6209ad0a338b13a593f97c" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.23s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/forge-a3b39b52d02b7a7c)
[INFO] [stdout] 
[INFO] [stdout] running 468 tests
[INFO] [stdout] test audit::tests::lowered_assurance_listed_in_project_section ... ok
[INFO] [stdout] test audit::tests::pre_amendment_v1_deserializes_into_typed_manifest ... ok
[INFO] [stdout] test accessibility::tests::extracts_dec_wf_relation_and_carrier ... ok
[INFO] [stdout] test audit::tests::probe_boundary_is_not_pure_contract ... ok
[INFO] [stdout] test audit::tests::probe_agrees_with_direct_export_item ... ok
[INFO] [stdout] test accessibility::tests::recheck_hits_without_rederiving ... ok
[INFO] [stdout] test audit::tests::probe_pure_int_tail_is_auto ... ok
[INFO] [stdout] test accessibility::tests::cache_pass_populates_dec_wf_items_only ... ok
[INFO] [stdout] test accessibility::tests::non_wf_measures_are_not_accessibility_keyed ... ok
[INFO] [stdout] test audit::tests::slag_cert_enumerated_in_tcb ... ok
[INFO] [stdout] test audit::tests::boundary_cert_enumerated_in_tcb ... ok
[INFO] [stdout] test audit::tests::manifest_is_deterministic ... ok
[INFO] [stdout] test battery::tests::frozen_simp_lemma_resolves_by_leaf_or_qualified ... ok
[INFO] [stdout] test battery::tests::comments_are_stripped_before_scanning ... ok
[INFO] [stdout] test battery::tests::match_arm_and_calc_step_heads_are_after_arrow_and_by ... ok
[INFO] [stdout] test audit::tests::req8_non_bv_project_has_no_residual_trust_statement ... ok
[INFO] [stdout] test battery::tests::frozen_sets_have_the_pinned_sizes ... ok
[INFO] [stdout] test battery::tests::merge_example_residual_goal_carries_missing_bridge_hint ... ok
[INFO] [stdout] test audit::tests::req8_residual_trust_aggregates_the_kernel_checked_vs_solver_split ... ok
[INFO] [stdout] test audit::tests::pure_project_has_empty_slag_and_boundary_tcb ... ok
[INFO] [stdout] test battery::tests::non_residual_output_is_not_stuck ... ok
[INFO] [stdout] test battery::tests::unlisted_tactic_is_refused_with_its_name ... ok
[INFO] [stdout] test bitvector::tests::budget_profile_selection_is_width64_and_variable_multiply ... ok
[INFO] [stdout] test battery::tests::unlisted_simp_lemma_is_refused_with_its_name ... ok
[INFO] [stdout] test battery::tests::residual_with_only_bound_vars_has_no_bridge_hint ... ok
[INFO] [stdout] test battery::tests::scans_tactic_heads_and_simp_lemmas ... ok
[INFO] [stdout] test battery::tests::registry_matches_oracle ... ok
[INFO] [stdout] test bitvector::tests::cost_cliff_detector_distinguishes_var_mul_from_literal_mul ... ok
[INFO] [stdout] test audit::tests::probe_sum_th_refusals_are_hand_traced ... ok
[INFO] [stdout] test bitvector::tests::literal_reduces_modulo_width ... ok
[INFO] [stdout] test bitvector::tests::model_parser_decodes_hex_binary_and_bv_literal_to_bit_patterns ... ok
[INFO] [stdout] test bitvector::tests::live_non_injective_shift_yields_counterexample_with_bits ... ok
[INFO] [stdout] test bitvector::tests::live_machine_valid_clause_is_proved ... ok
[INFO] [stdout] test bitvector::tests::non_arithmetic_clause_has_no_overflow_conditions ... ok
[INFO] [stdout] test bitvector::tests::live_unbounded_sum_fails_with_a_concrete_overflowing_input ... ok
[INFO] [stdout] test bitvector::tests::live_multiply_overflow_predicate_is_decided_both_ways ... ok
[INFO] [stdout] test bitvector::tests::nowrap_obligation_is_vacuous_for_a_non_arithmetic_body ... ok
[INFO] [stdout] test bitvector::tests::nowrap_query_asserts_overflow_directly_not_negated ... ok
[INFO] [stdout] test bitvector::tests::out_of_fragment_operand_is_an_honest_error ... ok
[INFO] [stdout] test bitvector::tests::out_of_fragment_term_and_prop_are_honest_errors ... ok
[INFO] [stdout] test bitvector::tests::overflow_conditions_cover_add_sub_mul_with_the_textbook_predicates ... ok
[INFO] [stdout] test bitvector::tests::prop_uses_unsigned_relations_and_connectives ... ok
[INFO] [stdout] test bitvector::tests::query_declares_bitvecs_negates_clause_and_sets_rlimit_when_bounded ... ok
[INFO] [stdout] test bitvector::tests::render_bits_is_zero_padded_to_width ... ok
[INFO] [stdout] test bitvector::tests::term_lowers_arithmetic_and_bitwise_to_fixed_width_ops ... ok
[INFO] [stdout] test body_tv::divergent_teeth::faithful_production_classifies_faithful ... ok
[INFO] [stdout] test bitvector::tests::overflow_conditions_recurse_into_nested_operations ... ok
[INFO] [stdout] test bitvector::tests::unconstrained_variable_reads_as_all_zeros ... ok
[INFO] [stdout] test bitvector::tests::live_multiplier_budget_is_never_silent_unknown ... ok
[INFO] [stdout] test body_tv::divergent_teeth::degenerate_no_obligation_classifies_unverifiable ... ok
[INFO] [stdout] test bitvector::tests::live_bounded_sum_passes_the_nowrap_obligation ... ok
[INFO] [stdout] test body_tv::divergent_teeth::rlimit_signal_is_detected_counterexample_is_not ... ok
[INFO] [stdout] test burn::tests::proof_tokens_is_the_lexer_token_count ... ok
[INFO] [stdout] test body_tv::divergent_teeth::frame_compile_abort_classifies_unverifiable_not_divergent ... ok
[INFO] [stdout] test cache::tests::accessibility_is_schema_invalidated ... ok
[INFO] [stdout] test cache::tests::accessibility_key_is_pure_and_pair_sensitive ... ok
[INFO] [stdout] test build::tests::kernel_emit_source_carries_no_std_prelude ... ok
[INFO] [stdout] test burn::tests::authoring_tokens_is_opt_in ... ok
[INFO] [stdout] test cache::tests::cache_key_is_pure ... ok
[INFO] [stdout] test burn::tests::burn_is_oracle_excluded ... ok
[INFO] [stdout] test burn::tests::cited_lemmas_are_the_simp_citations_deduped ... ok
[INFO] [stdout] test cache::tests::accessibility_recheck_hits_the_cache ... ok
[INFO] [stdout] test cache::tests::default_cache_dir_is_under_target ... ok
[INFO] [stdout] test cache::tests::length_prefixing_prevents_boundary_collision ... ok
[INFO] [stdout] test cache::tests::key_changes_when_any_input_changes ... ok
[INFO] [stdout] test check::tests::apply_lemma_library_passes_certified_citation ... ok
[INFO] [stdout] test check::tests::apply_lemma_library_refuses_uncertified_citation_named ... ok
[INFO] [stdout] test check::tests::apply_lemma_library_rewrites_burn_citation_to_canonical ... ok
[INFO] [stdout] test check::tests::crate_stem_has_no_dot_and_is_valid ... ok
[INFO] [stdout] test cache::tests::corrupt_accessibility_entry_is_a_miss ... ok
[INFO] [stdout] test check::tests::dec_position_spec_fn_reaches_obligation_env ... ok
[INFO] [stdout] test cache::tests::corrupt_entry_is_a_miss ... ok
[INFO] [stdout] test check::tests::cache_key_is_local_to_the_item ... ok
[INFO] [stdout] test burn::tests::serde_round_trips_and_omits_empty_fields ... ok
[INFO] [stdout] test body_tv::divergent_teeth::wrong_state_production_classifies_divergent ... ok
[INFO] [stdout] test battery::tests::clean_proof_passes ... ok
[INFO] [stdout] test cache::tests::round_trip_load_store ... ok
[INFO] [stdout] test check::tests::failure_with_profile_report_classifies_as_timeout ... ok
[INFO] [stdout] test check::tests::parseable_failure_is_reported_cert_with_counterexample ... ok
[INFO] [stdout] test check::tests::vir_error_is_verus_output_error ... ok
[INFO] [stdout] test check::tests::parseable_success_is_l3_cert ... ok
[INFO] [stdout] test check::tests::spec_fn_free_item_has_no_registry_termination ... ok
[INFO] [stdout] test cli::tests::aggregation_preserves_inner_diagnostics ... ok
[INFO] [stdout] test check::tests::req8_supported_clause_migrates_to_kernel_checked_bitwise_stays_solver ... ok
[INFO] [stdout] test check::tests::unparseable_output_is_verus_output_error ... ok
[INFO] [stdout] test cli::tests::errors_map_to_environment_exit_code ... ok
[INFO] [stdout] test check::tests::reelaboration_mutation_shares_the_frozen_catalogue_not_forked ... ok
[INFO] [stdout] test cli::tests::human_render_shows_failure_counterexample ... ok
[INFO] [stdout] test cli::tests::parses_build_out_flag ... ok
[INFO] [stdout] test cli::tests::parses_build_target_flag ... ok
[INFO] [stdout] test cli::tests::parses_build_sandbox_flags ... ok
[INFO] [stdout] test cli::tests::parses_edit_restratify ... ok
[INFO] [stdout] test cli::tests::parses_level_flag ... ok
[INFO] [stdout] test cli::tests::parses_mutation_floor_flag ... ok
[INFO] [stdout] test cli::tests::parses_new_and_check ... ok
[INFO] [stdout] test cli::tests::parses_rlimit_flag ... ok
[INFO] [stdout] test cli::tests::parses_tv_seed_flag ... ok
[INFO] [stdout] test cli::tests::render_assurance_shows_failed_headline ... ok
[INFO] [stdout] test cli::tests::render_assurance_shows_headline_and_lowered_flags ... ok
[INFO] [stdout] test closure::tests::classification_is_deterministic ... ok
[INFO] [stdout] test cli::tests::scaffold_writes_layout_and_refuses_clobber ... ok
[INFO] [stdout] test cli::tests::usage_errors ... ok
[INFO] [stdout] test closure::tests::direct_boundary_caller_is_to_boundary ... ok
[INFO] [stdout] test closure::tests::mutual_recursion_terminates_and_is_end_to_end ... ok
[INFO] [stdout] test closure::tests::reachable_fns_excludes_spec_fns_and_is_empty_for_a_pure_caller ... ok
[INFO] [stdout] test closure::tests::pure_caller_of_spec_fn_is_end_to_end ... ok
[INFO] [stdout] test closure::tests::reachable_fns_is_transitive_through_an_intermediary ... ok
[INFO] [stdout] test closure::tests::reachable_fns_omits_an_unreferenced_sibling ... ok
[INFO] [stdout] test closure::tests::reachable_fns_includes_a_directly_called_boundary_fn ... ok
[INFO] [stdout] test closure::tests::self_recursive_pure_fn_is_end_to_end_and_terminates ... ok
[INFO] [stdout] test closure::tests::reachable_fns_is_deterministic ... ok
[INFO] [stdout] test closure::tests::transitive_boundary_chain_is_to_boundary ... ok
[INFO] [stdout] test closure::tests::slag_in_closure_is_to_boundary ... ok
[INFO] [stdout] test contract_tv::divergent_teeth::rlimit_output_text_is_not_a_divergence ... ok
[INFO] [stdout] test closure::tests::unresolved_cross_file_callee_is_pure ... ok
[INFO] [stdout] test contract_tv::divergent_teeth::rlimit_signal_is_detected_counterexample_is_not ... ok
[INFO] [stdout] test covenant::tests::covenant_record_round_trips ... ok
[INFO] [stdout] test contract_tv::divergent_teeth::faithful_production_classifies_faithful ... ok
[INFO] [stdout] test covenant::tests::none_is_a_truthful_no_covenant_record ... ok
[INFO] [stdout] test contract_tv::divergent_teeth::wrong_production_classifies_divergent ... ok
[INFO] [stdout] test covenant_engine::tests::covenant_gate_never_burns_without_covenant ... ok
[INFO] [stdout] test covenant_engine::tests::non_scalar_param_is_outside_the_fragment ... ok
[INFO] [stdout] test contract_tv::divergent_teeth::frame_abort_classifies_unverifiable_not_divergent ... ok
[INFO] [stdout] test covenant_engine::tests::refutation_is_deterministic_under_fixed_seed ... ok
[INFO] [stdout] test covenant_engine::tests::out_of_range_author_witness_is_a_type_mismatch_not_a_refutation ... ok
[INFO] [stdout] test covenant_engine::tests::planted_bug_is_refuted_with_concrete_counterexample ... ok
[INFO] [stdout] test covenant_engine::tests::witness_not_satisfying_req_is_a_loud_error ... ok
[INFO] [stdout] test covenant_eval::tests::assignment_to_immutable_binding_is_a_loud_error_let_mut_works ... ok
[INFO] [stdout] test covenant_eval::tests::cast_truncates_to_width ... ok
[INFO] [stdout] test covenant_engine::tests::witness_block_without_author_inhabit_is_refused ... ok
[INFO] [stdout] test covenant_eval::tests::divide_by_zero_is_a_trap_not_a_wrong_value ... ok
[INFO] [stdout] test covenant_eval::tests::arithmetic_and_comparison ... ok
[INFO] [stdout] test covenant_eval::tests::evaluation_is_deterministic ... ok
[INFO] [stdout] test covenant_eval::tests::body_with_let_and_tail ... ok
[INFO] [stdout] test covenant_eval::tests::body_with_early_return_in_if ... ok
[INFO] [stdout] test covenant_eval::tests::integer_bitwise_not_uses_the_i128_agreement_model ... ok
[INFO] [stdout] test covenant_eval::tests::unsupported_construct_is_loud_not_silent ... ok
[INFO] [stdout] test degrade::tests::aggregate_is_min_over_functions ... ok
[INFO] [stdout] test covenant_eval::tests::logical_short_circuit_does_not_touch_unbound_rhs ... ok
[INFO] [stdout] test covenant_eval::tests::unbound_name_is_an_error ... ok
[INFO] [stdout] test covenant_eval::tests::stmt_position_if_value_is_discarded_not_an_early_return ... ok
[INFO] [stdout] test degrade::tests::counterexample_never_degrades ... ok
[INFO] [stdout] test degrade::tests::aggregate_project_scope_all_end_to_end ... ok
[INFO] [stdout] test degrade::tests::aggregate_project_scope_any_to_boundary_lists_crossings ... ok
[INFO] [stdout] test degrade::tests::aggregate_project_scope_empty_is_end_to_end ... ok
[INFO] [stdout] test degrade::tests::all_l3_is_project_l3_no_lowering ... ok
[INFO] [stdout] test degrade::tests::covenant_refuted_never_degrades ... ok
[INFO] [stdout] test degrade::tests::degraded_l2_carries_flag_and_reason ... ok
[INFO] [stdout] test degrade::tests::l2_counterexample_never_drops_to_l1 ... ok
[INFO] [stdout] test degrade::tests::l2_environment_error_is_not_a_degrade ... ok
[INFO] [stdout] test degrade::tests::ladder_is_deterministic ... ok
[INFO] [stdout] test degrade::tests::hard_fail_caps_project_at_failure ... ok
[INFO] [stdout] test degrade::tests::proved_certifies_l3_no_lower_rung ... ok
[INFO] [stdout] test degrade::tests::timeout_then_l2_verified_certifies_l2_degraded ... ok
[INFO] [stdout] test degrade::tests::l2_under_bound_drops_to_l1 ... ok
[INFO] [stdout] test degrade::tests::no_nonproved_verdict_certifies_l3 ... ok
[INFO] [stdout] test degrade::verus_anchor::counterexample_observable_outcome_no_closure_no_degrade ... ok
[INFO] [stdout] test degrade::verus_anchor::ladder_action_l3_equals_verified_tag_over_all_verdicts ... ok
[INFO] [stdout] test degrade::verus_anchor::ladder_action_l2_equals_verified_tag_over_all_verdicts ... ok
[INFO] [stdout] test degrade::verus_anchor::l2_counterexample_observable_outcome_no_l1_no_degrade ... ok
[INFO] [stdout] test effect_wrappers::tests::emission_is_sorted_deterministic ... ok
[INFO] [stdout] test effect_wrappers::tests::emits_only_named_wrappers ... ok
[INFO] [stdout] test effect_wrappers::tests::empty_targets_emit_no_module ... ok
[INFO] [stdout] test effect_wrappers::tests::key_str_wrapper_is_bounded_one_byte_string ... ok
[INFO] [stdout] test effect_wrappers::tests::non_os_target_is_a_structured_error ... ok
[INFO] [stdout] test effect_wrappers::tests::read_byte_wrapper_uses_eof_sentinel_256 ... ok
[INFO] [stdout] test effect_wrappers::tests::read_key_wrapper_mirrors_read_byte_eof_sentinel ... ok
[INFO] [stdout] test effect_wrappers::tests::write_file_wrapper_is_total_status_arm ... ok
[INFO] [stdout] test engine::tests::attribution_records_engine_and_trust_base ... ok
[INFO] [stdout] test engine::tests::canonical_statement_extraction_and_whitespace_match ... ok
[INFO] [stdout] test effect_wrappers::tests::now_wrapper_is_the_grounded_clock_gettime_body ... ok
[INFO] [stdout] test effect_wrappers::tests::read_file_wrapper_is_total_empty_on_error ... ok
[INFO] [stdout] test engine::tests::classify_sat_real_only_model_is_real_witness ... ok
[INFO] [stdout] test effect_wrappers::tests::unknown_os_target_is_a_structured_error ... ok
[INFO] [stdout] test engine::tests::certify_lean_axioms_gate_accepts_clean_refuses_smuggled ... ok
[INFO] [stdout] test engine::tests::interactive_filled_valid_proof_replays_proven ... ok
[INFO] [stdout] test engine::tests::interactive_inline_have_clean_proven_sorry_unknown ... ok
[INFO] [stdout] test engine::tests::interactive_needle_is_exact_name_never_prefix_on_while_shaped_file ... ok
[INFO] [stdout] test engine::tests::export_refusal_inventory_is_complete ... ok
[INFO] [stdout] test engine::tests::incompleteness_discriminator_is_narrow ... ok
[INFO] [stdout] test engine::tests::interactive_proof_path_is_beside_source ... ok
[INFO] [stdout] test engine::tests::interactive_sorry_file_is_unknown_never_proven ... ok
[INFO] [stdout] test engine::tests::evidence_key_differs_on_nested_spine_edit ... ok
[INFO] [stdout] test check::tests::parse_span_strips_temp_path ... ok
[INFO] [stdout] test engine::tests::lean_mutant_outcome_follows_req9 ... ok
[INFO] [stdout] test engine::tests::lean_mutation_tally_does_not_inflate_on_untested ... ok
[INFO] [stdout] test engine::tests::lean_tally_floor_gate ... ok
[INFO] [stdout] test engine::tests::live_always_overflow_body_is_not_proven ... ok
[INFO] [stdout] test engine::tests::live_arbitrary_result_clean_for_body_constraining_ens ... ok
[INFO] [stdout] test engine::tests::live_arbitrary_result_rejects_body_ignoring_ens ... ok
[INFO] [stdout] test engine::tests::live_bool_result_body_is_proven_via_bindbool ... ok
[INFO] [stdout] test engine::tests::live_forge_lemma_discharges_proven ... ok
[INFO] [stdout] test engine::tests::live_nlsat_integer_counterexample_is_caught ... ok
[INFO] [stdout] test engine::tests::live_nlsat_isqrt_characterization_is_proved ... ok
[INFO] [stdout] test engine::tests::live_nlsat_n_squared_ne_two_is_real_witness ... ok
[INFO] [stdout] test engine::tests::live_scalar_correct_contract_is_proven ... ok
[INFO] [stdout] test engine::tests::live_straight_line_body_is_proven ... ok
[INFO] [stdout] test engine::tests::live_tier_b_nonrecursive_spec_fn_is_proven ... ok
[INFO] [stdout] test engine::tests::live_while_body_item_is_honest ... ok
[INFO] [stdout] test engine::tests::live_while_true_vacuity_is_not_proven ... ok
[INFO] [stdout] test engine::tests::live_wrong_contract_is_unknown_never_refuted ... ok
[INFO] [stdout] test engine::tests::nlsat_div_clause_is_not_relaxable ... ok
[INFO] [stdout] test engine::tests::nonstandard_axiom_parses_the_report_line_strictly ... ok
[INFO] [stdout] test engine::tests::omitted_registry_obligation_refuses_export ... ok
[INFO] [stdout] test engine::tests::optres_result_item_refuses_export ... ok
[INFO] [stdout] test engine::tests::out_of_fragment_item_is_skipped ... ok
[INFO] [stdout] test engine::tests::proof_term_command_token_scans_position_independently ... ok
[INFO] [stdout] test covenant_engine::tests::correct_item_validates_with_evidence ... ok
[INFO] [stdout] test engine::tests::proved_maps_to_proven ... ok
[INFO] [stdout] test engine::tests::proven_refuted_disagreement_halts ... ok
[INFO] [stdout] test engine::tests::proven_unknown_is_benign ... ok
[INFO] [stdout] test engine::tests::reconstruct_drops_author_helper_section ... ok
[INFO] [stdout] test engine::tests::reconstruct_splice_helpers_detect_decoy_and_splice_proof ... ok
[INFO] [stdout] test engine::tests::recursive_registry_is_interactive_unknown ... ok
[INFO] [stdout] test engine::tests::sorry_detected_in_source_or_axioms ... ok
[INFO] [stdout] test engine::tests::timeout_maps_to_unknown ... ok
[INFO] [stdout] test engine::tests::type_error_counterexample_stays_refuted ... ok
[INFO] [stdout] test engine::tests::verdict_ladder_action_follows_req3 ... ok
[INFO] [stdout] test engine::tests::verus_engine_fills_four_slots ... ok
[INFO] [stdout] test engine::tests::while_body_item_refuses_export ... ok
[INFO] [stdout] test engine::tests::witnessed_counterexample_stays_refuted ... ok
[INFO] [stdout] test engine::tests::witnessless_counterexample_remaps_to_unknown ... ok
[INFO] [stdout] test exec_tv::divergent_teeth::degenerate_no_obligation_classifies_unverifiable ... ok
[INFO] [stdout] test exec_tv::divergent_teeth::faithful_production_classifies_faithful ... ok
[INFO] [stdout] test exec_tv::divergent_teeth::non_compiling_production_classifies_divergent ... ok
[INFO] [stdout] test exec_tv::divergent_teeth::rlimit_signal_is_detected_counterexample_is_not ... ok
[INFO] [stdout] test exec_tv::divergent_teeth::wrong_value_production_classifies_divergent ... ok
[INFO] [stdout] test engine::tests::while_refusal_inventory_is_structured ... ok
[INFO] [stdout] test forks::tests::burned_lemma_tower_depth_follows_the_spec_fn_chain ... ok
[INFO] [stdout] test forks::tests::density_spike_trips_the_named_ff_warning ... ok
[INFO] [stdout] test forks::tests::section_omitted_for_v1_corpus ... ok
[INFO] [stdout] test forks::tests::tripwire_fires_at_the_threshold_boundary ... ok
[INFO] [stdout] test goal_repl::tests::battery_view_reads_contract_quality ... ok
[INFO] [stdout] test forks::tests::uncertified_lemma_is_not_a_tower ... ok
[INFO] [stdout] test goal_repl::tests::edit_bad_address_is_structured_error ... ok
[INFO] [stdout] test goal_repl::tests::goal_render_counterexample ... ok
[INFO] [stdout] test goal_repl::tests::goal_render_discharged ... ok
[INFO] [stdout] test goal_repl::tests::proof_hole_span_resolves_lemma_and_proof_for ... ok
[INFO] [stdout] test goal_repl::tests::proof_view_omits_trivial_req_and_marks_authored ... ok
[INFO] [stdout] test goal_repl::tests::edit_splice_replaces_clause_span ... ok
[INFO] [stdout] test goal_repl::tests::proof_view_proof_for_out_of_range_clause_is_unresolved ... ok
[INFO] [stdout] test goal_repl::tests::proof_view_proof_for_resolves_clause_against_target_contract ... ok
[INFO] [stdout] test kani::tests::bound_recorded_on_l2_cert ... ok
[INFO] [stdout] test goal_repl::tests::proof_view_renders_lemma_hypotheses_goal_and_holes ... ok
[INFO] [stdout] test kani::tests::classify_l2_ambiguous_failure_is_counterexample ... ok
[INFO] [stdout] test kani::tests::classify_l2_assertion_with_unwind_substring_is_counterexample ... ok
[INFO] [stdout] test kani::tests::classify_l2_mixed_failure_is_counterexample ... ok
[INFO] [stdout] test kani::tests::classify_l2_real_assertion_is_counterexample ... ok
[INFO] [stdout] test kani::tests::classify_l2_successful_is_verified ... ok
[INFO] [stdout] test kani::tests::classify_l2_unwinding_assertion_is_under_bound ... ok
[INFO] [stdout] test kani::tests::contradictory_summary_is_kani_output_error ... ok
[INFO] [stdout] test kani::tests::crate_stem_is_valid ... ok
[INFO] [stdout] test kani::tests::no_summary_is_kani_output_error ... ok
[INFO] [stdout] test kani::tests::failure_terse_is_counterexample ... ok
[INFO] [stdout] test kani::tests::parse_file_line_extracts_location ... ok
[INFO] [stdout] test kani::tests::success_terse_is_l2 ... ok
[INFO] [stdout] test kani::tests::under_bound_is_reported_failure ... ok
[INFO] [stdout] test lean_export::tests::arbitrary_result_harness_binds_result_to_a_fresh_binder ... ok
[INFO] [stdout] test lean_export::tests::bool_result_item_exports_via_bindbool ... ok
[INFO] [stdout] test lean_export::tests::capture_unsafe_unfolding_refuses ... ok
[INFO] [stdout] test lean_export::tests::encode_scalar_comparison_arm_by_arm ... ok
[INFO] [stdout] test lean_export::tests::full_export_scalar_item_is_self_contained ... ok
[INFO] [stdout] test lean_export::tests::hard_gate_refuses_incomplete_registry ... ok
[INFO] [stdout] test lean_export::tests::non_capturing_binder_body_unfolding_still_exports ... ok
[INFO] [stdout] test lean_export::tests::non_capturing_unfolding_still_exports ... ok
[INFO] [stdout] test lean_export::tests::out_of_fragment_field_refuses ... ok
[INFO] [stdout] test lean_export::tests::recursive_registry_detection ... ok
[INFO] [stdout] test lean_export::tests::spec_call_free_is_tier_a ... ok
[INFO] [stdout] test lean_export::tests::undefined_callee_refuses_export ... ok
[INFO] [stdout] test lean_smt_export::tests::ac8_exported_obligations_discharge_axiom_clean ... ok
[INFO] [stdout] test lean_smt_export::tests::bitwise_and_division_are_out_of_fragment ... ok
[INFO] [stdout] test lean_smt_export::tests::bv_renders_modular_arithmetic ... ok
[INFO] [stdout] test lean_smt_export::tests::clause_reconstruction_supported_keys_on_the_renderable_fragment ... ok
[INFO] [stdout] test lean_smt_export::tests::golden_file_matches_exporter ... ok
[INFO] [stdout] test lean_smt_export::tests::lia_renders_arith_comparison ... ok
[INFO] [stdout] test lean_smt_export::tests::lia_renders_or_of_comparisons ... ok
[INFO] [stdout] test lean_smt_export::tests::program_export_skips_out_of_fragment_clauses ... ok
[INFO] [stdout] test lean_smt_export::tests::reference_normalize_flips_and_commutes ... ok
[INFO] [stdout] test lean_smt_export::tests::theorem_shapes_are_well_formed ... ok
[INFO] [stdout] test lemma_library::tests::dedup_on_burn_rewrites_citation_to_canonical ... ok
[INFO] [stdout] test lemma_library::tests::frozen_and_unknown_resolutions ... ok
[INFO] [stdout] test lemma_library::tests::only_top_level_lemmas_are_in_the_namespace ... ok
[INFO] [stdout] test lemma_library::tests::statement_hash_excludes_name_and_proof ... ok
[INFO] [stdout] test lemma_library::tests::uncertified_citation_is_refused_with_the_lemma_named ... ok
[INFO] [stdout] test manifest::tests::aggregate_empty_is_vacuous_l3 ... ok
[INFO] [stdout] test manifest::tests::aggregate_hard_fail_is_project_failure ... ok
[INFO] [stdout] test manifest::tests::aggregate_headline_is_min_over_functions ... ok
[INFO] [stdout] test manifest::tests::assurance_scope_is_additive_normalized_and_golden_stable ... ok
[INFO] [stdout] test manifest::tests::bv_shadow_is_additive_and_serializes_the_rfc9_shape ... ok
[INFO] [stdout] test manifest::tests::bv_shadow_is_oracle_included ... ok
[INFO] [stdout] test manifest::tests::cached_field_is_additive_and_oracle_excluded ... ok
[INFO] [stdout] test manifest::tests::cert_certifies_recognizes_the_certified_rungs ... ok
[INFO] [stdout] test manifest::tests::degrade_fields_are_additive ... ok
[INFO] [stdout] test manifest::tests::effects_of_covers_every_variant ... ok
[INFO] [stdout] test manifest::tests::golden_deterministic_subset_round_trips ... ok
[INFO] [stdout] test manifest::tests::graduate_triage_clean_sets_live_false ... ok
[INFO] [stdout] test manifest::tests::into_degraded_stamps_flag_and_reason ... ok
[INFO] [stdout] test manifest::tests::level_ord_is_the_ladder_ordering ... ok
[INFO] [stdout] test manifest::tests::obligation_results_present ... ok
[INFO] [stdout] test manifest::tests::oracle_ignores_forward_declared_and_time ... ok
[INFO] [stdout] test manifest::tests::rejected_cert_carries_cause_and_is_not_l3 ... ok
[INFO] [stdout] test manifest::tests::rejected_weak_contract_carries_cause_ratio_and_survivor ... ok
[INFO] [stdout] test manifest::tests::schema_matches_appendix_a ... ok
[INFO] [stdout] test manifest::tests::schema_v2_additive_leaves_all_seven_goldens_byte_identical ... ok
[INFO] [stdout] test manifest::tests::serialization_is_deterministic ... ok
[INFO] [stdout] test kani::tests::run_kani_with_absent_binary_is_kani_absent ... ok
[INFO] [stdout] test manifest::tests::slag_l1_cert_shape ... ok
[INFO] [stdout] test manifest::tests::suggested_move_is_reserved_absence ... ok
[INFO] [stdout] test manifest::tests::verus_anchor::aggregate_project_min_matches_proved_aggregate_level_over_all_level_lists ... ok
[INFO] [stdout] test manifest::tests::with_mutation_score_graduates_fields_and_stays_oracle_excluded ... ok
[INFO] [stdout] test meaning::tests::body_only_spec_fn_is_not_in_the_tower ... ok
[INFO] [stdout] test meaning::tests::over_depth_tower_is_refused ... ok
[INFO] [stdout] test meaning::tests::recursive_spec_fn_does_not_loop_or_inflate_depth ... ok
[INFO] [stdout] test meaning::tests::render_shows_tower_and_hash ... ok
[INFO] [stdout] test meaning::tests::scalar_contract_has_empty_tower ... ok
[INFO] [stdout] test manifest::tests::slag_and_reject_fields_are_additive_and_skipped_when_none ... ok
[INFO] [stdout] test meaning::tests::tower_follows_the_spec_fn_chain ... ok
[INFO] [stdout] test metrics::tests::all_seven_verdicts_are_tallied_distinctly ... ok
[INFO] [stdout] test meaning::tests::within_budget_tower_pins_a_stable_hash ... ok
[INFO] [stdout] test metrics::tests::dashboard_aggregates_routing_and_verdicts ... ok
[INFO] [stdout] test metrics::tests::render_is_deterministic ... ok
[INFO] [stdout] test metrics::tests::routing_reason_from_engine_is_total ... ok
[INFO] [stdout] test metrics::tests::tv_phase_split_maps_the_four_way ... ok
[INFO] [stdout] test metrics::tests::v1_corpus_clause_is_cage_and_unattributed ... ok
[INFO] [stdout] test metrics::tests::verdict_index_covers_the_seven_kinds ... ok
[INFO] [stdout] test mutation::tests::branch_swap_negates_comparison ... ok
[INFO] [stdout] test mutation::tests::classify_polarity_is_inverted ... ok
[INFO] [stdout] test mutation::tests::empty_score_is_below_floor ... ok
[INFO] [stdout] test mutation::tests::frozen_set_and_order_for_small_fn ... ok
[INFO] [stdout] test mutation::tests::capped_at_mutant_cap ... ok
[INFO] [stdout] test mutation::tests::ident_return_exact_ref_match ... ok
[INFO] [stdout] test mutation::tests::ident_return_for_exact_type_match ... ok
[INFO] [stdout] test mutation::tests::generate_is_deterministic ... ok
[INFO] [stdout] test mutation::tests::ident_return_no_ref_stripping ... ok
[INFO] [stdout] test mutation::tests::ident_return_one_per_matching_param_in_order ... ok
[INFO] [stdout] test mutation::tests::mutant_keeps_contract_changes_only_body ... ok
[INFO] [stdout] test mutation::tests::off_by_one_skips_minus_one_at_zero ... ok
[INFO] [stdout] test mutation::tests::option_return_early_return_is_none ... ok
[INFO] [stdout] test mutation::tests::slice_return_synthesizes_early_return_mutant ... ok
[INFO] [stdout] test mutation::tests::score_ratio_floor_and_string ... ok
[INFO] [stdout] test mutation::tests::struct_zero_composes_string_and_scalar_fields ... ok
[INFO] [stdout] test mutation::tests::struct_zero_drops_for_enum_named_return ... ok
[INFO] [stdout] test mutation::tests::struct_zero_drops_when_a_field_has_no_zero ... ok
[INFO] [stdout] test mutation::tests::struct_zero_return_for_named_struct ... ok
[INFO] [stdout] test mutation::tests::verus_anchor::meets_floor_f64_matches_proved_integer_spec_over_grid ... ok
[INFO] [stdout] test mutation::tests::verus_anchor::zero_scored_never_passes_on_both_representations ... ok
[INFO] [stdout] test obligation::tests::class_tags_are_distinct ... ok
[INFO] [stdout] test obligation::tests::contract_obligation_is_neutral_content ... ok
[INFO] [stdout] test obligation::tests::obligation_is_a_comparable_neutral_value ... ok
[INFO] [stdout] test obligation::tests::registry_termination_minted_iff_called_spec_fns_nonempty ... ok
[INFO] [stdout] test profile::tests::parse_profile_none_without_report ... ok
[INFO] [stdout] test profile::tests::parse_profile_reconstructs_trigger_from_carets ... ok
[INFO] [stdout] test profile::tests::parse_profile_hand_derived_fields ... ok
[INFO] [stdout] test profile::tests::parse_profile_tolerant_of_malformed_block ... ok
[INFO] [stdout] test profile::tests::render_is_deterministic ... ok
[INFO] [stdout] test profile::tests::render_prompts_names_bottleneck ... ok
[INFO] [stdout] test profile::tests::suggested_move_is_top_prompt ... ok
[INFO] [stdout] test relax::tests::integrality_check_catches_integer_counterexample ... ok
[INFO] [stdout] test relax::tests::integrality_check_n_squared_ne_two_is_real_only ... ok
[INFO] [stdout] test relax::tests::isqrt_query_is_well_formed ... ok
[INFO] [stdout] test relax::tests::relaxable_admits_isqrt_postconditions ... ok
[INFO] [stdout] test relax::tests::relaxable_rejects_div_mod_shift_cast ... ok
[INFO] [stdout] test relax::tests::relaxable_rejects_non_integer_param ... ok
[INFO] [stdout] test repair::tests::classify_routes_lowered_assurance_timeout ... ok
[INFO] [stdout] test repair::tests::classify_routes_timeout_vs_falsity ... ok
[INFO] [stdout] test repair::tests::counterexample_is_never_retried ... ok
[INFO] [stdout] test repair::tests::disproof_at_higher_budget_is_not_an_upgrade ... ok
[INFO] [stdout] test relax::tests::relaxable_admits_n_squared_ne_two ... ok
[INFO] [stdout] test repair::tests::environment_error_propagates ... ok
[INFO] [stdout] test repair::tests::escalation_is_bounded_and_terminates ... ok
[INFO] [stdout] test repair::tests::escalation_is_deterministic ... ok
[INFO] [stdout] test repair::tests::escalation_upgrades_at_the_proving_budget ... ok
[INFO] [stdout] test repair::tests::rejects_are_never_retried ... ok
[INFO] [stdout] test review::tests::artifact_is_deterministic ... ok
[INFO] [stdout] test review::tests::burned_lemma_surfaces_in_review ... ok
[INFO] [stdout] test review::tests::parses_single_and_array_verdicts ... ok
[INFO] [stdout] test review::tests::rejected_fn_flagged_not_surfaced ... ok
[INFO] [stdout] test review::tests::sum_intent_reviewable_no_bodies ... ok
[INFO] [stdout] test review::tests::uncertified_lemma_does_not_surface_as_burned ... ok
[INFO] [stdout] test review::tests::verdict_attaches_to_separate_record ... ok
[INFO] [stdout] test sandbox::tests::aarch64_allowlist_uses_native_syscall_numbers ... ok
[INFO] [stdout] test sandbox::tests::allowlist_is_sorted_and_deduped ... ok
[INFO] [stdout] test sandbox::tests::prelude_installs_and_is_deterministic ... ok
[INFO] [stdout] test sandbox::tests::probe_is_a_raw_openat ... ok
[INFO] [stdout] test sandbox::tests::pure_baseline_excludes_io_syscalls ... ok
[INFO] [stdout] test review::tests::item_filter_restricts ... ok
[INFO] [stdout] test sandbox::tests::read_fx_widens_to_openat ... ok
[INFO] [stdout] test sandbox::tests::term_grants_ioctl_scoped_to_the_effect ... ok
[INFO] [stdout] test sandbox::tests::transitive_fx_carries_read ... ok
[INFO] [stdout] test sandbox::tests::transitive_fx_of_pure_entry_is_pure ... ok
[INFO] [stdout] test sandbox::tests::widening_tokens_cover_the_family ... ok
[INFO] [stdout] test sandbox::verus_anchor::pure_mask_permits_no_sensitive_syscall ... ok
[INFO] [stdout] test sandbox::tests::transitive_fx_unions_callee_row ... ok
[INFO] [stdout] test sandbox::verus_anchor::syscall_allowlist_matches_proved_io_allow_over_all_512_masks ... ok
[INFO] [stdout] test seven_verdicts::verdict_counterexample ... ok
[INFO] [stdout] test seven_verdicts::verdict_covenant_refuted ... ok
[INFO] [stdout] test seven_verdicts::verdict_kernel_budget ... ok
[INFO] [stdout] test seven_verdicts::verdict_proved ... ok
[INFO] [stdout] test sandbox::verus_anchor::superset_mask_never_drops_a_sensitive_syscall ... ok
[INFO] [stdout] test engine::tests::interactive_skeleton_emitted_when_absent ... ok
[INFO] [stdout] test seven_verdicts::verdict_stuck ... ok
[INFO] [stdout] test seven_verdicts::verdict_real_witness ... ok
[INFO] [stdout] test seven_verdicts::verdict_timeout ... ok
[INFO] [stdout] test slag::tests::all_present_non_empty_ok ... ok
[INFO] [stdout] test slag::tests::missing_owner_rejected ... ok
[INFO] [stdout] test slag::tests::validated_fields_are_trimmed ... ok
[INFO] [stdout] test slag::tests::whitespace_only_is_empty ... ok
[INFO] [stdout] test strat_faithful::tests::deterministic_for_a_fixed_seed ... ok
[INFO] [stdout] test slag::tests::empty_reason_rejected ... ok
[INFO] [stdout] test strat_faithful::tests::render_reports_the_phase_split ... ok
[INFO] [stdout] test strat_faithful::tests::the_flip_is_a_tested_code_path ... ok
[INFO] [stdout] test strat_faithful::tests::the_trust_profile_is_the_proven_scoped_form_at_g2 ... ok
[INFO] [stdout] test strat_tv::tests::compare_all_agree_passes ... ok
[INFO] [stdout] test strat_tv::tests::compare_counts_agreements_and_disagreements ... ok
[INFO] [stdout] test strat_tv::tests::lean_parse_error_on_rust_admitted_is_a_tripwire ... ok
[INFO] [stdout] test strat_tv::tests::render_lists_disagreements_verbatim ... ok
[INFO] [stdout] test strat_tv::tests::unknown_on_admitted_increments_the_tripwire ... ok
[INFO] [stdout] test strengthen::tests::already_pinned_yields_no_suggestion ... ok
[INFO] [stdout] test strengthen::tests::binary_candidate_carries_survivor_kill_link ... ok
[INFO] [stdout] test strengthen::tests::candidates_bounded_by_cap ... ok
[INFO] [stdout] test strengthen::tests::equality_is_stronger_than_non_pinning_ens ... ok
[INFO] [stdout] test strengthen::tests::generate_candidates_is_deterministic ... ok
[INFO] [stdout] test strengthen::tests::non_verifying_candidate_is_not_suggested ... ok
[INFO] [stdout] test strengthen::tests::not_stronger_when_ens_already_pins_result ... ok
[INFO] [stdout] test strengthen::tests::probe_surfaces_only_verifying_strictly_stronger_candidate ... ok
[INFO] [stdout] test strengthen::tests::spec_fn_equality_candidate_for_matching_signature ... ok
[INFO] [stdout] test strengthen::tests::weak_fixture_generates_result_eq_a_plus_b ... ok
[INFO] [stdout] test tv_signal::discriminator::each_kernel_budget_phrase_is_detected ... ok
[INFO] [stdout] test tv_signal::discriminator::each_rlimit_phrase_is_detected ... ok
[INFO] [stdout] test tv_signal::discriminator::genuine_counterexample_is_not_detected ... ok
[INFO] [stdout] test tv_signal::discriminator::kernel_budget_and_rlimit_cannot_be_confused ... ok
[INFO] [stdout] test vacuity::tests::corpus_passes_triage ... ok
[INFO] [stdout] test vacuity::tests::ens_conjunct_req_rejected_c ... ok
[INFO] [stdout] test vacuity::tests::ens_eq_req_rejected_c ... ok
[INFO] [stdout] test vacuity::tests::ens_identity_rejected_a ... ok
[INFO] [stdout] test vacuity::tests::ens_literal_true_rejected_a ... ok
[INFO] [stdout] test vacuity::tests::ens_omits_result_rejected_b ... ok
[INFO] [stdout] test vacuity::tests::identity_class_covers_le_ge_not_lt_ne ... ok
[INFO] [stdout] test vacuity::tests::maximal_fx_no_slag_rejected_d ... ok
[INFO] [stdout] test slag::tests::reason_checked_first ... ok
[INFO] [stdout] test vacuity::tests::maximal_fx_with_slag_passes_d ... ok
[INFO] [stdout] test vacuity::tests::nested_result_mention_passes_b ... ok
[INFO] [stdout] test vacuity::tests::partial_fx_is_not_maximal ... ok
[INFO] [stdout] test vacuity::tests::slag_does_not_excuse_vacuous_ens ... ok
[INFO] [stdout] test vacuity::tests::unit_return_exempt_from_b ... ok
[INFO] [stdout] test vacuity_solver::tests::cause_tags_are_the_solver_namespace ... ok
[INFO] [stdout] test strat_faithful::tests::generated_sweep_certifies_syntactically_and_assigns_trust ... ok
[INFO] [stdout] test vacuity_solver::tests::extract_helpers_split_params_and_generic_return ... ok
[INFO] [stdout] test vacuity_solver::tests::failed_summary_is_clean ... ok
[INFO] [stdout] test vacuity_solver::tests::proved_summary_is_detected ... ok
[INFO] [stdout] test vacuity_solver::tests::tautology_harness_reuses_lowered_contract ... ok
[INFO] [stdout] test vacuity_solver::tests::tautology_harness_weaves_reachable_adt_decl ... ok
[INFO] [stdout] test engine::tests::interactive_stale_hash_is_unknown_never_reused ... ok
[INFO] [stdout] test vacuity_solver::tests::tautology_harness_weaves_spec_fn_and_slice_view ... ok
[INFO] [stdout] test vacuity_solver::tests::compile_error_summary_is_forge_error_not_clean ... ok
[INFO] [stdout] test vacuity_solver::tests::tautology_harness_handles_option_return ... ok
[INFO] [stdout] test engine::tests::lean_engine_fills_trust_and_evidence_slots ... ok
[INFO] [stdout] test vacuity_solver::tests::vir_error_is_handled_forge_error_not_clean ... ok
[INFO] [stdout] test vacuity_solver::tests::unparseable_output_has_no_summary ... ok
[INFO] [stdout] test vacuity_solver::tests::vacuity_harness_assumes_req_asserts_false ... ok
[INFO] [stdout] test verdict::tests::engine_verdict_maps_totally_and_no_unknown_survives ... ok
[INFO] [stdout] test vacuity_solver::tests::vacuity_harness_weaves_reachable_adt_decl ... ok
[INFO] [stdout] test verdict::tests::all_seven_variants_round_trip ... ok
[INFO] [stdout] test verdict::tests::proved_is_constructed_only_from_proven ... ok
[INFO] [stdout] test verdict::tests::lean_kernel_budget_is_upstream_not_timeout ... ok
[INFO] [stdout] test engine::tests::evidence_key_differs_on_different_ens ... ok
[INFO] [stdout] test engine::tests::interactive_statement_mismatch_is_unknown_never_proven ... ok
[INFO] [stderr]      Running tests/acceptance_programs.rs (/opt/rustwide/target/debug/deps/acceptance_programs-b49369e2420b3ed3)
[INFO] [stdout] test covenant_engine::tests::unstated_budget_defaults_to_50_000 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 468 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.54s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test parser_contains_predicate_certifies_l3 ... ok
[INFO] [stdout] test calculator_sum_contract_certifies_l3 ... ok
[INFO] [stdout] test formatter_round_trip_certifies_l3 ... ok
[INFO] [stdout] test parser_split_count_bound_verifies_under_real_verus ... ok
[INFO] [stdout] test parser_split_core_builds_and_runs_three_pieces ... ok
[INFO] [stdout] test parser_builds_and_runs_end_to_end ... ok
[INFO] [stdout] test calculator_arithmetic_core_builds_and_runs ... ok
[INFO] [stdout] test calculator_string_parse_builds_and_runs_end_to_end ... ok
[INFO] [stdout] test formatter_builds_and_runs_each_value ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.53s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/audit_conformance.rs (/opt/rustwide/target/debug/deps/audit_conformance-076355ea3c7712ef)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test lean_fragment_refusal_loop ... ok
[INFO] [stdout] test lean_fragment_tier_auto ... ok
[INFO] [stdout] test audit_is_deterministic ... ok
[INFO] [stdout] test corpus_empty_tcb_binary_search ... ok
[INFO] [stdout] test corpus_empty_tcb ... ok
[INFO] [stdout] test pre_amendment_v1_document_still_deserializes ... ok
[INFO] [stdout] test lean_fragment_sum ... ok
[INFO] [stdout] test lean_fragment_tier_interactive ... ok
[INFO] [stdout] test lean_fragment_refusal_optres ... ok
[INFO] [stdout] test lean_fragment_refusal_boundary ... ok
[INFO] [stdout] test slag_boundary_tcb ... ok
[INFO] [stdout] test lean_fragment_present_without_lake ... 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] [stderr]      Running tests/battery_conformance.rs (/opt/rustwide/target/debug/deps/battery_conformance-e44adf480d9b4675)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test unlisted_tactic_is_refused_with_name ... ok
[INFO] [stdout] test unlisted_simp_lemma_is_refused_with_name ... ok
[INFO] [stdout] test clean_proof_is_not_refused ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/body_tv.rs (/opt/rustwide/target/debug/deps/body_tv-fbf349a7d70e74e8)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test faithful_while_loop_body_is_faithful ... ok
[INFO] [stdout] body-TV /opt/rustwide/workdir/forge/../conformance/binary_search.th: 0 body/bodies checked, 0 faithful, 0 DIVERGENT, 0 unverifiable, 1 skipped
[INFO] [stdout]   binary_search.loop — skipped (the loop is OUTSIDE the v1 frozen subset (a `loop`-kind / `break` / mid-body `return` / nested loop / non-scalar state / trivially-weak `inv`) — Skipped honestly: exec_encode: unsupported exec construct: `loop`-kind (the infinite-loop form is a multi-exit CPS shape — the corpus `binary_search` uses `loop { if .. { return .. } }`; OUT of the v1 single-`while` subset, Skipped honestly))
[INFO] [stdout] test skipped_only_run_exits_zero ... ok
[INFO] [stdout] test mutated_production_diverges ... ok
[INFO] [stdout] test binary_search_loop_is_skipped_with_reason ... ok
[INFO] [stdout] test faithful_straight_line_body_is_faithful ... ok
[INFO] [stderr]      Running tests/boundary_conformance.rs (/opt/rustwide/target/debug/deps/boundary_conformance-b4433ddacb06f982)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 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 boundary_vacuous_contract_is_rejected ... ok
[INFO] [stdout] test bodyless_without_boundary_is_a_parse_error ... ok
[INFO] [stdout] test foreign_id_certifies_l1_boundary_not_l3 ... ok
[INFO] [stderr]      Running tests/break_continue_conformance.rs (/opt/rustwide/target/debug/deps/break_continue_conformance-02653ae08498913f)
[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 8 tests
[INFO] [stdout] test break_and_continue_inside_a_loop_parse_cleanly_as_stmt_nodes ... ok
[INFO] [stdout] test break_or_continue_outside_a_loop_is_a_structured_error_not_a_panic ... ok
[INFO] [stdout] test corpus_loops_without_break_or_continue_still_certify_l3 ... ok
[INFO] [stdout] test diverge_loop_with_break_and_continue_caps_at_l1 ... ok
[INFO] [stdout] test continue_preserving_invariant_and_decreases_certifies_l3 ... ok
[INFO] [stdout] test continue_breaking_invariant_is_l0 ... ok
[INFO] [stdout] test continue_not_decreasing_measure_is_l0 ... ok
[INFO] [stdout] test break_early_exit_certifies_l3 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/build_conformance.rs (/opt/rustwide/target/debug/deps/build_conformance-be68a68611251fbf)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test checks_are_baked_in ... ok
[INFO] [stdout] test uncompilable_lowering_is_nonzero_exit ... ok
[INFO] [stdout] test sum_builds_as_library ... ok
[INFO] [stdout] test sum_runs ... ok
[INFO] [stdout] test out_bad_path_is_structured_error ... ok
[INFO] [stdout] test rebuilt_library_is_byte_identical ... ok
[INFO] [stdout] test ens_violation_fires_at_runtime ... ok
[INFO] [stdout] test out_places_runnable_binary ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/bv_lowering.rs (/opt/rustwide/target/debug/deps/bv_lowering-a248abe28f04c711)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/bv_vacuity_gate.rs (/opt/rustwide/target/debug/deps/bv_vacuity_gate-e0ae5c9d328d4df4)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cache_conformance.rs (/opt/rustwide/target/debug/deps/cache_conformance-63ec5b8f0f49b99a)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test second_run_is_a_cache_hit_with_equal_deterministic_fields ... ok
[INFO] [stdout] test corpus_sum_still_certifies_l3_through_the_cache ... ok
[INFO] [stdout] test changed_body_is_a_cache_miss ... ok
[INFO] [stdout] test cache_hit_serves_l3_with_verus_unavailable ... ok
[INFO] [stdout] test cold_cache_with_verus_unavailable_is_environment_error ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/check_conformance.rs (/opt/rustwide/target/debug/deps/check_conformance-1b7a69a2681569db)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test sum_cert_matches_golden_deterministic_subset ... ok
[INFO] [stdout] test broken_contract_is_reported_failure_with_counterexample ... ok
[INFO] [stdout] test missing_file_is_usage_error_nonzero ... ok
[INFO] [stdout] test parse_valid_cert_matches_golden_deterministic_subset ... ok
[INFO] [stdout] test binary_search_is_l3 ... ok
[INFO] [stdout] test make_some_cert_matches_golden_deterministic_subset ... ok
[INFO] [stdout] test has_key_cert_matches_golden_deterministic_subset ... 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/composition_basis_conformance.rs (/opt/rustwide/target/debug/deps/composition_basis_conformance-db9c027f408694c2)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stderr]      Running tests/composition_conformance.rs (/opt/rustwide/target/debug/deps/composition_conformance-114ca1554efab657)
[INFO] [stdout] test contract_composition_pipeline_discharges_locally ... ok
[INFO] [stdout] test boundary_composition_read_then_inc_composes_through_the_boundary ... ok
[INFO] [stdout] test project_aggregation_is_the_honest_min_over_parts ... 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 6 tests
[INFO] [stdout] test req_violating_caller_is_a_counterexample_not_a_false_l3 ... ok
[INFO] [stdout] test lying_regular_fn_is_caught_never_laundered_to_l3 ... ok
[INFO] [stderr]      Running tests/concurrency.rs (/opt/rustwide/target/debug/deps/concurrency-1d9ca6bd520ea9d4)
[INFO] [stdout] test transitive_boundary_caller_weaves_real_and_external_body_deps ... ok
[INFO] [stdout] test corpus_unaffected_stays_l3_end_to_end ... ok
[INFO] [stdout] test weak_callee_identity_survivor_stays_counted_and_gates ... ok
[INFO] [stdout] test direct_boundary_caller_verifies_through_the_contract ... 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 7 tests
[INFO] [stdout] test n_concurrent_agents_produce_correct_uncorrupted_certs ... ok
[INFO] [stdout] test torn_entry_degrades_to_a_miss_and_reverifies ... ok
[INFO] [stdout] test torn_entry_under_concurrent_access_is_safe ... ok
[INFO] [stdout] test editing_a_does_not_move_bs_key ... ok
[INFO] [stdout] test editing_a_referenced_dependency_does_move_bs_key ... ok
[INFO] [stdout] test concurrent_distinct_items_do_not_interfere ... ok
[INFO] [stdout] test concurrent_same_item_converges_to_a_consistent_cache ... 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/contract_tv_conformance.rs (/opt/rustwide/target/debug/deps/contract_tv_conformance-7f86c4999ebb74af)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test binary_search_corpus_zero_divergent ... ok
[INFO] [stdout] test string_demo_corpus_byteview_checked ... ok
[INFO] [stdout] test map_kv_corpus_zero_divergent ... ok
[INFO] [stderr]      Running tests/covenant_conformance.rs (/opt/rustwide/target/debug/deps/covenant_conformance-ebbf0aa0203846c1)
[INFO] [stdout] test sum_corpus_zero_divergent ... ok
[INFO] [stdout] test off_corpus_generated_run_all_faithful ... 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 3 tests
[INFO] [stdout] test planted_bug_is_covenant_refuted_with_counterexample_in_cert ... ok
[INFO] [stdout] test no_author_witness_is_refused_before_burn_named ... ok
[INFO] [stdout] test correct_covenant_validates_burns_l3_and_records_evidence ... 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/degrade_conformance.rs (/opt/rustwide/target/debug/deps/degrade_conformance-62e0ab7d1e515f64)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test golden_cert_deserializes_with_additive_degrade_fields ... ok
[INFO] [stdout] test corpus_binary_search_no_degrade_all_l3 ... ok
[INFO] [stdout] test broken_fixture_verdict_is_deterministic ... ok
[INFO] [stdout] test human_output_shows_project_assurance_headline ... ok
[INFO] [stdout] test corpus_sum_no_degrade_all_l3 ... ok
[INFO] [stdout] test live_broken_contract_is_hard_fail_never_degraded ... ok
[INFO] [stderr]      Running tests/divergence_249_axiom_mask.rs (/opt/rustwide/target/debug/deps/divergence_249_axiom_mask-bbacb8bfd90fdb43)
[INFO] [stdout] test forced_low_rlimit_degrade_is_certified_lower_rung_when_provoked ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test divergence_interactive_axiom_allowlist_masked_by_shortname_decoy ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/divergence_251_macro_poison.rs (/opt/rustwide/target/debug/deps/divergence_251_macro_poison-caf122b3f305b8fd)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test divergence_interactive_notation_poison_reelaborates_obligation_to_true ... 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/divergence_252_indented_command_escape.rs (/opt/rustwide/target/debug/deps/divergence_252_indented_command_escape-6c045e536709c58b)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test divergence_interactive_indented_command_escapes_allowlist ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/divergence_adt_lower.rs (/opt/rustwide/target/debug/deps/divergence_adt_lower-4883115890dad2b5)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test divergence_sum_list_certifies_l0_not_l3 ... ok
[INFO] [stdout] test divergence_is_circle_certifies_l0_not_oracle_l3 ... ok
[INFO] [stdout] test divergence_deposit_certifies_l0_not_oracle_l3 ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running tests/divergence_audit_check2_exit_swallow.rs (/opt/rustwide/target/debug/deps/divergence_audit_check2_exit_swallow-abc886173d23266b)
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stderr]      Running tests/divergence_axiom_marker_mask.rs (/opt/rustwide/target/debug/deps/divergence_axiom_marker_mask-720c3140b671774b)
[INFO] [stdout] test divergence_audit_check2_swallows_divergent_exit ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.48s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test divergence_replay_masks_nonstandard_axiom_via_earlier_print ... ok
[INFO] [stderr]      Running tests/divergence_axiom_smuggling.rs (/opt/rustwide/target/debug/deps/divergence_axiom_smuggling-e76b9b364179b5c6)
[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 1 test
[INFO] [stdout] test divergence_interactive_replay_accepts_nonstandard_axiom ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/divergence_battery_vacuous.rs (/opt/rustwide/target/debug/deps/divergence_battery_vacuous-8e1b05e2a93f34fd)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test battery_view_reports_gate_vacuity_reject ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- battery_view_reports_gate_vacuity_reject stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'battery_view_reports_gate_vacuity_reject' (6894) panicked at forge/tests/divergence_battery_vacuous.rs:100:5:
[INFO] [stdout] forge battery never surfaces the gate's vacuity reject (`EnsIsTrivial`, conformance/vacuity/triage.json `ens_is_true`); stdout:
[INFO] [stdout] 
[INFO] [stdout] stderr:
[INFO] [stdout] forge: the `verus` verifier was not found on PATH (environment error, not a verification failure); install verus or set it on PATH
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x62f1517910c1 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x62f1517910c1 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x62f1517910c1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x62f1517910c1 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x62f1517a617a - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x62f1517a617a - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x62f15179557c - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x62f15179557c - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x62f15176ee36 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x62f15176ee36 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x62f151788c99 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x62f151723440 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x62f151723440 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x62f151788e52 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x62f151788e52 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x62f15176eee2 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x62f151766609 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x62f15176fadd - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x62f1517a690c - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x62f1516eb4a0 - divergence_battery_vacuous[197f5bdab713c938]::battery_view_reports_gate_vacuity_reject
[INFO] [stdout]                                at /opt/rustwide/workdir/forge/tests/divergence_battery_vacuous.rs:100:5
[INFO] [stdout]   20:     0x62f1516ea697 - divergence_battery_vacuous[197f5bdab713c938]::battery_view_reports_gate_vacuity_reject::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/forge/tests/divergence_battery_vacuous.rs:72:46
[INFO] [stdout]   21:     0x62f1516ef8c6 - <divergence_battery_vacuous[197f5bdab713c938]::battery_view_reports_gate_vacuity_reject::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x62f15171677b - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x62f15171677b - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   24:     0x62f151723dc5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   25:     0x62f151723dc5 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   26:     0x62f151723dc5 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   27:     0x62f151723dc5 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x62f151723dc5 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x62f151723dc5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   30:     0x62f151723dc5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   31:     0x62f15171e874 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   32:     0x62f15171e874 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x62f151726f12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   34:     0x62f151726f12 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   35:     0x62f151726f12 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   36:     0x62f151726f12 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x62f151726f12 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x62f151726f12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   39:     0x62f151726f12 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x62f1517903df - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   41:     0x62f1517903df - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   42:     0x740f51852aa4 - <unknown>
[INFO] [stdout]   43:     0x740f518dfa64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     battery_view_reports_gate_vacuity_reject
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p forge --test divergence_battery_vacuous`
[INFO] running `Command { std: "docker" "inspect" "2f7262eb078b3bcbc0806fc1751d16ebe93abbf69f6209ad0a338b13a593f97c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2f7262eb078b3bcbc0806fc1751d16ebe93abbf69f6209ad0a338b13a593f97c", kill_on_drop: false }`
[INFO] [stdout] 2f7262eb078b3bcbc0806fc1751d16ebe93abbf69f6209ad0a338b13a593f97c
