[INFO] fetching crate smysl-check 1.8.0...
[INFO] testing smysl-check-1.8.0 against 1.99.0-beta.8 for beta-1.100-2
[INFO] extracting crate smysl-check 1.8.0 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate smysl-check 1.8.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate smysl-check 1.8.0
[INFO] tweaked toml for crates.io crate smysl-check 1.8.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate smysl-check 1.8.0 on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate smysl-check 1.8.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded smysl-core v1.8.0
[INFO] [stderr]   Downloaded smysl-graph v1.8.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 5bb21799e0716865278b8c93607913c43bb4d1fa60cca1c13abbcc46a86e23fb
[INFO] running `Command { std: "docker" "start" "5bb21799e0716865278b8c93607913c43bb4d1fa60cca1c13abbcc46a86e23fb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5bb21799e0716865278b8c93607913c43bb4d1fa60cca1c13abbcc46a86e23fb", 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" "5bb21799e0716865278b8c93607913c43bb4d1fa60cca1c13abbcc46a86e23fb" "/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" "5bb21799e0716865278b8c93607913c43bb4d1fa60cca1c13abbcc46a86e23fb", 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" "5bb21799e0716865278b8c93607913c43bb4d1fa60cca1c13abbcc46a86e23fb" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling cc v1.4.0
[INFO] [stderr]    Compiling tinyvec v1.12.0
[INFO] [stderr]    Compiling arrayref v0.3.9
[INFO] [stderr]    Compiling arrayvec v0.7.8
[INFO] [stderr]    Compiling cpufeatures v0.3.0
[INFO] [stderr]    Compiling constant_time_eq v0.4.2
[INFO] [stderr]    Compiling unicode-normalization v0.1.25
[INFO] [stderr]    Compiling blake3 v1.8.5
[INFO] [stderr]    Compiling smysl-core v1.8.0
[INFO] [stderr]    Compiling smysl-graph v1.8.0
[INFO] [stderr]    Compiling smysl-check v1.8.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 9.54s
[INFO] running `Command { std: "docker" "inspect" "5bb21799e0716865278b8c93607913c43bb4d1fa60cca1c13abbcc46a86e23fb", 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" "5bb21799e0716865278b8c93607913c43bb4d1fa60cca1c13abbcc46a86e23fb" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling smysl-check v1.8.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.79s
[INFO] running `Command { std: "docker" "inspect" "5bb21799e0716865278b8c93607913c43bb4d1fa60cca1c13abbcc46a86e23fb", 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" "5bb21799e0716865278b8c93607913c43bb4d1fa60cca1c13abbcc46a86e23fb" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.11s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/smysl_check-d9360280a4cebb94)
[INFO] [stdout] 
[INFO] [stdout] running 113 tests
[INFO] [stdout] test conformance_table::a_class_permits_something ... ok
[INFO] [stdout] test passes::closure::tests::a_gist_only_unit_has_nothing_to_close_over ... ok
[INFO] [stdout] test passes::closure::tests::a_body_referencing_a_declared_dep_is_closed ... ok
[INFO] [stdout] test passes::closure::tests::a_label_with_no_binding_is_not_a_reference ... ok
[INFO] [stdout] test passes::closure::tests::a_reference_to_an_absent_unit_is_not_reported_here ... ok
[INFO] [stdout] test passes::closure::tests::each_undeclared_reference_is_reported_once_however_often_it_appears ... ok
[INFO] [stdout] test passes::closure::tests::the_display_form_resolves_as_a_prefix ... ok
[INFO] [stdout] test passes::closure::tests::the_heuristic_does_not_fire_without_a_body ... ok
[INFO] [stdout] test passes::closure::tests::tokenisation_finds_uids_and_labels_and_ignores_prose ... ok
[INFO] [stdout] test passes::closure::tests::a_body_referencing_its_own_unit_is_not_a_violation ... ok
[INFO] [stdout] test passes::closure::tests::a_gist_that_opens_with_an_anaphor_warns ... ok
[INFO] [stdout] test passes::epistemics::tests::an_absent_ground_is_not_reported_by_this_pass ... ok
[INFO] [stdout] test passes::epistemics::tests::a_claim_stronger_than_its_ground_is_e030 ... ok
[INFO] [stdout] test conformance_table::merge_is_not_produce_and_neither_subsumes_the_other ... ok
[INFO] [stdout] test passes::epistemics::tests::an_empty_store_reports_nothing ... ok
[INFO] [stdout] test passes::epistemics::tests::a_present_ground_still_caps_when_a_sibling_is_absent ... ok
[INFO] [stdout] test passes::epistemics::tests::a_unit_one_step_above_its_weakest_ground_is_not ... ok
[INFO] [stdout] test passes::epistemics::tests::speculative_is_never_too_strong ... ok
[INFO] [stdout] test passes::closure::tests::a_body_referencing_an_undeclared_unit_is_e020 ... ok
[INFO] [stdout] test passes::epistemics::tests::every_violation_is_reported ... ok
[INFO] [stdout] test passes::epistemics::tests::the_diagnostic_names_the_weakest_ground ... ok
[INFO] [stdout] test passes::extension::tests::a_consumer_always_understands_the_kernel ... ok
[INFO] [stdout] test passes::extension::tests::a_kernel_only_store_is_full_fidelity_for_everyone ... ok
[INFO] [stdout] test passes::extension::tests::a_missing_kernel_major_refuses ... ok
[INFO] [stdout] test passes::epistemics::tests::inferred_on_speculative_is_e030_and_inferred_on_measured_is_not ... ok
[INFO] [stdout] test passes::extension::tests::a_required_and_implemented_schema_is_full_fidelity ... ok
[INFO] [stdout] test passes::extension::tests::an_extension_redefining_a_kernel_relation_is_e012 ... ok
[INFO] [stdout] test passes::extension::tests::a_declared_extension_relation_does_not_warn ... ok
[INFO] [stdout] test passes::closure::tests::a_self_contained_gist_does_not_warn ... ok
[INFO] [stdout] test passes::extension::tests::an_extension_redefining_a_kernel_type_is_e012 ... ok
[INFO] [stdout] test conformance_table::each_class_forbids_exactly_its_row ... ok
[INFO] [stdout] test passes::extension::tests::a_relation_declared_in_surface_text_does_not_warn ... ok
[INFO] [stdout] test passes::epistemics::tests::measured_and_cited_are_exempt ... ok
[INFO] [stdout] test passes::epistemics::tests::a_claim_no_stronger_than_its_ground_passes ... ok
[INFO] [stdout] test passes::extension::tests::an_extension_that_only_adds_is_fine ... ok
[INFO] [stdout] test passes::epistemics::tests::laundering_cannot_survive_a_chain ... ok
[INFO] [stdout] test passes::extension::tests::an_implemented_extension_is_full_fidelity ... ok
[INFO] [stdout] test passes::extension::tests::an_undeclared_relation_kind_is_w013 ... ok
[INFO] [stdout] test passes::epistemics::tests::a_unit_exactly_at_its_weakest_ground_is_legal ... ok
[INFO] [stdout] test passes::epistemics::tests::the_cap_is_the_minimum_over_every_ground ... ok
[INFO] [stdout] test passes::epistemics::tests::the_pass_is_deterministic ... ok
[INFO] [stdout] test passes::extension::tests::an_unimplemented_extension_degrades ... ok
[INFO] [stdout] test passes::extension::tests::w010_names_the_unit_and_the_schema ... ok
[INFO] [stdout] test passes::extension::tests::kernel_relation_kinds_never_warn ... ok
[INFO] [stdout] test passes::extension::tests::the_implemented_kernel_major_is_accepted ... ok
[INFO] [stdout] test passes::granularity::tests::a_real_list_is_counted ... ok
[INFO] [stdout] test passes::granularity::tests::a_prose_unit_is_exempt_from_single_assertion_admission ... ok
[INFO] [stdout] test passes::granularity::tests::a_gist_only_unit_has_no_granularity_to_check ... ok
[INFO] [stdout] test passes::extension::tests::w010_is_silent_without_a_consumer_profile ... ok
[INFO] [stdout] test passes::granularity::tests::both_findings_can_fire_on_one_unit ... ok
[INFO] [stdout] test passes::granularity::tests::one_long_paragraph_is_never_multi_assertion ... ok
[INFO] [stdout] test passes::granularity::tests::no_other_type_is_exempt ... ok
[INFO] [stdout] test passes::integrity::tests::a_causal_cycle_is_only_a_warning ... ok
[INFO] [stdout] test passes::granularity::tests::the_range_is_inclusive_at_both_ends ... ok
[INFO] [stdout] test passes::granularity::tests::a_long_body_warns_w041 ... ok
[INFO] [stdout] test passes::granularity::tests::the_range_follows_the_profile ... ok
[INFO] [stdout] test passes::granularity::tests::a_short_body_warns_w041 ... ok
[INFO] [stdout] test passes::granularity::tests::a_single_paragraph_in_range_is_clean ... ok
[INFO] [stdout] test passes::integrity::tests::a_clean_store_reports_nothing ... ok
[INFO] [stdout] test passes::granularity::tests::ordinary_prose_is_not_a_list ... ok
[INFO] [stdout] test passes::granularity::tests::topical_admission_permits_several_paragraphs ... ok
[INFO] [stdout] test passes::integrity::tests::a_support_cycle_is_e061 ... ok
[INFO] [stdout] test passes::integrity::tests::an_empty_store_reports_nothing ... ok
[INFO] [stdout] test passes::granularity::tests::a_single_item_list_is_not_multi_assertion ... ok
[INFO] [stdout] test passes::granularity::tests::two_paragraphs_are_e040_under_single_assertion ... ok
[INFO] [stdout] test passes::integrity::tests::support_is_only_structural_edges ... ok
[INFO] [stdout] test passes::granularity::tests::a_multi_item_list_is_e040_under_single_assertion ... ok
[INFO] [stdout] test passes::integrity::tests::a_dangling_dep_is_e060 ... ok
[INFO] [stdout] test passes::integrity::tests::the_diagnostic_names_the_units_involved ... ok
[INFO] [stdout] test passes::integrity::tests::a_dangling_relation_endpoint_is_e060 ... ok
[INFO] [stdout] test passes::integrity::tests::withdrawing_a_retraction_is_reported_and_withdrawing_a_rebuttal_is_not ... ok
[INFO] [stdout] test passes::integrity::tests::a_rebuttal_loop_is_not_a_causal_cycle ... ok
[INFO] [stdout] test passes::shape::tests::a_well_formed_measured_unit_passes ... ok
[INFO] [stdout] test passes::shape::tests::a_short_gist_passes_every_profile ... ok
[INFO] [stdout] test passes::integrity::tests::a_sequence_cycle_is_also_only_a_warning ... ok
[INFO] [stdout] test passes::integrity::tests::every_dangling_reference_is_reported ... ok
[INFO] [stdout] test passes::shape::tests::the_constructor_makes_the_remaining_shape_rules_unreachable ... ok
[INFO] [stdout] test passes::shape::tests::an_oversized_gist_is_e022 ... ok
[INFO] [stdout] test passes::shape::tests::the_pass_reports_every_unit_not_just_the_first ... ok
[INFO] [stdout] test passes::trust::tests::a_model_claiming_derived_is_e033 ... ok
[INFO] [stdout] test passes::trust::tests::a_computed_import_may_claim_derived ... ok
[INFO] [stdout] test passes::shape::tests::the_gist_bound_is_measured_in_estimator_tokens ... ok
[INFO] [stdout] test passes::trust::tests::a_model_asserting_inferred_is_within_its_ceiling ... ok
[INFO] [stdout] test passes::trust::tests::a_computed_rung_import_may_record_measured ... ok
[INFO] [stdout] test passes::trust::tests::a_unit_with_no_attestation_has_no_ceiling_to_check ... ok
[INFO] [stdout] test passes::trust::tests::an_ingest_rung_import_may_not_record_measured ... ok
[INFO] [stdout] test passes::trust::tests::an_import_at_the_model_rung_still_caps_at_inferred ... ok
[INFO] [stdout] test passes::trust::tests::a_document_import_may_claim_cited ... ok
[INFO] [stdout] test tests::a_clean_store_conforms_at_every_class ... ok
[INFO] [stdout] test passes::trust::tests::may_assign_matches_the_op_table ... ok
[INFO] [stdout] test tests::conformance_verdicts_differ_by_class ... ok
[INFO] [stdout] test passes::trust::tests::measured_requires_an_import ... ok
[INFO] [stdout] test passes::trust::tests::no_rung_reaches_measured_by_authoring ... ok
[INFO] [stdout] test passes::trust::tests::the_best_provenance_binds_not_the_worst ... ok
[INFO] [stdout] test passes::trust::tests::rule_t_and_rule_m_bind_different_things ... ok
[INFO] [stdout] test tests::a_clean_store_produces_an_empty_report ... ok
[INFO] [stdout] test tests::a_structural_defect_blocks_every_class ... ok
[INFO] [stdout] test passes::trust::tests::each_rung_permits_exactly_its_ceiling_and_below ... ok
[INFO] [stdout] test passes::shape::tests::the_gist_bound_does_not_vary_by_profile ... ok
[INFO] [stdout] test tests::rules_m_and_t_both_run ... ok
[INFO] [stdout] test tests::warnings_do_not_block_conformance ... ok
[INFO] [stdout] test tests::the_granularity_comes_from_the_view_when_not_given ... ok
[INFO] [stdout] test tests::every_pass_runs_whatever_the_earlier_ones_found ... ok
[INFO] [stdout] test tests::ten_passes_numbered_as_in_section_17 ... ok
[INFO] [stdout] test tests::selecting_an_unimplemented_pass_runs_nothing ... ok
[INFO] [stdout] test tests::fail_on_projects_the_report_into_a_result ... ok
[INFO] [stdout] test tests::five_conformance_classes_with_stable_names ... ok
[INFO] [stdout] test tests::the_granularity_distribution_is_reported_not_rejected ... ok
[INFO] [stdout] test tests::only_the_landed_passes_are_implemented ... ok
[INFO] [stdout] test tests::passes_can_be_selected_individually ... ok
[INFO] [stdout] test tests::the_report_is_sorted_and_therefore_reproducible ... ok
[INFO] [stdout] test passes::closure::tests::a_reference_by_label_is_recognised_when_a_binding_is_supplied ... ok
[INFO] [stdout] test passes::extension::tests::a_required_but_unimplemented_schema_degrades_even_with_no_units ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 113 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mixed_granularity.rs (/opt/rustwide/target/debug/deps/mixed_granularity-2bbddebe6ce6c127)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test a_store_whose_views_agree_is_checked_exactly_as_before ... ok
[INFO] [stdout] test a_body_outside_every_profile_in_the_store_still_warns ... ok
[INFO] [stderr]      Running tests/repeated_records.rs (/opt/rustwide/target/debug/deps/repeated_records-486135b4f01993b9)
[INFO] [stdout] test a_mixed_store_does_not_judge_units_by_the_first_view_id ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test a_store_this_build_wrote_has_nothing_to_report ... ok
[INFO] [stdout] test a_log_with_repeats_is_reported_once ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/scaling.rs (/opt/rustwide/target/debug/deps/scaling-43c29f6a5ee979ad)
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests smysl_check
[INFO] [stdout] running 2 tests
[INFO] [stdout] test check_per_call_cost ... ignored, a measurement, not a gate
[INFO] [stdout] test check_per_pass_cost ... ignored, a measurement, not a gate
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 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] running `Command { std: "docker" "inspect" "5bb21799e0716865278b8c93607913c43bb4d1fa60cca1c13abbcc46a86e23fb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5bb21799e0716865278b8c93607913c43bb4d1fa60cca1c13abbcc46a86e23fb", kill_on_drop: false }`
[INFO] [stdout] 5bb21799e0716865278b8c93607913c43bb4d1fa60cca1c13abbcc46a86e23fb
