[INFO] fetching crate lean-agent-core 0.2.0...
[INFO] testing lean-agent-core-0.2.0 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate lean-agent-core 0.2.0 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate lean-agent-core 0.2.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate lean-agent-core 0.2.0
[INFO] tweaked toml for crates.io crate lean-agent-core 0.2.0 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate lean-agent-core 0.2.0 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate lean-agent-core 0.2.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:90:12
[INFO] [stderr]    |
[INFO] [stderr] 90 | homepage = "https://github.com/Robby955/lean-agent-rs"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 95 | repository = "https://github.com/Robby955/lean-agent-rs"
[INFO] [stderr]    |              -------------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `lean-agent-core` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 910c2e4409139bd74e1fe295baced9737fbb39dce9deb55ae8af0b5d9ae50964
[INFO] running `Command { std: "docker" "start" "910c2e4409139bd74e1fe295baced9737fbb39dce9deb55ae8af0b5d9ae50964", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "910c2e4409139bd74e1fe295baced9737fbb39dce9deb55ae8af0b5d9ae50964", 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" "910c2e4409139bd74e1fe295baced9737fbb39dce9deb55ae8af0b5d9ae50964" "/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" "910c2e4409139bd74e1fe295baced9737fbb39dce9deb55ae8af0b5d9ae50964", 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" "910c2e4409139bd74e1fe295baced9737fbb39dce9deb55ae8af0b5d9ae50964" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:90:12
[INFO] [stderr]    |
[INFO] [stderr] 90 | homepage = "https://github.com/Robby955/lean-agent-rs"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 95 | repository = "https://github.com/Robby955/lean-agent-rs"
[INFO] [stderr]    |              -------------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `lean-agent-core` (manifest) generated 1 warning
[INFO] [stderr]    Compiling quote v1.0.46
[INFO] [stderr]    Compiling memchr v2.8.2
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling bitflags v2.13.0
[INFO] [stderr]    Compiling winnow v1.0.3
[INFO] [stderr]    Compiling camino v1.2.3
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling toml_datetime v1.1.1+spec-1.1.0
[INFO] [stderr]    Compiling serde_spanned v1.1.1
[INFO] [stderr]    Compiling mio v1.2.1
[INFO] [stderr]    Compiling toml_writer v1.1.1+spec-1.1.0
[INFO] [stderr]    Compiling bytes v1.12.0
[INFO] [stderr]    Compiling uuid v1.23.4
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]    Compiling toml_parser v1.1.2+spec-1.1.0
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling toml v1.1.2+spec-1.1.0
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling bstr v1.12.3
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling tokio-macros v2.7.0
[INFO] [stderr]    Compiling tokio v1.52.3
[INFO] [stderr]    Compiling globset v0.4.18
[INFO] [stderr]    Compiling regex v1.12.4
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling ignore v0.4.26
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling chrono v0.4.45
[INFO] [stderr]    Compiling lean-agent-core v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 40.00s
[INFO] running `Command { std: "docker" "inspect" "910c2e4409139bd74e1fe295baced9737fbb39dce9deb55ae8af0b5d9ae50964", 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" "910c2e4409139bd74e1fe295baced9737fbb39dce9deb55ae8af0b5d9ae50964" "/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] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:90:12
[INFO] [stderr]    |
[INFO] [stderr] 90 | homepage = "https://github.com/Robby955/lean-agent-rs"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 95 | repository = "https://github.com/Robby955/lean-agent-rs"
[INFO] [stderr]    |              -------------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `lean-agent-core` (manifest) generated 1 warning
[INFO] [stderr]    Compiling console v0.16.3
[INFO] [stderr]    Compiling similar v2.7.0
[INFO] [stderr]    Compiling insta v1.48.0
[INFO] [stderr]    Compiling lean-agent-core v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 19.93s
[INFO] running `Command { std: "docker" "inspect" "910c2e4409139bd74e1fe295baced9737fbb39dce9deb55ae8af0b5d9ae50964", 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" "910c2e4409139bd74e1fe295baced9737fbb39dce9deb55ae8af0b5d9ae50964" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:90:12
[INFO] [stderr]    |
[INFO] [stderr] 90 | homepage = "https://github.com/Robby955/lean-agent-rs"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 95 | repository = "https://github.com/Robby955/lean-agent-rs"
[INFO] [stderr]    |              -------------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `lean-agent-core` (manifest) generated 1 warning
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.11s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/lean-agent-core/9b1fb71c8b47302a/out/lean_agent_core-9b1fb71c8b47302a)
[INFO] [stdout] 
[INFO] [stdout] running 72 tests
[INFO] [stdout] test accept::tests::negative_control_is_a_documented_stub ... ok
[INFO] [stdout] test accept::tests::parses_no_axioms ... ok
[INFO] [stdout] test accept::tests::parses_sorry_axiom_as_offending ... ok
[INFO] [stdout] test accept::tests::missing_declaration_is_unverifiable ... ok
[INFO] [stdout] test accept::tests::signature_splits_on_top_level_assign ... ok
[INFO] [stdout] test accept::tests::alias_rewrites_example_into_named_def ... ok
[INFO] [stdout] test accept::tests::parses_whitelisted_axioms ... ok
[INFO] [stdout] test accept::tests::module_for_target_falls_back_to_root_relative ... ok
[INFO] [stdout] test accept::tests::probe_path_sits_next_to_the_target ... ok
[INFO] [stdout] test accept::tests::parse_axioms_returns_none_for_other_decl ... ok
[INFO] [stdout] test accept::tests::alias_keeps_binders_and_swaps_only_the_keyword ... ok
[INFO] [stdout] test accept::tests::alias_is_none_when_keyword_is_absent ... ok
[INFO] [stdout] test accept::tests::lake_source_dirs_reads_srcdir_and_maps_module ... ok
[INFO] [stdout] test accept::tests::slice_between_needs_both_sentinels_in_order ... ok
[INFO] [stdout] test accept::tests::slice_between_reads_only_the_sentinel_window ... ok
[INFO] [stdout] test accept::tests::unchanged_body_keeps_statement ... ok
[INFO] [stdout] test config::tests::empty_config_is_all_defaults ... ok
[INFO] [stdout] test accept::tests::weakened_statement_is_flagged ... ok
[INFO] [stdout] test accept::tests::signature_handles_multiline_body ... ok
[INFO] [stdout] test config::tests::parses_full_config ... ok
[INFO] [stdout] test accept::tests::signature_ignores_assign_inside_binders ... ok
[INFO] [stdout] test accept::tests::sorry_message_is_detected ... ok
[INFO] [stdout] test context::tests::detects_enclosing_theorem_with_attribute ... ok
[INFO] [stdout] test context::tests::clamps_out_of_range_line ... ok
[INFO] [stdout] test context::tests::collects_imports ... ok
[INFO] [stdout] test config::tests::unknown_field_is_rejected ... ok
[INFO] [stdout] test context::tests::empty_file_is_handled ... ok
[INFO] [stdout] test context::tests::markdown_includes_key_sections ... ok
[INFO] [stdout] test context::tests::detects_following_def ... ok
[INFO] [stdout] test context::tests::parses_file_line_spec ... ok
[INFO] [stdout] test context::tests::recovers_goal_from_untagged_message ... ok
[INFO] [stdout] test context::tests::prompt_opens_with_editing_lead ... ok
[INFO] [stdout] test context::tests::selects_diagnostics_on_target_line_and_extracts_goal ... ok
[INFO] [stdout] test context::tests::rejects_bad_line_spec ... ok
[INFO] [stdout] test context::tests::window_marks_target_and_respects_bounds ... ok
[INFO] [stdout] test diagnostics::tests::parses_basic_unsolved_goal ... ok
[INFO] [stdout] test eval::tests::merge_computes_prompt_hash_when_reply_omits_it ... ok
[INFO] [stdout] test eval::tests::merge_takes_span_from_task_and_proof_from_reply ... ok
[INFO] [stdout] test eval::tests::minimal_runner_response_deserializes_with_defaults ... ok
[INFO] [stdout] test eval::tests::run_eval_streams_tasks_through_the_example_runner ... FAILED
[INFO] [stdout] test mine::tests::admit_is_mined_only_for_admit_kind ... ok
[INFO] [stdout] test eval::tests::sha256_hex_matches_known_vector ... ok
[INFO] [stdout] test mine::tests::error_tasks_dedup_by_span ... ok
[INFO] [stdout] test mine::tests::error_task_targets_enclosing_declaration ... ok
[INFO] [stdout] test mine::tests::module_name_drops_root_and_extension ... ok
[INFO] [stdout] test mine::tests::line_content_spans_match_str_lines ... ok
[INFO] [stdout] test mine::tests::reconstructs_file_from_before_span_after ... ok
[INFO] [stdout] test mine::tests::skips_placeholders_in_comments_and_strings ... ok
[INFO] [stdout] test mine::tests::skips_qualified_and_partial_words ... ok
[INFO] [stdout] test mine::tests::task_id_uses_module_and_declaration ... ok
[INFO] [stdout] test mine::tests::warnings_are_ignored_for_error_mining ... ok
[INFO] [stdout] test patch::tests::rejects_paths_escaping_workspace ... ok
[INFO] [stdout] test patch::tests::rejects_span_past_end_of_file ... ok
[INFO] [stdout] test mine::tests::sorry_task_has_precise_single_span ... ok
[INFO] [stdout] test process::tests::spawn_failure_becomes_runner_error ... ok
[INFO] [stdout] test replay::tests::baseline_error_that_persists_is_not_a_new_error ... ok
[INFO] [stdout] test replay::tests::fixing_a_baseline_error_resolves_without_original_diagnostic ... ok
[INFO] [stdout] test replay::tests::minimal_attempt_deserializes_with_defaults ... ok
[INFO] [stdout] test replay::tests::clean_proof_passes_with_no_new_errors ... ok
[INFO] [stdout] test replay::tests::broken_proof_fails_and_flags_regression ... ok
[INFO] [stdout] test trace::tests::exclude_matches_substring ... ok
[INFO] [stdout] test trace::tests::empty_exclude_keeps_everything ... ok
[INFO] [stdout] test workspace::tests::drop_removes_workspace_unless_kept ... ok
[INFO] [stdout] test workspace::tests::copies_sources_and_skips_build_and_git ... ok
[INFO] [stdout] test patch::tests::rejects_zero_and_inverted_spans ... ok
[INFO] [stdout] test patch::tests::allows_column_zero_declaration_replacement ... ok
[INFO] [stdout] test patch::tests::rejects_replacement_that_injects_a_top_level_command ... ok
[INFO] [stdout] test patch::tests::replaces_single_line_and_preserves_newlines ... ok
[INFO] [stdout] test patch::tests::replaces_multi_line_range ... ok
[INFO] [stdout] test patch::tests::replaces_final_line_without_trailing_newline ... ok
[INFO] [stdout] test patch::tests::multi_file_is_refused_by_default_and_allowed_behind_flag ... ok
[INFO] [stdout] test patch::tests::same_file_edits_apply_top_down_without_offset_drift ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- eval::tests::run_eval_streams_tasks_through_the_example_runner stdout ----
[INFO] [stdout] Error: Io(Os { code: 2, kind: NotFound, message: "No such file or directory" })
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     eval::tests::run_eval_streams_tasks_through_the_example_runner
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 71 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.18s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "910c2e4409139bd74e1fe295baced9737fbb39dce9deb55ae8af0b5d9ae50964", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "910c2e4409139bd74e1fe295baced9737fbb39dce9deb55ae8af0b5d9ae50964", kill_on_drop: false }`
[INFO] [stdout] 910c2e4409139bd74e1fe295baced9737fbb39dce9deb55ae8af0b5d9ae50964
