[INFO] fetching crate karpal-verify 0.9.1...
[INFO] testing karpal-verify-0.9.1 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate karpal-verify 0.9.1 into /workspace/builds/worker-4-tc2/source
[INFO] started tweaking crates.io crate karpal-verify 0.9.1
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate karpal-verify 0.9.1
[INFO] tweaked toml for crates.io crate karpal-verify 0.9.1 written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate karpal-verify 0.9.1 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 karpal-verify 0.9.1 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:34:12
[INFO] [stderr]    |
[INFO] [stderr] 34 | homepage = "https://github.com/Industrial-Algebra/Karpal"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 39 | repository = "https://github.com/Industrial-Algebra/Karpal"
[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: `karpal-verify` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] 7c29d96e6584ce2d482401d785816562c87c44393f90ac42c5904c19b1cbd5db
[INFO] running `Command { std: "docker" "start" "7c29d96e6584ce2d482401d785816562c87c44393f90ac42c5904c19b1cbd5db", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7c29d96e6584ce2d482401d785816562c87c44393f90ac42c5904c19b1cbd5db", 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" "7c29d96e6584ce2d482401d785816562c87c44393f90ac42c5904c19b1cbd5db" "/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" "7c29d96e6584ce2d482401d785816562c87c44393f90ac42c5904c19b1cbd5db", 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" "7c29d96e6584ce2d482401d785816562c87c44393f90ac42c5904c19b1cbd5db" "/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:34:12
[INFO] [stderr]    |
[INFO] [stderr] 34 | homepage = "https://github.com/Industrial-Algebra/Karpal"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 39 | repository = "https://github.com/Industrial-Algebra/Karpal"
[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: `karpal-verify` (manifest) generated 1 warning
[INFO] [stderr]    Compiling karpal-core v0.9.1
[INFO] [stderr]    Compiling karpal-verify-derive v0.9.1
[INFO] [stderr]    Compiling karpal-algebra v0.9.1
[INFO] [stderr]    Compiling karpal-proof v0.9.1
[INFO] [stderr]    Compiling karpal-verify v0.9.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 4.09s
[INFO] running `Command { std: "docker" "inspect" "7c29d96e6584ce2d482401d785816562c87c44393f90ac42c5904c19b1cbd5db", 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" "7c29d96e6584ce2d482401d785816562c87c44393f90ac42c5904c19b1cbd5db" "/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:34:12
[INFO] [stderr]    |
[INFO] [stderr] 34 | homepage = "https://github.com/Industrial-Algebra/Karpal"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 39 | repository = "https://github.com/Industrial-Algebra/Karpal"
[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: `karpal-verify` (manifest) generated 1 warning
[INFO] [stderr]    Compiling karpal-verify v0.9.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 7.43s
[INFO] running `Command { std: "docker" "inspect" "7c29d96e6584ce2d482401d785816562c87c44393f90ac42c5904c19b1cbd5db", 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" "7c29d96e6584ce2d482401d785816562c87c44393f90ac42c5904c19b1cbd5db" "/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:34:12
[INFO] [stderr]    |
[INFO] [stderr] 34 | homepage = "https://github.com/Industrial-Algebra/Karpal"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 39 | repository = "https://github.com/Industrial-Algebra/Karpal"
[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: `karpal-verify` (manifest) generated 1 warning
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/karpal-verify/0d9e338523ebbe0a/out/karpal_verify-0d9e338523ebbe0a)
[INFO] [stdout] 
[INFO] [stdout] running 57 tests
[INFO] [stdout] test artifact::tests::dry_run_creates_expected_paths_and_plans ... ok
[INFO] [stdout] test bundle::tests::monoid_bundle_contains_expected_laws ... ok
[INFO] [stdout] test command::tests::lean_project_plan_can_use_lake_build ... ok
[INFO] [stdout] test command::tests::smt_plan_includes_script_path ... ok
[INFO] [stdout] test command::tests::lean_project_plan_uses_lake_from_project_root ... ok
[INFO] [stdout] test export::tests::lean_bundle_export_with_prelude_renders_imports ... ok
[INFO] [stdout] test export::tests::smt_bundle_export_returns_one_script_per_obligation ... ok
[INFO] [stdout] test gpu::tests::numerical_correctness_records_threshold_and_trials ... ok
[INFO] [stdout] test command::tests::shell_render_quotes_complex_args ... ok
[INFO] [stdout] test gpu::tests::numerical_correctness_exports_through_all_backends ... ok
[INFO] [stdout] test lean::tests::exports_theorem_skeleton ... ok
[INFO] [stdout] test lean::tests::project_derives_mathlib_requirement_from_prelude ... ok
[INFO] [stdout] test bundle::tests::semiring_bundle_contains_expected_laws ... ok
[INFO] [stdout] test command::tests::kani_plan_invokes_standalone_kani_for_generated_harness ... ok
[INFO] [stdout] test gpu::tests::with_numerical_correctness_adds_obligation ... ok
[INFO] [stdout] test lean::tests::structured_export_tracks_theorem_identity ... ok
[INFO] [stdout] test export::tests::lean_bundle_export_contains_multiple_theorems ... ok
[INFO] [stdout] test gpu::tests::gpu_bundle_exports_through_all_backends ... ok
[INFO] [stdout] test obligation::tests::monoid_identity_builder_creates_conjunction ... ok
[INFO] [stdout] test obligation::tests::associativity_builder_populates_metadata ... ok
[INFO] [stdout] test obligation::tests::signature_driven_group_builders_use_registered_roles ... ok
[INFO] [stdout] test kani::tests::kani_backend_exports_one_harness_per_bundle_obligation ... ok
[INFO] [stdout] test proof_bridge::tests::proof_bridge_builds_certificate_from_passed_law_check ... ok
[INFO] [stdout] test obligation::tests::lattice_absorption_creates_conjunction ... ok
[INFO] [stdout] test report::tests::dry_run_report_attaches_results_to_all_obligations ... ok
[INFO] [stdout] test report::tests::successful_execution_yields_certificates ... ok
[INFO] [stdout] test bundle::tests::ring_bundle_contains_additive_inverse_laws ... ok
[INFO] [stdout] test lean::tests::derived_prelude_aliases_invalid_symbols ... ok
[INFO] [stdout] test proof_bridge::tests::proof_evidence_can_record_seed_and_notes ... ok
[INFO] [stdout] test lean::tests::explicit_prelude_renders_imports_before_namespace ... ok
[INFO] [stdout] test kani::tests::kani_backend_sanitizes_invalid_harness_names ... ok
[INFO] [stdout] test report::tests::report_serialization_includes_summary_data ... ok
[INFO] [stdout] test gpu::tests::gpu_bundle_contains_expected_obligations ... ok
[INFO] [stdout] test kani::tests::kani_backend_renders_harness_for_associativity_obligation ... ok
[INFO] [stdout] test runner::tests::verification_policy_is_backend_specific ... ok
[INFO] [stdout] test signature::tests::semiring_signature_registers_expected_roles ... ok
[INFO] [stdout] test artifact::tests::write_bundle_artifacts_writes_files ... ok
[INFO] [stdout] test session::tests::dry_run_report_orchestrates_artifacts_and_report ... ok
[INFO] [stdout] test smt::tests::exports_declarations_and_negated_goal ... ok
[INFO] [stdout] test report::tests::theorem_mapping_can_fall_back_to_exported_line_spans ... ok
[INFO] [stdout] test report::tests::theorem_mapping_uses_exported_theorem_identity_not_obligation_name ... ok
[INFO] [stdout] test session::tests::verify_report_builds_artifacts_runs_plans_and_returns_report ... ok
[INFO] [stdout] test runner::tests::dry_runner_returns_dry_run_result ... ok
[INFO] [stdout] test runner::tests::parses_lean_diagnostics_and_theorem_hits ... ok
[INFO] [stdout] test signature::tests::group_signature_registers_expected_roles ... ok
[INFO] [stdout] test runner::tests::parses_smt_statuses ... ok
[INFO] [stdout] test runner::tests::successful_smt_result_can_yield_certificate ... ok
[INFO] [stdout] test trust::tests::certificate_can_be_derived_from_obligation ... ok
[INFO] [stdout] test trust::tests::proof_test_certificate_has_stable_backend_name ... ok
[INFO] [stdout] test trust::tests::certified_wraps_value ... ok
[INFO] [stdout] test trust::tests::trust_boundary_can_be_crossed_explicitly ... ok
[INFO] [stdout] test runner::tests::theorem_location_matching_falls_back_to_line_spans ... ok
[INFO] [stdout] test trust::tests::certificate_stores_metadata ... ok
[INFO] [stdout] test session::tests::verify_with_ci_outputs_writes_reports_beside_artifacts ... ok
[INFO] [stdout] test trust::tests::kani_certificate_has_stable_backend_name ... ok
[INFO] [stdout] test trust::tests::lean_module_ref_is_stable ... ok
[INFO] [stderr]      Running tests/export_golden.rs (/opt/rustwide/target/release/build/karpal-verify/5150e83b4336e82b/out/export_golden-5150e83b4336e82b)
[INFO] [stdout] test gpu::tests::numerical_correctness_property_has_name ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 57 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test lean_export_for_semiring_left_distributivity_matches_expected_shape ... ok
[INFO] [stdout] test lean_manifest_json_matches_expected_shape ... ok
[INFO] [stdout] test smt_export_for_group_left_inverse_matches_expected_shape ... ok
[INFO] [stdout] test verification_report_json_files_match_expected_shape ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- verification_report_json_files_match_expected_shape stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'verification_report_json_files_match_expected_shape' (405) panicked at tests/export_golden.rs:121:10:
[INFO] [stdout] ci outputs should be written: Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x623bc498bd91 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x623bc49a0c3a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x623bc499020c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x623bc4966996 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x623bc4983809 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x623bc49067d0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x623bc49839c2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x623bc4966a42 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x623bc495f4a9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x623bc496764d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x623bc49a136c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x623bc49a1142 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x623bc48f7195 - <export_golden[e523df64a613c51b]::verification_report_json_files_match_expected_shape::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x623bc48f9c1b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x623bc4906df5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x623bc49006e4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x623bc4909e82 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x623bc498b0af - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x7e16bdeb9dfa - <unknown>
[INFO] [stdout]   19:     0x7e16bdf4d3d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     verification_report_json_files_match_expected_shape
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 3 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test export_golden`
[INFO] running `Command { std: "docker" "inspect" "7c29d96e6584ce2d482401d785816562c87c44393f90ac42c5904c19b1cbd5db", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7c29d96e6584ce2d482401d785816562c87c44393f90ac42c5904c19b1cbd5db", kill_on_drop: false }`
[INFO] [stdout] 7c29d96e6584ce2d482401d785816562c87c44393f90ac42c5904c19b1cbd5db
