[INFO] fetching crate proofframe 0.7.2...
[INFO] testing proofframe-0.7.2 against 1.100.0-beta.1 for beta-1.100-2
[INFO] extracting crate proofframe 0.7.2 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate proofframe 0.7.2
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate proofframe 0.7.2
[INFO] tweaked toml for crates.io crate proofframe 0.7.2 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate proofframe 0.7.2 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate proofframe 0.7.2 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:75:12
[INFO] [stderr]    |
[INFO] [stderr] 75 | homepage = "https://github.com/emirhuseynrmx/proofframe"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 81 | repository = "https://github.com/emirhuseynrmx/proofframe"
[INFO] [stderr]    |              ---------------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `proofframe` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 7c98a63a8f99e20bb460fa28189994e83aaf0bf3f749e911354e3037f10e0188
[INFO] running `Command { std: "docker" "start" "7c98a63a8f99e20bb460fa28189994e83aaf0bf3f749e911354e3037f10e0188", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7c98a63a8f99e20bb460fa28189994e83aaf0bf3f749e911354e3037f10e0188", 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" "7c98a63a8f99e20bb460fa28189994e83aaf0bf3f749e911354e3037f10e0188" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7c98a63a8f99e20bb460fa28189994e83aaf0bf3f749e911354e3037f10e0188", 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" "7c98a63a8f99e20bb460fa28189994e83aaf0bf3f749e911354e3037f10e0188" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:75:12
[INFO] [stderr]    |
[INFO] [stderr] 75 | homepage = "https://github.com/emirhuseynrmx/proofframe"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 81 | repository = "https://github.com/emirhuseynrmx/proofframe"
[INFO] [stderr]    |              ---------------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `proofframe` (manifest) generated 1 warning
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling quote v1.0.46
[INFO] [stderr]    Compiling libm v0.2.16
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling zerocopy v0.8.54
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling bytes v1.12.1
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling iana-time-zone v0.1.65
[INFO] [stderr]    Compiling semver v1.0.28
[INFO] [stderr]    Compiling arrow-schema v59.1.0
[INFO] [stderr]    Compiling lexical-util v1.0.7
[INFO] [stderr]    Compiling typenum v1.20.1
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling bitflags v2.13.0
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]    Compiling flatbuffers v25.12.19
[INFO] [stderr]    Compiling lexical-parse-integer v1.0.6
[INFO] [stderr]    Compiling lexical-write-integer v1.0.6
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling cpufeatures v0.3.0
[INFO] [stderr]    Compiling find-msvc-tools v0.1.9
[INFO] [stderr]    Compiling cc v1.2.67
[INFO] [stderr]    Compiling hybrid-array v0.4.13
[INFO] [stderr]    Compiling lexical-write-float v1.0.6
[INFO] [stderr]    Compiling lexical-parse-float v1.0.6
[INFO] [stderr]    Compiling curve25519-dalek v5.0.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling chrono v0.4.42
[INFO] [stderr]    Compiling num-complex v0.4.6
[INFO] [stderr]    Compiling crypto-common v0.2.2
[INFO] [stderr]    Compiling num-bigint v0.4.8
[INFO] [stderr]    Compiling block-buffer v0.12.1
[INFO] [stderr]    Compiling regex-automata v0.4.15
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling digest v0.11.3
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling blake3 v1.8.5
[INFO] [stderr]    Compiling lexical-core v1.0.6
[INFO] [stderr]    Compiling atoi v2.0.0
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling signature v3.0.0
[INFO] [stderr]    Compiling ryu v1.0.23
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling zeroize v1.9.0
[INFO] [stderr]    Compiling ed25519 v3.0.0
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling sha2 v0.11.0
[INFO] [stderr]    Compiling ryu-js v1.0.3
[INFO] [stderr]    Compiling fastrand v2.4.1
[INFO] [stderr]    Compiling zerocopy-derive v0.8.54
[INFO] [stderr]    Compiling curve25519-dalek-derive v0.1.1
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling regex v1.13.0
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling ed25519-dalek v3.0.0
[INFO] [stderr]    Compiling serde_json_canonicalizer v0.3.2
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling arrow-buffer v59.1.0
[INFO] [stderr]    Compiling arrow-data v59.1.0
[INFO] [stderr]    Compiling arrow-array v59.1.0
[INFO] [stderr]    Compiling arrow-select v59.1.0
[INFO] [stderr]    Compiling arrow-row v59.1.0
[INFO] [stderr]    Compiling arrow-arith v59.1.0
[INFO] [stderr]    Compiling arrow-ord v59.1.0
[INFO] [stderr]    Compiling arrow-ipc v59.1.0
[INFO] [stderr]    Compiling arrow-string v59.1.0
[INFO] [stderr]    Compiling arrow-cast v59.1.0
[INFO] [stderr]    Compiling arrow v59.1.0
[INFO] [stderr]    Compiling proofframe v0.7.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 12s
[INFO] running `Command { std: "docker" "inspect" "7c98a63a8f99e20bb460fa28189994e83aaf0bf3f749e911354e3037f10e0188", 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" "7c98a63a8f99e20bb460fa28189994e83aaf0bf3f749e911354e3037f10e0188" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:75:12
[INFO] [stderr]    |
[INFO] [stderr] 75 | homepage = "https://github.com/emirhuseynrmx/proofframe"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 81 | repository = "https://github.com/emirhuseynrmx/proofframe"
[INFO] [stderr]    |              ---------------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `proofframe` (manifest) generated 1 warning
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.5
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling arrow-array v59.1.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling arrow-select v59.1.0
[INFO] [stderr]    Compiling arrow-row v59.1.0
[INFO] [stderr]    Compiling arrow-arith v59.1.0
[INFO] [stderr]    Compiling arrow-ord v59.1.0
[INFO] [stderr]    Compiling arrow-ipc v59.1.0
[INFO] [stderr]    Compiling arrow-string v59.1.0
[INFO] [stderr]    Compiling arrow-cast v59.1.0
[INFO] [stderr]    Compiling arrow v59.1.0
[INFO] [stderr]    Compiling proofframe v0.7.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2m 20s
[INFO] running `Command { std: "docker" "inspect" "7c98a63a8f99e20bb460fa28189994e83aaf0bf3f749e911354e3037f10e0188", 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" "7c98a63a8f99e20bb460fa28189994e83aaf0bf3f749e911354e3037f10e0188" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:75:12
[INFO] [stderr]    |
[INFO] [stderr] 75 | homepage = "https://github.com/emirhuseynrmx/proofframe"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 81 | repository = "https://github.com/emirhuseynrmx/proofframe"
[INFO] [stderr]    |              ---------------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `proofframe` (manifest) generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.31s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/build/proofframe/097bd54fe8e57d83/out/proofframe-097bd54fe8e57d83)
[INFO] [stdout] 
[INFO] [stdout] running 30 tests
[INFO] [stdout] test diff::ledger_tests::ledger_charge_respects_small_remaining_budgets ... ok
[INFO] [stdout] test diff::ledger_tests::ledger_charge_uses_chunks_without_exceeding_the_budget ... ok
[INFO] [stdout] test execution::total::tests::compensation_keeps_small_values_that_plain_addition_drops ... ok
[INFO] [stdout] test execution::total::tests::an_integer_total_past_i128_is_an_error_rather_than_a_wrapped_number ... ok
[INFO] [stdout] test diff::partition::tests::writer_rejects_oversized_records_before_growing_scratch ... ok
[INFO] [stdout] test execution::dataset_state::tests::ratio_comparison_does_not_round_large_integer_counts ... ok
[INFO] [stdout] test diff::partition::tests::record_limit_is_checked_before_record_allocation ... ok
[INFO] [stdout] test diff::partition::tests::header_and_payload_mutations_fail_closed ... ok
[INFO] [stdout] test receipt::tests::rejects_integers_outside_i_json_safe_range ... ok
[INFO] [stdout] test suggest::tests::a_column_of_only_non_finite_floats_yields_no_usable_bounds ... ok
[INFO] [stdout] test suggest::tests::a_decreasing_or_unordered_column_receives_a_range ... ok
[INFO] [stdout] test suggest::tests::a_plateau_before_a_rise_is_still_growing ... ok
[INFO] [stdout] test suggest::tests::a_single_observed_row_still_receives_a_range ... ok
[INFO] [stdout] test suggest::tests::a_constant_column_still_receives_a_range ... ok
[INFO] [stdout] test diff::sink::tests::storage_faults_never_publish_a_partial_diff ... ok
[INFO] [stdout] test suggest::tests::non_finite_floats_are_ignored_by_the_range ... ok
[INFO] [stdout] test suggest::tests::tolerance_widens_bounds_without_overflowing_the_integer_range ... ok
[INFO] [stdout] test tests::fingerprint_ignores_batch_boundaries ... ok
[INFO] [stdout] test suggest::tests::an_increasing_column_receives_no_range ... ok
[INFO] [stdout] test tests::fingerprint_is_pinned ... ok
[INFO] [stdout] test suggest::tests::unsigned_tolerance_saturates_at_zero ... ok
[INFO] [stdout] test tests::nested_columns_fingerprint_without_error ... ok
[INFO] [stdout] test pii::tests::formatted_iban_and_card_are_checked_without_compaction ... ok
[INFO] [stdout] test pii::tests::identifies_high_confidence_examples ... ok
[INFO] [stdout] test tests::typed_unique_semantics_are_explicit ... ok
[INFO] [stdout] test diff::partition::tests::every_truncated_file_boundary_fails_as_corruption ... ok
[INFO] [stdout] test tests::fingerprint_tracks_data_changes ... ok
[INFO] [stdout] test pii::tests::random_non_digit_strings_never_pass_luhn ... ok
[INFO] [stdout] test tests::full_and_fast_paths_have_same_rule_verdicts ... ok
[INFO] [stdout] test receipt::tests::signed_receipts_verify_and_tampering_fails ... ok
[INFO] [stderr]      Running tests/allocation_contract.rs (/opt/rustwide/target/debug/build/proofframe/3a039cf534f490e0/out/allocation_contract-3a039cf534f490e0)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 30 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 6.67s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test relational_i64_validation_does_not_allocate_per_row ... ok
[INFO] [stdout] test primitive_range_validation_allocations_are_constant_after_setup ... ok
[INFO] [stdout] test conditional_i64_validation_does_not_allocate_a_selection_mask ... ok
[INFO] [stdout] test primitive_fingerprint_allocations_are_constant_after_setup ... ok
[INFO] [stderr]      Running tests/balance_and_dominance.rs (/opt/rustwide/target/debug/build/proofframe/287ded491cc37d71/out/balance_and_dominance-287ded491cc37d71)
[INFO] [stdout] test pii_utf8_no_match_path_does_not_allocate_per_cell ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.36s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test absent_rules_hash_the_same_as_empty_ones ... ok
[INFO] [stdout] test a_ratio_outside_zero_to_one_is_refused ... ok
[INFO] [stdout] test a_ledger_that_does_not_balance_names_both_totals ... ok
[INFO] [stdout] test a_ledger_that_balances_passes ... ok
[INFO] [stdout] test one_value_holding_most_of_a_column_is_reported ... ok
[INFO] [stdout] test a_spread_column_passes ... ok
[INFO] [stdout] test nulls_count_towards_the_dominant_share ... ok
[INFO] [stderr]      Running tests/column_length_and_dates.rs (/opt/rustwide/target/debug/build/proofframe/35ea8f3f895ef6d5/out/column_length_and_dates-35ea8f3f895ef6d5)
[INFO] [stdout] test a_balance_verdict_does_not_change_with_the_batch_size ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test an_ambiguous_date_spelling_is_refused_rather_than_guessed ... ok
[INFO] [stdout] test a_minimum_longer_than_the_maximum_is_refused ... ok
[INFO] [stdout] test length_counts_characters_rather_than_bytes ... ok
[INFO] [stdout] test a_value_outside_the_declared_length_is_reported ... ok
[INFO] [stdout] test a_length_is_the_only_rule_a_column_needs_to_be_checked ... ok
[INFO] [stdout] test a_day_count_still_parses_so_older_contracts_keep_working ... ok
[INFO] [stderr]      Running tests/conditional_unique.rs (/opt/rustwide/target/debug/build/proofframe/363c90427513ee5f/out/conditional_unique-363c90427513ee5f)
[INFO] [stdout] test a_date_bound_can_be_written_as_a_date ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test an_absent_rule_hashes_the_same_as_an_empty_one ... ok
[INFO] [stdout] test a_key_repeated_across_the_condition_is_not_a_duplicate ... ok
[INFO] [stdout] test a_duplicate_among_deleted_rows_is_not_a_violation ... ok
[INFO] [stderr]      Running tests/contract_compile.rs (/opt/rustwide/target/debug/build/proofframe/3da95fc25bd420c7/out/contract_compile-3da95fc25bd420c7)
[INFO] [stdout] test a_duplicate_among_selected_rows_is_a_violation ... ok
[INFO] [stdout] test the_verdict_does_not_depend_on_the_batch_size ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 30 tests
[INFO] [stdout] test bound_literals_preserve_integer_text_above_f64_precision ... ok
[INFO] [stdout] test contract_v2_rejects_duplicate_rule_names ... ok
[INFO] [stdout] test contract_v2_exact_type_assertions_fail_before_scanning ... ok
[INFO] [stdout] test compile_document_preserves_the_frozen_v1_plan_digest ... ok
[INFO] [stdout] test contract_v2_rejects_ordering_for_unordered_relational_types ... ok
[INFO] [stdout] test contract_v2_parses_relational_and_dataset_rules_strictly ... ok
[INFO] [stdout] test contract_source_digest_preserves_integer_literals_outside_f64_precision ... ok
[INFO] [stdout] test contract_v2_compiles_relational_and_dataset_plans_against_arrow_schema ... ok
[INFO] [stdout] test decimal_bound_requires_the_declared_scale ... ok
[INFO] [stdout] test contract_v2_rejects_unknown_fields_with_an_exact_path ... ok
[INFO] [stdout] test draft_v2_contract_is_rejected_at_the_shared_compile_boundary ... ok
[INFO] [stdout] test float_nan_policy_is_explicit_in_the_compiled_plan ... ok
[INFO] [stdout] test integer_bounds_must_fit_the_physical_arrow_domain ... ok
[INFO] [stdout] test iso_8601_timestamp_bounds_normalize_offsets_to_exact_arrow_ticks ... ok
[INFO] [stdout] test iso_8601_timestamp_bounds_reject_precision_below_the_arrow_unit ... ok
[INFO] [stdout] test contract_v2_rejects_ratios_outside_the_unit_interval ... ok
[INFO] [stdout] test contract_v2_rejects_relational_literals_outside_the_arrow_physical_type ... ok
[INFO] [stdout] test malformed_json_has_a_distinct_stable_error_code ... ok
[INFO] [stdout] test operational_metadata_changes_source_but_not_compiled_plan_identity ... ok
[INFO] [stdout] test source_plan_and_schema_digests_are_separate_versioned_contracts ... ok
[INFO] [stdout] test unsigned_bound_above_f64_precision_remains_exact ... ok
[INFO] [stdout] test unknown_contract_fields_fail_closed ... ok
[INFO] [stdout] test unsupported_rule_type_pair_is_a_compile_error ... ok
[INFO] [stdout] test unknown_rule_fields_fail_closed_with_the_column_path ... ok
[INFO] [stdout] test v051_v2_contract_source_digest_is_frozen ... ok
[INFO] [stdout] test required_missing_columns_fail_compilation_deterministically ... ok
[INFO] [stdout] test signed_integer_extrema_compile_without_float_conversion ... ok
[INFO] [stdout] test timestamp_bounds_retain_the_arrow_unit ... ok
[INFO] [stdout] test value_rules_on_an_absent_optional_column_fail_closed ... ok
[INFO] [stdout] test invalid_regex_and_reversed_bounds_fail_during_compilation ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 30 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/contract_diagnostics.rs (/opt/rustwide/target/debug/build/proofframe/6f1929c33a9088e2/out/contract_diagnostics-6f1929c33a9088e2)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test version_error_shows_the_actual_supported_envelope ... ok
[INFO] [stdout] test status_on_v1_points_to_v2_instead_of_only_blaming_status ... ok
[INFO] [stdout] test invalid_type_names_identify_column_and_teach_native_spelling ... ok
[INFO] [stdout] test parameterized_type_explains_missing_required_parameter ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dataset_contract.rs (/opt/rustwide/target/debug/build/proofframe/cbcfd78262ac11b2/out/dataset_contract-cbcfd78262ac11b2)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test composite_unique_is_exact_across_record_batch_boundaries ... ok
[INFO] [stdout] test row_count_and_null_ratio_are_dataset_level_violations ... ok
[INFO] [stderr]      Running tests/dataset_statistics.rs (/opt/rustwide/target/debug/build/proofframe/471006cc5a7a9a2e/out/dataset_statistics-471006cc5a7a9a2e)
[INFO] [stdout] test composite_unique_uses_type_tagged_canonical_scalar_keys ... ok
[INFO] [stdout] test distinct_count_supports_every_fixed_width_scalar_family_exactly ... ok
[INFO] [stdout] test distinct_count_and_ratio_use_exact_dataset_state ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test absent_statistic_rules_hash_the_same_as_empty_ones ... ok
[INFO] [stdout] test a_non_numeric_column_is_refused_at_compile_time ... ok
[INFO] [stdout] test a_mean_inside_its_bounds_passes ... ok
[INFO] [stdout] test the_standard_deviation_is_the_population_one_over_the_values_seen ... ok
[INFO] [stdout] test a_mean_outside_its_bounds_is_reported_with_the_value_and_the_count ... ok
[INFO] [stdout] test integers_are_summarised_too ... ok
[INFO] [stdout] test a_column_with_no_values_reports_that_rather_than_zero ... ok
[INFO] [stdout] test neither_statistic_changes_with_the_batch_size ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dataset_sum.rs (/opt/rustwide/target/debug/build/proofframe/403799ea13016ee4/out/dataset_sum-403799ea13016ee4)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test an_absent_total_rule_hashes_the_same_as_an_empty_one ... ok
[INFO] [stdout] test a_non_numeric_column_is_refused_at_compile_time ... ok
[INFO] [stdout] test a_total_past_i64_is_counted_rather_than_wrapped ... ok
[INFO] [stdout] test a_total_outside_its_bounds_is_reported_with_the_total_named ... ok
[INFO] [stdout] test nulls_are_not_counted_as_zero_or_anything_else ... ok
[INFO] [stdout] test an_integer_bound_past_two_to_the_fifty_third_is_kept_exactly ... ok
[INFO] [stdout] test a_total_inside_its_bounds_passes ... ok
[INFO] [stdout] test a_float_total_does_not_change_with_the_batch_size ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.12s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/diff_corruption.rs (/opt/rustwide/target/debug/build/proofframe/6b1f595c41057c2c/out/diff_corruption-6b1f595c41057c2c)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test partition_temp_usage_is_charged_before_writing ... ok
[INFO] [stdout] test known_small_diff_uses_the_in_memory_path_without_temp_storage ... ok
[INFO] [stdout] test never_spill_fails_closed_when_exact_diff_exceeds_memory ... ok
[INFO] [stdout] test failed_output_limit_never_publishes_a_partial_target ... ok
[INFO] [stdout] test arrow_ipc_sink_is_atomic_and_readable ... ok
[INFO] [stdout] test report_samples_are_bounded_while_jsonl_receives_every_change ... ok
[INFO] [stdout] test duplicate_keys_and_schema_mismatches_still_fail_closed ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.25s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/distinct_spill.rs (/opt/rustwide/target/debug/build/proofframe/25f5b4e4299a48ad/out/distinct_spill-25f5b4e4299a48ad)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test compiled_unique_execution_honors_the_temp_budget ... ok
[INFO] [stdout] test float_and_byte_equality_use_full_canonical_values ... ok
[INFO] [stdout] test exact_state_without_a_spill_target_stays_exact_or_stops ... ok
[INFO] [stdout] test a_full_segment_without_a_spill_target_grows_instead_of_refusing ... ok
[INFO] [stdout] test spill_is_refused_before_exceeding_the_temp_budget ... ok
[INFO] [stdout] test compiled_unique_execution_uses_the_bounded_exact_state ... ok
[INFO] [stdout] test many_columns_without_a_spill_target_all_get_through ... ok
[INFO] [stdout] test fixed_width_state_spills_and_finds_cross_run_duplicates_exactly ... ok
[INFO] [stdout] test exact_runs_are_compacted_with_bounded_merge_fan_in ... ok
[INFO] [stdout] test a_growing_text_segment_keeps_both_halves_in_step ... ok
[INFO] [stdout] test a_column_too_wide_to_count_loses_its_count_not_the_profile ... ok
[INFO] [stdout] test one_wide_column_may_use_the_budget_the_others_did_not ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 5.86s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/evidence_receipt.rs (/opt/rustwide/target/debug/build/proofframe/1c341c0f6a78018b/out/evidence_receipt-1c341c0f6a78018b)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test evidence_semantics_are_validated_before_signing ... ok
[INFO] [stdout] test evidence_and_receipt_schemas_reject_unknown_fields ... ok
[INFO] [stdout] test evidence_digest_binds_every_claimed_execution_dimension ... ok
[INFO] [stdout] test signing_rejects_semantically_invalid_evidence ... ok
[INFO] [stdout] test tampering_breaks_both_the_evidence_hash_and_signature ... ok
[INFO] [stdout] test legacy_v1_receipts_remain_explicitly_readable ... ok
[INFO] [stdout] test signature_validity_and_signer_trust_are_separate_results ... ok
[INFO] [stdout] test a_receipt_signed_by_an_unknown_key_is_never_valid_without_a_trusted_key ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/execution_contract.rs (/opt/rustwide/target/debug/build/proofframe/45d6f6a58afa19ee/out/execution_contract-45d6f6a58afa19ee)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test execution_checks_cancellation_before_scanning_a_batch ... ok
[INFO] [stdout] test legacy_fast_api_uses_the_compiled_nan_policy ... ok
[INFO] [stdout] test exact_u64_range_reports_the_value_above_f64_precision ... ok
[INFO] [stdout] test relational_comparison_respects_null_policy_and_global_rows ... ok
[INFO] [stdout] test relational_boolean_and_text_view_equality_use_native_arrow_values ... ok
[INFO] [stdout] test resource_sample_limit_bounds_retained_validation_findings ... ok
[INFO] [stdout] test schema_changing_reader_fails_closed_without_indexing_the_batch ... ok
[INFO] [stdout] test conditional_rule_evaluates_native_utf8_and_asserts_not_null ... ok
[INFO] [stdout] test relational_decimal_and_timestamp_comparisons_keep_physical_precision ... ok
[INFO] [stdout] test compiled_kernels_preserve_rule_and_row_semantics ... ok
[INFO] [stdout] test conditional_assertion_applies_bounds_pattern_and_allowlist_only_when_selected ... ok
[INFO] [stdout] test relational_unsigned_comparison_preserves_values_above_f64_precision ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/fingerprint_versions.rs (/opt/rustwide/target/debug/build/proofframe/ecd458f3c1cc742c/out/fingerprint_versions-ecd458f3c1cc742c)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test v1_golden_vector_is_frozen ... ok
[INFO] [stdout] test v2_binds_arrow_type_and_nullability ... ok
[INFO] [stdout] test explicit_v1_selection_matches_the_frozen_compatibility_entry_point ... ok
[INFO] [stdout] test v1_remains_invariant_to_real_batch_segmentation ... ok
[INFO] [stdout] test v2_binds_row_and_column_order ... ok
[INFO] [stdout] test v2_is_invariant_to_real_batch_segmentation ... ok
[INFO] [stdout] test v2_binds_only_explicitly_selected_metadata ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/fuzz_surface.rs (/opt/rustwide/target/debug/build/proofframe/d5690f2b080296a5/out/fuzz_surface-d5690f2b080296a5)
[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/gap_detection.rs (/opt/rustwide/target/debug/build/proofframe/c64ab06ccd42f7da/out/gap_detection-c64ab06ccd42f7da)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test a_column_with_no_distance_is_refused_rather_than_silently_skipped ... ok
[INFO] [stdout] test a_skipped_null_does_not_invent_a_gap ... ok
[INFO] [stdout] test an_evenly_spaced_series_passes ... ok
[INFO] [stdout] test the_result_does_not_depend_on_where_the_batches_end ... ok
[INFO] [stdout] test a_step_that_is_not_a_positive_number_is_refused_at_compile_time ... ok
[INFO] [stdout] test a_missing_minute_is_reported_once_with_its_unit_named ... ok
[INFO] [stdout] test tolerance_and_an_allowance_move_the_line_without_hiding_the_count ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/leakage_contract.rs (/opt/rustwide/target/debug/build/proofframe/0e1fb0b6dee5ae07/out/leakage_contract-0e1fb0b6dee5ae07)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test full_row_identity_rejects_equal_names_with_different_arrow_types ... ok
[INFO] [stdout] test leakage_spill_honors_the_temp_budget ... ok
[INFO] [stdout] test duplicate_rows_do_not_inflate_distinct_overlap ... ok
[INFO] [stdout] test keyed_identity_uses_logical_tuple_order_not_physical_column_index ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/monotonicity.rs (/opt/rustwide/target/debug/build/proofframe/600644040a536772/out/monotonicity-600644040a536772)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test an_absent_ordering_rule_hashes_the_same_as_an_empty_one ... ok
[INFO] [stdout] test a_sequence_that_goes_backwards_is_reported_at_the_row_that_broke_it ... ok
[INFO] [stdout] test decreasing_reads_the_other_direction ... ok
[INFO] [stdout] test equal_values_pass_increasing_and_fail_strictly_increasing ... ok
[INFO] [stdout] test a_skipped_null_compares_the_values_on_either_side_of_it ... ok
[INFO] [stdout] test text_columns_order_lexicographically ... ok
[INFO] [stdout] test a_rejected_null_is_reported_where_it_appears ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mutually_exclusive.rs (/opt/rustwide/target/debug/build/proofframe/2add2e02e1e2ab3c/out/mutually_exclusive-2add2e02e1e2ab3c)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test a_rule_with_fewer_than_two_columns_is_refused ... ok
[INFO] [stdout] test a_row_that_fills_both_columns_is_reported ... ok
[INFO] [stdout] test a_column_without_nulls_counts_as_present_everywhere ... ok
[INFO] [stdout] test three_columns_need_two_present_before_it_is_a_violation ... ok
[INFO] [stdout] test at_most_one_accepts_an_empty_row_and_exactly_one_does_not ... ok
[INFO] [stdout] test violations_are_found_across_word_boundaries ... ok
[INFO] [stdout] test the_verdict_does_not_depend_on_batch_size ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/partition_contract.rs (/opt/rustwide/target/debug/build/proofframe/3a8f0608ed3f0f64/out/partition_contract-3a8f0608ed3f0f64)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test partition_execution_fails_closed_on_a_schema_mismatch ... ok
[INFO] [stdout] test partition_manifest_is_emitted_from_the_same_global_validation_traversal ... ok
[INFO] [stdout] test exact_composite_uniqueness_remains_global_across_partitions ... ok
[INFO] [stderr]      Running tests/partition_manifest.rs (/opt/rustwide/target/debug/build/proofframe/06dbd68a154017c9/out/partition_manifest-06dbd68a154017c9)
[INFO] [stdout] test serial_and_parallel_partition_reports_are_byte_equivalent_and_ordered ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test manifest_rejects_duplicate_indices_and_mixed_contract_identity ... ok
[INFO] [stdout] test manifest_json_decoder_is_strict_and_input_bounded ... ok
[INFO] [stdout] test manifest_root_binds_partition_order_and_omission ... ok
[INFO] [stdout] test signed_partition_manifest_rejects_body_tampering ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/reference_contract.rs (/opt/rustwide/target/debug/build/proofframe/c8c1e8b4fefe7f0b/out/reference_contract-c8c1e8b4fefe7f0b)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test adding_a_reference_rule_changes_the_compiled_plan_digest ... ok
[INFO] [stdout] test a_rule_without_a_bound_dataset_fails_closed ... ok
[INFO] [stdout] test an_absent_reference_column_is_reported_before_the_subject_is_scanned ... ok
[INFO] [stdout] test an_empty_reference_list_does_not_change_the_compiled_plan_digest ... ok
[INFO] [stdout] test mismatched_key_types_are_rejected_instead_of_never_matching ... ok
[INFO] [stdout] test a_bound_dataset_no_rule_uses_fails_closed ... ok
[INFO] [stdout] test an_empty_reference_dataset_makes_every_key_a_violation ... ok
[INFO] [stdout] test composite_keys_pair_by_position_and_ignore_column_names ... ok
[INFO] [stdout] test every_key_present_in_the_reference_is_valid ... ok
[INFO] [stdout] test keys_are_resolved_across_record_batch_boundaries ... ok
[INFO] [stdout] test null_keys_are_skipped_by_default_and_rejected_on_request ... ok
[INFO] [stdout] test a_null_in_the_reference_is_not_an_identity_a_local_null_can_match ... ok
[INFO] [stdout] test two_rules_over_the_same_dataset_and_key_share_one_scan ... ok
[INFO] [stdout] test a_missing_key_reports_the_first_row_that_carried_it ... ok
[INFO] [stdout] test the_reference_dataset_is_fingerprinted_into_the_report ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/resource_limits.rs (/opt/rustwide/target/debug/build/proofframe/3899c0f6c500b3bd/out/resource_limits-3899c0f6c500b3bd)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test cancellation_is_shared_and_has_a_stable_error_code ... ok
[INFO] [stdout] test overflow_zero_limits_and_temp_budgets_fail_closed ... ok
[INFO] [stdout] test siblings_contend_for_the_shared_root_without_overshoot ... ok
[INFO] [stdout] test public_defaults_are_bounded_and_release_sized ... ok
[INFO] [stdout] test child_reservations_charge_every_ancestor_and_release_on_drop ... ok
[INFO] [stderr]      Running tests/review_parity.rs (/opt/rustwide/target/debug/build/proofframe/b49d4f85c3acbb92/out/review_parity-b49d4f85c3acbb92)
[INFO] [stdout] test concurrent_reservations_never_exceed_the_root_limit ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test a_report_that_is_not_a_report_is_refused_rather_than_half_rendered ... ok
[INFO] [stdout] test the_disclosed_contract_is_ordered_by_key_not_by_insertion ... ok
[INFO] [stdout] test the_review_renders_exactly_what_the_python_implementation_rendered ... ok
[INFO] [stderr]      Running tests/row_count_delta.rs (/opt/rustwide/target/debug/build/proofframe/c6b41b7f2cb34004/out/row_count_delta-c6b41b7f2cb34004)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test an_absent_rule_hashes_the_same_as_an_empty_one ... ok
[INFO] [stdout] test an_empty_reference_is_reported_rather_than_divided_by ... ok
[INFO] [stdout] test a_move_inside_the_band_passes ... ok
[INFO] [stdout] test an_unbound_dataset_fails_before_the_subject_is_scanned ... ok
[INFO] [stdout] test a_volume_collapse_is_reported ... ok
[INFO] [stdout] test an_uncontrolled_jump_is_reported ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests proofframe
[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] running `Command { std: "docker" "inspect" "7c98a63a8f99e20bb460fa28189994e83aaf0bf3f749e911354e3037f10e0188", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7c98a63a8f99e20bb460fa28189994e83aaf0bf3f749e911354e3037f10e0188", kill_on_drop: false }`
[INFO] [stdout] 7c98a63a8f99e20bb460fa28189994e83aaf0bf3f749e911354e3037f10e0188
