[INFO] cloning repository https://github.com/tkQCompany/adrproof
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tkQCompany/adrproof" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FtkQCompany%2Fadrproof", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FtkQCompany%2Fadrproof'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] cc590fc17e0ff5142e500158f36347931b02504f
[INFO] testing tkQCompany/adrproof against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FtkQCompany%2Fadrproof" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-4-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/tkQCompany/adrproof
[INFO] finished tweaking git repo https://github.com/tkQCompany/adrproof
[INFO] tweaked toml for git repo https://github.com/tkQCompany/adrproof written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/tkQCompany/adrproof on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/tkQCompany/adrproof already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded prost-types v0.13.5
[INFO] [stderr]   Downloaded prost-build v0.13.5
[INFO] [stderr]   Downloaded bindgen v0.66.1
[INFO] [stderr]   Downloaded syn v3.0.0
[INFO] [stderr]   Downloaded pg_query v6.2.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] c07ef7f6e42e91461b8bdfc7fcd739bedc8ca274f8c0724cd31b73008a41b974
[INFO] running `Command { std: "docker" "start" "c07ef7f6e42e91461b8bdfc7fcd739bedc8ca274f8c0724cd31b73008a41b974", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c07ef7f6e42e91461b8bdfc7fcd739bedc8ca274f8c0724cd31b73008a41b974", 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" "c07ef7f6e42e91461b8bdfc7fcd739bedc8ca274f8c0724cd31b73008a41b974" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c07ef7f6e42e91461b8bdfc7fcd739bedc8ca274f8c0724cd31b73008a41b974", 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" "c07ef7f6e42e91461b8bdfc7fcd739bedc8ca274f8c0724cd31b73008a41b974" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling quote v1.0.47
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling typenum v1.20.1
[INFO] [stderr]    Compiling either v1.17.0
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling anyhow v1.0.104
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling bitflags v2.13.1
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling glob v0.3.4
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]    Compiling equivalent v1.0.2
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling memchr v2.8.3
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling linux-raw-sys v0.4.15
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling bytes v1.12.1
[INFO] [stderr]    Compiling libloading v0.8.9
[INFO] [stderr]    Compiling log v0.4.33
[INFO] [stderr]    Compiling home v0.5.12
[INFO] [stderr]    Compiling fixedbitset v0.5.7
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling clang-sys v1.9.1
[INFO] [stderr]    Compiling serde_core v1.0.229
[INFO] [stderr]    Compiling semver v1.0.28
[INFO] [stderr]    Compiling fastrand v2.5.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling zmij v1.0.23
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling shlex v2.0.1
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling find-msvc-tools v0.1.11
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling multimap v0.10.1
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling cc v1.4.3
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling syn v3.0.0
[INFO] [stderr]    Compiling fs_extra v1.3.0
[INFO] [stderr]    Compiling hybrid-array v0.4.14
[INFO] [stderr]    Compiling curve25519-dalek v5.0.0
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling cpufeatures v0.3.0
[INFO] [stderr]    Compiling zeroize v1.9.0
[INFO] [stderr]    Compiling petgraph v0.7.1
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling block-buffer v0.12.1
[INFO] [stderr]    Compiling crypto-common v0.2.2
[INFO] [stderr]    Compiling thiserror v2.0.19
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling regex-automata v0.4.18
[INFO] [stderr]    Compiling itoa v1.0.18
[INFO] [stderr]    Compiling signature v3.0.0
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling digest v0.11.3
[INFO] [stderr]    Compiling ed25519 v3.0.0
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling cpufeatures v0.2.17
[INFO] [stderr]    Compiling sha2 v0.11.0
[INFO] [stderr]    Compiling base64 v0.22.1
[INFO] [stderr]    Compiling which v4.4.2
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling thiserror-impl v2.0.19
[INFO] [stderr]    Compiling regex v1.13.1
[INFO] [stderr]    Compiling prost-derive v0.13.5
[INFO] [stderr]    Compiling curve25519-dalek-derive v0.1.1
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling prost v0.13.5
[INFO] [stderr]    Compiling ed25519-dalek v3.0.0
[INFO] [stderr]    Compiling prost-types v0.13.5
[INFO] [stderr]    Compiling prost-build v0.13.5
[INFO] [stderr]    Compiling pg_query v6.2.0
[INFO] [stderr]    Compiling adrproof v0.2.0-beta.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 3m 46s
[INFO] running `Command { std: "docker" "inspect" "c07ef7f6e42e91461b8bdfc7fcd739bedc8ca274f8c0724cd31b73008a41b974", 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" "c07ef7f6e42e91461b8bdfc7fcd739bedc8ca274f8c0724cd31b73008a41b974" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling adrproof v0.2.0-beta.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1m 06s
[INFO] running `Command { std: "docker" "inspect" "c07ef7f6e42e91461b8bdfc7fcd739bedc8ca274f8c0724cd31b73008a41b974", 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" "c07ef7f6e42e91461b8bdfc7fcd739bedc8ca274f8c0724cd31b73008a41b974" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.20s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/adrproof-46c07b1051a65e75)
[INFO] [stdout] 
[INFO] [stdout] running 109 tests
[INFO] [stdout] test external_provider::conformance_tests::external_provider_v1_fixtures_match_expected_outcomes ... ok
[INFO] [stdout] test external_provider::tests::semantic_input_identity_is_stable_through_a_symlinked_root ... ok
[INFO] [stdout] test external_provider::tests::llm_derived_provider_fact_is_rejected ... ok
[INFO] [stdout] test tests::absent_provider_coverage_cannot_produce_pass ... ok
[INFO] [stdout] test tests::adrlogic_accepts_real_cargo_names_with_hyphens ... ok
[INFO] [stdout] test tests::adrlogic_lowers_into_project_intent_ir ... ok
[INFO] [stdout] test tests::alter_and_drop_operations_produce_only_effective_schema_state ... ok
[INFO] [stdout] test external_provider::tests::undeclared_provenance_source_is_rejected ... ok
[INFO] [stdout] test external_provider::tests::fact_source_artifact_and_span_are_enforced ... ok
[INFO] [stdout] test tests::bad_reference_is_rejected ... ok
[INFO] [stdout] test external_provider::tests::unknown_response_fields_are_rejected ... ok
[INFO] [stdout] test external_provider::tests::schema_and_identity_mismatches_are_rejected ... ok
[INFO] [stdout] test external_provider::tests::path_traversal_and_symlink_escape_are_rejected ... ok
[INFO] [stdout] test external_provider::tests::configured_provider_returns_normalized_facts_and_semantic_inputs ... ok
[INFO] [stdout] test external_provider::tests::configured_provider_is_merged_into_the_project_model ... ok
[INFO] [stdout] test external_provider::tests::provider_timeout_fails_closed ... ok
[INFO] [stdout] test tests::core_maps_to_clause_ids_and_spans ... ok
[INFO] [stdout] test external_provider::tests::malformed_partial_and_trailing_json_are_rejected ... ok
[INFO] [stdout] test tests::create_table_emits_columns_keys_uniques_foreign_keys_checks_and_types ... ok
[INFO] [stdout] test tests::composite_primary_key_and_constraint_provenance_are_preserved ... ok
[INFO] [stdout] test tests::backend_execution_failure_is_not_pass ... ok
[INFO] [stdout] test tests::ctas_and_materialized_views_have_precise_object_scoped_coverage ... ok
[INFO] [stdout] test tests::direct_conflict_is_unsat ... ok
[INFO] [stdout] test external_provider::tests::non_utf8_stdout_and_stderr_are_rejected ... ok
[INFO] [stdout] test tests::deterministic_do_effect_classification_limits_coverage_damage ... ok
[INFO] [stdout] test external_provider::tests::duplicate_inputs_artifacts_and_facts_are_rejected ... ok
[INFO] [stdout] test tests::direct_dependency_violates_project_constraint ... ok
[INFO] [stdout] test tests::corrupted_external_evidence_fails_safely ... ok
[INFO] [stdout] test external_provider::tests::nonzero_exit_and_output_limits_fail_closed ... ok
[INFO] [stdout] test tests::global_three_way_conflict_not_pairwise ... ok
[INFO] [stdout] test external_provider::tests::unknown_nested_fields_are_rejected_at_every_protocol_boundary ... ok
[INFO] [stdout] test tests::closed_world_absence_uses_source_package_manifest_provenance ... ok
[INFO] [stdout] test tests::evidence_storage_uses_portable_filenames_without_changing_logical_ids ... ok
[INFO] [stdout] test tests::cargo_and_sql_providers_coexist_in_one_project_model ... ok
[INFO] [stdout] test external_provider::tests::provider_configuration_and_executable_control_semantic_fingerprints ... ok
[INFO] [stdout] test tests::cargo_provider_discovers_workspace_packages_and_direct_paths_offline ... ok
[INFO] [stdout] test tests::partial_sql_coverage_cannot_turn_absence_into_pass ... ok
[INFO] [stdout] test tests::partition_and_inheritance_emit_lineage_and_only_sound_inherited_properties ... ok
[INFO] [stdout] test tests::positive_observed_fact_survives_partial_but_absence_does_not ... ok
[INFO] [stdout] test tests::posix_execution::aggregate_requires_all_children_current_pass ... ok
[INFO] [stdout] test tests::posix_execution::diagnostic_waivers_expire_and_sarif_preserves_the_underlying_finding ... ok
[INFO] [stdout] test tests::posix_execution::evidence_bundle_verifies_offline_and_detects_tampering ... ok
[INFO] [stdout] test tests::posix_execution::formal_model_pass_cannot_substitute_for_implementation_conformance_child ... ok
[INFO] [stdout] test tests::posix_execution::heterogeneous_impact_reaches_native_test_evidence_and_parent ... ok
[INFO] [stdout] test tests::posix_execution::model_and_validation_children_obey_parent_stale_gate ... ok
[INFO] [stdout] test tests::posix_execution::native_test_import_is_non_vacuous_immutable_and_precisely_stale ... ok
[INFO] [stdout] test tests::posix_execution::native_test_import_rejects_missing_required_test_and_empty_execution ... ok
[INFO] [stdout] test tests::cargo_fact_summary_and_coverage_are_deterministic ... ok
[INFO] [stdout] test tests::evidence_records_every_relevant_manifest_fingerprint ... ok
[INFO] [stdout] test tests::missing_evidence_and_errors_are_not_pass ... ok
[INFO] [stdout] test tests::indirect_dependency_does_not_violate_direct_rule ... ok
[INFO] [stdout] test tests::posix_execution::quint_apalache_pass_is_bounded_and_never_universal ... ok
[INFO] [stdout] test tests::posix_execution::quint_invariant_violation_is_fail_with_immutable_counterexample ... ok
[INFO] [stdout] test tests::backend_version_and_configuration_changes_stale_evidence ... ok
[INFO] [stdout] test tests::posix_execution::quint_graph_connects_model_artifact_obligation_and_evidence ... ok
[INFO] [stdout] test tests::explicit_roots_keep_project_read_only_and_state_external ... ok
[INFO] [stdout] test tests::posix_execution::quint_behavior_admission_requires_a_counterexample_witness ... ok
[INFO] [stdout] test tests::posix_execution::quint_model_bindings_machine_check_declared_constants_and_bounds ... ok
[INFO] [stdout] test tests::immutable_evidence_history_retains_pass_then_fail ... ok
[INFO] [stdout] test tests::posix_execution::quint_evidence_history_is_immutable ... ok
[INFO] [stdout] test tests::posix_execution::rust_quint_correspondence_parse_error_is_error_and_graph_is_typed ... ok
[INFO] [stdout] test tests::posix_execution::quint_tlc_pass_is_exhaustive_formal_model_only_and_records_stats ... ok
[INFO] [stdout] test tests::posix_execution::rust_quint_correspondence_pass_stale_fail_restore_pass_is_immutable ... ok
[INFO] [stdout] test tests::posix_execution::quint_temporal_evidence_records_fairness_and_rejects_apalache_authority ... ok
[INFO] [stdout] test tests::posix_execution::quint_semantic_inputs_versions_and_bounds_control_staleness_not_locations ... ok
[INFO] [stdout] test tests::posix_execution::scenario_graph_keeps_missing_historical_artifact_as_an_identity ... ok
[INFO] [stdout] test tests::posix_execution::quint_success_marker_without_backend_identity_is_not_pass ... ok
[INFO] [stdout] test tests::posix_execution::quint_tool_version_mismatch_is_error ... ok
[INFO] [stdout] test tests::posix_execution::scenario_graph_connects_inputs_obligations_evidence_and_required_children ... ok
[INFO] [stdout] test tests::posix_execution::scenario_inputs_definition_fixture_runner_and_implementation_control_staleness ... ok
[INFO] [stdout] test tests::posix_execution::scenario_infrastructure_failure_is_error_not_invariant_fail ... ok
[INFO] [stdout] test tests::posix_execution::scenario_history_is_immutable_and_relocation_is_semantic ... ok
[INFO] [stdout] test tests::posix_execution::scenario_model_cross_validation_is_separate_immutable_evidence ... ok
[INFO] [stdout] test tests::posix_execution::stale_correspondence_child_blocks_parent_pass ... ok
[INFO] [stdout] test tests::posix_execution::quint_timeout_and_false_zero_exit_are_never_pass ... ok
[INFO] [stdout] test tests::postgres_migrations_are_ordered_numerically_and_duplicate_versions_fail ... ok
[INFO] [stdout] test tests::posix_execution::signed_bundle_requires_a_valid_trusted_ed25519_key ... ok
[INFO] [stdout] test tests::posix_execution::scenario_model_mismatch_is_validation_fail_not_model_property_pass ... ok
[INFO] [stdout] test tests::quoted_and_unquoted_identifiers_remain_distinct ... ok
[INFO] [stdout] test tests::posix_execution::scenario_runner_path_can_be_spec_relative_and_relocatable ... ok
[INFO] [stdout] test tests::posix_execution::quint_model_falsification_pass_stale_fail_restore_pass ... ok
[INFO] [stdout] test tests::semantic_fingerprints_are_checkout_path_independent ... ok
[INFO] [stdout] test tests::impact_and_explain_json_are_deterministic ... ok
[INFO] [stdout] test tests::posix_execution::scenario_model_validation_rejects_a_missing_observed_trace_event ... ok
[INFO] [stdout] test tests::posix_execution::scenario_postconditions_deterministically_decide_pass_and_fail ... ok
[INFO] [stdout] test tests::sql_closed_world_absence_uses_nearest_effective_object_provenance ... ok
[INFO] [stdout] test tests::smt_has_named_source_clauses_in_stable_order ... ok
[INFO] [stdout] test tests::sql_comment_change_is_conservatively_stale ... ok
[INFO] [stdout] test tests::supersedes_removes_old_constraint ... ok
[INFO] [stdout] test tests::two_compatible_adrs_are_sat ... ok
[INFO] [stdout] test tests::type_error_precedes_solver ... ok
[INFO] [stdout] test tests::typed_scoped_coverage_resolves_uncertainty_conservatively ... ok
[INFO] [stdout] test tests::unrelated_ctas_partial_does_not_block_authoritative_table_result ... ok
[INFO] [stdout] test tests::unsupported_mutating_sql_degrades_every_selected_relation_to_partial ... ok
[INFO] [stdout] test tests::unknown_is_never_pass ... ok
[INFO] [stdout] test tests::proof_graph_connects_constraint_obligation_and_evidence ... ok
[INFO] [stdout] test tests::external_spec_and_project_changes_stale_but_state_location_does_not ... ok
[INFO] [stdout] test tests::impact_and_explain_follow_typed_dependency_paths ... ok
[INFO] [stdout] test tests::external_roots_provenance_impact_and_explain_are_namespaced ... ok
[INFO] [stdout] test tests::sql_facts_drive_pass_stale_fail_restore_pass_and_relocate ... ok
[INFO] [stdout] test tests::registry_dependency_and_package_rename_are_observable_offline ... ok
[INFO] [stdout] test tests::irrelevant_manifest_change_does_not_stale_global_evidence ... ok
[INFO] [stdout] test tests::status_exposes_intent_without_machine_constraint ... ok
[INFO] [stdout] test tests::canonical_cargo_paths_under_an_aliased_root_remain_relevant_inputs ... ok
[INFO] [stdout] test tests::removing_prohibited_dependency_makes_constraint_pass ... ok
[INFO] [stdout] test tests::stable_json_and_ledger_except_documented_runtime_fields ... ok
[INFO] [stdout] test tests::root_relocation_does_not_stale_semantically_identical_evidence ... ok
[INFO] [stdout] test tests::evidence_fingerprints_become_stale_and_reverification_refreshes ... ok
[INFO] [stdout] test external_provider::tests::provider_timeout_terminates_descendant_processes ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- external_provider::tests::provider_timeout_terminates_descendant_processes stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'external_provider::tests::provider_timeout_terminates_descendant_processes' (2747) panicked at src/external_provider.rs:1224:9:
[INFO] [stdout] provider descendant 2832 survived timeout cleanup
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x63d7a34e3ad1 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] [stdout]    1:     0x63d7a34fa74a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x63d7a34e850c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x63d7a34bbf66 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x63d7a34da149 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x63d7a323b230 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x63d7a34da472 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x63d7a34bc012 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x63d7a34b4989 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x63d7a34bcead - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x63d7a34faeac - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x63d7a3227acc - adrproof[3fc9bbf159560c89]::external_provider::tests::provider_timeout_terminates_descendant_processes
[INFO] [stdout]   12:     0x63d7a315acd9 - <adrproof[3fc9bbf159560c89]::external_provider::tests::provider_timeout_terminates_descendant_processes::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x63d7a322e51b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   14:     0x63d7a323bb85 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   15:     0x63d7a3235444 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x63d7a323ece2 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x63d7a34e2a59 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x74b54f91adfa - <unknown>
[INFO] [stdout]   19:     0x74b54f9ae3d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     external_provider::tests::provider_timeout_terminates_descendant_processes
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 108 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.25s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "c07ef7f6e42e91461b8bdfc7fcd739bedc8ca274f8c0724cd31b73008a41b974", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c07ef7f6e42e91461b8bdfc7fcd739bedc8ca274f8c0724cd31b73008a41b974", kill_on_drop: false }`
[INFO] [stdout] c07ef7f6e42e91461b8bdfc7fcd739bedc8ca274f8c0724cd31b73008a41b974
