[INFO] fetching crate specodelic 0.10.0...
[INFO] testing specodelic-0.10.0 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate specodelic 0.10.0 into /workspace/builds/worker-3-tc2/source
[INFO] started tweaking crates.io crate specodelic 0.10.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate specodelic 0.10.0
[INFO] tweaked toml for crates.io crate specodelic 0.10.0 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate specodelic 0.10.0 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 specodelic 0.10.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.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: Cargo.toml: file `/workspace/builds/worker-3-tc2/source/src/main.rs` found to be present in multiple build targets:
[INFO] [stderr]   * `bin` target `specodelic`
[INFO] [stderr]   * `bin` target `spk`
[INFO] [stderr] warning: `specodelic` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] bdc5b4ae32704c3a8fc77a2b2a5d19077663e2a39be4e21480015834fa1726dc
[INFO] running `Command { std: "docker" "start" "bdc5b4ae32704c3a8fc77a2b2a5d19077663e2a39be4e21480015834fa1726dc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "bdc5b4ae32704c3a8fc77a2b2a5d19077663e2a39be4e21480015834fa1726dc", 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" "bdc5b4ae32704c3a8fc77a2b2a5d19077663e2a39be4e21480015834fa1726dc" "/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" "bdc5b4ae32704c3a8fc77a2b2a5d19077663e2a39be4e21480015834fa1726dc", 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" "bdc5b4ae32704c3a8fc77a2b2a5d19077663e2a39be4e21480015834fa1726dc" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: Cargo.toml: file `/opt/rustwide/workdir/src/main.rs` found to be present in multiple build targets:
[INFO] [stderr]   * `bin` target `specodelic`
[INFO] [stderr]   * `bin` target `spk`
[INFO] [stderr] warning: `specodelic` (manifest) generated 1 warning
[INFO] [stderr]    Compiling writeable v0.6.4
[INFO] [stderr]    Compiling smallvec v1.16.2
[INFO] [stderr]    Compiling cc v1.5.1
[INFO] [stderr]    Compiling zerocopy v0.8.59
[INFO] [stderr]    Compiling rustix v1.1.5
[INFO] [stderr]    Compiling syn v3.0.6
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling addr2line v0.25.1
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling rustls v0.23.45
[INFO] [stderr]    Compiling clap_lex v1.1.1
[INFO] [stderr]    Compiling rustc-demangle v0.1.28
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling webpki-roots v0.26.11
[INFO] [stderr]    Compiling serde_json v1.0.151
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling owo-colors v4.4.0
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling ascii v1.1.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling clap_builder v4.6.7
[INFO] [stderr]    Compiling chunked_transfer v1.5.0
[INFO] [stderr]    Compiling digest v0.11.3
[INFO] [stderr]    Compiling tiny_http v0.12.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling id-set v0.2.2
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling dashmap v6.2.1
[INFO] [stderr]    Compiling semver v1.0.28
[INFO] [stderr]    Compiling choice v0.0.2
[INFO] [stderr]    Compiling sha2 v0.11.0
[INFO] [stderr]    Compiling miette-derive v7.6.0
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling terminal_size v0.4.4
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling synstructure v0.14.0
[INFO] [stderr]    Compiling zerofrom-derive v0.1.8
[INFO] [stderr]    Compiling yoke-derive v0.8.4
[INFO] [stderr]    Compiling zerovec-derive v0.11.6
[INFO] [stderr]    Compiling displaydoc v0.2.7
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling backtrace v0.3.76
[INFO] [stderr]    Compiling clap_derive v4.6.7
[INFO] [stderr]    Compiling thiserror-impl v2.0.21
[INFO] [stderr]    Compiling backtrace-ext v0.2.1
[INFO] [stderr]    Compiling zerofrom v0.1.8
[INFO] [stderr]    Compiling yoke v0.8.3
[INFO] [stderr]    Compiling zerovec v0.11.8
[INFO] [stderr]    Compiling zerotrie v0.2.5
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.5
[INFO] [stderr]    Compiling thiserror v2.0.21
[INFO] [stderr]    Compiling clap v4.6.7
[INFO] [stderr]    Compiling clap_complete v4.6.11
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling tinystr v0.8.4
[INFO] [stderr]    Compiling potential_utf v0.1.6
[INFO] [stderr]    Compiling icu_collections v2.3.0
[INFO] [stderr]    Compiling icu_locale_core v2.3.0
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling stateright v0.31.0
[INFO] [stderr]    Compiling serde_yaml_ng v0.10.0
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling icu_provider v2.3.1
[INFO] [stderr]    Compiling icu_normalizer v2.3.0
[INFO] [stderr]    Compiling icu_properties v2.3.0
[INFO] [stderr]    Compiling icu_locale_fallback v2.3.0
[INFO] [stderr]    Compiling icu_segmenter v2.3.0
[INFO] [stderr]    Compiling textwrap v0.16.4
[INFO] [stderr]    Compiling miette v7.6.0
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling rustls-webpki v0.103.15
[INFO] [stderr]    Compiling ureq v2.12.1
[INFO] [stderr]    Compiling genesis-vibes v0.11.1
[INFO] [stderr]    Compiling specodelic v0.10.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused dependency `proptest`
[INFO] [stderr]   --> Cargo.toml:27:15
[INFO] [stderr]    |
[INFO] [stderr] 27 | [dependencies.proptest]
[INFO] [stderr]    |               ^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `proptest`
[INFO] [stderr] warning: `specodelic` (manifest) generated 1 warning
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1m 39s
[INFO] running `Command { std: "docker" "inspect" "bdc5b4ae32704c3a8fc77a2b2a5d19077663e2a39be4e21480015834fa1726dc", 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" "bdc5b4ae32704c3a8fc77a2b2a5d19077663e2a39be4e21480015834fa1726dc" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: Cargo.toml: file `/opt/rustwide/workdir/src/main.rs` found to be present in multiple build targets:
[INFO] [stderr]   * `bin` target `specodelic`
[INFO] [stderr]   * `bin` target `spk`
[INFO] [stderr] warning: `specodelic` (manifest) generated 1 warning
[INFO] [stderr]    Compiling regex-automata v0.4.18
[INFO] [stderr]    Compiling float-cmp v0.10.0
[INFO] [stderr]    Compiling assert_cmd v2.2.2
[INFO] [stderr]    Compiling filetime v0.2.29
[INFO] [stderr]    Compiling regex v1.13.1
[INFO] [stderr]    Compiling bstr v1.13.1
[INFO] [stderr]    Compiling genesis-vibes v0.11.1
[INFO] [stderr]    Compiling predicates v3.1.4
[INFO] [stderr]    Compiling specodelic v0.10.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 2m 06s
[INFO] running `Command { std: "docker" "inspect" "bdc5b4ae32704c3a8fc77a2b2a5d19077663e2a39be4e21480015834fa1726dc", 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" "bdc5b4ae32704c3a8fc77a2b2a5d19077663e2a39be4e21480015834fa1726dc" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: Cargo.toml: file `/opt/rustwide/workdir/src/main.rs` found to be present in multiple build targets:
[INFO] [stderr]   * `bin` target `specodelic`
[INFO] [stderr]   * `bin` target `spk`
[INFO] [stderr] warning: `specodelic` (manifest) generated 1 warning
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.36s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/specodelic/7a7957d6cafd339f/out/specodelic-7a7957d6cafd339f)
[INFO] [stdout] 
[INFO] [stdout] running 399 tests
[INFO] [stdout] test acset::doc::tests::doc_missing_one_row_of_the_schema ... ok
[INFO] [stdout] test acset::instance::tests::attribute_cells_carried_untouched ... ok
[INFO] [stdout] test acset::instance::tests::no_link_dropped ... ok
[INFO] [stdout] test acset::instance::tests::dangling_is_a_value ... ok
[INFO] [stdout] test acset::schema::tests::canonical_schema_is_valid ... ok
[INFO] [stdout] test acset::instance::tests::forbidden_edge_not_stored ... ok
[INFO] [stdout] test acset::doc::tests::a_changed_header_is_an_error ... ok
[INFO] [stdout] test acset::schema::tests::duplicate_morphism_rejected ... ok
[INFO] [stdout] test acset::schema::tests::unflagged_endo_cycle_tolerated ... ok
[INFO] [stdout] test acset::schema::tests::typing_read_from_schema ... ok
[INFO] [stdout] test acset::schema::tests::typing_reasons_match_pinned_prose ... ok
[INFO] [stdout] test acset::schema::tests::sixth_object_rejected ... ok
[INFO] [stdout] test acset::doc::tests::later_sentence_object_mentions_are_not_claims ... ok
[INFO] [stdout] test archive_companion::tests::resolve_archive_dir_none_is_labeled_error ... ok
[INFO] [stdout] test acset::instance::tests::duplicate_id_first_wins_parity ... ok
[INFO] [stdout] test archive_companion::tests::resolve_archive_dir_newest_wins ... ok
[INFO] [stdout] test acset::schema::tests::endo_cycle_detected ... ok
[INFO] [stdout] test archive_companion::tests::restore_copies_verbatim_and_creates_dirs ... ok
[INFO] [stdout] test archive_companion::tests::run_archives_active_change_then_restores ... ok
[INFO] [stdout] test archive_companion::tests::run_already_archived_skips_openspec ... ok
[INFO] [stdout] test acset::schema::tests::emits_refinement_enforced ... ok
[INFO] [stdout] test archive_companion::tests::restore_empty_delta_set_is_success ... ok
[INFO] [stdout] test acset::doc::tests::schema_missing_one_row_of_the_typing_table ... ok
[INFO] [stdout] test acset::doc::tests::an_uninterpretable_cell_is_an_error ... ok
[INFO] [stdout] test acset::doc::tests::the_section_grammar_reads_today_s_table ... ok
[INFO] [stdout] test archive_companion::tests::run_dry_run_never_invokes_or_writes ... ok
[INFO] [stdout] test acset::instance::tests::rebuild_is_byte_stable ... ok
[INFO] [stdout] test checklist::tests::backticked_status_cells_are_accepted ... ok
[INFO] [stdout] test checklist::tests::bom_is_tolerated ... ok
[INFO] [stdout] test archive_companion::tests::verify_refuses_frontmatterless_delta ... ok
[INFO] [stdout] test archive_companion::tests::restore_refuses_stripped_delta_before_any_copy ... ok
[INFO] [stdout] test archive_companion::tests::verify_refuses_tableless_delta ... ok
[INFO] [stdout] test checklist::tests::deeper_header_inside_mapping_does_not_reset_parsing ... ok
[INFO] [stdout] test blocks::discovery_tests::register_creates_manifest_with_specodelic_entry ... ok
[INFO] [stdout] test blocks::tests::block_content_lists_every_rule_and_revision ... ok
[INFO] [stdout] test checklist::tests::duplicate_item_id_is_a_defect ... ok
[INFO] [stdout] test checklist::tests::mapping_row_for_undeclared_item_is_a_defect ... ok
[INFO] [stdout] test checklist::tests::item_missing_its_description_is_a_defect ... ok
[INFO] [stdout] test checklist::tests::mapping_row_with_wrong_cell_count_is_a_defect ... ok
[INFO] [stdout] test checklist::tests::mapped_ids_accept_bare_and_wikilinked_comma_lists ... ok
[INFO] [stdout] test checklist::tests::detects_checklist_paths ... ok
[INFO] [stdout] test checklist::tests::empty_manifest_declaring_no_items_is_a_defect ... ok
[INFO] [stdout] test checklist::tests::item_missing_its_id_is_a_defect ... ok
[INFO] [stdout] test checklist::tests::missing_sections_are_defects ... ok
[INFO] [stdout] test blocks::tests::inject_is_idempotent_and_refreshes ... ok
[INFO] [stdout] test blocks::discovery_tests::register_is_idempotent_and_merges_with_siblings ... ok
[INFO] [stdout] test archive_companion::tests::run_dry_run_over_active_change_reports_plan ... ok
[INFO] [stdout] test checklist::tests::nested_item_is_a_defect ... ok
[INFO] [stdout] test checklist::tests::rewrite_mapped_ids_cell_renames_bare_wrapped_and_children ... ok
[INFO] [stdout] test checklist::tests::partial_section_manifests_report_their_missing_half ... ok
[INFO] [stdout] test checklist::tests::wrong_mapping_columns_are_a_defect ... ok
[INFO] [stdout] test checklist::tests::rewrite_text_updates_only_mapped_ids_cells ... ok
[INFO] [stdout] test checklist::tests::rewrite_mapped_ids_cell_preserves_nonmatches_and_padding ... ok
[INFO] [stdout] test compile::tests::bold_prose_label_is_not_a_marker ... ok
[INFO] [stdout] test archive_companion::tests::run_unknown_change_is_labeled_error ... ok
[INFO] [stdout] test compile::tests::compile_refuses_stateless_spec_with_labeled_failure ... ok
[INFO] [stdout] test archive_companion::tests::run_dry_run_refuses_stripped_delta ... ok
[INFO] [stdout] test archive_companion::tests::run_open_spec_failure_is_labeled ... ok
[INFO] [stdout] test archive_companion::tests::verify_accepts_dual_format_delta ... ok
[INFO] [stdout] test checklist::tests::parses_well_formed_manifest ... ok
[INFO] [stdout] test archive_companion::tests::run_open_spec_missing_is_labeled ... ok
[INFO] [stdout] test compile::tests::guard_py_marker_still_rejected_labeled ... ok
[INFO] [stdout] test compile::tests::fragment_values_bind_generators_as_strings ... ok
[INFO] [stdout] test compile::tests::double_marker_rejected_labeled ... ok
[INFO] [stdout] test compile::tests::guard_rust_marker_still_rejected_labeled ... ok
[INFO] [stdout] test compile::tests::executable_invariants_extract_into_the_ir ... ok
[INFO] [stdout] test compile::tests::guard_unknown_tag_marker_rejected_labeled ... ok
[INFO] [stdout] test compile::tests::expr_cell_same_tag_grammar ... ok
[INFO] [stdout] test compile::tests::colliding_fn_names_are_disambiguated ... ok
[INFO] [stdout] test compile::tests::hygiene_violation_rejected_labeled_names_token ... ok
[INFO] [stdout] test compile::tests::fragment_body_emitted_verbatim ... ok
[INFO] [stdout] test compile::tests::empty_fragment_rejected_labeled ... ok
[INFO] [stdout] test compile::tests::generators_get_spec_gen_helpers ... ok
[INFO] [stdout] test compile::tests::guard_citations_extracted_from_invariant_rows_prose_excluded ... ok
[INFO] [stdout] test compile::tests::guard_fragment_rejected_labeled ... ok
[INFO] [stdout] test compile::tests::compile_preserves_every_source_id ... ok
[INFO] [stdout] test compile::tests::parameterless_generator_rows_emit_plain_test_fns ... ok
[INFO] [stdout] test compile::tests::py_no_emitter_fails_labeled ... ok
[INFO] [stdout] test compile::tests::ir_emits_covers_exactly_emitting_states ... ok
[INFO] [stdout] test compile::tests::law_fragment_rejected_labeled ... ok
[INFO] [stdout] test compile::tests::ir_transition_count_matches ... ok
[INFO] [stdout] test compile::tests::marker_mentions_never_extract ... ok
[INFO] [stdout] test compile::tests::py_tag_extracts_at_grammar_level ... ok
[INFO] [stdout] test compile::tests::module_carries_the_fragment_manifest ... ok
[INFO] [stdout] test compile::tests::law_without_labels_falls_back_to_floor ... ok
[INFO] [stdout] test compile::tests::law_expands_to_required_cases ... ok
[INFO] [stdout] test compile::tests::tla_disjunct_count_matches_transitions_plus_stuttering ... ok
[INFO] [stdout] test compile::tests::no_semantic_drift_roundtrip_is_byte_identical ... ok
[INFO] [stdout] test compile::tests::sanitize_ident_caps_extremely_long_ids_and_stays_unique_deterministic ... ok
[INFO] [stdout] test compile::tests::sanitize_ident_leading_digit_and_unicode_are_valid_rust_idents ... ok
[INFO] [stdout] test compile::tests::non_invariant_fragment_rejected_labeled ... ok
[INFO] [stdout] test compile::tests::prose_predicate_stays_placeholder ... ok
[INFO] [stdout] test compile::tests::tla_artifact_is_byte_stable ... ok
[INFO] [stdout] test compile::tests::tla_module_header_is_single_line_tla_plus_form ... ok
[INFO] [stdout] test compile::tests::tla_module_name_sanitized_and_guard_verbatim ... ok
[INFO] [stdout] test compile::tests::toml_ids_preserved_verbatim ... ok
[INFO] [stdout] test compile::tests::midspan_py_marker_is_mention ... ok
[INFO] [stdout] test compile::tests::unit_property_yields_at_least_one_block ... ok
[INFO] [stdout] test compile::tests::span_opening_optin_extracts_mention_alongside_ignored ... ok
[INFO] [stdout] test doctor::tests::beads_check_warns_when_missing ... ok
[INFO] [stdout] test compile::tests::tla_no_emits_means_empty_output ... ok
[INFO] [stdout] test compile::tests::tla_output_covers_emitting_states_only ... ok
[INFO] [stdout] test compile::tests::rust_back_compat_byte_identical ... ok
[INFO] [stdout] test compile::tests::toml_roundtrips_field_for_field ... ok
[INFO] [stdout] test compile::tests::ts_no_emitter_fails_labeled ... ok
[INFO] [stdout] test compile::tests::unknown_tag_rejected_labeled ... ok
[INFO] [stdout] test doctor::tests::block_check_warns_when_missing_and_names_the_fix ... ok
[INFO] [stdout] test doctor::tests::consumer_report_has_zero_failures_even_when_not_healthy ... ok
[INFO] [stdout] test doctor::tests::beads_check_passes_when_initialized ... ok
[INFO] [stdout] test doctor::tests::block_check_warns_when_stale ... ok
[INFO] [stdout] test doctor::tests::block_check_passes_when_current ... ok
[INFO] [stdout] test doctor::tests::mode_is_self_hosting_with_legacy_two_tree_corpus ... ok
[INFO] [stdout] test doctor::tests::payload_renders_findings_for_broken_workspaces ... ok
[INFO] [stdout] test doctor::tests::block_check_is_auto_fixable_and_fix_injects ... ok
[INFO] [stdout] test doctor::tests::mode_is_self_hosting_when_core_spec_present ... ok
[INFO] [stdout] test doctor::tests::runner_fix_dispatch_repairs_the_block ... ok
[INFO] [stdout] test doctor::tests::payload_matches_the_hand_rolled_shape ... ok
[INFO] [stdout] test doctor::tests::discovery_advises_when_no_corpus ... ok
[INFO] [stdout] test compile::tests::parameterless_fragment_row_asserts_outside_proptest ... ok
[INFO] [stdout] test doctor::tests::discovery_passes_when_specs_dir_exists ... ok
[INFO] [stdout] test ears::tests::optional_feature ... ok
[INFO] [stdout] test ears::tests::state_driven ... ok
[INFO] [stdout] test graph::tests::dotted_row_ids_are_unaddressable ... ok
[INFO] [stdout] test doctor::tests::mode_is_consumer_otherwise ... ok
[INFO] [stdout] test graph::tests::member_path_resolves_in_first_dot_arm ... ok
[INFO] [stdout] test graph::tests::edge_projection_unknown_ids_carry_empty_kind ... ok
[INFO] [stdout] test doctor::tests::runner_report_never_fails_on_any_workspace_shape ... ok
[INFO] [stdout] test doctor::tests::discovery_passes_on_openspec_tree_and_counts_files ... ok
[INFO] [stdout] test graph::tests::wiring_projection_collapses_drops_and_aggregates ... ok
[INFO] [stdout] test ears::tests::folded_frontmatter_lines_match ... ok
[INFO] [stdout] test ears::tests::has_shall_works ... ok
[INFO] [stdout] test ears::tests::unwanted_behavior ... ok
[INFO] [stdout] test graph::tests::dotted_file_id_resolves_last_dot_first ... ok
[INFO] [stdout] test graph::tests::render_wiring_mermaid_pins_exact_bytes ... ok
[INFO] [stdout] test ears::tests::event_driven ... ok
[INFO] [stdout] test graph::tests::edge_projection_normalizes_sorts_and_preserves_multiplicity ... ok
[INFO] [stdout] test ears::tests::no_shall_fails ... ok
[INFO] [stdout] test graph::tests::mermaid_escape_neutralizes_label_breakers ... ok
[INFO] [stdout] test ears::tests::ubiquitous ... ok
[INFO] [stdout] test graph::tests::render_wiring_dot_pins_sample_shape ... ok
[INFO] [stdout] test guide::tests::format_topic_documents_escaped_pipes ... ok
[INFO] [stdout] test guide::tests::guard_typing_admits_state_citation ... ok
[INFO] [stdout] test doctor::tests::runner_report_is_healthy_on_a_set_up_self_hosting_repo ... ok
[INFO] [stdout] test graph::tests::anchors_and_bare_local_rows ... ok
[INFO] [stdout] test guide::tests::law_cases_machine_form_is_ratified_in_the_corpus ... ok
[INFO] [stdout] test graph::tests::render_wiring_labels_empty_views ... ok
[INFO] [stdout] test guide::tests::lifecycle_topic_states_the_claim_gate_and_assurance_distinction ... ok
[INFO] [stdout] test graph::tests::wiring_projection_unattributable_endpoint_falls_back_to_itself ... ok
[INFO] [stdout] test guide::tests::format_topic_points_at_the_file_qualified_ref_law ... ok
[INFO] [stdout] test guide::tests::closed_sets_render_from_constants ... ok
[INFO] [stdout] test guide::tests::dual_format_topic_documents_self_intent_trace_and_drift_rule ... ok
[INFO] [stdout] test guide::tests::format_revision_matches_corpus ... ok
[INFO] [stdout] test guide::tests::graph_views_topic_is_appended_last ... ok
[INFO] [stdout] test guide::tests::graph_views_topic_documents_taxonomy_flags_and_recipes ... ok
[INFO] [stdout] test guide::tests::predicate_fragments_ratified_in_the_corpus ... ok
[INFO] [stdout] test guide::tests::pack_mechanism_sets_grown_per_revision_14 ... ok
[INFO] [stdout] test guide::tests::revision_comparison_is_numeric ... ok
[INFO] [stdout] test guide::tests::pack_mechanism_ratified_in_the_corpus ... ok
[INFO] [stdout] test guide::tests::schema_export_is_deterministic ... ok
[INFO] [stdout] test guide::tests::references_topic_documents_file_qualified_ref_syntax ... ok
[INFO] [stdout] test guide::tests::schema_export_accepts_constructed_schemas ... ok
[INFO] [stdout] test guide::tests::topic_bodies_render_for_all_topics ... ok
[INFO] [stdout] test guide::tests::schema_export_projects_canonical_schema ... ok
[INFO] [stdout] test guide::tests::unknown_topic_renders_none ... ok
[INFO] [stdout] test guide::tests::value_set_payload_carries_kinds_row_shapes_and_revision ... ok
[INFO] [stdout] test guide::tests::primer_prose_does_not_duplicate_closed_sets ... ok
[INFO] [stdout] test hooks::tests::install_delegates_to_genesis_ensure_command_wired ... ok
[INFO] [stdout] test hooks::tests::golden_install_uninstall_round_trip_is_byte_identical_4_space ... ok
[INFO] [stdout] test hooks::tests::install_appends_stage_section_when_missing ... ok
[INFO] [stdout] test hooks::tests::install_refuses_mis_indented_commands_key ... ok
[INFO] [stdout] test hooks::tests::install_refuses_prek_framework ... ok
[INFO] [stdout] test hooks::tests::install_handles_config_without_trailing_newline ... ok
[INFO] [stdout] test hooks::tests::install_is_idempotent ... ok
[INFO] [stdout] test hooks::tests::install_matches_children_indent_of_the_stage ... ok
[INFO] [stdout] test compile::tests::sanitize_ident_never_yields_a_rust_keyword_or_empty ... ok
[INFO] [stdout] test hooks::tests::install_refuses_without_modification_when_stage_key_unanchorable ... ok
[INFO] [stdout] test hooks::tests::install_handles_crlf_config ... ok
[INFO] [stdout] test hooks::tests::uninstall_on_missing_config_is_a_no_op ... ok
[INFO] [stdout] test human::tests::archive_companion_human_summary ... ok
[INFO] [stdout] test hooks::tests::uninstall_on_unwired_repo_is_a_no_op ... ok
[INFO] [stdout] test human::tests::debug_markers_never_appear ... ok
[INFO] [stdout] test hooks::tests::install_inserts_inside_existing_commands_mapping ... ok
[INFO] [stdout] test hooks::tests::uninstall_strips_only_the_marked_block ... ok
[INFO] [stdout] test hooks::tests::install_uses_wrapper_when_stage_has_no_commands ... ok
[INFO] [stdout] test human::tests::graph_text_names_dangling_refs ... ok
[INFO] [stdout] test hooks::tests::uninstall_refuses_unbalanced_markers ... ok
[INFO] [stdout] test human::tests::lint_text_carries_rule_ids_and_counts ... ok
[INFO] [stdout] test human::tests::payload_formatters_render_from_envelope_values ... ok
[INFO] [stdout] test lint::checker_tests::ears_family_owns_statement_and_id_shape_rules ... ok
[INFO] [stdout] test lint::checker_tests::frontmatter_family_owns_file_structure_rules ... ok
[INFO] [stdout] test lint::checker_tests::graph_family_owns_acyclic_and_reachability ... ok
[INFO] [stdout] test hooks::tests::uninstall_leaves_appended_stage_as_documented_residue ... ok
[INFO] [stdout] test lint::checker_tests::referential_family_owns_unique_id_and_total_refs ... ok
[INFO] [stdout] test lint::tests::anchors_resolve_but_name_no_row ... ok
[INFO] [stdout] test lint::tests::bare_local_row_and_bare_file_id ... ok
[INFO] [stdout] test hooks::tests::golden_install_uninstall_round_trip_is_byte_identical_2_space ... ok
[INFO] [stdout] test lint::checker_tests::model_family_owns_guard_and_transition_rules ... ok
[INFO] [stdout] test lint::tests::dotted_file_id_row_member_resolves_in_last_dot_arm ... ok
[INFO] [stdout] test lint::tests::dotted_file_id_row_resolves ... ok
[INFO] [stdout] test lint::checker_tests::schema_shape_checker_reports_no_table_rules ... ok
[INFO] [stdout] test lint::tests::dotted_row_ids_are_unaddressable ... ok
[INFO] [stdout] test lint::checker_tests::made_up_constraint_kind_fires_constraint_kind_closed ... ok
[INFO] [stdout] test lint::tests::coverage_finding_suggests_the_wiki_link_form ... ok
[INFO] [stdout] test lint::checker_tests::missing_kind_cell_fires_the_kind_closed_rule ... ok
[INFO] [stdout] test lint::tests::duplicate_claim_rejected ... ok
[INFO] [stdout] test lint::tests::covered_target_must_be_a_row_not_a_file_or_anchor ... ok
[INFO] [stdout] test lint::checker_tests::made_up_property_kind_fires_property_kind_closed ... ok
[INFO] [stdout] test lint::tests::exact_file_id_beats_split_arms ... ok
[INFO] [stdout] test lint::tests::dual_format_file_with_both_halves_is_clean ... ok
[INFO] [stdout] test lint::tests::dangling_mapped_id_rejected ... ok
[INFO] [stdout] test lint::tests::every_state_in_a_transition_passes ... ok
[INFO] [stdout] test lint::tests::law_row_with_floor_and_extra_case_is_clean ... ok
[INFO] [stdout] test lint::tests::dual_format_added_without_requirements_section_fires ... ok
[INFO] [stdout] test lint::tests::metasyntactic_targets_are_skipped ... ok
[INFO] [stdout] test lint::tests::member_path_resolves_in_first_dot_arm ... ok
[INFO] [stdout] test lint::tests::cross_file_only_rows_warn_advisory_own_file_chain_passes ... ok
[INFO] [stdout] test lint::checker_tests::families_composed_equal_the_flat_pass ... ok
[INFO] [stdout] test lint::tests::law_row_with_prose_only_cases_is_rejected ... ok
[INFO] [stdout] test lint::tests::dangling_observes_is_total_refs_beat_not_observability ... ok
[INFO] [stdout] test lint::tests::law_row_missing_one_floor_case_names_only_it ... ok
[INFO] [stdout] test lint::tests::fully_mapped_checklist_passes ... ok
[INFO] [stdout] test lint::tests::law_property_deriving_from_property_is_not_an_orphan ... ok
[INFO] [stdout] test lint::tests::misspelled_floor_label_is_not_the_floor ... ok
[INFO] [stdout] test lint::tests::modified_delta_in_sync_lints_clean ... ok
[INFO] [stdout] test lint::tests::modified_delta_with_drifted_mirror_fires_requirement_drift ... ok
[INFO] [stdout] test lint::tests::no_orphan_property_hint_teaches_wiki_link_syntax ... ok
[INFO] [stdout] test lint::tests::orphan_property_fires_when_derives_from_resolves_to_property ... ok
[INFO] [stdout] test lint::tests::orphan_cluster_fails_single_root_reachable ... ok
[INFO] [stdout] test lint::tests::malformed_checklist_rejected ... ok
[INFO] [stdout] test lint::tests::no_checklist_is_not_applicable ... ok
[INFO] [stdout] test lint::tests::mutual_traces_cycle_fails_acyclic ... ok
[INFO] [stdout] test lint::tests::plain_spec_without_added_section_is_exempt ... ok
[INFO] [stdout] test hooks::tests::install_errors_on_missing_config_and_never_creates_one ... ok
[INFO] [stdout] test lint::tests::observed_effect_is_silent_and_self_observation_does_not_count ... ok
[INFO] [stdout] test lint::tests::revision18::modified_delta_with_non_spec_id_fires_dual_format_valid ... ok
[INFO] [stdout] test lint::tests::rule_table_keys_are_unique ... ok
[INFO] [stdout] test lint::tests::revision18::dual_format_file_with_wrong_id_fires_id_matches_file ... ok
[INFO] [stdout] test lint::tests::revision18::spec_md_derives_expected_id_from_parent_dir ... ok
[INFO] [stdout] test lint::tests::revision18::spec_md_with_legacy_id_spec_fires_id_matches_file ... ok
[INFO] [stdout] test lint::tests::revision18::spec_md_without_parent_dir_keeps_stem_derivation ... ok
[INFO] [stdout] test lint::tests::requirement_drift_allows_mixed_added_and_modified_deltas ... ok
[INFO] [stdout] test lint::tests::revision18::real_id_dual_format_files_resolve_cross_file ... ok
[INFO] [stdout] test lint::tests::total_refs_hint_absent_for_genuinely_unknown_targets ... ok
[INFO] [stdout] test lint::tests::revision18::same_id_files_do_not_collide_in_reference_resolution ... ok
[INFO] [stdout] test lint::tests::self_referencing_row_fails_no_self_ref ... ok
[INFO] [stdout] test lint::tests::revision18::spec_md_underscore_dir_is_literal ... ok
[INFO] [stdout] test lint::tests::requirement_drift_fires_on_mirrored_section_drift ... ok
[INFO] [stdout] test lint::tests::transition_to_undeclared_state_fails_every_transition_valid ... ok
[INFO] [stdout] test merge::blast_radius_parity::dependents_forward_reach_joins_the_radius ... ok
[INFO] [stdout] test migrate::rekey_tests::rekey_dry_run_semantics_via_outcome ... ok
[INFO] [stdout] test lint::tests::unit_rows_never_trigger_law_cases ... ok
[INFO] [stdout] test migrate::rekey_tests::rekey_preserves_prose_mentions ... ok
[INFO] [stdout] test lint::tests::unmapped_item_rejected ... ok
[INFO] [stdout] test migrate::rekey_tests::rekey_refuses_bare_spec_md ... ok
[INFO] [stdout] test migrate::rekey_tests::rekey_refuses_plain_delta ... ok
[INFO] [stdout] test migrate::tests::already_migrated_is_refused ... ok
[INFO] [stdout] test migrate::tests::crlf_is_preserved ... ok
[INFO] [stdout] test migrate::tests::degenerate_one_line_delta_is_refused_labeled ... ok
[INFO] [stdout] test lint::tests::well_formed_file_passes_graph_and_model_shape ... ok
[INFO] [stdout] test migrate::tests::duplicate_requirement_heading_across_sections_is_refused ... ok
[INFO] [stdout] test migrate::rekey_tests::rekey_rewrites_id_and_refs ... ok
[INFO] [stdout] test migrate::tests::mirror_is_byte_exact_when_delta_is_last_section ... ok
[INFO] [stdout] test migrate::tests::mirror_is_byte_exact_when_trailing_section_follows ... ok
[INFO] [stdout] test migrate::tests::merge_keeps_existing_constraints_layer ... ok
[INFO] [stdout] test migrate::tests::merge_keeps_existing_frontmatter_verbatim ... ok
[INFO] [stdout] test lint::tests::unobserved_effect_warns_but_never_fails ... ok
[INFO] [stdout] test migrate::tests::missing_trailing_newline_is_normalized ... ok
[INFO] [stdout] test migrate::tests::mixed_delta_crlf_uses_file_eol_in_mirror ... ok
[INFO] [stdout] test migrate::tests::mixed_delta_mirror_holds_both_sections_requirements ... ok
[INFO] [stdout] test migrate::tests::no_delta_section_is_refused ... ok
[INFO] [stdout] test migrate::tests::plain_spec_is_refused ... ok
[INFO] [stdout] test migrate::rekey_tests::rekey_idempotent_second_run_is_noop ... ok
[INFO] [stdout] test migrate::tests::modified_section_between_layers_and_added_is_mirrored ... ok
[INFO] [stdout] test model_check::tests::artifact_manifest_parses_into_shape ... ok
[INFO] [stdout] test migrate::tests::wraps_plain_delta_with_frontmatter_and_mirror ... ok
[INFO] [stdout] test model_check::tests::artifact_output_entry_without_spec_emits_is_rejected ... ok
[INFO] [stdout] test lint::tests::total_refs_hint_points_at_the_file_qualified_form ... ok
[INFO] [stdout] test model_check::tests::bound_defaults_to_max_depth_100 ... ok
[INFO] [stdout] test model_check::tests::consistency_checks_the_manifest_against_the_ir ... ok
[INFO] [stdout] test model_check::tests::deleted_disjunct_code_with_comment_left_behind_is_rejected ... ok
[INFO] [stdout] test lint::tests::unknown_status_leaves_item_unaccounted ... ok
[INFO] [stdout] test model_check::tests::depth_budget_exhaustion_yields_timed_out ... ok
[INFO] [stdout] test lint::tests::unused_state_fails_every_state_used ... ok
[INFO] [stdout] test lint::tests::unrationalized_waiver_rejected ... ok
[INFO] [stdout] test model_check::tests::edited_model_without_recompile_is_a_stale_artifact_error ... ok
[INFO] [stdout] test model_check::tests::edited_code_edge_without_recompile_is_rejected ... ok
[INFO] [stdout] test model_check::tests::edited_transitions_without_recompile_are_rejected_too ... ok
[INFO] [stdout] test model_check::tests::empty_model_is_a_labeled_error ... ok
[INFO] [stdout] test model_check::tests::exploration_only_outcome_serializes_snake_case ... ok
[INFO] [stdout] test lint::tests::catalog_covers_every_rule_the_linter_can_emit ... ok
[INFO] [stdout] test model_check::tests::depth_cap_confirmation_never_runs_alongside_other_caps ... ok
[INFO] [stdout] test lint::tests::unresolved_derives_from_target_stays_total_refs_beat ... ok
[INFO] [stdout] test model_check::tests::facts_map_to_outcomes ... ok
[INFO] [stdout] test model_check::tests::facts_parse_from_the_scratch_line ... ok
[INFO] [stdout] test model_check::tests::non_emitted_module_is_rejected_not_silently_run ... ok
[INFO] [stdout] test model_check::tests::exploration_run_names_backend_and_restates_bound ... ok
[INFO] [stdout] test model_check::tests::exploration_is_exhaustive_within_the_bound ... ok
[INFO] [stdout] test model_check::tests::cyclic_automaton_terminates_and_explores_each_state_once ... ok
[INFO] [stdout] test model_check::tests::output_missing_when_the_spec_emits_is_rejected ... ok
[INFO] [stdout] test model_check::tests::exhaustive_run_with_zero_invariants_is_never_reported_clean ... ok
[INFO] [stdout] test model_check::tests::output_value_drift_without_recompile_is_rejected ... ok
[INFO] [stdout] test model_check::tests::report_serializes_outcome_snake_case_and_omits_absent_violation ... ok
[INFO] [stdout] test model_check::tests::scratch_source_compiles_fragments_verbatim ... ok
[INFO] [stdout] test model_check::tests::depth_cap_equal_to_the_diameter_still_confirms_exploration ... ok
[INFO] [stdout] test model_check::tests::output_matching_the_ir_passes ... ok
[INFO] [stdout] test model_check::tests::genuinely_truncated_depth_budget_still_yields_timed_out ... ok
[INFO] [stdout] test model_check::tests::stale_report_detected_by_artifact_hash_change ... ok
[INFO] [stdout] test model_check::tests::exploration_starts_at_the_first_listed_state ... ok
[INFO] [stdout] test model_check::tests::tlc_completed_run_parses_as_completed_with_states ... ok
[INFO] [stdout] test model_check::tests::state_budget_wide_enough_for_the_space_yields_exploration_only ... ok
[INFO] [stdout] test model_check::tests::tlc_depth_cutoff_parses_as_not_completed ... ok
[INFO] [stdout] test model_check::tests::state_budget_exhaustion_yields_timed_out ... ok
[INFO] [stdout] test model_check::tests::tlc_invariant_violation_is_detected ... ok
[INFO] [stdout] test model_check::tests::time_budget_exhaustion_yields_timed_out ... ok
[INFO] [stdout] test model_check::tests::sha256_is_hex_and_deterministic ... ok
[INFO] [stdout] test model_check::tests::prose_invariants_are_reported_unchecked_not_fabricated ... ok
[INFO] [stdout] test model_check::tests::tlc_max_states_budget_is_unsupported_and_labeled ... ok
[INFO] [stdout] test model_check::tests::tlc_run_with_missing_binary_is_a_labeled_error_never_a_verdict ... ok
[INFO] [stdout] test model_check::tests::backend_version_matches_the_cargo_dep ... FAILED
[INFO] [stdout] test lint::tests::revision18::real_id_files_resolve_corpus_wide_and_typos_still_dangle ... ok
[INFO] [stdout] test model_check::tests::tlc_run_with_missing_jar_is_a_labeled_error_never_a_verdict ... ok
[INFO] [stdout] test model_check::tests::tlc_version_line_parses ... ok
[INFO] [stdout] test model_check::tests::transition_referencing_an_unknown_state_is_a_labeled_error ... ok
[INFO] [stdout] test orchestrate::tests::coverage_failure_holds_compile ... ok
[INFO] [stdout] test orchestrate::tests::dependency_skip_stays_within_its_branch ... ok
[INFO] [stdout] test orchestrate::tests::independent_branches_report_regardless ... ok
[INFO] [stdout] test model_check::tests::tlc_exit_zero_without_a_known_verdict_fails_closed ... ok
[INFO] [stdout] test orchestrate::tests::every_stage_reported_and_native_model_check_is_never_clean ... ok
[INFO] [stdout] test orchestrate::tests::external_completeness_never_gates ... ok
[INFO] [stdout] test model_check::tests::tlc_completed_run_reports_backend_tlc_and_exploration_only ... ok
[INFO] [stdout] test hooks::tests::install_never_touches_hook_files_or_hooks_path ... ok
[INFO] [stdout] test parse::tests::not_found_names_the_path_and_hint ... ok
[INFO] [stdout] test orchestrate::tests::upstream_failure_skips_dependents ... ok
[INFO] [stdout] test rename::tests::crlf_files_keep_their_terminators ... ok
[INFO] [stdout] test rename::tests::identity_rename_writes_nothing ... ok
[INFO] [stdout] test rename::tests::checklist_without_matching_ids_is_not_written ... ok
[INFO] [stdout] test orchestrate::tests::parse_error_holds_lint ... ok
[INFO] [stdout] test rename::tests::rename_gate_rejects_dangling_mapped_id ... ok
[INFO] [stdout] test rename::tests::invalid_new_ids_are_rejected_before_any_lookup ... ok
[INFO] [stdout] test rename::tests::mapped_ids_follow_intent_rename ... ok
[INFO] [stdout] test orchestrate::tests::note_prose_never_flips_the_parse_gate ... ok
[INFO] [stdout] test orchestrate::tests::failure_shape_checker_rides_the_lint_stage ... ok
[INFO] [stdout] test rename::tests::rename_reaches_into_checklist_mapped_ids ... ok
[INFO] [stdout] test update_notice::tests::no_notice_when_current ... ok
[INFO] [stdout] test update_notice::tests::stale_cache_triggers_backoff_write_not_error ... ok
[INFO] [stdout] test verify::tests::blocks_from_source_reads_law_case_blocks ... ok
[INFO] [stdout] test update_notice::tests::update_notice_rides_warnings_when_newer_version_exists ... ok
[INFO] [stdout] test verify::tests::both_gates_clean_passes ... ok
[INFO] [stdout] test verify::tests::every_verdict_message_carries_a_remediation_hint ... ok
[INFO] [stdout] test verify::tests::law_cases_all_run_partial_pass_is_failure ... ok
[INFO] [stdout] test verify::tests::missing_artifacts_fail_closed ... ok
[INFO] [stdout] test update_notice::tests::transport_failure_is_silent_never_an_error ... ok
[INFO] [stdout] test verify::tests::model_gate_missing_report ... ok
[INFO] [stdout] test verify::tests::metadata_comparison_ignores_translated_bodies ... ok
[INFO] [stdout] test verify::tests::cached_result_rejected_by_staleness ... ok
[INFO] [stdout] test verify::tests::model_gate_stale_when_module_gone ... ok
[INFO] [stdout] test verify::tests::model_gate_unreadable_report_fails_closed ... ok
[INFO] [stdout] test verify::tests::properties_blocker_precedes_model_blocker ... ok
[INFO] [stdout] test verify::tests::model_gate_stale_when_artifact_changed ... ok
[INFO] [stdout] test verify::tests::blocks_from_source_reads_compile_emission ... ok
[INFO] [stdout] test verify::tests::properties_gate_no_rows_passes_without_runner ... ok
[INFO] [stdout] test verify::tests::model_gate_clean_and_not_clean_outcomes ... ok
[INFO] [stdout] test verify::tests::properties_gate_missing_artifact ... ok
[INFO] [stdout] test verify::tests::properties_gate_failed_block_is_not_a_skip ... ok
[INFO] [stdout] test verify::tests::properties_gate_runs_translated_artifact ... ok
[INFO] [stdout] test verify::tests::properties_gate_stale_when_artifact_predates_spec_edit ... ok
[INFO] [stdout] test verify::tests::prune_ignores_entries_that_are_not_scratch_crate_dirs ... ok
[INFO] [stdout] test model_check::tests::tlc_depth_cutoff_reports_timed_out ... ok
[INFO] [stdout] test hooks::tests::install_refuses_husky_framework ... ok
[INFO] [stdout] test verify::tests::prune_defers_target_reset_while_model_check_builds_are_in_flight ... ok
[INFO] [stdout] test verify::tests::prune_keeps_target_under_size_cap ... ok
[INFO] [stdout] test verify::tests::properties_gate_runner_errors_fail_labeled ... ok
[INFO] [stdout] test verify::tests::prune_defers_target_reset_while_peer_builds_are_in_flight ... ok
[INFO] [stdout] test verify::tests::prune_keeps_fresh_crate_dirs_target_and_lock ... ok
[INFO] [stdout] test orchestrate::tests::rerun_is_byte_identical ... ok
[INFO] [stdout] test model_check::tests::tlc_wall_clock_budget_exhaustion_kills_the_run_as_timed_out ... ok
[INFO] [stdout] test lint::tests::every_finding_carries_rule_id_and_semantics ... ok
[INFO] [stdout] test verify::tests::report_claim_fields_derives_records_and_sets ... ok
[INFO] [stdout] test verify::tests::prune_resets_target_when_over_size_cap ... ok
[INFO] [stdout] test model_check::tests::tlc_engine_invariant_violation_is_a_labeled_error_not_a_counterexample ... ok
[INFO] [stdout] test verify::tests::scratch_base_default_is_temp_specodelic_verify ... ok
[INFO] [stdout] test verify::tests::prune_removes_stale_orphan_crate_dirs ... ok
[INFO] [stdout] test verify::tests::rerun_matches_prior_outcome ... ok
[INFO] [stdout] test verify::tests::single_gate_insufficient_model_only ... ok
[INFO] [stdout] test verify::tests::single_gate_insufficient_properties_only ... ok
[INFO] [stdout] test verify::tests::timed_out_verdict_is_distinct_from_properties_failed ... ok
[INFO] [stdout] test verify::tests::scratch_base_env_override_wins_over_default ... ok
[INFO] [stdout] test verify::tests::run_bounded_completes_within_budget ... ok
[INFO] [stdout] test verify::tests::timeout_maps_to_labeled_gate_state_not_test_failure ... ok
[INFO] [stdout] test model_check::tests::tlc_nonzero_exit_without_completion_is_a_labeled_error ... ok
[INFO] [stdout] test verify::tests::run_bounded_unbounded_when_no_budget ... ok
[INFO] [stdout] test migrate::tests::scaffold_lints_clean_through_the_real_linter ... ok
[INFO] [stdout] test verify::tests::run_bounded_reaps_the_killed_child ... ok
[INFO] [stdout] test verify::tests::run_bounded_kills_hanging_process_and_labels_timeout ... ok
[INFO] [stdout] test guide::tests::python_schema_view_renders_constructed_export_delta ... ok
[INFO] [stdout] test migrate::tests::mixed_delta_lints_clean_through_the_real_linter ... ok
[INFO] [stdout] test verify::tests::run_bounded_kill_takes_down_the_runner_tree_not_just_cargo ... ok
[INFO] [stdout] test verify::tests::run_bounded_drains_output_beyond_the_pipe_buffer ... ok
[INFO] [stdout] test orchestrate::tests::verify_stage_passes_only_on_the_conjunction ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- model_check::tests::backend_version_matches_the_cargo_dep stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'model_check::tests::backend_version_matches_the_cargo_dep' (4105) panicked at src/model_check.rs:2044:9:
[INFO] [stdout] assertion failed: cargo.contains(&format!("stateright = \"{}\"", BACKEND_VERSION))
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x596060246b01 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x59606025fe8a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x59606024bbbc - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x59606021cfb6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x59606023c739 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x59605ff66d60 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x59606023c8f2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x59606021d094 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x596060215879 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x59606021e0fd - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x59606026066c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x596060260632 - core[a373ad73a504971]::panicking::panic
[INFO] [stdout]   12:     0x59605fe85fd3 - <specodelic[7bf2aa1c13611b41]::model_check::tests::backend_version_matches_the_cargo_dep::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x59605ff5a1ab - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x59605ff67385 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x59605ff60c74 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x59605ff6a412 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x5960602454ff - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x73c004010dfa - <unknown>
[INFO] [stdout]   19:     0x73c0040a43d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- orchestrate::tests::verify_stage_passes_only_on_the_conjunction stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'orchestrate::tests::verify_stage_passes_only_on_the_conjunction' (4218) panicked at src/orchestrate.rs:1101:9:
[INFO] [stdout] assertion `left == right` failed: Some(Object {"blocked": Array [Object {"file": String("pipe-demo.md"), "id": String("pipe.demo"), "message": String("the *_props.rs artifact did not compile as a Rust test crate"), "status": String("properties_uncompilable")}], "files_blocked": Number(1), "files_verified": Number(0), "verified": Array []})
[INFO] [stdout]   left: "failed"
[INFO] [stdout]  right: "passed"
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x596060246b01 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x59606025fe8a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x59606024bbbc - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x59606021cfb6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x59606023c739 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x59605ff66d60 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x59606023c8f2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x59606021d062 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x596060215879 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x59606021e0fd - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x59606026066c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x5960602605e3 - core[a373ad73a504971]::panicking::assert_failed_inner
[INFO] [stdout]   12:     0x59605fe78169 - core[a373ad73a504971]::panicking::assert_failed::<alloc[2e1b2a31b91974c5]::string::String, &str>
[INFO] [stdout]   13:     0x59605fee8bd6 - <specodelic[7bf2aa1c13611b41]::orchestrate::tests::verify_stage_passes_only_on_the_conjunction::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   14:     0x59605ff5a1ab - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   15:     0x59605ff67385 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   16:     0x59605ff60c74 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   17:     0x59605ff6a412 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   18:     0x5960602454ff - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   19:     0x73c004010dfa - <unknown>
[INFO] [stdout]   20:     0x73c0040a43d4 - clone
[INFO] [stdout]   21:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     model_check::tests::backend_version_matches_the_cargo_dep
[INFO] [stdout]     orchestrate::tests::verify_stage_passes_only_on_the_conjunction
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 397 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 10.78s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "bdc5b4ae32704c3a8fc77a2b2a5d19077663e2a39be4e21480015834fa1726dc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bdc5b4ae32704c3a8fc77a2b2a5d19077663e2a39be4e21480015834fa1726dc", kill_on_drop: false }`
[INFO] [stdout] bdc5b4ae32704c3a8fc77a2b2a5d19077663e2a39be4e21480015834fa1726dc
