[INFO] cloning repository https://github.com/GaloSerranoA/REFINE-FORGE
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/GaloSerranoA/REFINE-FORGE" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FGaloSerranoA%2FREFINE-FORGE", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FGaloSerranoA%2FREFINE-FORGE'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3b8677d7e951a2198ba994b098e2b9519061be6a
[INFO] testing GaloSerranoA/REFINE-FORGE 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%2FGaloSerranoA%2FREFINE-FORGE" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/GaloSerranoA/REFINE-FORGE
[INFO] finished tweaking git repo https://github.com/GaloSerranoA/REFINE-FORGE
[INFO] tweaked toml for git repo https://github.com/GaloSerranoA/REFINE-FORGE written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/GaloSerranoA/REFINE-FORGE 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/GaloSerranoA/REFINE-FORGE 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-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] a96f8d2a93ed77d01a58d3fc096a5cfaee3f7437678b941d76af0444976844e7
[INFO] running `Command { std: "docker" "start" "a96f8d2a93ed77d01a58d3fc096a5cfaee3f7437678b941d76af0444976844e7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a96f8d2a93ed77d01a58d3fc096a5cfaee3f7437678b941d76af0444976844e7", 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" "a96f8d2a93ed77d01a58d3fc096a5cfaee3f7437678b941d76af0444976844e7" "/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" "a96f8d2a93ed77d01a58d3fc096a5cfaee3f7437678b941d76af0444976844e7", 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" "a96f8d2a93ed77d01a58d3fc096a5cfaee3f7437678b941d76af0444976844e7" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling futures-sink v0.3.32
[INFO] [stderr]    Compiling http v1.4.0
[INFO] [stderr]    Compiling icu_normalizer_data v2.2.0
[INFO] [stderr]    Compiling icu_properties_data v2.2.0
[INFO] [stderr]    Compiling futures-io v0.3.32
[INFO] [stderr]    Compiling mio v1.2.0
[INFO] [stderr]    Compiling socket2 v0.6.3
[INFO] [stderr]    Compiling rustls-pki-types v1.14.1
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling cc v1.2.62
[INFO] [stderr]    Compiling slab v0.4.12
[INFO] [stderr]    Compiling rustls v0.23.40
[INFO] [stderr]    Compiling typenum v1.20.0
[INFO] [stderr]    Compiling futures-channel v0.3.32
[INFO] [stderr]    Compiling bitflags v2.11.1
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling colorchoice v1.0.5
[INFO] [stderr]    Compiling ipnet v2.12.0
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling clap_lex v1.1.0
[INFO] [stderr]    Compiling unsafe-libyaml v0.2.11
[INFO] [stderr]    Compiling fluent-uri v0.1.4
[INFO] [stderr]    Compiling tokio v1.52.3
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling webpki-roots v1.0.7
[INFO] [stderr]    Compiling log v0.4.29
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling zstd-safe v7.2.4
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling refineforge-gpu v0.2.2 (/opt/rustwide/workdir/crates/refineforge-gpu)
[INFO] [stderr]    Compiling http-body v1.0.1
[INFO] [stderr]    Compiling fastrand v2.4.1
[INFO] [stderr]    Compiling http-body-util v0.1.3
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling zstd-sys v2.0.16+zstd.1.5.7
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling hyper v1.9.0
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling rustls-webpki v0.103.13
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling zerovec-derive v0.11.3
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling serde_repr v0.1.20
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling refineforge-derive v0.2.2 (/opt/rustwide/workdir/crates/refineforge-derive)
[INFO] [stderr]    Compiling zerofrom-derive v0.1.7
[INFO] [stderr]    Compiling yoke-derive v0.8.2
[INFO] [stderr]    Compiling zstd v0.13.3
[INFO] [stderr]    Compiling example-counter v0.2.2 (/opt/rustwide/workdir/crates/example-counter)
[INFO] [stderr]    Compiling example-capability v0.2.2 (/opt/rustwide/workdir/crates/example-capability)
[INFO] [stderr]    Compiling zerofrom v0.1.8
[INFO] [stderr]    Compiling yoke v0.8.2
[INFO] [stderr]    Compiling zerovec v0.11.6
[INFO] [stderr]    Compiling zerotrie v0.2.4
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling tinystr v0.8.3
[INFO] [stderr]    Compiling potential_utf v0.1.5
[INFO] [stderr]    Compiling icu_collections v2.2.0
[INFO] [stderr]    Compiling icu_locale_core v2.2.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling icu_provider v2.2.0
[INFO] [stderr]    Compiling icu_properties v2.2.0
[INFO] [stderr]    Compiling icu_normalizer v2.2.0
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling serde_yaml v0.9.34+deprecated
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling lsp-types v0.97.0
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling tokio-rustls v0.26.4
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling hyper-rustls v0.27.9
[INFO] [stderr]    Compiling refineforge-escalation v0.2.2 (/opt/rustwide/workdir/crates/refineforge-escalation)
[INFO] [stderr]    Compiling refineforge-bitexact v0.2.2 (/opt/rustwide/workdir/crates/refineforge-bitexact)
[INFO] [stderr]    Compiling tower-http v0.6.11
[INFO] [stderr]    Compiling reqwest v0.12.28
[INFO] [stderr]    Compiling refineforge-prover v0.2.2 (/opt/rustwide/workdir/crates/refineforge-prover)
[INFO] [stderr]    Compiling refineforge-repair-api v0.2.2 (/opt/rustwide/workdir/crates/refineforge-repair-api)
[INFO] [stderr]    Compiling refineforge-strategies v0.2.2 (/opt/rustwide/workdir/crates/refineforge-strategies)
[INFO] [stderr]    Compiling refineforge-trainer v0.2.2 (/opt/rustwide/workdir/crates/refineforge-trainer)
[INFO] [stderr]    Compiling refineforge-cli v0.2.2 (/opt/rustwide/workdir/crates/refineforge-cli)
[INFO] [stderr]    Compiling refineforge-eval v0.2.2 (/opt/rustwide/workdir/crates/refineforge-eval)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 38s
[INFO] running `Command { std: "docker" "inspect" "a96f8d2a93ed77d01a58d3fc096a5cfaee3f7437678b941d76af0444976844e7", 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" "a96f8d2a93ed77d01a58d3fc096a5cfaee3f7437678b941d76af0444976844e7" "/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 refineforge-derive v0.2.2 (/opt/rustwide/workdir/crates/refineforge-derive)
[INFO] [stderr]    Compiling chunked_transfer v1.5.0
[INFO] [stderr]    Compiling ascii v1.1.0
[INFO] [stderr]    Compiling refineforge-gpu v0.2.2 (/opt/rustwide/workdir/crates/refineforge-gpu)
[INFO] [stderr]    Compiling refineforge-repair-api v0.2.2 (/opt/rustwide/workdir/crates/refineforge-repair-api)
[INFO] [stderr]    Compiling refineforge-bitexact v0.2.2 (/opt/rustwide/workdir/crates/refineforge-bitexact)
[INFO] [stderr]    Compiling refineforge-escalation v0.2.2 (/opt/rustwide/workdir/crates/refineforge-escalation)
[INFO] [stderr]    Compiling refineforge-trainer v0.2.2 (/opt/rustwide/workdir/crates/refineforge-trainer)
[INFO] [stderr]    Compiling refineforge-prover v0.2.2 (/opt/rustwide/workdir/crates/refineforge-prover)
[INFO] [stderr]    Compiling refineforge-cli v0.2.2 (/opt/rustwide/workdir/crates/refineforge-cli)
[INFO] [stderr]    Compiling tiny_http v0.12.0
[INFO] [stderr]    Compiling example-capability v0.2.2 (/opt/rustwide/workdir/crates/example-capability)
[INFO] [stderr]    Compiling example-counter v0.2.2 (/opt/rustwide/workdir/crates/example-counter)
[INFO] [stderr]    Compiling refineforge-eval v0.2.2 (/opt/rustwide/workdir/crates/refineforge-eval)
[INFO] [stdout] warning: unused import: `Category`
[INFO] [stdout]   --> crates/refineforge-escalation/tests/packet_e2e.rs:13:71
[INFO] [stdout]    |
[INFO] [stdout] 13 |     commit_packet, poll_decision_once, Action, BatchBlock, BatchItem, Category, ClaimSummary,
[INFO] [stdout]    |                                                                       ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling refineforge-strategies v0.2.2 (/opt/rustwide/workdir/crates/refineforge-strategies)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 36.04s
[INFO] running `Command { std: "docker" "inspect" "a96f8d2a93ed77d01a58d3fc096a5cfaee3f7437678b941d76af0444976844e7", 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" "a96f8d2a93ed77d01a58d3fc096a5cfaee3f7437678b941d76af0444976844e7" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `Category`
[INFO] [stderr]   --> crates/refineforge-escalation/tests/packet_e2e.rs:13:71
[INFO] [stderr]    |
[INFO] [stderr] 13 |     commit_packet, poll_decision_once, Action, BatchBlock, BatchItem, Category, ClaimSummary,
[INFO] [stderr]    |                                                                       ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `refineforge-escalation` (test "packet_e2e") generated 1 warning (run `cargo fix --test "packet_e2e" -p refineforge-escalation` to apply 1 suggestion)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.46s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/example_capability-092192b4c255a2da)
[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/capability.rs (/opt/rustwide/target/debug/deps/capability-396adb620e8202b0)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test fresh_capability_authorizes_held_right ... ok
[INFO] [stdout] test fresh_capability_rejects_missing_right ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/example_counter-837d4d356a0c2058)
[INFO] [stdout] test revoke_is_idempotent ... ok
[INFO] [stdout] test revoked_capability_authorizes_nothing ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[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/counter.rs (/opt/rustwide/target/debug/deps/counter-cd24070da698f11f)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test incr_is_monotone ... ok
[INFO] [stdout] test checked_incr_returns_some_below_boundary ... ok
[INFO] [stdout] test incr_is_monotone_at_zero ... ok
[INFO] [stdout] test incr_is_monotone_at_u64_max ... ok
[INFO] [stdout] test checked_incr_returns_none_at_u64_max ... ok
[INFO] [stdout] test incr_strictly_increases_below_boundary ... ok
[INFO] [stdout] test lean_model_is_const_and_static ... ok
[INFO] [stdout] test lean_model_supported_shape_is_deterministic ... ok
[INFO] [stdout] test lean_model_matches_hand_written_counter_lean ... ok
[INFO] [stdout] test incr_does_not_strictly_increase_at_u64_max ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/refineforge_bitexact-2bd20a8fcad78e2a)
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 49 tests
[INFO] [stdout] test experiment::tests::loads_minimal_with_defaults ... ok
[INFO] [stdout] test experiment::tests::loads_file_output_with_env_and_hw ... ok
[INFO] [stdout] test experiment::tests::loads_helyx_contract_fields_and_sorts_lists ... ok
[INFO] [stdout] test experiment::tests::loads_source_reference_and_production_contract_fields ... ok
[INFO] [stdout] test hash::tests::all_equal_detects_difference ... ok
[INFO] [stdout] test hash::tests::all_equal_trivial_cases ... ok
[INFO] [stdout] test experiment::tests::substitute_replaces_tokens ... ok
[INFO] [stdout] test experiment::tests::rejects_empty_command ... ok
[INFO] [stdout] test experiment::tests::rejects_runs_below_2 ... ok
[INFO] [stdout] test hash::tests::hash_bytes_empty ... ok
[INFO] [stdout] test hash::tests::hash_bytes_is_known_sha256 ... ok
[INFO] [stdout] test experiment::tests::rejects_malformed_expected_sha256 ... ok
[INFO] [stdout] test lint::tests::generic_profile_passes_without_cuda_contract_metadata ... ok
[INFO] [stdout] test lint::tests::cuda_strict_does_not_require_helyx_names ... ok
[INFO] [stdout] test lint::tests::helyx_cuda_profile_requires_enterprise_contract_fields ... ok
[INFO] [stdout] test hash::tests::hash_file_matches_hash_bytes ... ok
[INFO] [stdout] test lint::tests::helyx_cuda_profile_passes_valid_contract ... ok
[INFO] [stdout] test mentor::tests::default_curriculum_has_all_seven_sections ... ok
[INFO] [stdout] test manifest::tests::build_input_manifest_rejects_missing_file ... ok
[INFO] [stdout] test mentor::tests::every_section_carries_at_least_one_reference ... ok
[INFO] [stdout] test mentor::tests::rules_round_trip_through_serde ... ok
[INFO] [stdout] test manifest::tests::build_input_manifest_hashes_files_in_sorted_order ... ok
[INFO] [stdout] test mentor::tests::system_prompt_includes_rules_outro_and_determinism_note ... ok
[INFO] [stdout] test mentor::tests::curriculum_round_trips_through_serde ... ok
[INFO] [stdout] test mentor::tests::topic_names_are_unique_within_curriculum ... ok
[INFO] [stdout] test mentor::tests::listing_includes_every_section_topic_and_references ... ok
[INFO] [stdout] test mentor::tests::find_resolves_canonical_name ... ok
[INFO] [stdout] test mentor::tests::topic_prompt_resolves_and_quotes_section ... ok
[INFO] [stdout] test mentor::tests::find_returns_not_found_for_unknown ... ok
[INFO] [stdout] test mentor::tests::find_resolves_alias_case_insensitive ... ok
[INFO] [stdout] test mentor::tests::normalize_collapses_separators_and_case ... ok
[INFO] [stdout] test mentor::tests::aliases_do_not_collide_across_topics ... ok
[INFO] [stdout] test run_all::tests::discover_configs_sorts_and_filters_examples_by_default ... ok
[INFO] [stdout] test mentor::tests::topic_prompt_for_refineforge_specific_topic_resolves ... ok
[INFO] [stdout] test runner::tests::shell_split_preserves_double_quoted_path_with_spaces ... ok
[INFO] [stdout] test runner::tests::shell_split_preserves_single_quoted_shell_fragment ... ok
[INFO] [stdout] test runner::tests::shell_split_preserves_windows_path_separators ... ok
[INFO] [stdout] test runner::tests::spawn_failure_is_captured_per_run ... ok
[INFO] [stdout] test runner::tests::run_all_writes_per_run_jsonl_audit_stream ... ok
[INFO] [stdout] test runner::tests::deterministic_command_yields_identical_hashes ... ok
[INFO] [stdout] test runner::tests::nondeterministic_command_yields_different_hashes ... ok
[INFO] [stdout] test report::tests::fail_when_expected_hash_does_not_match_observed_hash ... ok
[INFO] [stdout] test report::tests::fail_when_hashes_disagree ... ok
[INFO] [stdout] test report::tests::pass_when_all_hashes_equal_and_no_errors ... ok
[INFO] [stdout] test report::tests::records_input_manifest_in_report ... ok
[INFO] [stdout] test report::tests::fail_when_a_run_errored_even_if_remaining_hashes_match ... ok
[INFO] [stdout] test run_all::tests::run_directory_records_failures_and_continues ... ok
[INFO] [stdout] test hash::tests::hash_file_handles_large_file_streaming ... ok
[INFO] [stdout] test report::tests::fail_when_zero_runs ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 49 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.14s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/refine_bitexact-f332daff692f2d58)
[INFO] [stdout] 
[INFO] [stdout] running 49 tests
[INFO] [stdout] test experiment::tests::loads_file_output_with_env_and_hw ... ok
[INFO] [stdout] test experiment::tests::loads_helyx_contract_fields_and_sorts_lists ... ok
[INFO] [stdout] test hash::tests::all_equal_detects_difference ... ok
[INFO] [stdout] test hash::tests::all_equal_trivial_cases ... ok
[INFO] [stdout] test experiment::tests::loads_source_reference_and_production_contract_fields ... ok
[INFO] [stdout] test experiment::tests::loads_minimal_with_defaults ... ok
[INFO] [stdout] test experiment::tests::rejects_malformed_expected_sha256 ... ok
[INFO] [stdout] test hash::tests::hash_bytes_empty ... ok
[INFO] [stdout] test experiment::tests::rejects_empty_command ... ok
[INFO] [stdout] test experiment::tests::substitute_replaces_tokens ... ok
[INFO] [stdout] test hash::tests::hash_bytes_is_known_sha256 ... ok
[INFO] [stdout] test lint::tests::cuda_strict_does_not_require_helyx_names ... ok
[INFO] [stdout] test experiment::tests::rejects_runs_below_2 ... ok
[INFO] [stdout] test lint::tests::generic_profile_passes_without_cuda_contract_metadata ... ok
[INFO] [stdout] test lint::tests::helyx_cuda_profile_passes_valid_contract ... ok
[INFO] [stdout] test lint::tests::helyx_cuda_profile_requires_enterprise_contract_fields ... ok
[INFO] [stdout] test manifest::tests::build_input_manifest_rejects_missing_file ... ok
[INFO] [stdout] test mentor::tests::default_curriculum_has_all_seven_sections ... ok
[INFO] [stdout] test hash::tests::hash_file_matches_hash_bytes ... ok
[INFO] [stdout] test mentor::tests::normalize_collapses_separators_and_case ... ok
[INFO] [stdout] test mentor::tests::rules_round_trip_through_serde ... ok
[INFO] [stdout] test mentor::tests::curriculum_round_trips_through_serde ... ok
[INFO] [stdout] test mentor::tests::every_section_carries_at_least_one_reference ... ok
[INFO] [stdout] test manifest::tests::build_input_manifest_hashes_files_in_sorted_order ... ok
[INFO] [stdout] test mentor::tests::system_prompt_includes_rules_outro_and_determinism_note ... ok
[INFO] [stdout] test mentor::tests::find_resolves_canonical_name ... ok
[INFO] [stdout] test mentor::tests::aliases_do_not_collide_across_topics ... ok
[INFO] [stdout] test mentor::tests::listing_includes_every_section_topic_and_references ... ok
[INFO] [stdout] test mentor::tests::topic_names_are_unique_within_curriculum ... ok
[INFO] [stdout] test mentor::tests::find_returns_not_found_for_unknown ... ok
[INFO] [stdout] test run_all::tests::discover_configs_sorts_and_filters_examples_by_default ... ok
[INFO] [stdout] test mentor::tests::topic_prompt_for_refineforge_specific_topic_resolves ... ok
[INFO] [stdout] test runner::tests::shell_split_preserves_double_quoted_path_with_spaces ... ok
[INFO] [stdout] test runner::tests::shell_split_preserves_single_quoted_shell_fragment ... ok
[INFO] [stdout] test runner::tests::shell_split_preserves_windows_path_separators ... ok
[INFO] [stdout] test mentor::tests::topic_prompt_resolves_and_quotes_section ... ok
[INFO] [stdout] test runner::tests::run_all_writes_per_run_jsonl_audit_stream ... ok
[INFO] [stdout] test runner::tests::spawn_failure_is_captured_per_run ... ok
[INFO] [stdout] test runner::tests::deterministic_command_yields_identical_hashes ... ok
[INFO] [stdout] test runner::tests::nondeterministic_command_yields_different_hashes ... ok
[INFO] [stdout] test hash::tests::hash_file_handles_large_file_streaming ... ok
[INFO] [stdout] test mentor::tests::find_resolves_alias_case_insensitive ... ok
[INFO] [stdout] test report::tests::pass_when_all_hashes_equal_and_no_errors ... ok
[INFO] [stdout] test report::tests::fail_when_zero_runs ... ok
[INFO] [stdout] test report::tests::fail_when_expected_hash_does_not_match_observed_hash ... ok
[INFO] [stdout] test report::tests::records_input_manifest_in_report ... ok
[INFO] [stdout] test report::tests::fail_when_a_run_errored_even_if_remaining_hashes_match ... ok
[INFO] [stdout] test report::tests::fail_when_hashes_disagree ... ok
[INFO] [stdout] test run_all::tests::run_directory_records_failures_and_continues ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 49 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.12s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/end_to_end.rs (/opt/rustwide/target/debug/deps/end_to_end-652d39d8eeb75cc5)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] DRY-RUN: would execute the following 5 time(s):
[INFO] [stdout]   [0] bash kernels/scripts/stub-nondeterministic.sh
[INFO] [stdout]   [1] bash kernels/scripts/stub-nondeterministic.sh
[INFO] [stdout]   [2] bash kernels/scripts/stub-nondeterministic.sh
[INFO] [stdout]   [3] bash kernels/scripts/stub-nondeterministic.sh
[INFO] [stdout]   [4] bash kernels/scripts/stub-nondeterministic.sh
[INFO] [stdout]   hashing stdout of each run
[INFO] [stderr] refine-bitexact: experiment 'example-nondeterministic' — running 5 time(s)
[INFO] [stderr] refine-bitexact: experiment 'example-deterministic' — running 5 time(s)
[INFO] [stdout] test dry_run_does_not_execute_kernel ... ok
[INFO] [stderr]   [0] 2 ms — sha256 fcaa8b9801bd19ae
[INFO] [stderr]   [1] 2 ms — sha256 1a733b33b1ff6d71
[INFO] [stderr]   [2] 2 ms — sha256 167a5676b5f35d56
[INFO] [stderr]   [3] 2 ms — sha256 b46c7c10038d1be9
[INFO] [stderr]   [4] 4 ms — sha256 5f29cee676ee5772
[INFO] [stderr]   [0] 2 ms — sha256 d5ca9a70b50179b4
[INFO] [stderr]   [1] 1 ms — sha256 d5ca9a70b50179b4
[INFO] [stderr]   [2] 5 ms — sha256 d5ca9a70b50179b4
[INFO] [stderr]   [3] 2 ms — sha256 d5ca9a70b50179b4
[INFO] [stderr]   [4] 5 ms — sha256 d5ca9a70b50179b4
[INFO] [stderr] 
[INFO] [stderr] PASS: all 5 runs produced identical SHA-256 = d5ca9a70b50179b4
[INFO] [stderr] report: /tmp/.tmpz3r1L7/example-deterministic/bitexact-report.json
[INFO] [stderr] 
[INFO] [stderr] FAIL: 5 runs, 0 errored, 5 unique hash(es)
[INFO] [stderr] report: /tmp/.tmplow9Wm/example-nondeterministic/bitexact-report.json
[INFO] [stdout] test gate_passes_against_deterministic_stub ... ok
[INFO] [stdout] test gate_fails_against_nondeterministic_stub ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.16s
[INFO] [stdout] 
[INFO] [stderr] Error: bit-exact gate FAILED
[INFO] [stderr] 
[INFO] [stderr] Stack backtrace:
[INFO] [stderr]    0: <anyhow::Error>::msg::<&str>
[INFO] [stderr]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.102/src/backtrace.rs:10:14
[INFO] [stderr]    1: anyhow::__private::format_err
[INFO] [stderr]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.102/src/lib.rs:687:13
[INFO] [stderr]    2: refine_bitexact::cmd_run
[INFO] [stderr]              at ./crates/refineforge-bitexact/src/main.rs:187:38
[INFO] [stderr]    3: refine_bitexact::main
[INFO] [stderr]              at ./crates/refineforge-bitexact/src/main.rs:105:14
[INFO] [stderr]    4: <fn() -> core::result::Result<(), anyhow::Error> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stderr]    5: std::sys::backtrace::__rust_begin_short_backtrace::<fn() -> core::result::Result<(), anyhow::Error>, core::result::Result<(), anyhow::Error>>
[INFO] [stderr]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stderr]    6: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>::{closure#0}
[INFO] [stderr]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:206:18
[INFO] [stderr]    7: <&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync as core::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:287:21
[INFO] [stderr]    8: std::panicking::catch_unwind::do_call::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stderr]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stderr]    9: std::panicking::catch_unwind::<i32, &dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync>
[INFO] [stderr]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stderr]   10: std::panic::catch_unwind::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stderr]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stderr]   11: std::rt::lang_start_internal::{closure#0}
[INFO] [stderr]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:175:24
[INFO] [stderr]   12: std::panicking::catch_unwind::do_call::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stderr]   13: std::panicking::catch_unwind::<isize, std::rt::lang_start_internal::{closure#0}>
[INFO] [stderr]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stderr]   14: std::panic::catch_unwind::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stderr]   15: std::rt::lang_start_internal
[INFO] [stderr]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:171:5
[INFO] [stderr]   16: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>
[INFO] [stderr]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:205:5
[INFO] [stderr]   17: main
[INFO] [stderr]   18: <unknown>
[INFO] [stderr]   19: __libc_start_main
[INFO] [stderr]   20: _start
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/refineforge_cli-7788c27a441100ef)
[INFO] [stdout] 
[INFO] [stdout] running 106 tests
[INFO] [stdout] test agent::devops::tests::helyx_target_uses_non_release_probe_version ... ok
[INFO] [stdout] test agent::devops::tests::release_ready_success_is_capped_below_ci_readiness ... ok
[INFO] [stdout] test autonomous::cost::tests::fresh_gate_remaining_equals_budget ... ok
[INFO] [stdout] test autonomous::cost::tests::zero_budget_rejects_any_positive_charge ... ok
[INFO] [stdout] test autonomous::cost::tests::zero_charge_on_zero_budget_succeeds_trivially ... ok
[INFO] [stdout] test autonomous::cost::tests::charge_at_exactly_budget_succeeds ... ok
[INFO] [stdout] test autonomous::cost::tests::charge_accumulates_total ... ok
[INFO] [stdout] test autonomous::executor::tests::anthropic_constant_matches_eval_baseline ... ok
[INFO] [stdout] test autonomous::executor::tests::dry_run_escalation_does_not_write_to_git ... ok
[INFO] [stdout] test autonomous::executor::tests::dry_run_run_bitexact_gate_records_proceeded ... ok
[INFO] [stdout] test autonomous::executor::tests::dry_run_baseline_plan_all_steps_proceed ... ok
[INFO] [stdout] test autonomous::executor::tests::dry_run_repair_step_reports_proceeded_without_invoking_loop ... ok
[INFO] [stdout] test autonomous::executor::tests::dry_run_run_training_experiment_records_proceeded ... ok
[INFO] [stdout] test autonomous::executor::tests::engine_action_that_escalates_records_escalated ... ok
[INFO] [stdout] test autonomous::executor::tests::engine_action_that_proceeds_records_proceeded ... ok
[INFO] [stdout] test autonomous::executor::tests::engine_refusal_on_criteria_mismatch_records_failed ... ok
[INFO] [stdout] test autonomous::executor::tests::non_dry_run_anthropic_repair_charges_cost_gate_before_invoking ... ok
[INFO] [stdout] test autonomous::executor::tests::packet_path_is_stable_and_zero_padded ... ok
[INFO] [stdout] test autonomous::executor::tests::resolve_strategy_recognises_anthropic_mock ... ok
[INFO] [stdout] test autonomous::executor::tests::phase_3_8_preexisting_approved_packet_is_not_overwritten ... ok
[INFO] [stdout] test autonomous::executor::tests::non_dry_run_escalation_commits_a_packet ... ok
[INFO] [stdout] test autonomous::cost::tests::charge_over_budget_fails_closed ... ok
[INFO] [stdout] test autonomous::executor::tests::resolve_strategy_requires_weights_for_local_finetune ... ok
[INFO] [stdout] test autonomous::planner::tests::multiple_engine_actions_run_in_insertion_order ... ok
[INFO] [stdout] test autonomous::planner::tests::rationale_mentions_the_claim_id ... ok
[INFO] [stdout] test autonomous::executor::tests::non_dry_run_subprocess_step_fails_helpfully_when_binary_missing ... ok
[INFO] [stdout] test autonomous::planner::tests::run_training_experiment_step_kind_serializes ... ok
[INFO] [stdout] test agent::lean::tests::inrepo_bundle_manifest_hash_accepts_valid_and_rejects_invalid ... ok
[INFO] [stdout] test autonomous::planner::tests::run_bitexact_gate_step_kind_serializes ... ok
[INFO] [stdout] test agent::devops::tests::explicit_semver_target_is_preserved ... ok
[INFO] [stdout] test autonomous::planner::tests::baseline_plan_steps_are_lean_then_scan_then_bundle ... ok
[INFO] [stdout] test autonomous::planner::tests::engine_action_is_inserted_between_lean_and_scan ... ok
[INFO] [stdout] test autonomous::executor::tests::resolve_strategy_recognises_mock ... ok
[INFO] [stdout] test autonomous::planner::tests::repair_step_kind_serializes_with_strategy_field ... ok
[INFO] [stdout] test autonomous::executor::tests::resolve_strategy_rejects_unknown ... ok
[INFO] [stdout] test autonomous::planner::tests::baseline_plan_is_three_steps ... ok
[INFO] [stdout] test autonomous::cost::tests::negative_charge_rejected ... ok
[INFO] [stdout] test autonomous::planner::tests::baseline_plan_sequence_numbers_are_dense_one_based ... ok
[INFO] [stdout] test autonomous::executor::tests::resolve_strategy_recognises_local_finetune_with_manifest ... ok
[INFO] [stdout] test autonomous::executor::tests::phase_3_8_preexisting_pending_packet_is_still_rewritten ... ok
[INFO] [stdout] test autonomous::planner::tests::with_bitexact_step_appends_after_training ... ok
[INFO] [stdout] test autonomous::planner::tests::with_training_step_appends_after_bundle ... ok
[INFO] [stdout] test autonomous::report::tests::report_round_trips_via_json ... ok
[INFO] [stdout] test autonomous::report::tests::summary_all_proceeded_is_success ... ok
[INFO] [stdout] test autonomous::report::tests::report_with_anthropic_usage_round_trips ... ok
[INFO] [stdout] test autonomous::report::tests::summary_counts_each_outcome_kind ... ok
[INFO] [stdout] test lint::tests::lint_rejects_ai_placeholder_human_operator ... ok
[INFO] [stdout] test lint::tests::lint_flags_missing_explicit_human_operator_field ... ok
[INFO] [stdout] test lint::tests::lint_rejects_crs_claim_without_model_only_scope ... ok
[INFO] [stdout] test autonomous::report::tests::summary_escalated_alone_is_success ... ok
[INFO] [stdout] test lint::tests::lint_flags_missing_rust_source_file ... ok
[INFO] [stdout] test lint::tests::lint_flags_refined_claim_without_refinement_doc ... ok
[INFO] [stdout] test lint::tests::lint_passes_example_counter_shape ... ok
[INFO] [stdout] test lint::tests::lint_flags_refinement_doc_missing_required_sections ... ok
[INFO] [stdout] test bundle::signature_tests::stub_cosign_verify_failure_propagates ... ok
[INFO] [stdout] test autonomous::tests::public_api_compiles ... ok
[INFO] [stdout] test bundle::signature_tests::extracts_signer_identity_from_cosign_json_fixture ... ok
[INFO] [stdout] test bundle::signature_tests::missing_sigbundle_returns_helpful_error ... ok
[INFO] [stdout] test bundle::signature_tests::signer_identity_fallback_is_documented_as_reporting_gap ... ok
[INFO] [stdout] test memory::tests::record_ids_ignore_created_at ... ok
[INFO] [stdout] test nexus::tests::protected_hash_is_stable_when_only_region_body_changes ... ok
[INFO] [stdout] test nexus::tests::scans_block_and_value_regions ... ok
[INFO] [stdout] test nexus::tests::reports_unterminated_region ... ok
[INFO] [stdout] test nexus::tests::score_candidate_falls_back_for_unknown_generator_or_body ... ok
[INFO] [stdout] test nexus::tests::score_candidate_orders_block_generators_lowest_risk_first ... ok
[INFO] [stdout] test nexus::tests::score_candidate_orders_value_generators_with_preserve_first ... ok
[INFO] [stdout] test release::tests::blocked_required_gate_fails_release_report ... ok
[INFO] [stdout] test release::tests::cargo_gate_commands_use_isolated_target_dir ... ok
[INFO] [stdout] test release::tests::gate_cargo_target_dir_isolates_when_running_binary_would_collide ... ok
[INFO] [stdout] test bundle::signature_tests::default_identity_regex_accepts_renamed_repository_workflow_identity ... ok
[INFO] [stdout] test release::tests::docs_audit_accepts_ci_pending_signature_language ... ok
[INFO] [stdout] test release::tests::docs_audit_allows_unrelated_shipped_claims_near_nix_pending ... ok
[INFO] [stdout] test release::tests::markdown_report_contains_gate_table_and_bundle_hashes ... ok
[INFO] [stdout] test release::tests::release_gates_scrub_agent_evidence_env_vars ... ok
[INFO] [stdout] test release::tests::release_report_is_success_only_when_required_gates_pass_or_skip ... ok
[INFO] [stdout] test release::tests::provenance_records_bundle_subjects_and_materials ... ok
[INFO] [stdout] test release::tests::inrepo_bundle_evidence_collects_exported_manifests ... ok
[INFO] [stdout] test release::tests::docs_audit_rejects_empty_kernel_src_without_architecture_boundary ... ok
[INFO] [stdout] test release::tests::docs_audit_rejects_unbounded_sigstore_release_claim ... ok
[INFO] [stdout] test release::tests::docs_audit_rejects_three_section_language ... ok
[INFO] [stdout] test repair::lsp::tests::read_message_ignores_extra_headers ... ok
[INFO] [stdout] test repair::lsp::tests::roundtrip_message_with_simple_payload ... ok
[INFO] [stdout] test release::tests::sbom_from_cargo_metadata_includes_workspace_and_dependency_components ... ok
[INFO] [stdout] test scan::tests::structured_scan_ignores_comments_and_strings ... ok
[INFO] [stdout] test repair::lsp_extractor::tests::parse_goal_text_handles_plain_goal_rendered_field ... ok
[INFO] [stdout] test release::tests::gate_log_file_names_are_stable_and_windows_safe ... ok
[INFO] [stdout] test release::tests::writes_json_markdown_sbom_and_provenance_files ... ok
[INFO] [stdout] test scan::tests::structured_scan_finds_impl_methods_and_free_functions ... ok
[INFO] [stdout] test scan::tests::scan_hash_is_stable_when_source_order_changes ... ok
[INFO] [stdout] test repair::lsp_extractor::tests::parse_goal_text_returns_none_when_no_goal_marker ... ok
[INFO] [stdout] test repair::lsp::tests::path_to_uri_uses_forward_slashes ... ok
[INFO] [stdout] test bundle::signature_tests::identity_regex_override_via_options ... ok
[INFO] [stdout] test bundle::signature_tests::missing_cosign_binary_returns_install_hint ... ok
[INFO] [stdout] test sorry_gate::tests::clean_source_passes ... ok
[INFO] [stdout] test sorry_gate::tests::axiom_declaration_fails ... ok
[INFO] [stdout] test sorry_gate::tests::nested_block_comment_passes ... ok
[INFO] [stdout] test bundle::signature_tests::stub_cosign_success_path_returns_status ... ok
[INFO] [stdout] test sorry_gate::tests::sorry_in_line_comment_passes ... ok
[INFO] [stdout] test sorry_gate::tests::sorry_in_block_comment_passes ... ok
[INFO] [stdout] test sorry_gate::tests::word_boundary_excludes_substrings ... ok
[INFO] [stdout] test sorry_gate::tests::sorry_in_proof_fails ... ok
[INFO] [stdout] test runner::tests::lake_build_lock_serializes_same_lean_dir ... ok
[INFO] [stdout] test scaffold::tests::create_writes_refinement_doc_and_template_provenance ... ok
[INFO] [stdout] test release::tests::dry_run_ready_allows_source_archive_without_git_worktree ... ok
[INFO] [stdout] test release::tests::invalid_semver_is_a_failed_required_gate ... ok
[INFO] [stdout] test release::tests::dry_run_ready_marks_expensive_gates_skipped ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 106 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.43s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/refine-29391469b2a0d0f0)
[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/agent_cli.rs (/opt/rustwide/target/debug/deps/agent_cli-bb42157e8b331c78)
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test agent_docs_and_schema_exist ... ok
[INFO] [stdout] test agent_kernel_check_creates_output_dir_before_lint_command ... ok
[INFO] [stdout] test agent_kernel_rejects_fake_env_presence_as_production_evidence ... ok
[INFO] [stdout] test agent_devops_local_report_cannot_claim_release_ready_ci ... ok
[INFO] [stdout] test agent_devops_default_report_cannot_claim_ci_or_live_signing ... ok
[INFO] [stdout] test agent_devops_offline_release_proof_does_not_claim_hosted_ci_or_human_reviewed ... ok
[INFO] [stdout] test agent_devops_rejects_fake_env_presence_as_production_evidence ... ok
[INFO] [stdout] test agent_kernel_complete_evidence_with_human_approval_reaches_human_reviewed ... ok
[INFO] [stdout] test agent_kernel_execute_runs_lint_and_bitexact_gate ... ok
[INFO] [stdout] test agent_kernel_complete_evidence_without_approval_only_blocks_human_review ... ok
[INFO] [stdout] test agent_lean_inspect_writes_report ... ok
[INFO] [stdout] test agent_train_allow_expensive_still_cannot_claim_model_quality ... ok
[INFO] [stdout] test helyx_bitexact_smoke_uses_portable_command ... ok
[INFO] [stdout] test agent_train_rejects_loss_only_eval_evidence ... ok
[INFO] [stdout] test agent_runtime_hashes_artifact_receipts_deterministically ... ok
[INFO] [stdout] test agent_devops_train_and_kernel_inspect_reports_are_truth_bounded ... ok
[INFO] [stdout] test agent_train_rejects_promotion_manifest_with_checkpoint_hash_mismatch ... ok
[INFO] [stdout] test agent_train_complete_evidence_without_approval_names_human_review_blocker ... ok
[INFO] [stdout] test agent_train_execute_runs_data_audit_and_dry_run_training ... ok
[INFO] [stdout] test agent_train_complete_production_evidence_reaches_human_reviewed ... ok
[INFO] [stdout] test agent_train_rejects_fake_production_evidence_env_paths ... ok
[INFO] [stdout] test agent_run_all_inspect_writes_dashboard_and_role_reports ... ok
[INFO] [stdout] test agent_lean_model_only_claims_block_production_proof ... FAILED
[INFO] [stdout] test agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope ... FAILED
[INFO] [stdout] test agent_lean_check_keeps_model_only_scope_as_trust_floor ... FAILED
[INFO] [stdout] test agent_train_check_records_pass_fail_and_blocked_statuses ... ok
[INFO] [stdout] test agent_kernel_stub_fixture_cannot_claim_cuda_correctness ... FAILED
[INFO] [stdout] test agent_train_live_run_without_eval_cannot_claim_model_quality ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- agent_lean_model_only_claims_block_production_proof stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'agent_lean_model_only_claims_block_production_proof' (4347) panicked at crates/refineforge-cli/tests/agent_cli.rs:27:5:
[INFO] [stdout] stdout:
[INFO] [stdout] REFINEFORGE-TRUST-001  Verified       types=1/1  fns=2/2  hash=13a66eb9a0c6
[INFO] [stdout] REFINEFORGE-TRUST-002  Verified       types=0/0  fns=1/1  hash=8be566f3d5d9
[INFO] [stdout] EXAMPLE-003            Verified       types=1/1  fns=2/2  hash=2675af5476f3
[INFO] [stdout] EXAMPLE-002            Verified       types=1/1  fns=1/1  hash=bc03580c7a13
[INFO] [stdout] EXAMPLE-001            NoRustSource   types=0/0  fns=0/0  hash=fbe5ee9014a0
[INFO] [stdout] REFINEFORGE-TRUST-007  Verified       types=1/1  fns=2/2  hash=0d9d0c4eaddf
[INFO] [stdout] REFINEFORGE-TRUST-006  Verified       types=0/0  fns=4/4  hash=5f8a94f943b4
[INFO] [stdout] REFINEFORGE-TRUST-005  Verified       types=0/0  fns=2/2  hash=776437d57a1d
[INFO] [stdout] CLAIM-CRS-003          NoRustSource   types=0/0  fns=0/0  hash=5c5ff31f45c8
[INFO] [stdout] CLAIM-CRS-005          NoRustSource   types=0/0  fns=0/0  hash=e2f0b47d481c
[INFO] [stdout] CLAIM-CRS-001          NoRustSource   types=0/0  fns=0/0  hash=38c50aeb4ebe
[INFO] [stdout] CLAIM-CRS-004          NoRustSource   types=0/0  fns=0/0  hash=e5511079e05d
[INFO] [stdout] REFINEFORGE-TRUST-003  Verified       types=0/0  fns=2/2  hash=6e72105bd965
[INFO] [stdout] REFINEFORGE-TRUST-004  Verified       types=0/0  fns=2/2  hash=bc7d22ed0951
[INFO] [stdout] HELYX-AUDIT-001        NoRustSource   types=0/0  fns=0/0  hash=44af15ca5e73
[INFO] [stdout] CLAIM-CRS-002          NoRustSource   types=0/0  fns=0/0  hash=1ccc239ef5d1
[INFO] [stdout] REFINEFORGE-TRUST-001  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-002  errors=0 warnings=0
[INFO] [stdout] EXAMPLE-003            errors=0 warnings=0
[INFO] [stdout] EXAMPLE-002            errors=0 warnings=0
[INFO] [stdout] EXAMPLE-001            errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-007  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-006  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-005  errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-003          errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-005          errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-001          errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-004          errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-003  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-004  errors=0 warnings=0
[INFO] [stdout] HELYX-AUDIT-001        errors=0 warnings=6
[INFO] [stdout] CLAIM-CRS-002          errors=0 warnings=0
[INFO] [stdout] {
[INFO] [stdout]   "schema_version": "agent-report-v1",
[INFO] [stdout]   "agent": "lean",
[INFO] [stdout]   "mode": "check",
[INFO] [stdout]   "target": "helyx",
[INFO] [stdout]   "liveness": {
[INFO] [stdout]     "state": "alive",
[INFO] [stdout]     "checked_at": "2026-07-09T02:39:33.882640906Z",
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "mode": "check",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "command_surface": "refine agent lean"
[INFO] [stdout]   },
[INFO] [stdout]   "runtime": {
[INFO] [stdout]     "runtime_version": "agent-runtime-v1",
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "mode": "check",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "authority": {
[INFO] [stdout]       "source_of_truth": "cli_report",
[INFO] [stdout]       "prompt_authority": "advisory_only",
[INFO] [stdout]       "memory_authority": "non_authoritative",
[INFO] [stdout]       "human_review_rule": "human-reviewed trust requires explicit human_operator evidence; prompts, memory, and role text cannot upgrade it."
[INFO] [stdout]     },
[INFO] [stdout]     "trust_ceiling": "model-linked",
[INFO] [stdout]     "action_intents": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.inspect.claims",
[INFO] [stdout]         "name": "Inspect Lean inventory and claim scopes",
[INFO] [stdout]         "category": "inspect",
[INFO] [stdout]         "mutation_policy": "read_only",
[INFO] [stdout]         "command_surface": "refine agent lean --mode inspect",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "docs/verification/proof-inventory.md",
[INFO] [stdout]           "claims/*.yaml",
[INFO] [stdout]           "lean/Refineforge.lean"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.verify.gates",
[INFO] [stdout]         "name": "Run Lean, scan, and claim lint gates",
[INFO] [stdout]         "category": "verify",
[INFO] [stdout]         "mutation_policy": "writes_evidence",
[INFO] [stdout]         "command_surface": "refine agent lean --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "lean-check-all",
[INFO] [stdout]           "scan-check-all",
[INFO] [stdout]           "lint-check-all"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.classify.trust",
[INFO] [stdout]         "name": "Classify model-only versus model-linked trust",
[INFO] [stdout]         "category": "audit",
[INFO] [stdout]         "mutation_policy": "evidence_only",
[INFO] [stdout]         "command_surface": "refine agent lean --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "claim.scope",
[INFO] [stdout]           "claim.rust_source",
[INFO] [stdout]           "docs/refinement/<claim>.md"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "evidence_receipts": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:claims",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:claims",
[INFO] [stdout]         "status": "present_dir",
[INFO] [stdout]         "sha256": "458e143216bd47090e0f449a3ed1b3e70470b8b5b5f7b6689c3ff28e5817ac67",
[INFO] [stdout]         "detail": "directory evidence at ./claims"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "2e95db920204f001e4cdaa95f5023aa50a5ce7798572a0c076c51c1b16c6fdff",
[INFO] [stdout]         "detail": "file evidence at ./docs/verification/lean-production-proof-checklist.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/verification/proof-inventory.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/verification/proof-inventory.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "dcbece6689de6bbb398e119489f482922d0e59c8d0517de4f8bb7be401d8e0d8",
[INFO] [stdout]         "detail": "file evidence at ./docs/verification/proof-inventory.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:lean/Refineforge.lean",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:lean/Refineforge.lean",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "c1a84ad87f16a356940f62ec94e3620018154f7330f93ed62ab04dc72c543efa",
[INFO] [stdout]         "detail": "file evidence at ./lean/Refineforge.lean"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:lean-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:lean-check-all",
[INFO] [stdout]         "status": "failed",
[INFO] [stdout]         "sha256": "14fa4e59773ab08da08880ac49be02020c03516fd4216e5944223bf00d40f431",
[INFO] [stdout]         "detail": "refine lean check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:lint-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:lint-check-all",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "4fe0122895db9d23e7abefebac3dd45f631aa2556c2f76d4b534e7ffb24ebbbb",
[INFO] [stdout]         "detail": "refine lint check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:scan-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:scan-check-all",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "b3db51ccff706efa30d6b8de49ba6378f8e921ab63c8d5c045dde44b8d787041",
[INFO] [stdout]         "detail": "refine scan check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:lake",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:lake",
[INFO] [stdout]         "status": "not_checked",
[INFO] [stdout]         "sha256": "d1299c346ebb0981371032b0fe897496e0af9764c941e75a8df9296be27194d9",
[INFO] [stdout]         "detail": "external tool availability is environment-specific"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:refine",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:refine",
[INFO] [stdout]         "status": "available",
[INFO] [stdout]         "sha256": "040673b0feb828d0cf7d1eab84673ba91e51460f580c7c7f86dc54085e1cdcaa",
[INFO] [stdout]         "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "policy_decisions": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "human_review_required",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "human-reviewed trust requires explicit human_operator evidence and is never inferred from an agent pass"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "memory_non_authoritative",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "memory and prior runs may guide investigation but cannot upgrade trust without current report evidence"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "no_prompt_trust_upgrade",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "role prompts may guide work, but only CLI evidence and claim scope rules can set report trust"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "trust_ceiling",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "lean agent trust is bounded at or below model-linked for this command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "typed_blockers": []
[INFO] [stdout]   },
[INFO] [stdout]   "production_proof": {
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "profile": "lean-production-proof",
[INFO] [stdout]     "status": "blocked",
[INFO] [stdout]     "trust_effect": "bounded-by-evidence",
[INFO] [stdout]     "requirements": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.no_sorry_gate",
[INFO] [stdout]         "description": "Lean theorem gate passes without sorry, admit, or project-local axioms",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "lean-check-all not run or failed"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.rust_scan_symbols",
[INFO] [stdout]         "description": "Deterministic Rust scan resolves every cited implementation symbol",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "scan-check-all passed"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.claim_scope_model_refined",
[INFO] [stdout]         "description": "Every selected implementation claim uses model+refined scope",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "selected claims: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, EXAMPLE-002, EXAMPLE-003, HELYX-AUDIT-001, REFINEFORGE-TRUST-001, REFINEFORGE-TRUST-002, REFINEFORGE-TRUST-003, REFINEFORGE-TRUST-004, REFINEFORGE-TRUST-005, REFINEFORGE-TRUST-006, REFINEFORGE-TRUST-007"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.refinement_docs",
[INFO] [stdout]         "description": "Every selected implementation claim has a refinement document",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "no missing implementation refinement docs detected"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.bundle_hashes",
[INFO] [stdout]         "description": "Selected claims have exported verification bundle hashes",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "CLAIM-CRS-001: artifacts/CLAIM-CRS-001/manifest.json (report_sha256=40564941f7583523719683b951213602150a7aafcb36be9e6256d31b6de8dc00)",
[INFO] [stdout]           "CLAIM-CRS-002: artifacts/CLAIM-CRS-002/manifest.json (report_sha256=920f03817f385956ebd70c9a0037b9b977f8a16794d73fe7996993b23c295e87)",
[INFO] [stdout]           "CLAIM-CRS-003: artifacts/CLAIM-CRS-003/manifest.json (report_sha256=800ad4181edd75f09604feb1912da73f53259a5becc223cefd6a9b12e54c450a)",
[INFO] [stdout]           "CLAIM-CRS-004: artifacts/CLAIM-CRS-004/manifest.json (report_sha256=b25239f659a647125f90abf6f772accdbb0e71a43b9b40a877cd12f774d02372)",
[INFO] [stdout]           "CLAIM-CRS-005: artifacts/CLAIM-CRS-005/manifest.json (report_sha256=ac2c319b2127085d734e048b1c3523377ff697ecf5316b3bf49679ee59fe2cf0)",
[INFO] [stdout]           "EXAMPLE-001: artifacts/EXAMPLE-001/manifest.json (report_sha256=ec7fbd778f82df23b66741c1582b340d9cd18562cad30dcfc6503d708d84c5c2)",
[INFO] [stdout]           "EXAMPLE-002: artifacts/EXAMPLE-002/manifest.json (report_sha256=996d7e8b81f22e33059be504a877672a1aa6f86779ca2e635e4072a082af417e)",
[INFO] [stdout]           "EXAMPLE-003: artifacts/EXAMPLE-003/manifest.json (report_sha256=faa7a359ffe14f73cf2ee447c2e40a2f0c45a5e664bdf297d84a7cb7e4b5e08e)",
[INFO] [stdout]           "HELYX-AUDIT-001: artifacts/HELYX-AUDIT-001/manifest.json (report_sha256=cd986595ee963aff039a5afb9f1de13bde723d2a7eefd5bb624cb9620ebc4f01)",
[INFO] [stdout]           "REFINEFORGE-TRUST-001: artifacts/REFINEFORGE-TRUST-001/manifest.json (report_sha256=10fae4118735d7196054fc1cc7f32cb50d06cbfaf5bbf1b5ad7951f8e01fc8ec)",
[INFO] [stdout]           "REFINEFORGE-TRUST-002: artifacts/REFINEFORGE-TRUST-002/manifest.json (report_sha256=23ed7e05b1e0ee98f2e5ec4a59d624f6e018a2a6040dfc9c7be5f964a9a09987)",
[INFO] [stdout]           "REFINEFORGE-TRUST-003: artifacts/REFINEFORGE-TRUST-003/manifest.json (report_sha256=03634675b0283cb5fbd15ba1a3653088e6f5d8432e500959d1143e1480bdeefc)",
[INFO] [stdout]           "REFINEFORGE-TRUST-004: artifacts/REFINEFORGE-TRUST-004/manifest.json (report_sha256=bb14c610cf6fa0d12783d70981d233419b727833e5a76ea03bf6c206c4abc66a)",
[INFO] [stdout]           "REFINEFORGE-TRUST-005: artifacts/REFINEFORGE-TRUST-005/manifest.json (report_sha256=c08fa5e849e8a180932e91b70b4ce7eb5ee486aa101ef15843476c0e0f27474e)",
[INFO] [stdout]           "REFINEFORGE-TRUST-006: artifacts/REFINEFORGE-TRUST-006/manifest.json (report_sha256=6f93aa019ac2d1728ee117530ccfe41d7d5bdc25316137d84243adfa7d28242b)",
[INFO] [stdout]           "REFINEFORGE-TRUST-007: artifacts/REFINEFORGE-TRUST-007/manifest.json (report_sha256=f132031d24a6fa77ecd873b52f193f8d56fe1c6dd19e688a3f4676b8b0433056)"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.human_review",
[INFO] [stdout]         "description": "Every selected implementation claim has explicit human review",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "Lean human approval path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "reviewer_evidence": [
[INFO] [stdout]       "REFINEFORGE-TRUST-001 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-002 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-003 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-004 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-005 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-006 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-007 reviewed by Galo Serrano Abad on 2026-05-29"
[INFO] [stdout]     ],
[INFO] [stdout]     "blockers": [
[INFO] [stdout]       "Lean production proof requires a passing lean-check-all command",
[INFO] [stdout]       "model-only claims block implementation production proof: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, HELYX-AUDIT-001",
[INFO] [stdout]       "missing human review blocks production proof: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, EXAMPLE-002, EXAMPLE-003, HELYX-AUDIT-001"
[INFO] [stdout]     ]
[INFO] [stdout]   },
[INFO] [stdout]   "assurance_profiles": [],
[INFO] [stdout]   "capabilities": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "proof-inventory",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "inspects Lean theorem inventory and claim linkage surfaces"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "verification-gates",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "runs Lean, scanner, and claim-linter gates in check/repair/execute modes"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "truth-bounded-claims",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "keeps CRS/model-only scopes separate from implementation correctness claims"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "repair-boundary",
[INFO] [stdout]       "status": "evidence_only",
[INFO] [stdout]       "evidence": "repair mode runs the same verification gates and reports blockers for operator-directed fixes"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "tool_checks": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "refine",
[INFO] [stdout]       "required": true,
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lake",
[INFO] [stdout]       "required": false,
[INFO] [stdout]       "status": "not_checked",
[INFO] [stdout]       "detail": "external tool availability is environment-specific"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "started_at": "2026-07-09T02:39:33.882640906Z",
[INFO] [stdout]   "finished_at": "2026-07-09T02:39:35.108480945Z",
[INFO] [stdout]   "status": "failed",
[INFO] [stdout]   "trust_level": "blocked",
[INFO] [stdout]   "commands": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lean-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "lean",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "failed",
[INFO] [stdout]       "duration_ms": 57,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": "failed to create Lake build lock at ./lean/.refineforge-lean-check-all.lock: Read-only file system (os error 30)"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "scan-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "scan",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 912,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": null
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lint-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "lint",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 251,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": null
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "changed_files": [],
[INFO] [stdout]   "artifacts": [
[INFO] [stdout]     "docs/verification/proof-inventory.md",
[INFO] [stdout]     "docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]     "claims",
[INFO] [stdout]     "lean/Refineforge.lean"
[INFO] [stdout]   ],
[INFO] [stdout]   "blockers": [],
[INFO] [stdout]   "warnings": [],
[INFO] [stdout]   "summary": "One or more Lean verification gates failed. See command records for the failing gate."
[INFO] [stdout] }
[INFO] [stdout] 
[INFO] [stdout] stderr:
[INFO] [stdout] Error: lean agent finished with status failed
[INFO] [stdout] 
[INFO] [stdout] Stack backtrace:
[INFO] [stdout]    0: <anyhow::Error>::msg::<alloc::string::String>
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.102/src/backtrace.rs:10:14
[INFO] [stdout]    1: refineforge_cli::agent::status_to_result
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:292:9
[INFO] [stdout]    2: refineforge_cli::agent::run_role
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:52:5
[INFO] [stdout]    3: refine::main
[INFO] [stdout]              at ./crates/refineforge-cli/src/main.rs:840:17
[INFO] [stdout]    4: <fn() -> core::result::Result<(), anyhow::Error> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]    5: std::sys::backtrace::__rust_begin_short_backtrace::<fn() -> core::result::Result<(), anyhow::Error>, core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]    6: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>::{closure#0}
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:206:18
[INFO] [stdout]    7: <&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:287:21
[INFO] [stdout]    8: std::panicking::catch_unwind::do_call::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]    9: std::panicking::catch_unwind::<i32, &dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   10: std::panic::catch_unwind::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   11: std::rt::lang_start_internal::{closure#0}
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:175:24
[INFO] [stdout]   12: std::panicking::catch_unwind::do_call::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   13: std::panicking::catch_unwind::<isize, std::rt::lang_start_internal::{closure#0}>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   14: std::panic::catch_unwind::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   15: std::rt::lang_start_internal
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:171:5
[INFO] [stdout]   16: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:205:5
[INFO] [stdout]   17: main
[INFO] [stdout]   18: <unknown>
[INFO] [stdout]   19: __libc_start_main
[INFO] [stdout]   20: _start
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5a5a2c566ff1 - 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:     0x5a5a2c566ff1 - 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:     0x5a5a2c566ff1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5a5a2c566ff1 - <<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:     0x5a5a2c57bb4a - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5a5a2c57bb4a - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x5a5a2c56b70c - 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:     0x5a5a2c56b70c - <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:     0x5a5a2c5435d6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5a5a2c5435d6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5a5a2c55e039 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5a5a2c4c2920 - <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:     0x5a5a2c4c2920 - 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:     0x5a5a2c55e1f2 - <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:     0x5a5a2c55e1f2 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x5a5a2c543682 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x5a5a2c53ad39 - 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:     0x5a5a2c54433d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x5a5a2c57c2dc - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5a5a2c46a146 - agent_cli[ed751024d41128dd]::assert_success
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:27:5
[INFO] [stdout]   20:     0x5a5a2c47ec23 - agent_cli[ed751024d41128dd]::agent_lean_model_only_claims_block_production_proof
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:547:5
[INFO] [stdout]   21:     0x5a5a2c468627 - agent_cli[ed751024d41128dd]::agent_lean_model_only_claims_block_production_proof::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:539:57
[INFO] [stdout]   22:     0x5a5a2c4a3766 - <agent_cli[ed751024d41128dd]::agent_lean_model_only_claims_block_production_proof::{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]   23:     0x5a5a2c4b5c5b - <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]   24:     0x5a5a2c4b5c5b - 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]   25:     0x5a5a2c4c32a5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   26:     0x5a5a2c4c32a5 - <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]   27:     0x5a5a2c4c32a5 - 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]   28:     0x5a5a2c4c32a5 - 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]   29:     0x5a5a2c4c32a5 - 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]   30:     0x5a5a2c4c32a5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   31:     0x5a5a2c4c32a5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   32:     0x5a5a2c4bdd54 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   33:     0x5a5a2c4bdd54 - 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]   34:     0x5a5a2c4c63f2 - 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]   35:     0x5a5a2c4c63f2 - <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]   36:     0x5a5a2c4c63f2 - 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]   37:     0x5a5a2c4c63f2 - 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]   38:     0x5a5a2c4c63f2 - 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]   39:     0x5a5a2c4c63f2 - 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]   40:     0x5a5a2c4c63f2 - <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]   41:     0x5a5a2c565fdf - <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]   42:     0x5a5a2c565fdf - <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]   43:     0x7b8555ae3aa4 - <unknown>
[INFO] [stdout]   44:     0x7b8555b70a64 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope' (4345) panicked at crates/refineforge-cli/tests/agent_cli.rs:27:5:
[INFO] [stdout] stdout:
[INFO] [stdout] REFINEFORGE-TRUST-001  Verified       types=1/1  fns=2/2  hash=13a66eb9a0c6
[INFO] [stdout] REFINEFORGE-TRUST-002  Verified       types=0/0  fns=1/1  hash=8be566f3d5d9
[INFO] [stdout] EXAMPLE-003            Verified       types=1/1  fns=2/2  hash=2675af5476f3
[INFO] [stdout] EXAMPLE-002            Verified       types=1/1  fns=1/1  hash=bc03580c7a13
[INFO] [stdout] EXAMPLE-001            NoRustSource   types=0/0  fns=0/0  hash=fbe5ee9014a0
[INFO] [stdout] REFINEFORGE-TRUST-007  Verified       types=1/1  fns=2/2  hash=0d9d0c4eaddf
[INFO] [stdout] REFINEFORGE-TRUST-006  Verified       types=0/0  fns=4/4  hash=5f8a94f943b4
[INFO] [stdout] REFINEFORGE-TRUST-005  Verified       types=0/0  fns=2/2  hash=776437d57a1d
[INFO] [stdout] CLAIM-CRS-003          NoRustSource   types=0/0  fns=0/0  hash=5c5ff31f45c8
[INFO] [stdout] CLAIM-CRS-005          NoRustSource   types=0/0  fns=0/0  hash=e2f0b47d481c
[INFO] [stdout] CLAIM-CRS-001          NoRustSource   types=0/0  fns=0/0  hash=38c50aeb4ebe
[INFO] [stdout] CLAIM-CRS-004          NoRustSource   types=0/0  fns=0/0  hash=e5511079e05d
[INFO] [stdout] REFINEFORGE-TRUST-003  Verified       types=0/0  fns=2/2  hash=6e72105bd965
[INFO] [stdout] REFINEFORGE-TRUST-004  Verified       types=0/0  fns=2/2  hash=bc7d22ed0951
[INFO] [stdout] HELYX-AUDIT-001        NoRustSource   types=0/0  fns=0/0  hash=44af15ca5e73
[INFO] [stdout] CLAIM-CRS-002          NoRustSource   types=0/0  fns=0/0  hash=1ccc239ef5d1
[INFO] [stdout] REFINEFORGE-TRUST-001  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-002  errors=0 warnings=0
[INFO] [stdout] EXAMPLE-003            errors=0 warnings=0
[INFO] [stdout] EXAMPLE-002            errors=0 warnings=0
[INFO] [stdout] EXAMPLE-001            errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-007  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-006  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-005  errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-003          errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-005          errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-001          errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-004          errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-003  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-004  errors=0 warnings=0
[INFO] [stdout] HELYX-AUDIT-001        errors=0 warnings=6
[INFO] [stdout] CLAIM-CRS-002          errors=0 warnings=0
[INFO] [stdout] {
[INFO] [stdout]   "schema_version": "agent-report-v1",
[INFO] [stdout]   "agent": "lean",
[INFO] [stdout]   "mode": "check",
[INFO] [stdout]   "target": "helyx",
[INFO] [stdout]   "liveness": {
[INFO] [stdout]     "state": "alive",
[INFO] [stdout]     "checked_at": "2026-07-09T02:39:33.876151250Z",
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "mode": "check",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "command_surface": "refine agent lean"
[INFO] [stdout]   },
[INFO] [stdout]   "runtime": {
[INFO] [stdout]     "runtime_version": "agent-runtime-v1",
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "mode": "check",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "authority": {
[INFO] [stdout]       "source_of_truth": "cli_report",
[INFO] [stdout]       "prompt_authority": "advisory_only",
[INFO] [stdout]       "memory_authority": "non_authoritative",
[INFO] [stdout]       "human_review_rule": "human-reviewed trust requires explicit human_operator evidence; prompts, memory, and role text cannot upgrade it."
[INFO] [stdout]     },
[INFO] [stdout]     "trust_ceiling": "model-linked",
[INFO] [stdout]     "action_intents": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.inspect.claims",
[INFO] [stdout]         "name": "Inspect Lean inventory and claim scopes",
[INFO] [stdout]         "category": "inspect",
[INFO] [stdout]         "mutation_policy": "read_only",
[INFO] [stdout]         "command_surface": "refine agent lean --mode inspect",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "docs/verification/proof-inventory.md",
[INFO] [stdout]           "claims/*.yaml",
[INFO] [stdout]           "lean/Refineforge.lean"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.verify.gates",
[INFO] [stdout]         "name": "Run Lean, scan, and claim lint gates",
[INFO] [stdout]         "category": "verify",
[INFO] [stdout]         "mutation_policy": "writes_evidence",
[INFO] [stdout]         "command_surface": "refine agent lean --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "lean-check-all",
[INFO] [stdout]           "scan-check-all",
[INFO] [stdout]           "lint-check-all"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.classify.trust",
[INFO] [stdout]         "name": "Classify model-only versus model-linked trust",
[INFO] [stdout]         "category": "audit",
[INFO] [stdout]         "mutation_policy": "evidence_only",
[INFO] [stdout]         "command_surface": "refine agent lean --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "claim.scope",
[INFO] [stdout]           "claim.rust_source",
[INFO] [stdout]           "docs/refinement/<claim>.md"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "evidence_receipts": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:claims",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:claims",
[INFO] [stdout]         "status": "present_dir",
[INFO] [stdout]         "sha256": "458e143216bd47090e0f449a3ed1b3e70470b8b5b5f7b6689c3ff28e5817ac67",
[INFO] [stdout]         "detail": "directory evidence at ./claims"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "2e95db920204f001e4cdaa95f5023aa50a5ce7798572a0c076c51c1b16c6fdff",
[INFO] [stdout]         "detail": "file evidence at ./docs/verification/lean-production-proof-checklist.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/verification/proof-inventory.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/verification/proof-inventory.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "dcbece6689de6bbb398e119489f482922d0e59c8d0517de4f8bb7be401d8e0d8",
[INFO] [stdout]         "detail": "file evidence at ./docs/verification/proof-inventory.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:lean/Refineforge.lean",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:lean/Refineforge.lean",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "c1a84ad87f16a356940f62ec94e3620018154f7330f93ed62ab04dc72c543efa",
[INFO] [stdout]         "detail": "file evidence at ./lean/Refineforge.lean"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:lean-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:lean-check-all",
[INFO] [stdout]         "status": "failed",
[INFO] [stdout]         "sha256": "14fa4e59773ab08da08880ac49be02020c03516fd4216e5944223bf00d40f431",
[INFO] [stdout]         "detail": "refine lean check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:lint-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:lint-check-all",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "4fe0122895db9d23e7abefebac3dd45f631aa2556c2f76d4b534e7ffb24ebbbb",
[INFO] [stdout]         "detail": "refine lint check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:scan-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:scan-check-all",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "b3db51ccff706efa30d6b8de49ba6378f8e921ab63c8d5c045dde44b8d787041",
[INFO] [stdout]         "detail": "refine scan check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:lake",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:lake",
[INFO] [stdout]         "status": "not_checked",
[INFO] [stdout]         "sha256": "d1299c346ebb0981371032b0fe897496e0af9764c941e75a8df9296be27194d9",
[INFO] [stdout]         "detail": "external tool availability is environment-specific"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:refine",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:refine",
[INFO] [stdout]         "status": "available",
[INFO] [stdout]         "sha256": "040673b0feb828d0cf7d1eab84673ba91e51460f580c7c7f86dc54085e1cdcaa",
[INFO] [stdout]         "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "policy_decisions": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "human_review_required",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "human-reviewed trust requires explicit human_operator evidence and is never inferred from an agent pass"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "memory_non_authoritative",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "memory and prior runs may guide investigation but cannot upgrade trust without current report evidence"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "no_prompt_trust_upgrade",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "role prompts may guide work, but only CLI evidence and claim scope rules can set report trust"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "trust_ceiling",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "lean agent trust is bounded at or below model-linked for this command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "typed_blockers": []
[INFO] [stdout]   },
[INFO] [stdout]   "production_proof": {
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "profile": "lean-production-proof",
[INFO] [stdout]     "status": "blocked",
[INFO] [stdout]     "trust_effect": "bounded-by-evidence",
[INFO] [stdout]     "requirements": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.no_sorry_gate",
[INFO] [stdout]         "description": "Lean theorem gate passes without sorry, admit, or project-local axioms",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "lean-check-all not run or failed"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.rust_scan_symbols",
[INFO] [stdout]         "description": "Deterministic Rust scan resolves every cited implementation symbol",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "scan-check-all passed"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.claim_scope_model_refined",
[INFO] [stdout]         "description": "Every selected implementation claim uses model+refined scope",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "selected claims: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, EXAMPLE-002, EXAMPLE-003, HELYX-AUDIT-001, REFINEFORGE-TRUST-001, REFINEFORGE-TRUST-002, REFINEFORGE-TRUST-003, REFINEFORGE-TRUST-004, REFINEFORGE-TRUST-005, REFINEFORGE-TRUST-006, REFINEFORGE-TRUST-007"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.refinement_docs",
[INFO] [stdout]         "description": "Every selected implementation claim has a refinement document",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "no missing implementation refinement docs detected"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.bundle_hashes",
[INFO] [stdout]         "description": "Selected claims have exported verification bundle hashes",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "/tmp/.tmpNEvFr4/lean-evidence/lean/bundle-hashes.json"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.human_review",
[INFO] [stdout]         "description": "Every selected implementation claim has explicit human review",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "/tmp/.tmpNEvFr4/lean-evidence/approvals/lean.json",
[INFO] [stdout]           "human_operator=Galo Lean Operator"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "reviewer_evidence": [
[INFO] [stdout]       "REFINEFORGE-TRUST-001 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-002 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-003 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-004 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-005 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-006 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-007 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "lean: Galo Lean Operator (/tmp/.tmpNEvFr4/lean-evidence/approvals/lean.json)"
[INFO] [stdout]     ],
[INFO] [stdout]     "blockers": [
[INFO] [stdout]       "Lean production proof requires a passing lean-check-all command",
[INFO] [stdout]       "model-only claims block implementation production proof: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, HELYX-AUDIT-001"
[INFO] [stdout]     ]
[INFO] [stdout]   },
[INFO] [stdout]   "assurance_profiles": [],
[INFO] [stdout]   "capabilities": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "proof-inventory",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "inspects Lean theorem inventory and claim linkage surfaces"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "verification-gates",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "runs Lean, scanner, and claim-linter gates in check/repair/execute modes"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "truth-bounded-claims",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "keeps CRS/model-only scopes separate from implementation correctness claims"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "repair-boundary",
[INFO] [stdout]       "status": "evidence_only",
[INFO] [stdout]       "evidence": "repair mode runs the same verification gates and reports blockers for operator-directed fixes"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "tool_checks": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "refine",
[INFO] [stdout]       "required": true,
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lake",
[INFO] [stdout]       "required": false,
[INFO] [stdout]       "status": "not_checked",
[INFO] [stdout]       "detail": "external tool availability is environment-specific"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "started_at": "2026-07-09T02:39:33.876151250Z",
[INFO] [stdout]   "finished_at": "2026-07-09T02:39:35.288775297Z",
[INFO] [stdout]   "status": "failed",
[INFO] [stdout]   "trust_level": "blocked",
[INFO] [stdout]   "commands": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lean-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "lean",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "failed",
[INFO] [stdout]       "duration_ms": 55,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": "failed to create Lake build lock at ./lean/.refineforge-lean-check-all.lock: Read-only file system (os error 30)"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "scan-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "scan",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 808,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": null
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lint-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "lint",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 537,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": null
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "changed_files": [],
[INFO] [stdout]   "artifacts": [
[INFO] [stdout]     "docs/verification/proof-inventory.md",
[INFO] [stdout]     "docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]     "claims",
[INFO] [stdout]     "lean/Refineforge.lean"
[INFO] [stdout]   ],
[INFO] [stdout]   "blockers": [],
[INFO] [stdout]   "warnings": [],
[INFO] [stdout]   "summary": "One or more Lean verification gates failed. See command records for the failing gate."
[INFO] [stdout] }
[INFO] [stdout] 
[INFO] [stdout] stderr:
[INFO] [stdout] Error: lean agent finished with status failed
[INFO] [stdout] 
[INFO] [stdout] Stack backtrace:
[INFO] [stdout]    0: <anyhow::Error>::msg::<alloc::string::String>
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.102/src/backtrace.rs:10:14
[INFO] [stdout]    1: refineforge_cli::agent::status_to_result
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:292:9
[INFO] [stdout]    2: refineforge_cli::agent::run_role
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:52:5
[INFO] [stdout]    3: refine::main
[INFO] [stdout]              at ./crates/refineforge-cli/src/main.rs:840:17
[INFO] [stdout]    4: <fn() -> core::result::Result<(), anyhow::Error> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]    5: std::sys::backtrace::__rust_begin_short_backtrace::<fn() -> core::result::Result<(), anyhow::Error>, core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]    6: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>::{closure#0}
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:206:18
[INFO] [stdout]    7: <&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:287:21
[INFO] [stdout]    8: std::panicking::catch_unwind::do_call::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]    9: std::panicking::catch_unwind::<i32, &dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   10: std::panic::catch_unwind::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   11: std::rt::lang_start_internal::{closure#0}
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:175:24
[INFO] [stdout]   12: std::panicking::catch_unwind::do_call::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   13: std::panicking::catch_unwind::<isize, std::rt::lang_start_internal::{closure#0}>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   14: std::panic::catch_unwind::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   15: std::rt::lang_start_internal
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:171:5
[INFO] [stdout]   16: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:205:5
[INFO] [stdout]   17: main
[INFO] [stdout]   18: <unknown>
[INFO] [stdout]   19: __libc_start_main
[INFO] [stdout]   20: _start
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5a5a2c566ff1 - 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:     0x5a5a2c566ff1 - 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:     0x5a5a2c566ff1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5a5a2c566ff1 - <<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:     0x5a5a2c57bb4a - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5a5a2c57bb4a - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x5a5a2c56b70c - 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:     0x5a5a2c56b70c - <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:     0x5a5a2c5435d6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5a5a2c5435d6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5a5a2c55e039 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5a5a2c4c2920 - <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:     0x5a5a2c4c2920 - 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:     0x5a5a2c55e1f2 - <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:     0x5a5a2c55e1f2 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x5a5a2c543682 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x5a5a2c53ad39 - 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:     0x5a5a2c54433d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x5a5a2c57c2dc - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5a5a2c46a146 - agent_cli[ed751024d41128dd]::assert_success
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:27:5
[INFO] [stdout]   20:     0x5a5a2c491c53 - agent_cli[ed751024d41128dd]::agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:614:5
[INFO] [stdout]   21:     0x5a5a2c468a47 - agent_cli[ed751024d41128dd]::agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:562:90
[INFO] [stdout]   22:     0x5a5a2c4a3ce6 - <agent_cli[ed751024d41128dd]::agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope::{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]   23:     0x5a5a2c4b5c5b - <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]   24:     0x5a5a2c4b5c5b - 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]   25:     0x5a5a2c4c32a5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   26:     0x5a5a2c4c32a5 - <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]   27:     0x5a5a2c4c32a5 - 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]   28:     0x5a5a2c4c32a5 - 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]   29:     0x5a5a2c4c32a5 - 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]   30:     0x5a5a2c4c32a5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   31:     0x5a5a2c4c32a5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   32:     0x5a5a2c4bdd54 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   33:     0x5a5a2c4bdd54 - 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]   34:     0x5a5a2c4c63f2 - 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]   35:     0x5a5a2c4c63f2 - <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]   36:     0x5a5a2c4c63f2 - 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]   37:     0x5a5a2c4c63f2 - 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]   38:     0x5a5a2c4c63f2 - 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]   39:     0x5a5a2c4c63f2 - 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]   40:     0x5a5a2c4c63f2 - <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]   41:     0x5a5a2c565fdf - <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]   42:     0x5a5a2c565fdf - <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]   43:     0x7b8555ae3aa4 - <unknown>
[INFO] [stdout]   44:     0x7b8555b70a64 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- agent_lean_check_keeps_model_only_scope_as_trust_floor stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'agent_lean_check_keeps_model_only_scope_as_trust_floor' (4344) panicked at crates/refineforge-cli/tests/agent_cli.rs:27:5:
[INFO] [stdout] stdout:
[INFO] [stdout] REFINEFORGE-TRUST-001  Verified       types=1/1  fns=2/2  hash=13a66eb9a0c6
[INFO] [stdout] REFINEFORGE-TRUST-002  Verified       types=0/0  fns=1/1  hash=8be566f3d5d9
[INFO] [stdout] EXAMPLE-003            Verified       types=1/1  fns=2/2  hash=2675af5476f3
[INFO] [stdout] EXAMPLE-002            Verified       types=1/1  fns=1/1  hash=bc03580c7a13
[INFO] [stdout] EXAMPLE-001            NoRustSource   types=0/0  fns=0/0  hash=fbe5ee9014a0
[INFO] [stdout] REFINEFORGE-TRUST-007  Verified       types=1/1  fns=2/2  hash=0d9d0c4eaddf
[INFO] [stdout] REFINEFORGE-TRUST-006  Verified       types=0/0  fns=4/4  hash=5f8a94f943b4
[INFO] [stdout] REFINEFORGE-TRUST-005  Verified       types=0/0  fns=2/2  hash=776437d57a1d
[INFO] [stdout] CLAIM-CRS-003          NoRustSource   types=0/0  fns=0/0  hash=5c5ff31f45c8
[INFO] [stdout] CLAIM-CRS-005          NoRustSource   types=0/0  fns=0/0  hash=e2f0b47d481c
[INFO] [stdout] CLAIM-CRS-001          NoRustSource   types=0/0  fns=0/0  hash=38c50aeb4ebe
[INFO] [stdout] CLAIM-CRS-004          NoRustSource   types=0/0  fns=0/0  hash=e5511079e05d
[INFO] [stdout] REFINEFORGE-TRUST-003  Verified       types=0/0  fns=2/2  hash=6e72105bd965
[INFO] [stdout] REFINEFORGE-TRUST-004  Verified       types=0/0  fns=2/2  hash=bc7d22ed0951
[INFO] [stdout] HELYX-AUDIT-001        NoRustSource   types=0/0  fns=0/0  hash=44af15ca5e73
[INFO] [stdout] CLAIM-CRS-002          NoRustSource   types=0/0  fns=0/0  hash=1ccc239ef5d1
[INFO] [stdout] REFINEFORGE-TRUST-001  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-002  errors=0 warnings=0
[INFO] [stdout] EXAMPLE-003            errors=0 warnings=0
[INFO] [stdout] EXAMPLE-002            errors=0 warnings=0
[INFO] [stdout] EXAMPLE-001            errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-007  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-006  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-005  errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-003          errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-005          errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-001          errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-004          errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-003  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-004  errors=0 warnings=0
[INFO] [stdout] HELYX-AUDIT-001        errors=0 warnings=6
[INFO] [stdout] CLAIM-CRS-002          errors=0 warnings=0
[INFO] [stdout] {
[INFO] [stdout]   "schema_version": "agent-report-v1",
[INFO] [stdout]   "agent": "lean",
[INFO] [stdout]   "mode": "check",
[INFO] [stdout]   "target": "helyx",
[INFO] [stdout]   "liveness": {
[INFO] [stdout]     "state": "alive",
[INFO] [stdout]     "checked_at": "2026-07-09T02:39:33.882869466Z",
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "mode": "check",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "command_surface": "refine agent lean"
[INFO] [stdout]   },
[INFO] [stdout]   "runtime": {
[INFO] [stdout]     "runtime_version": "agent-runtime-v1",
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "mode": "check",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "authority": {
[INFO] [stdout]       "source_of_truth": "cli_report",
[INFO] [stdout]       "prompt_authority": "advisory_only",
[INFO] [stdout]       "memory_authority": "non_authoritative",
[INFO] [stdout]       "human_review_rule": "human-reviewed trust requires explicit human_operator evidence; prompts, memory, and role text cannot upgrade it."
[INFO] [stdout]     },
[INFO] [stdout]     "trust_ceiling": "model-linked",
[INFO] [stdout]     "action_intents": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.inspect.claims",
[INFO] [stdout]         "name": "Inspect Lean inventory and claim scopes",
[INFO] [stdout]         "category": "inspect",
[INFO] [stdout]         "mutation_policy": "read_only",
[INFO] [stdout]         "command_surface": "refine agent lean --mode inspect",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "docs/verification/proof-inventory.md",
[INFO] [stdout]           "claims/*.yaml",
[INFO] [stdout]           "lean/Refineforge.lean"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.verify.gates",
[INFO] [stdout]         "name": "Run Lean, scan, and claim lint gates",
[INFO] [stdout]         "category": "verify",
[INFO] [stdout]         "mutation_policy": "writes_evidence",
[INFO] [stdout]         "command_surface": "refine agent lean --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "lean-check-all",
[INFO] [stdout]           "scan-check-all",
[INFO] [stdout]           "lint-check-all"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.classify.trust",
[INFO] [stdout]         "name": "Classify model-only versus model-linked trust",
[INFO] [stdout]         "category": "audit",
[INFO] [stdout]         "mutation_policy": "evidence_only",
[INFO] [stdout]         "command_surface": "refine agent lean --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "claim.scope",
[INFO] [stdout]           "claim.rust_source",
[INFO] [stdout]           "docs/refinement/<claim>.md"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "evidence_receipts": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:claims",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:claims",
[INFO] [stdout]         "status": "present_dir",
[INFO] [stdout]         "sha256": "458e143216bd47090e0f449a3ed1b3e70470b8b5b5f7b6689c3ff28e5817ac67",
[INFO] [stdout]         "detail": "directory evidence at ./claims"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "2e95db920204f001e4cdaa95f5023aa50a5ce7798572a0c076c51c1b16c6fdff",
[INFO] [stdout]         "detail": "file evidence at ./docs/verification/lean-production-proof-checklist.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/verification/proof-inventory.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/verification/proof-inventory.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "dcbece6689de6bbb398e119489f482922d0e59c8d0517de4f8bb7be401d8e0d8",
[INFO] [stdout]         "detail": "file evidence at ./docs/verification/proof-inventory.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:lean/Refineforge.lean",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:lean/Refineforge.lean",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "c1a84ad87f16a356940f62ec94e3620018154f7330f93ed62ab04dc72c543efa",
[INFO] [stdout]         "detail": "file evidence at ./lean/Refineforge.lean"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:lean-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:lean-check-all",
[INFO] [stdout]         "status": "failed",
[INFO] [stdout]         "sha256": "14fa4e59773ab08da08880ac49be02020c03516fd4216e5944223bf00d40f431",
[INFO] [stdout]         "detail": "refine lean check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:lint-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:lint-check-all",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "4fe0122895db9d23e7abefebac3dd45f631aa2556c2f76d4b534e7ffb24ebbbb",
[INFO] [stdout]         "detail": "refine lint check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:scan-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:scan-check-all",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "b3db51ccff706efa30d6b8de49ba6378f8e921ab63c8d5c045dde44b8d787041",
[INFO] [stdout]         "detail": "refine scan check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:lake",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:lake",
[INFO] [stdout]         "status": "not_checked",
[INFO] [stdout]         "sha256": "d1299c346ebb0981371032b0fe897496e0af9764c941e75a8df9296be27194d9",
[INFO] [stdout]         "detail": "external tool availability is environment-specific"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:refine",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:refine",
[INFO] [stdout]         "status": "available",
[INFO] [stdout]         "sha256": "040673b0feb828d0cf7d1eab84673ba91e51460f580c7c7f86dc54085e1cdcaa",
[INFO] [stdout]         "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "policy_decisions": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "human_review_required",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "human-reviewed trust requires explicit human_operator evidence and is never inferred from an agent pass"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "memory_non_authoritative",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "memory and prior runs may guide investigation but cannot upgrade trust without current report evidence"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "no_prompt_trust_upgrade",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "role prompts may guide work, but only CLI evidence and claim scope rules can set report trust"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "trust_ceiling",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "lean agent trust is bounded at or below model-linked for this command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "typed_blockers": []
[INFO] [stdout]   },
[INFO] [stdout]   "production_proof": {
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "profile": "lean-production-proof",
[INFO] [stdout]     "status": "blocked",
[INFO] [stdout]     "trust_effect": "bounded-by-evidence",
[INFO] [stdout]     "requirements": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.no_sorry_gate",
[INFO] [stdout]         "description": "Lean theorem gate passes without sorry, admit, or project-local axioms",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "lean-check-all not run or failed"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.rust_scan_symbols",
[INFO] [stdout]         "description": "Deterministic Rust scan resolves every cited implementation symbol",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "scan-check-all passed"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.claim_scope_model_refined",
[INFO] [stdout]         "description": "Every selected implementation claim uses model+refined scope",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "selected claims: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, EXAMPLE-002, EXAMPLE-003, HELYX-AUDIT-001, REFINEFORGE-TRUST-001, REFINEFORGE-TRUST-002, REFINEFORGE-TRUST-003, REFINEFORGE-TRUST-004, REFINEFORGE-TRUST-005, REFINEFORGE-TRUST-006, REFINEFORGE-TRUST-007"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.refinement_docs",
[INFO] [stdout]         "description": "Every selected implementation claim has a refinement document",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "no missing implementation refinement docs detected"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.bundle_hashes",
[INFO] [stdout]         "description": "Selected claims have exported verification bundle hashes",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "CLAIM-CRS-001: artifacts/CLAIM-CRS-001/manifest.json (report_sha256=40564941f7583523719683b951213602150a7aafcb36be9e6256d31b6de8dc00)",
[INFO] [stdout]           "CLAIM-CRS-002: artifacts/CLAIM-CRS-002/manifest.json (report_sha256=920f03817f385956ebd70c9a0037b9b977f8a16794d73fe7996993b23c295e87)",
[INFO] [stdout]           "CLAIM-CRS-003: artifacts/CLAIM-CRS-003/manifest.json (report_sha256=800ad4181edd75f09604feb1912da73f53259a5becc223cefd6a9b12e54c450a)",
[INFO] [stdout]           "CLAIM-CRS-004: artifacts/CLAIM-CRS-004/manifest.json (report_sha256=b25239f659a647125f90abf6f772accdbb0e71a43b9b40a877cd12f774d02372)",
[INFO] [stdout]           "CLAIM-CRS-005: artifacts/CLAIM-CRS-005/manifest.json (report_sha256=ac2c319b2127085d734e048b1c3523377ff697ecf5316b3bf49679ee59fe2cf0)",
[INFO] [stdout]           "EXAMPLE-001: artifacts/EXAMPLE-001/manifest.json (report_sha256=ec7fbd778f82df23b66741c1582b340d9cd18562cad30dcfc6503d708d84c5c2)",
[INFO] [stdout]           "EXAMPLE-002: artifacts/EXAMPLE-002/manifest.json (report_sha256=996d7e8b81f22e33059be504a877672a1aa6f86779ca2e635e4072a082af417e)",
[INFO] [stdout]           "EXAMPLE-003: artifacts/EXAMPLE-003/manifest.json (report_sha256=faa7a359ffe14f73cf2ee447c2e40a2f0c45a5e664bdf297d84a7cb7e4b5e08e)",
[INFO] [stdout]           "HELYX-AUDIT-001: artifacts/HELYX-AUDIT-001/manifest.json (report_sha256=cd986595ee963aff039a5afb9f1de13bde723d2a7eefd5bb624cb9620ebc4f01)",
[INFO] [stdout]           "REFINEFORGE-TRUST-001: artifacts/REFINEFORGE-TRUST-001/manifest.json (report_sha256=10fae4118735d7196054fc1cc7f32cb50d06cbfaf5bbf1b5ad7951f8e01fc8ec)",
[INFO] [stdout]           "REFINEFORGE-TRUST-002: artifacts/REFINEFORGE-TRUST-002/manifest.json (report_sha256=23ed7e05b1e0ee98f2e5ec4a59d624f6e018a2a6040dfc9c7be5f964a9a09987)",
[INFO] [stdout]           "REFINEFORGE-TRUST-003: artifacts/REFINEFORGE-TRUST-003/manifest.json (report_sha256=03634675b0283cb5fbd15ba1a3653088e6f5d8432e500959d1143e1480bdeefc)",
[INFO] [stdout]           "REFINEFORGE-TRUST-004: artifacts/REFINEFORGE-TRUST-004/manifest.json (report_sha256=bb14c610cf6fa0d12783d70981d233419b727833e5a76ea03bf6c206c4abc66a)",
[INFO] [stdout]           "REFINEFORGE-TRUST-005: artifacts/REFINEFORGE-TRUST-005/manifest.json (report_sha256=c08fa5e849e8a180932e91b70b4ce7eb5ee486aa101ef15843476c0e0f27474e)",
[INFO] [stdout]           "REFINEFORGE-TRUST-006: artifacts/REFINEFORGE-TRUST-006/manifest.json (report_sha256=6f93aa019ac2d1728ee117530ccfe41d7d5bdc25316137d84243adfa7d28242b)",
[INFO] [stdout]           "REFINEFORGE-TRUST-007: artifacts/REFINEFORGE-TRUST-007/manifest.json (report_sha256=f132031d24a6fa77ecd873b52f193f8d56fe1c6dd19e688a3f4676b8b0433056)"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.human_review",
[INFO] [stdout]         "description": "Every selected implementation claim has explicit human review",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "Lean human approval path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "reviewer_evidence": [
[INFO] [stdout]       "REFINEFORGE-TRUST-001 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-002 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-003 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-004 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-005 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-006 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-007 reviewed by Galo Serrano Abad on 2026-05-29"
[INFO] [stdout]     ],
[INFO] [stdout]     "blockers": [
[INFO] [stdout]       "Lean production proof requires a passing lean-check-all command",
[INFO] [stdout]       "model-only claims block implementation production proof: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, HELYX-AUDIT-001",
[INFO] [stdout]       "missing human review blocks production proof: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, EXAMPLE-002, EXAMPLE-003, HELYX-AUDIT-001"
[INFO] [stdout]     ]
[INFO] [stdout]   },
[INFO] [stdout]   "assurance_profiles": [],
[INFO] [stdout]   "capabilities": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "proof-inventory",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "inspects Lean theorem inventory and claim linkage surfaces"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "verification-gates",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "runs Lean, scanner, and claim-linter gates in check/repair/execute modes"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "truth-bounded-claims",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "keeps CRS/model-only scopes separate from implementation correctness claims"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "repair-boundary",
[INFO] [stdout]       "status": "evidence_only",
[INFO] [stdout]       "evidence": "repair mode runs the same verification gates and reports blockers for operator-directed fixes"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "tool_checks": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "refine",
[INFO] [stdout]       "required": true,
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lake",
[INFO] [stdout]       "required": false,
[INFO] [stdout]       "status": "not_checked",
[INFO] [stdout]       "detail": "external tool availability is environment-specific"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "started_at": "2026-07-09T02:39:33.882869466Z",
[INFO] [stdout]   "finished_at": "2026-07-09T02:39:35.290966746Z",
[INFO] [stdout]   "status": "failed",
[INFO] [stdout]   "trust_level": "blocked",
[INFO] [stdout]   "commands": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lean-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "lean",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "failed",
[INFO] [stdout]       "duration_ms": 54,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": "failed to create Lake build lock at ./lean/.refineforge-lean-check-all.lock: Read-only file system (os error 30)"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "scan-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "scan",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 811,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": null
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lint-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "lint",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 537,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": null
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "changed_files": [],
[INFO] [stdout]   "artifacts": [
[INFO] [stdout]     "docs/verification/proof-inventory.md",
[INFO] [stdout]     "docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]     "claims",
[INFO] [stdout]     "lean/Refineforge.lean"
[INFO] [stdout]   ],
[INFO] [stdout]   "blockers": [],
[INFO] [stdout]   "warnings": [],
[INFO] [stdout]   "summary": "One or more Lean verification gates failed. See command records for the failing gate."
[INFO] [stdout] }
[INFO] [stdout] 
[INFO] [stdout] stderr:
[INFO] [stdout] Error: lean agent finished with status failed
[INFO] [stdout] 
[INFO] [stdout] Stack backtrace:
[INFO] [stdout]    0: <anyhow::Error>::msg::<alloc::string::String>
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.102/src/backtrace.rs:10:14
[INFO] [stdout]    1: refineforge_cli::agent::status_to_result
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:292:9
[INFO] [stdout]    2: refineforge_cli::agent::run_role
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:52:5
[INFO] [stdout]    3: refine::main
[INFO] [stdout]              at ./crates/refineforge-cli/src/main.rs:840:17
[INFO] [stdout]    4: <fn() -> core::result::Result<(), anyhow::Error> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]    5: std::sys::backtrace::__rust_begin_short_backtrace::<fn() -> core::result::Result<(), anyhow::Error>, core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]    6: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>::{closure#0}
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:206:18
[INFO] [stdout]    7: <&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:287:21
[INFO] [stdout]    8: std::panicking::catch_unwind::do_call::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]    9: std::panicking::catch_unwind::<i32, &dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   10: std::panic::catch_unwind::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   11: std::rt::lang_start_internal::{closure#0}
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:175:24
[INFO] [stdout]   12: std::panicking::catch_unwind::do_call::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   13: std::panicking::catch_unwind::<isize, std::rt::lang_start_internal::{closure#0}>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   14: std::panic::catch_unwind::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   15: std::rt::lang_start_internal
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:171:5
[INFO] [stdout]   16: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:205:5
[INFO] [stdout]   17: main
[INFO] [stdout]   18: <unknown>
[INFO] [stdout]   19: __libc_start_main
[INFO] [stdout]   20: _start
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5a5a2c566ff1 - 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:     0x5a5a2c566ff1 - 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:     0x5a5a2c566ff1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5a5a2c566ff1 - <<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:     0x5a5a2c57bb4a - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5a5a2c57bb4a - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x5a5a2c56b70c - 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:     0x5a5a2c56b70c - <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:     0x5a5a2c5435d6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5a5a2c5435d6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5a5a2c55e039 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5a5a2c4c2920 - <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:     0x5a5a2c4c2920 - 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:     0x5a5a2c55e1f2 - <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:     0x5a5a2c55e1f2 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x5a5a2c543682 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x5a5a2c53ad39 - 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:     0x5a5a2c54433d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x5a5a2c57c2dc - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5a5a2c46a146 - agent_cli[ed751024d41128dd]::assert_success
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:27:5
[INFO] [stdout]   20:     0x5a5a2c47f223 - agent_cli[ed751024d41128dd]::agent_lean_check_keeps_model_only_scope_as_trust_floor
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:524:5
[INFO] [stdout]   21:     0x5a5a2c468657 - agent_cli[ed751024d41128dd]::agent_lean_check_keeps_model_only_scope_as_trust_floor::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:516:60
[INFO] [stdout]   22:     0x5a5a2c4a37a6 - <agent_cli[ed751024d41128dd]::agent_lean_check_keeps_model_only_scope_as_trust_floor::{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]   23:     0x5a5a2c4b5c5b - <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]   24:     0x5a5a2c4b5c5b - 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]   25:     0x5a5a2c4c32a5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   26:     0x5a5a2c4c32a5 - <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]   27:     0x5a5a2c4c32a5 - 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]   28:     0x5a5a2c4c32a5 - 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]   29:     0x5a5a2c4c32a5 - 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]   30:     0x5a5a2c4c32a5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   31:     0x5a5a2c4c32a5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   32:     0x5a5a2c4bdd54 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   33:     0x5a5a2c4bdd54 - 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]   34:     0x5a5a2c4c63f2 - 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]   35:     0x5a5a2c4c63f2 - <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]   36:     0x5a5a2c4c63f2 - 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]   37:     0x5a5a2c4c63f2 - 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]   38:     0x5a5a2c4c63f2 - 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]   39:     0x5a5a2c4c63f2 - 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]   40:     0x5a5a2c4c63f2 - <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]   41:     0x5a5a2c565fdf - <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]   42:     0x5a5a2c565fdf - <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]   43:     0x7b8555ae3aa4 - <unknown>
[INFO] [stdout]   44:     0x7b8555b70a64 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- agent_kernel_stub_fixture_cannot_claim_cuda_correctness stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'agent_kernel_stub_fixture_cannot_claim_cuda_correctness' (4342) panicked at crates/refineforge-cli/tests/agent_cli.rs:27:5:
[INFO] [stdout] stdout:
[INFO] [stdout] {
[INFO] [stdout]   "schema_version": "agent-report-v1",
[INFO] [stdout]   "agent": "kernel",
[INFO] [stdout]   "mode": "execute",
[INFO] [stdout]   "target": "helyx",
[INFO] [stdout]   "liveness": {
[INFO] [stdout]     "state": "alive",
[INFO] [stdout]     "checked_at": "2026-07-09T02:39:33.876199140Z",
[INFO] [stdout]     "agent": "kernel",
[INFO] [stdout]     "mode": "execute",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "command_surface": "refine agent kernel"
[INFO] [stdout]   },
[INFO] [stdout]   "runtime": {
[INFO] [stdout]     "runtime_version": "agent-runtime-v1",
[INFO] [stdout]     "agent": "kernel",
[INFO] [stdout]     "mode": "execute",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "authority": {
[INFO] [stdout]       "source_of_truth": "cli_report",
[INFO] [stdout]       "prompt_authority": "advisory_only",
[INFO] [stdout]       "memory_authority": "non_authoritative",
[INFO] [stdout]       "human_review_rule": "human-reviewed trust requires explicit human_operator evidence; prompts, memory, and role text cannot upgrade it."
[INFO] [stdout]     },
[INFO] [stdout]     "trust_ceiling": "measured-only",
[INFO] [stdout]     "action_intents": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.inspect.fixtures",
[INFO] [stdout]         "name": "Inspect kernel configs, fixtures, baselines, and HELYX handoff docs",
[INFO] [stdout]         "category": "inspect",
[INFO] [stdout]         "mutation_policy": "read_only",
[INFO] [stdout]         "command_surface": "refine agent kernel --mode inspect",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "kernels/configs/*.yaml",
[INFO] [stdout]           "kernels/fixtures/*",
[INFO] [stdout]           "kernels/README.md"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.lint.bitexact",
[INFO] [stdout]         "name": "Lint bit-exact metadata before execution",
[INFO] [stdout]         "category": "verify",
[INFO] [stdout]         "mutation_policy": "writes_evidence",
[INFO] [stdout]         "command_surface": "refine agent kernel --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "bitexact-lint",
[INFO] [stdout]           "bitexact-lint.json"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.execute.bitexact",
[INFO] [stdout]         "name": "Run deterministic bit-exact gate after lint success",
[INFO] [stdout]         "category": "execute",
[INFO] [stdout]         "mutation_policy": "writes_evidence",
[INFO] [stdout]         "command_surface": "refine agent kernel --mode execute",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "bitexact-run",
[INFO] [stdout]           "kernel-runs",
[INFO] [stdout]           "expected SHA-256 baselines"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.correctness.guard",
[INFO] [stdout]         "name": "Block CUDA semantic, portability, and performance claims without hardware evidence",
[INFO] [stdout]         "category": "audit",
[INFO] [stdout]         "mutation_policy": "evidence_only",
[INFO] [stdout]         "command_surface": "refine agent kernel --mode execute",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "CUDA source",
[INFO] [stdout]           "hardware matrix",
[INFO] [stdout]           "benchmark evidence"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "evidence_receipts": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:/tmp/.tmp92iyde/kernel-prod/bitexact-lint.json",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:/tmp/.tmp92iyde/kernel-prod/bitexact-lint.json",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "6ce54c758cc5e21dcd0ac321189d734df02bdb40f4fb9b7ac839b7fedb33164c",
[INFO] [stdout]         "detail": "file evidence at /tmp/.tmp92iyde/kernel-prod/bitexact-lint.json"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:/tmp/.tmp92iyde/kernel-prod/kernel-runs",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:/tmp/.tmp92iyde/kernel-prod/kernel-runs",
[INFO] [stdout]         "status": "present_dir",
[INFO] [stdout]         "sha256": "d32389cb45914d8cf2bdac3fc50d58fa0c6e954bf617556d167f9682194fb662",
[INFO] [stdout]         "detail": "directory evidence at /tmp/.tmp92iyde/kernel-prod/kernel-runs"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/kernels/kernel-production-proof.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/kernels/kernel-production-proof.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "422732f2df06c0a55467f0443f28b4b38c12c10c2b0bd64bb8d5260cf40c798f",
[INFO] [stdout]         "detail": "file evidence at ./docs/kernels/kernel-production-proof.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:kernels/README.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:kernels/README.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "f2ecf3df6209dde6525b7254c01ae1cc5bc619234919c530d9313d1666726a52",
[INFO] [stdout]         "detail": "file evidence at ./kernels/README.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:kernels/configs/helyx-bitexact-smoke.yaml",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:kernels/configs/helyx-bitexact-smoke.yaml",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "a26f33a5d4d24ee74a601e216ffed93d450421cdf5cbb93b3eead7674d7943c1",
[INFO] [stdout]         "detail": "file evidence at ./kernels/configs/helyx-bitexact-smoke.yaml"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:kernels/fixtures/helyx-bitexact-input.txt",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:kernels/fixtures/helyx-bitexact-input.txt",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "3637f29d6d48365b8cc93900de571937772adf49e6e3c402225673d14cc3105e",
[INFO] [stdout]         "detail": "file evidence at ./kernels/fixtures/helyx-bitexact-input.txt"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:kernels/hardware-matrix.example.json",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:kernels/hardware-matrix.example.json",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "f6ac56b0dbeaf59dc3f45f14741b663950be51cc8d772a8545c976a256439463",
[INFO] [stdout]         "detail": "file evidence at ./kernels/hardware-matrix.example.json"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:bitexact-lint",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:bitexact-lint",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "2a9fc0f420704bcf10d30424b79aff66236564e6947e97b6ef7d49c80791b9c0",
[INFO] [stdout]         "detail": "cargo run -p refineforge-bitexact --bin refine-bitexact -- lint kernels/configs/helyx-bitexact-smoke.yaml --json --output /tmp/.tmp92iyde/kernel-prod/bitexact-lint.json"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:bitexact-run",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:bitexact-run",
[INFO] [stdout]         "status": "failed",
[INFO] [stdout]         "sha256": "6b881436d7189c33be0ffe2246e0af109d48926054331a5dd175dd219df56de6",
[INFO] [stdout]         "detail": "cargo run -p refineforge-bitexact --bin refine-bitexact -- --runs-root /tmp/.tmp92iyde/kernel-prod/kernel-runs run kernels/configs/helyx-bitexact-smoke.yaml"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:helyx-kernels",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:helyx-kernels",
[INFO] [stdout]         "status": "not_checked",
[INFO] [stdout]         "sha256": "3e50811ffcac43c1408a4ea6f5ed093dfa82933cfc46c1f001cb1c22fa15495d",
[INFO] [stdout]         "detail": "external tool availability is environment-specific"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:refine-bitexact",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:refine-bitexact",
[INFO] [stdout]         "status": "available",
[INFO] [stdout]         "sha256": "b32d2251f9ac5245ecf3f1241e62bddc52328d2b88972c0a94a249ea5674a99c",
[INFO] [stdout]         "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "policy_decisions": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "human_review_required",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "human-reviewed trust requires explicit human_operator evidence and is never inferred from an agent pass"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "memory_non_authoritative",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "memory and prior runs may guide investigation but cannot upgrade trust without current report evidence"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "no_prompt_trust_upgrade",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "role prompts may guide work, but only CLI evidence and claim scope rules can set report trust"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "trust_ceiling",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "kernel agent trust is bounded at or below measured-only for this command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "typed_blockers": []
[INFO] [stdout]   },
[INFO] [stdout]   "production_proof": {
[INFO] [stdout]     "agent": "kernel",
[INFO] [stdout]     "profile": "kernel-production-proof",
[INFO] [stdout]     "status": "blocked",
[INFO] [stdout]     "trust_effect": "bounded-by-evidence",
[INFO] [stdout]     "requirements": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.real_source",
[INFO] [stdout]         "description": "Real CUDA or HELYX kernel source exists and is cited by the config",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "kernels/configs/helyx-bitexact-smoke.yaml declares source.kind is stub"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.cpu_reference",
[INFO] [stdout]         "description": "CPU reference implementation or committed golden output exists",
[INFO] [stdout]         "status": "partial",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "smoke fixture exists at ./kernels/fixtures/helyx-bitexact-input.txt; production CPU reference still required",
[INFO] [stdout]           "kernel CPU reference/golden output path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.bitexact_fixture",
[INFO] [stdout]         "description": "Bit-exact lint and run pass on deterministic fixtures",
[INFO] [stdout]         "status": "partial",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "bitexact-lint passed; bitexact-run not present"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.hardware_matrix",
[INFO] [stdout]         "description": "Hardware matrix records GPU, driver, CUDA toolkit, OS, and CPU architecture",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "production hardware matrix not provided via REFINEFORGE_KERNEL_HARDWARE_MATRIX"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.compiler_runtime_metadata",
[INFO] [stdout]         "description": "Compiler and runtime metadata record rustc, nvcc, driver, and build flags",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "compiler/runtime metadata path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.performance_baseline",
[INFO] [stdout]         "description": "Performance baseline records latency/throughput and regression threshold",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "kernel performance baseline path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.helyx_handoff",
[INFO] [stdout]         "description": "HELYX handoff records source, config, and evidence bundle hashes",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "HELYX kernel handoff path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.human_kernel_approval",
[INFO] [stdout]         "description": "Named human reviewer approved CUDA correctness and performance evidence",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "kernel human approval path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "reviewer_evidence": [],
[INFO] [stdout]     "blockers": [
[INFO] [stdout]       "kernel.real_source blocked: source.kind is stub",
[INFO] [stdout]       "production CPU reference/golden output evidence is missing",
[INFO] [stdout]       "complete bit-exact run evidence is missing",
[INFO] [stdout]       "CUDA hardware matrix evidence is missing or not production-passed",
[INFO] [stdout]       "compiler/runtime metadata is missing",
[INFO] [stdout]       "kernel performance baseline is missing",
[INFO] [stdout]       "HELYX kernel handoff evidence is missing",
[INFO] [stdout]       "human kernel approval is missing"
[INFO] [stdout]     ]
[INFO] [stdout]   },
[INFO] [stdout]   "assurance_profiles": [],
[INFO] [stdout]   "capabilities": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "bitexact-contract-lint",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "validates HELYX-compatible kernel metadata before execution"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "deterministic-run-gate",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "execute mode runs refine-bitexact and writes per-run evidence"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "baseline-hash-enforcement",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "expected SHA-256 baselines fail stable-but-wrong outputs"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "helyx-kernels-boundary",
[INFO] [stdout]       "status": "tool_gated",
[INFO] [stdout]       "evidence": "HELYX production kernels remain external; Refine-Forge owns local CUDA smoke and evidence gates"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "tool_checks": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "refine-bitexact",
[INFO] [stdout]       "required": true,
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "helyx-kernels",
[INFO] [stdout]       "required": false,
[INFO] [stdout]       "status": "not_checked",
[INFO] [stdout]       "detail": "external tool availability is environment-specific"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "started_at": "2026-07-09T02:39:33.876199140Z",
[INFO] [stdout]   "finished_at": "2026-07-09T02:40:31.499510054Z",
[INFO] [stdout]   "status": "failed",
[INFO] [stdout]   "trust_level": "blocked",
[INFO] [stdout]   "commands": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "bitexact-lint",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "cargo",
[INFO] [stdout]         "run",
[INFO] [stdout]         "-p",
[INFO] [stdout]         "refineforge-bitexact",
[INFO] [stdout]         "--bin",
[INFO] [stdout]         "refine-bitexact",
[INFO] [stdout]         "--",
[INFO] [stdout]         "lint",
[INFO] [stdout]         "kernels/configs/helyx-bitexact-smoke.yaml",
[INFO] [stdout]         "--json",
[INFO] [stdout]         "--output",
[INFO] [stdout]         "/tmp/.tmp92iyde/kernel-prod/bitexact-lint.json"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 14842,
[INFO] [stdout]       "exit_code": 0,
[INFO] [stdout]       "stdout_tail": "{\n  \"status\": \"Pass\",\n  \"experiment_id\": \"helyx-bitexact-smoke\",\n  \"profile\": \"helyx_cuda\",\n  \"issues\": []\n}",
[INFO] [stdout]       "stderr_tail": "   Compiling syn v2.0.117\n   Compiling memchr v2.8.0\n   Compiling serde_json v1.0.149\n   Compiling serde_derive v1.0.228\n   Compiling clap_derive v4.6.1\n   Compiling clap v4.6.1\n   Compiling serde v1.0.228\n   Compiling serde_yaml v0.9.34+deprecated\n   Compiling chrono v0.4.44\n   Compiling refineforge-bitexact v0.2.2 (/opt/rustwide/workdir/crates/refineforge-bitexact)\n    Finished `dev` profile [unoptimized + debuginfo] target(s) in 14.70s\n     Running `/opt/rustwide/target/debug/refine-bitexact lint kernels/configs/helyx-bitexact-smoke.yaml --json --output /tmp/.tmp92iyde/kernel-prod/bitexact-lint.json`"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "bitexact-run",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "cargo",
[INFO] [stdout]         "run",
[INFO] [stdout]         "-p",
[INFO] [stdout]         "refineforge-bitexact",
[INFO] [stdout]         "--bin",
[INFO] [stdout]         "refine-bitexact",
[INFO] [stdout]         "--",
[INFO] [stdout]         "--runs-root",
[INFO] [stdout]         "/tmp/.tmp92iyde/kernel-prod/kernel-runs",
[INFO] [stdout]         "run",
[INFO] [stdout]         "kernels/configs/helyx-bitexact-smoke.yaml"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "failed",
[INFO] [stdout]       "duration_ms": 42766,
[INFO] [stdout]       "exit_code": 1,
[INFO] [stdout]       "stdout_tail": "",
[INFO] [stdout]       "stderr_tail": "   9: std::panicking::catch_unwind::<i32, &dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync>\n             at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19\n  10: std::panic::catch_unwind::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>\n             at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14\n  11: std::rt::lang_start_internal::{closure#0}\n             at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:175:24\n  12: std::panicking::catch_unwind::do_call::<std::rt::lang_start_internal::{closure#0}, isize>\n             at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43\n  13: std::panicking::catch_unwind::<isize, std::rt::lang_start_internal::{closure#0}>\n             at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19\n  14: std::panic::catch_unwind::<std::rt::lang_start_internal::{closure#0}, isize>\n             at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14\n  15: std::rt::lang_start_internal\n             at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:171:5\n  16: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>\n             at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:205:5\n  17: main\n  18: <unknown>\n  19: __libc_start_main\n  20: _start"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "changed_files": [],
[INFO] [stdout]   "artifacts": [
[INFO] [stdout]     "kernels/configs/helyx-bitexact-smoke.yaml",
[INFO] [stdout]     "kernels/fixtures/helyx-bitexact-input.txt",
[INFO] [stdout]     "kernels/hardware-matrix.example.json",
[INFO] [stdout]     "kernels/README.md",
[INFO] [stdout]     "docs/kernels/kernel-production-proof.md",
[INFO] [stdout]     "/tmp/.tmp92iyde/kernel-prod/bitexact-lint.json",
[INFO] [stdout]     "/tmp/.tmp92iyde/kernel-prod/kernel-runs"
[INFO] [stdout]   ],
[INFO] [stdout]   "blockers": [],
[INFO] [stdout]   "warnings": [],
[INFO] [stdout]   "summary": "Bit-exact kernel command ran and failed. See command stderr/stdout evidence."
[INFO] [stdout] }
[INFO] [stdout] 
[INFO] [stdout] stderr:
[INFO] [stdout] Error: kernel agent finished with status failed
[INFO] [stdout] 
[INFO] [stdout] Stack backtrace:
[INFO] [stdout]    0: <anyhow::Error>::msg::<alloc::string::String>
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.102/src/backtrace.rs:10:14
[INFO] [stdout]    1: refineforge_cli::agent::status_to_result
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:292:9
[INFO] [stdout]    2: refineforge_cli::agent::run_role
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:52:5
[INFO] [stdout]    3: refine::main
[INFO] [stdout]              at ./crates/refineforge-cli/src/main.rs:852:39
[INFO] [stdout]    4: <fn() -> core::result::Result<(), anyhow::Error> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]    5: std::sys::backtrace::__rust_begin_short_backtrace::<fn() -> core::result::Result<(), anyhow::Error>, core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]    6: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>::{closure#0}
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:206:18
[INFO] [stdout]    7: <&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:287:21
[INFO] [stdout]    8: std::panicking::catch_unwind::do_call::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]    9: std::panicking::catch_unwind::<i32, &dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   10: std::panic::catch_unwind::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   11: std::rt::lang_start_internal::{closure#0}
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:175:24
[INFO] [stdout]   12: std::panicking::catch_unwind::do_call::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   13: std::panicking::catch_unwind::<isize, std::rt::lang_start_internal::{closure#0}>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   14: std::panic::catch_unwind::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   15: std::rt::lang_start_internal
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:171:5
[INFO] [stdout]   16: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/rt.rs:205:5
[INFO] [stdout]   17: main
[INFO] [stdout]   18: <unknown>
[INFO] [stdout]   19: __libc_start_main
[INFO] [stdout]   20: _start
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5a5a2c566ff1 - 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:     0x5a5a2c566ff1 - 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:     0x5a5a2c566ff1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5a5a2c566ff1 - <<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:     0x5a5a2c57bb4a - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5a5a2c57bb4a - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x5a5a2c56b70c - 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:     0x5a5a2c56b70c - <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:     0x5a5a2c5435d6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5a5a2c5435d6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5a5a2c55e039 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5a5a2c4c2920 - <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:     0x5a5a2c4c2920 - 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:     0x5a5a2c55e1f2 - <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:     0x5a5a2c55e1f2 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x5a5a2c543682 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x5a5a2c53ad39 - 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:     0x5a5a2c54433d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x5a5a2c57c2dc - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5a5a2c46a146 - agent_cli[ed751024d41128dd]::assert_success
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:27:5
[INFO] [stdout]   20:     0x5a5a2c480b63 - agent_cli[ed751024d41128dd]::agent_kernel_stub_fixture_cannot_claim_cuda_correctness
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:1420:5
[INFO] [stdout]   21:     0x5a5a2c4686e7 - agent_cli[ed751024d41128dd]::agent_kernel_stub_fixture_cannot_claim_cuda_correctness::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:1412:61
[INFO] [stdout]   22:     0x5a5a2c4a3866 - <agent_cli[ed751024d41128dd]::agent_kernel_stub_fixture_cannot_claim_cuda_correctness::{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]   23:     0x5a5a2c4b5c5b - <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]   24:     0x5a5a2c4b5c5b - 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]   25:     0x5a5a2c4c32a5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   26:     0x5a5a2c4c32a5 - <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]   27:     0x5a5a2c4c32a5 - 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]   28:     0x5a5a2c4c32a5 - 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]   29:     0x5a5a2c4c32a5 - 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]   30:     0x5a5a2c4c32a5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   31:     0x5a5a2c4c32a5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   32:     0x5a5a2c4bdd54 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   33:     0x5a5a2c4bdd54 - 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]   34:     0x5a5a2c4c63f2 - 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]   35:     0x5a5a2c4c63f2 - <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]   36:     0x5a5a2c4c63f2 - 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]   37:     0x5a5a2c4c63f2 - 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]   38:     0x5a5a2c4c63f2 - 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]   39:     0x5a5a2c4c63f2 - 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]   40:     0x5a5a2c4c63f2 - <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]   41:     0x5a5a2c565fdf - <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]   42:     0x5a5a2c565fdf - <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]   43:     0x7b8555ae3aa4 - <unknown>
[INFO] [stdout]   44:     0x7b8555b70a64 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     agent_kernel_stub_fixture_cannot_claim_cuda_correctness
[INFO] [stdout]     agent_lean_check_keeps_model_only_scope_as_trust_floor
[INFO] [stdout]     agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope
[INFO] [stdout]     agent_lean_model_only_claims_block_production_proof
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 24 passed; 4 failed; 0 ignored; 0 measured; 0 filtered out; finished in 58.23s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p refineforge-cli --test agent_cli`
[INFO] running `Command { std: "docker" "inspect" "a96f8d2a93ed77d01a58d3fc096a5cfaee3f7437678b941d76af0444976844e7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a96f8d2a93ed77d01a58d3fc096a5cfaee3f7437678b941d76af0444976844e7", kill_on_drop: false }`
[INFO] [stdout] a96f8d2a93ed77d01a58d3fc096a5cfaee3f7437678b941d76af0444976844e7
