[INFO] fetching crate zeno-fcis-cli 1.1.0...
[INFO] testing zeno-fcis-cli-1.1.0 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate zeno-fcis-cli 1.1.0 into /workspace/builds/worker-6-tc1/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-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate zeno-fcis-cli 1.1.0 on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "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.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded zeno-fcis-value v1.1.0
[INFO] [stderr]   Downloaded zeno-fcis-codec v1.1.0
[INFO] [stderr]   Downloaded zeno-fcis-crypto v1.1.0
[INFO] [stderr]   Downloaded zeno-fcis-core v1.1.0
[INFO] [stderr]   Downloaded zeno-fcis-synthesis v1.1.0
[INFO] [stderr]   Downloaded zeno-fcis-spec v1.1.0
[INFO] [stderr]   Downloaded zeno-fcis-backend v1.1.0
[INFO] [stderr]   Downloaded zeno-fcis-project v1.1.0
[INFO] [stderr]   Downloaded zeno-fcis-formal-tools v1.1.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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] c0c297602d4b495b647c4aebdf951c7bddf0dd2b08d8b574d29bf5496e3465d0
[INFO] running `Command { std: "docker" "start" "c0c297602d4b495b647c4aebdf951c7bddf0dd2b08d8b574d29bf5496e3465d0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c0c297602d4b495b647c4aebdf951c7bddf0dd2b08d8b574d29bf5496e3465d0", 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" "c0c297602d4b495b647c4aebdf951c7bddf0dd2b08d8b574d29bf5496e3465d0" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c0c297602d4b495b647c4aebdf951c7bddf0dd2b08d8b574d29bf5496e3465d0", 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" "c0c297602d4b495b647c4aebdf951c7bddf0dd2b08d8b574d29bf5496e3465d0" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling hybrid-array v0.4.13
[INFO] [stderr]    Compiling zeno-fcis-value v1.1.0
[INFO] [stderr]    Compiling zeno-fcis-core v1.1.0
[INFO] [stderr]    Compiling nix v0.30.1
[INFO] [stderr]    Compiling syn v3.0.3
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling clap_builder v4.6.0
[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 serde_derive v1.0.229
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]    Compiling zeno-fcis-crypto v1.1.0
[INFO] [stderr]    Compiling zeno-fcis-synthesis v1.1.0
[INFO] [stderr]    Compiling zeno-fcis-backend v1.1.0
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling serde v1.0.229
[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 34.65s
[INFO] running `Command { std: "docker" "inspect" "c0c297602d4b495b647c4aebdf951c7bddf0dd2b08d8b574d29bf5496e3465d0", 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" "c0c297602d4b495b647c4aebdf951c7bddf0dd2b08d8b574d29bf5496e3465d0" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling zeno-fcis-cli v1.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 7.29s
[INFO] running `Command { std: "docker" "inspect" "c0c297602d4b495b647c4aebdf951c7bddf0dd2b08d8b574d29bf5496e3465d0", 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" "c0c297602d4b495b647c4aebdf951c7bddf0dd2b08d8b574d29bf5496e3465d0" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.08s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/release/deps/zeno_fcis-0d739e0601cf671d)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test tests::project_reader_stops_before_consuming_the_full_input ... 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 synth::runner::process_tests::inherited_node_switches_and_toolchain_overrides_cannot_reach_a_child ... ok
[INFO] [stdout] test synth::tests::source_admission_rejects_duplicates_unknown_fields_and_noninteger_atoms ... ok
[INFO] [stdout] test tests::every_described_command_has_explicit_effect_metadata ... ok
[INFO] [stdout] test tests::exit_classes_are_stable ... ok
[INFO] [stdout] test tests::hostile_source_is_inert ... ok
[INFO] [stdout] test tests::rc3_mini_os_check ... ok
[INFO] [stdout] test synth::runner::process_tests::source_creation_preserves_existing_files_and_symlink_targets ... 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::counter_satisfies_independent_full_decision_table_and_mutations ... 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.09s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cli_adopter_flow.rs (/opt/rustwide/target/release/deps/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 rc3_cli_generate_check_is_read_only_and_detects_drift ... FAILED
[INFO] [stdout] test agent_generation_json_distinguishes_drift_and_failures_without_writes ... FAILED
[INFO] [stdout] test cli_project_file_budget_accepts_the_limit_and_stops_one_over ... FAILED
[INFO] [stdout] test rc3_cli_mini_determinator_check_json_contract ... FAILED
[INFO] [stdout] test rc3_cli_new_refuses_existing_content_and_usage_is_64 ... ok
[INFO] [stdout] test rc3_cli_computes_a_portable_lean_inventory_for_tools_v2 ... ok
[INFO] [stdout] test agent_command_discovery_is_deterministic_and_needs_no_project ... ok
[INFO] [stdout] test rc3_cli_formal_outcomes_and_retention_are_process_level ... FAILED
[INFO] [stdout] test rc3_cli_invalid_json_diagnostics_are_versioned_and_ordered ... ok
[INFO] [stdout] test cli_project_read_failures_preserve_json_and_exit_class ... ok
[INFO] [stdout] test cli_durable_counter_emits_a_complete_project_without_overwriting ... ok
[INFO] [stdout] test cli_tool_timeout_is_execution_failure ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[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' (844) 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:     0x5e3fecf0df51 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x5e3fecf2311a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x5e3fecf126dc - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x5e3fecee6a46 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x5e3fecf043f9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x5e3fece8e450 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x5e3fecf045b2 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x5e3fecee6af2 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x5e3fecedf529 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x5e3fecee77ad - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x5e3fecf2384c - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x5e3fece635b9 - cli_adopter_flow[2f164370a9210cdd]::rc3_cli_generate_check_is_read_only_and_detects_drift::{closure#0}
[INFO] [stdout]   12:     0x5e3fece6e430 - <cli_adopter_flow[2f164370a9210cdd]::rc3_cli_generate_check_is_read_only_and_detects_drift::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x5e3fece8173b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   14:     0x5e3fece8eda5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   15:     0x5e3fece88664 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x5e3fece91f02 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x5e3fecf0cee9 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x728f9e6f3dfa - <unknown>
[INFO] [stdout]   19:     0x728f9e7873d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[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' (837) 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:     0x5e3fecf0df51 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x5e3fecf2311a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x5e3fecf126dc - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x5e3fecee6a46 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x5e3fecf043f9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x5e3fece8e450 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x5e3fecf045b2 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x5e3fecee6af2 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x5e3fecedf529 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x5e3fecee77ad - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x5e3fecf2384c - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x5e3fece642b9 - cli_adopter_flow[2f164370a9210cdd]::agent_generation_json_distinguishes_drift_and_failures_without_writes::{closure#0}
[INFO] [stdout]   12:     0x5e3fece76176 - <cli_adopter_flow[2f164370a9210cdd]::agent_generation_json_distinguishes_drift_and_failures_without_writes::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x5e3fece8173b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   14:     0x5e3fece8eda5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   15:     0x5e3fece88664 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x5e3fece91f02 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x5e3fecf0cee9 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x728f9e6f3dfa - <unknown>
[INFO] [stdout]   19:     0x728f9e7873d4 - 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' (839) 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:     0x5e3fecf0df51 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x5e3fecf2311a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x5e3fecf126dc - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x5e3fecee6a46 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x5e3fecf043f9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x5e3fece8e450 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x5e3fecf045b2 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x5e3fecee6af2 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x5e3fecedf529 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x5e3fecee77ad - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x5e3fecf2384c - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x5e3fece62dc9 - cli_adopter_flow[2f164370a9210cdd]::read::<std[70759c8f55707aa4]::path::PathBuf>::{closure#0}
[INFO] [stdout]   12:     0x5e3fece71691 - <cli_adopter_flow[2f164370a9210cdd]::cli_project_file_budget_accepts_the_limit_and_stops_one_over::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x5e3fece8173b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   14:     0x5e3fece8eda5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   15:     0x5e3fece88664 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x5e3fece91f02 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x5e3fecf0cee9 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x728f9e6f3dfa - <unknown>
[INFO] [stdout]   19:     0x728f9e7873d4 - clone
[INFO] [stdout]   20:                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' (846) panicked at tests/cli_adopter_flow.rs:375:5:
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5e3fecf0df51 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x5e3fecf2311a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x5e3fecf126dc - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x5e3fecee6a46 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x5e3fecf043f9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x5e3fece8e450 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x5e3fecf045b2 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x5e3fecee6af2 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x5e3fecedf529 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x5e3fecee77ad - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x5e3fecf2384c - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x5e3fece6cb65 - <cli_adopter_flow[2f164370a9210cdd]::rc3_cli_mini_determinator_check_json_contract::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x5e3fece8173b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   13:     0x5e3fece8eda5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   14:     0x5e3fece88664 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x5e3fece91f02 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x5e3fecf0cee9 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x728f9e6f3dfa - <unknown>
[INFO] [stdout]   18:     0x728f9e7873d4 - clone
[INFO] [stdout]   19:                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' (843) 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:     0x5e3fecf0df51 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x5e3fecf2311a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x5e3fecf126dc - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x5e3fecee6a46 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x5e3fecf043f9 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x5e3fece8e450 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x5e3fecf045b2 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x5e3fecee6af2 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x5e3fecedf529 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x5e3fecee77ad - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x5e3fecf2384c - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x5e3fece63c59 - cli_adopter_flow[2f164370a9210cdd]::rc3_cli_formal_outcomes_and_retention_are_process_level::{closure#4}
[INFO] [stdout]   12:     0x5e3fece676a9 - cli_adopter_flow[2f164370a9210cdd]::rc3_cli_formal_outcomes_and_retention_are_process_level
[INFO] [stdout]   13:     0x5e3fece703d9 - <cli_adopter_flow[2f164370a9210cdd]::rc3_cli_formal_outcomes_and_retention_are_process_level::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   14:     0x5e3fece8173b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   15:     0x5e3fece8eda5 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   16:     0x5e3fece88664 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   17:     0x5e3fece91f02 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   18:     0x5e3fecf0cee9 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   19:     0x728f9e6f3dfa - <unknown>
[INFO] [stdout]   20:     0x728f9e7873d4 - clone
[INFO] [stdout]   21:                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.22s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test cli_adopter_flow`
[INFO] running `Command { std: "docker" "inspect" "c0c297602d4b495b647c4aebdf951c7bddf0dd2b08d8b574d29bf5496e3465d0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c0c297602d4b495b647c4aebdf951c7bddf0dd2b08d8b574d29bf5496e3465d0", kill_on_drop: false }`
[INFO] [stdout] c0c297602d4b495b647c4aebdf951c7bddf0dd2b08d8b574d29bf5496e3465d0
