[INFO] fetching crate zeno-fcis-cli 1.1.0...
[INFO] testing zeno-fcis-cli-1.1.0 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate zeno-fcis-cli 1.1.0 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate zeno-fcis-cli 1.1.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate zeno-fcis-cli 1.1.0
[INFO] tweaked toml for crates.io crate zeno-fcis-cli 1.1.0 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate zeno-fcis-cli 1.1.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 zeno-fcis-cli 1.1.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:58:12
[INFO] [stderr]    |
[INFO] [stderr] 58 | homepage = "https://github.com/TheDarkLightX/ZenoFCIS"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 62 | repository = "https://github.com/TheDarkLightX/ZenoFCIS"
[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: `zeno-fcis-cli` (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] b3ac6a411e1d4b2a2b0d4ce3efc85113066101bc4b15faec7fe2f59877a9422f
[INFO] running `Command { std: "docker" "start" "b3ac6a411e1d4b2a2b0d4ce3efc85113066101bc4b15faec7fe2f59877a9422f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b3ac6a411e1d4b2a2b0d4ce3efc85113066101bc4b15faec7fe2f59877a9422f", 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" "b3ac6a411e1d4b2a2b0d4ce3efc85113066101bc4b15faec7fe2f59877a9422f" "/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" "b3ac6a411e1d4b2a2b0d4ce3efc85113066101bc4b15faec7fe2f59877a9422f", 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" "b3ac6a411e1d4b2a2b0d4ce3efc85113066101bc4b15faec7fe2f59877a9422f" "/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:58:12
[INFO] [stderr]    |
[INFO] [stderr] 58 | homepage = "https://github.com/TheDarkLightX/ZenoFCIS"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 62 | repository = "https://github.com/TheDarkLightX/ZenoFCIS"
[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: `zeno-fcis-cli` (manifest) generated 1 warning
[INFO] [stderr]    Compiling zeno-fcis-value v1.1.0
[INFO] [stderr]    Compiling zeno-fcis-core v1.1.0
[INFO] [stderr]    Compiling hybrid-array v0.4.13
[INFO] [stderr]    Compiling nix v0.30.1
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling syn v3.0.3
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling zeno-fcis-codec v1.1.0
[INFO] [stderr]    Compiling zeno-fcis-project v1.1.0
[INFO] [stderr]    Compiling zeno-fcis-spec v1.1.0
[INFO] [stderr]    Compiling block-buffer v0.12.1
[INFO] [stderr]    Compiling crypto-common v0.2.2
[INFO] [stderr]    Compiling digest v0.11.3
[INFO] [stderr]    Compiling sha2 v0.11.0
[INFO] [stderr]    Compiling zeno-fcis-crypto v1.1.0
[INFO] [stderr]    Compiling zeno-fcis-synthesis v1.1.0
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling zeno-fcis-backend v1.1.0
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling zeno-fcis-formal-tools v1.1.0
[INFO] [stderr]    Compiling zeno-fcis-cli v1.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 36.41s
[INFO] running `Command { std: "docker" "inspect" "b3ac6a411e1d4b2a2b0d4ce3efc85113066101bc4b15faec7fe2f59877a9422f", 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" "b3ac6a411e1d4b2a2b0d4ce3efc85113066101bc4b15faec7fe2f59877a9422f" "/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:58:12
[INFO] [stderr]    |
[INFO] [stderr] 58 | homepage = "https://github.com/TheDarkLightX/ZenoFCIS"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 62 | repository = "https://github.com/TheDarkLightX/ZenoFCIS"
[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: `zeno-fcis-cli` (manifest) generated 1 warning
[INFO] [stderr]    Compiling zeno-fcis-cli v1.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 9.76s
[INFO] running `Command { std: "docker" "inspect" "b3ac6a411e1d4b2a2b0d4ce3efc85113066101bc4b15faec7fe2f59877a9422f", 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" "b3ac6a411e1d4b2a2b0d4ce3efc85113066101bc4b15faec7fe2f59877a9422f" "/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:58:12
[INFO] [stderr]    |
[INFO] [stderr] 58 | homepage = "https://github.com/TheDarkLightX/ZenoFCIS"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 62 | repository = "https://github.com/TheDarkLightX/ZenoFCIS"
[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: `zeno-fcis-cli` (manifest) generated 1 warning
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.14s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/release/build/zeno-fcis-cli/0d739e0601cf671d/out/zeno_fcis-0d739e0601cf671d)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test tests::exit_classes_are_stable ... ok
[INFO] [stdout] test tests::hostile_source_is_inert ... ok
[INFO] [stdout] test synth::runner::process_tests::source_creation_preserves_existing_files_and_symlink_targets ... ok
[INFO] [stdout] test synth::runner::process_tests::inherited_node_switches_and_toolchain_overrides_cannot_reach_a_child ... ok
[INFO] [stdout] test synth::tests::counter_satisfies_independent_full_decision_table_and_mutations ... ok
[INFO] [stdout] test tests::help_and_version_succeed_while_invalid_usage_is_64 ... ok
[INFO] [stdout] test synth::tests::discovery_has_distinct_language_adapters_and_missing_tools_stay_unknown ... ok
[INFO] [stdout] test tests::every_described_command_has_explicit_effect_metadata ... ok
[INFO] [stdout] test tests::project_reader_stops_before_consuming_the_full_input ... ok
[INFO] [stdout] test tests::rc3_mini_os_check ... ok
[INFO] [stdout] test synth::tests::source_admission_rejects_duplicates_unknown_fields_and_noninteger_atoms ... ok
[INFO] [stdout] test synth::tests::javascript_runner_refuses_an_unqualified_runtime_version ... ok
[INFO] [stdout] test tests::rc3_project_new ... ok
[INFO] [stdout] test synth::runner::process_tests::final_capture_is_bounded_and_exited_parents_do_not_leave_running_children ... ok
[INFO] [stdout] test synth::tests::runner_verdicts_require_exact_outputs_and_complete_coverage ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cli_adopter_flow.rs (/opt/rustwide/target/release/build/zeno-fcis-cli/204523818acda479/out/cli_adopter_flow-204523818acda479)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test pinned_lean_cli_prove_is_process_level ... ignored, requires the workflow-pinned Lean 4.30.0 Linux x86-64 distribution
[INFO] [stdout] test agent_generation_json_distinguishes_drift_and_failures_without_writes ... FAILED
[INFO] [stdout] test rc3_cli_generate_check_is_read_only_and_detects_drift ... FAILED
[INFO] [stdout] test cli_project_file_budget_accepts_the_limit_and_stops_one_over ... FAILED
[INFO] [stdout] test rc3_cli_formal_outcomes_and_retention_are_process_level ... FAILED
[INFO] [stdout] test rc3_cli_new_refuses_existing_content_and_usage_is_64 ... ok
[INFO] [stdout] test rc3_cli_invalid_json_diagnostics_are_versioned_and_ordered ... ok
[INFO] [stdout] test rc3_cli_computes_a_portable_lean_inventory_for_tools_v2 ... ok
[INFO] [stdout] test rc3_cli_mini_determinator_check_json_contract ... FAILED
[INFO] [stdout] test agent_command_discovery_is_deterministic_and_needs_no_project ... ok
[INFO] [stdout] test cli_durable_counter_emits_a_complete_project_without_overwriting ... ok
[INFO] [stdout] test cli_project_read_failures_preserve_json_and_exit_class ... ok
[INFO] [stdout] test cli_tool_timeout_is_execution_failure ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- agent_generation_json_distinguishes_drift_and_failures_without_writes stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'agent_generation_json_distinguishes_drift_and_failures_without_writes' (840) panicked at tests/cli_adopter_flow.rs:258:29:
[INFO] [stdout] copy project: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x59fa22d88c31 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x59fa22d9db1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x59fa22d8d13c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x59fa22d617b6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x59fa22d7f119 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x59fa22d09370 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x59fa22d7f2d2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x59fa22d61862 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x59fa22d5a229 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x59fa22d6252d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x59fa22d9e24c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x59fa22cdf149 - cli_adopter_flow[1f3438de5d984fc9]::agent_generation_json_distinguishes_drift_and_failures_without_writes::{closure#0}
[INFO] [stdout]   12:     0x59fa22cf1166 - <cli_adopter_flow[1f3438de5d984fc9]::agent_generation_json_distinguishes_drift_and_failures_without_writes::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x59fa22cfc7bb - 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:     0x59fa22d09995 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x59fa22d03284 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x59fa22d0ca22 - <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:     0x59fa22d87b7f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x7277571c9dfa - <unknown>
[INFO] [stdout]   19:     0x72775725d3d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- rc3_cli_generate_check_is_read_only_and_detects_drift stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'rc3_cli_generate_check_is_read_only_and_detects_drift' (847) panicked at tests/cli_adopter_flow.rs:522:29:
[INFO] [stdout] copy project: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x59fa22d88c31 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x59fa22d9db1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x59fa22d8d13c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x59fa22d617b6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x59fa22d7f119 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x59fa22d09370 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x59fa22d7f2d2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x59fa22d61862 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x59fa22d5a229 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x59fa22d6252d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x59fa22d9e24c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x59fa22cde449 - cli_adopter_flow[1f3438de5d984fc9]::rc3_cli_generate_check_is_read_only_and_detects_drift::{closure#0}
[INFO] [stdout]   12:     0x59fa22ce93e0 - <cli_adopter_flow[1f3438de5d984fc9]::rc3_cli_generate_check_is_read_only_and_detects_drift::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x59fa22cfc7bb - 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:     0x59fa22d09995 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x59fa22d03284 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x59fa22d0ca22 - <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:     0x59fa22d87b7f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x7277571c9dfa - <unknown>
[INFO] [stdout]   19:     0x72775725d3d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- cli_project_file_budget_accepts_the_limit_and_stops_one_over stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'cli_project_file_budget_accepts_the_limit_and_stops_one_over' (842) panicked at tests/cli_adopter_flow.rs:106:43:
[INFO] [stdout] read test file: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x59fa22d88c31 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x59fa22d9db1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x59fa22d8d13c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x59fa22d617b6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x59fa22d7f119 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x59fa22d09370 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x59fa22d7f2d2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x59fa22d61862 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x59fa22d5a229 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x59fa22d6252d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x59fa22d9e24c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x59fa22cddc59 - cli_adopter_flow[1f3438de5d984fc9]::read::<std[617be2ca0a6fd877]::path::PathBuf>::{closure#0}
[INFO] [stdout]   12:     0x59fa22cec681 - <cli_adopter_flow[1f3438de5d984fc9]::cli_project_file_budget_accepts_the_limit_and_stops_one_over::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x59fa22cfc7bb - 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:     0x59fa22d09995 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x59fa22d03284 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x59fa22d0ca22 - <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:     0x59fa22d87b7f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x7277571c9dfa - <unknown>
[INFO] [stdout]   19:     0x72775725d3d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- rc3_cli_formal_outcomes_and_retention_are_process_level stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'rc3_cli_formal_outcomes_and_retention_are_process_level' (846) panicked at tests/cli_adopter_flow.rs:726:29:
[INFO] [stdout] copy CVC5 project: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x59fa22d88c31 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x59fa22d9db1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x59fa22d8d13c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x59fa22d617b6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x59fa22d7f119 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x59fa22d09370 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x59fa22d7f2d2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x59fa22d61862 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x59fa22d5a229 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x59fa22d6252d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x59fa22d9e24c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x59fa22cdeae9 - cli_adopter_flow[1f3438de5d984fc9]::rc3_cli_formal_outcomes_and_retention_are_process_level::{closure#4}
[INFO] [stdout]   12:     0x59fa22ce25e9 - cli_adopter_flow[1f3438de5d984fc9]::rc3_cli_formal_outcomes_and_retention_are_process_level
[INFO] [stdout]   13:     0x59fa22ceb389 - <cli_adopter_flow[1f3438de5d984fc9]::rc3_cli_formal_outcomes_and_retention_are_process_level::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   14:     0x59fa22cfc7bb - 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]   15:     0x59fa22d09995 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   16:     0x59fa22d03284 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   17:     0x59fa22d0ca22 - <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]   18:     0x59fa22d87b7f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   19:     0x7277571c9dfa - <unknown>
[INFO] [stdout]   20:     0x72775725d3d4 - clone
[INFO] [stdout]   21:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- rc3_cli_mini_determinator_check_json_contract stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'rc3_cli_mini_determinator_check_json_contract' (849) panicked at tests/cli_adopter_flow.rs:375:5:
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x59fa22d88c31 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x59fa22d9db1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x59fa22d8d13c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x59fa22d617b6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x59fa22d7f119 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x59fa22d09370 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x59fa22d7f2d2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x59fa22d61862 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x59fa22d5a229 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x59fa22d6252d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x59fa22d9e24c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x59fa22ce7b1b - <cli_adopter_flow[1f3438de5d984fc9]::rc3_cli_mini_determinator_check_json_contract::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x59fa22cfc7bb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x59fa22d09995 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x59fa22d03284 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x59fa22d0ca22 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x59fa22d87b7f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x7277571c9dfa - <unknown>
[INFO] [stdout]   18:     0x72775725d3d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     agent_generation_json_distinguishes_drift_and_failures_without_writes
[INFO] [stdout]     cli_project_file_budget_accepts_the_limit_and_stops_one_over
[INFO] [stdout]     rc3_cli_formal_outcomes_and_retention_are_process_level
[INFO] [stdout]     rc3_cli_generate_check_is_read_only_and_detects_drift
[INFO] [stdout]     rc3_cli_mini_determinator_check_json_contract
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 7 passed; 5 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.24s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test cli_adopter_flow`
[INFO] running `Command { std: "docker" "inspect" "b3ac6a411e1d4b2a2b0d4ce3efc85113066101bc4b15faec7fe2f59877a9422f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b3ac6a411e1d4b2a2b0d4ce3efc85113066101bc4b15faec7fe2f59877a9422f", kill_on_drop: false }`
[INFO] [stdout] b3ac6a411e1d4b2a2b0d4ce3efc85113066101bc4b15faec7fe2f59877a9422f
