[INFO] fetching crate panproto-gat 0.32.0...
[INFO] testing panproto-gat-0.32.0 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-2
[INFO] extracting crate panproto-gat 0.32.0 into /workspace/builds/worker-0-tc2/source
[INFO] started tweaking crates.io crate panproto-gat 0.32.0
[INFO] finished tweaking crates.io crate panproto-gat 0.32.0
[INFO] tweaked toml for crates.io crate panproto-gat 0.32.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate panproto-gat 0.32.0 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate panproto-gat 0.32.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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9d42839379370f98240405512b53360f4c4c549ab9a50be6aa951ea9a2fac7f4
[INFO] running `Command { std: "docker" "start" "-a" "9d42839379370f98240405512b53360f4c4c549ab9a50be6aa951ea9a2fac7f4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9d42839379370f98240405512b53360f4c4c549ab9a50be6aa951ea9a2fac7f4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9d42839379370f98240405512b53360f4c4c549ab9a50be6aa951ea9a2fac7f4", kill_on_drop: false }`
[INFO] [stdout] 9d42839379370f98240405512b53360f4c4c549ab9a50be6aa951ea9a2fac7f4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1dc83f7839b75ee9f30a0b7e634e09adc46b33a5ef561ab6344801c556493a08
[INFO] running `Command { std: "docker" "start" "-a" "1dc83f7839b75ee9f30a0b7e634e09adc46b33a5ef561ab6344801c556493a08", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling rustc-hash v2.1.2
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling panproto-expr v0.32.0
[INFO] [stderr]    Compiling panproto-gat v0.32.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.87s
[INFO] running `Command { std: "docker" "inspect" "1dc83f7839b75ee9f30a0b7e634e09adc46b33a5ef561ab6344801c556493a08", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1dc83f7839b75ee9f30a0b7e634e09adc46b33a5ef561ab6344801c556493a08", kill_on_drop: false }`
[INFO] [stdout] 1dc83f7839b75ee9f30a0b7e634e09adc46b33a5ef561ab6344801c556493a08
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 93b20c9978579b84c7106196519b47229aca7bc5eec8459d10705f30647156f2
[INFO] running `Command { std: "docker" "start" "-a" "93b20c9978579b84c7106196519b47229aca7bc5eec8459d10705f30647156f2", kill_on_drop: false }`
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling regex-lite v0.1.9
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling condtype v1.3.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling divan-macros v0.1.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling terminal_size v0.4.3
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling panproto-expr v0.32.0
[INFO] [stderr]    Compiling panproto-gat v0.32.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling clap v4.6.0
[INFO] [stderr]    Compiling divan v0.1.21
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 22.17s
[INFO] running `Command { std: "docker" "inspect" "93b20c9978579b84c7106196519b47229aca7bc5eec8459d10705f30647156f2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "93b20c9978579b84c7106196519b47229aca7bc5eec8459d10705f30647156f2", kill_on_drop: false }`
[INFO] [stdout] 93b20c9978579b84c7106196519b47229aca7bc5eec8459d10705f30647156f2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] a3f4dbf046f3df34a8f850236be499181de5742ac030d1b219bbd42cd8989997
[INFO] running `Command { std: "docker" "start" "-a" "a3f4dbf046f3df34a8f850236be499181de5742ac030d1b219bbd42cd8989997", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.14s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/panproto_gat-e6c7caecefb146e7)
[INFO] [stdout] 
[INFO] [stdout] running 230 tests
[INFO] [stdout] test check_model::tests::assignment_limit_exceeded ... ok
[INFO] [stdout] test check_model::tests::broken_associativity_detected ... ok
[INFO] [stdout] test alg_struct::tests::empty_struct ... ok
[INFO] [stdout] test alg_struct::tests::serialization_round_trip ... ok
[INFO] [stdout] test alg_struct::tests::build_struct_with_builder ... ok
[INFO] [stdout] test check_model::tests::constants_only_equation ... ok
[INFO] [stdout] test colimit::tests::colimit_directed_eq_conflict ... ok
[INFO] [stdout] test check_model::tests::missing_carrier_set_errors ... ok
[INFO] [stdout] test colimit::tests::colimit_policy_conflict ... ok
[INFO] [stdout] test colimit::tests::colimit_merges_directed_eqs ... ok
[INFO] [stdout] test check_model::tests::empty_carrier_passes ... ok
[INFO] [stdout] test colimit::tests::colimit_shared_directed_eq_not_duplicated ... ok
[INFO] [stdout] test colimit::tests::colimit_equations_with_renamed_ops ... ok
[INFO] [stdout] test colimit::tests::colimit_merges_policies ... ok
[INFO] [stdout] test colimit::tests::compatible_non_shared_duplicates_allowed ... ok
[INFO] [stdout] test colimit::tests::eq_conflict_detected ... ok
[INFO] [stdout] test colimit::tests::graph_constraint_colimit ... ok
[INFO] [stdout] test colimit::tests::op_conflict_detected ... ok
[INFO] [stdout] test check_model::tests::valid_model_passes ... ok
[INFO] [stdout] test colimit::tests::alpha_equivalent_eqs_not_conflicted ... ok
[INFO] [stdout] test check_model::tests::broken_identity_detected ... ok
[INFO] [stdout] test colimit::tests::sort_conflict_detected ... ok
[INFO] [stdout] test composition::tests::base_step_missing_theory_errors ... ok
[INFO] [stdout] test composition::tests::single_colimit_step ... ok
[INFO] [stdout] test eq::tests::alpha_eq_equation_inconsistent_bijection ... ok
[INFO] [stdout] test eq::tests::alpha_eq_arity_mismatch ... ok
[INFO] [stdout] test colimit::tests::shared_declarations_not_duplicated ... ok
[INFO] [stdout] test eq::tests::alpha_eq_equation_shared_bijection ... ok
[INFO] [stdout] test composition::tests::chained_colimit_matches_direct ... ok
[INFO] [stdout] test eq::tests::alpha_eq_different_structure ... ok
[INFO] [stdout] test eq::tests::alpha_eq_constants ... ok
[INFO] [stdout] test eq::tests::alpha_eq_non_injective_rejected ... ok
[INFO] [stdout] test eq::tests::alpha_eq_constants_differ ... ok
[INFO] [stdout] test eq::tests::alpha_eq_non_surjective_rejected ... ok
[INFO] [stdout] test eq::tests::alpha_eq_different_ops ... ok
[INFO] [stdout] test eq::tests::alpha_eq_renamed_vars ... ok
[INFO] [stdout] test eq::tests::alpha_eq_same_vars ... ok
[INFO] [stdout] test eq::tests::free_variables ... ok
[INFO] [stdout] test eq::tests::alpha_eq_var_vs_app ... ok
[INFO] [stdout] test eq::tests::match_pattern_op_matches ... ok
[INFO] [stdout] test eq::tests::alpha_eq_nested_renamed ... ok
[INFO] [stdout] test eq::tests::match_pattern_op_mismatch ... ok
[INFO] [stdout] test composition::tests::serde_round_trip ... ok
[INFO] [stdout] test eq::tests::normalize_nested ... ok
[INFO] [stdout] test eq::tests::normalize_no_rules ... ok
[INFO] [stdout] test eq::tests::match_pattern_repeated_var_consistent ... ok
[INFO] [stdout] test eq::tests::match_pattern_repeated_var_inconsistent ... ok
[INFO] [stdout] test eq::tests::match_pattern_var_binds ... ok
[INFO] [stdout] test eq::tests::normalize_max_steps_guard ... ok
[INFO] [stdout] test eq::tests::normalize_multi_step ... ok
[INFO] [stdout] test eq::tests::normalize_simple_rewrite ... ok
[INFO] [stdout] test composition::tests::empty_spec_errors ... ok
[INFO] [stdout] test factorize::tests::adding_sort_produces_add_step ... ok
[INFO] [stdout] test eq::tests::term_substitution ... ok
[INFO] [stdout] test factorize::tests::identity_morphism_empty_factorization ... ok
[INFO] [stdout] test factorize::tests::dependent_sort_ordering ... ok
[INFO] [stdout] test factorize::tests::equation_changes ... ok
[INFO] [stdout] test factorize::tests::mixed_add_drop_rename ... ok
[INFO] [stdout] test factorize::tests::pure_rename_morphism ... ok
[INFO] [stdout] test factorize::tests::validate_factorization_catches_missing_sort ... ok
[INFO] [stdout] test free_model::tests::free_model_congruence_closure ... ok
[INFO] [stdout] test free_model::tests::free_model_cyclic_sort_dependency_rejected ... ok
[INFO] [stdout] test free_model::tests::free_model_dependent_sort_no_ops ... ok
[INFO] [stdout] test free_model::tests::free_model_empty_theory ... ok
[INFO] [stdout] test free_model::tests::free_model_equation_collapses_constants ... ok
[INFO] [stdout] test free_model::tests::free_model_graph_theory ... ok
[INFO] [stdout] test free_model::tests::free_model_monoid_identity_collapses ... ok
[INFO] [stdout] test free_model::tests::free_model_of_pointed_set ... ok
[INFO] [stdout] test free_model::tests::free_model_operations_work ... ok
[INFO] [stdout] test free_model::tests::free_model_sort_ordering ... ok
[INFO] [stdout] test free_model::tests::free_model_term_count_bounded ... ok
[INFO] [stdout] test factorize::tests::dropping_sort_produces_correct_sequence ... ok
[INFO] [stdout] test free_model::tests::free_model_two_constants ... ok
[INFO] [stdout] test ident::tests::ident_display ... ok
[INFO] [stdout] test ident::tests::ident_equality_ignores_name ... ok
[INFO] [stdout] test ident::tests::ident_from_legacy_different_names_differ ... ok
[INFO] [stdout] test ident::tests::ident_from_legacy_is_deterministic ... ok
[INFO] [stdout] test ident::tests::ident_hash_consistency ... ok
[INFO] [stdout] test ident::tests::ident_inequality_different_index ... ok
[INFO] [stdout] test ident::tests::ident_inequality_different_scope ... ok
[INFO] [stdout] test ident::tests::ident_renamed_preserves_identity ... ok
[INFO] [stdout] test ident::tests::ident_serde_roundtrip ... ok
[INFO] [stdout] test ident::tests::name_display ... ok
[INFO] [stdout] test ident::tests::name_from_conversions ... ok
[INFO] [stdout] test ident::tests::name_ordering ... ok
[INFO] [stdout] test ident::tests::name_partial_eq_str ... ok
[INFO] [stdout] test ident::tests::name_ptr_eq_fast_path ... ok
[INFO] [stdout] test ident::tests::name_serde_roundtrip ... ok
[INFO] [stdout] test ident::tests::name_string_eq_fallback ... ok
[INFO] [stdout] test ident::tests::site_rename_construction ... ok
[INFO] [stdout] test ident::tests::site_rename_serde_roundtrip ... ok
[INFO] [stdout] test model::tests::eval_missing_op_fails ... ok
[INFO] [stdout] test model::tests::integer_monoid_model ... ok
[INFO] [stdout] test model::tests::migrate_model_missing_sort_fails ... ok
[INFO] [stdout] test model::tests::migrate_model_renames_sorts_and_ops ... ok
[INFO] [stdout] test model::tests::model_debug_format ... ok
[INFO] [stdout] test model::tests::model_value_nested_roundtrip ... ok
[INFO] [stdout] test model::tests::model_value_serialization_roundtrip ... ok
[INFO] [stdout] test morphism::tests::compose_is_associative ... ok
[INFO] [stdout] test morphism::tests::identity_is_unit_for_compose ... ok
[INFO] [stdout] test morphism::tests::identity_morphism_is_valid ... ok
[INFO] [stdout] test morphism::tests::missing_op_mapping_fails ... ok
[INFO] [stdout] test morphism::tests::missing_sort_mapping_fails ... ok
[INFO] [stdout] test morphism::tests::morphism_equation_multiplicity_mismatch_fails ... ok
[INFO] [stdout] test morphism::tests::morphism_missing_directed_eq_fails ... ok
[INFO] [stdout] test morphism::tests::morphism_no_directed_eqs_still_valid ... ok
[INFO] [stdout] test morphism::tests::morphism_preserves_directed_eqs ... ok
[INFO] [stdout] test free_model::tests::free_model_category_theory ... ok
[INFO] [stdout] test morphism::tests::morphism_renaming_preserves_directed_eqs ... ok
[INFO] [stdout] test morphism::tests::morphism_with_renamed_equation_vars ... ok
[INFO] [stdout] test morphism::tests::op_type_mismatch_fails ... ok
[INFO] [stdout] test composition::tests::base_step_verifies_existence ... ok
[INFO] [stdout] test morphism::tests::renaming_morphism_is_valid ... ok
[INFO] [stdout] test morphism::tests::reverse_mul_morphism_commutative_monoid ... ok
[INFO] [stdout] test morphism::tests::sort_arity_mismatch_fails ... ok
[INFO] [stdout] test morphism::tests::sort_kind_mismatch_fails ... ok
[INFO] [stdout] test morphism::tests::sort_param_mismatch_fails ... ok
[INFO] [stdout] test nat_transform::tests::composition_mismatch_detected ... ok
[INFO] [stdout] test nat_transform::tests::domain_mismatch_detected ... ok
[INFO] [stdout] test nat_transform::tests::identity_nat_trans_validates ... ok
[INFO] [stdout] test nat_transform::tests::interchange_law_identities ... ok
[INFO] [stdout] test nat_transform::tests::missing_component_detected ... ok
[INFO] [stdout] test nat_transform::tests::naturality_passes_after_normalization ... ok
[INFO] [stdout] test nat_transform::tests::naturality_violation_detected ... ok
[INFO] [stdout] test nat_transform::tests::vertical_compose_identities_yields_identity ... ok
[INFO] [stdout] test op::tests::binary_op ... ok
[INFO] [stdout] test op::tests::nullary_op ... ok
[INFO] [stdout] test op::tests::unary_op ... ok
[INFO] [stdout] test pullback::tests::equation_pairing ... ok
[INFO] [stdout] test pullback::tests::equation_pairing_with_renamed_vars ... ok
[INFO] [stdout] test pullback::tests::projection_morphisms_validate ... ok
[INFO] [stdout] test pullback::tests::pullback_disjoint_images ... ok
[INFO] [stdout] test pullback::tests::pullback_identity_morphisms ... ok
[INFO] [stdout] test pullback::tests::pullback_no_directed_eq_match ... ok
[INFO] [stdout] test pullback::tests::pullback_pairs_directed_eqs ... ok
[INFO] [stdout] test pullback::tests::pullback_shared_vertex_sort ... ok
[INFO] [stdout] test pullback::tests::same_name_sorts_not_duplicated ... ok
[INFO] [stdout] test quotient::tests::empty_identifications_returns_isomorphic ... ok
[INFO] [stdout] test quotient::tests::equations_renamed_and_deduplicated ... ok
[INFO] [stdout] test quotient::tests::incompatible_op_signatures_error ... ok
[INFO] [stdout] test quotient::tests::incompatible_sort_arities_error ... ok
[INFO] [stdout] test quotient::tests::merge_two_ops ... ok
[INFO] [stdout] test quotient::tests::merge_two_sorts ... ok
[INFO] [stdout] test quotient::tests::mixed_sort_and_op_identifications ... ok
[INFO] [stdout] test quotient::tests::sort_params_renamed_in_dependent_sorts ... ok
[INFO] [stdout] test quotient::tests::transitive_closure ... ok
[INFO] [stdout] test refinement::tests::additional_constraint_makes_subsort ... ok
[INFO] [stdout] test refinement::tests::from_constraints_round_trip ... ok
[INFO] [stdout] test refinement::tests::identical_constraints_not_strict_subsort ... ok
[INFO] [stdout] test refinement::tests::subsort_different_base_returns_false ... ok
[INFO] [stdout] test refinement::tests::subsort_same_base_tighter_max ... ok
[INFO] [stdout] test refinement::tests::subsort_same_base_tighter_min ... ok
[INFO] [stdout] test schema_functor::tests::constraint_all ... ok
[INFO] [stdout] test schema_functor::tests::constraint_has_op ... ok
[INFO] [stdout] test schema_functor::tests::constraint_has_sort ... ok
[INFO] [stdout] test schema_functor::tests::constraint_not ... ok
[INFO] [stdout] test schema_functor::tests::constraint_unconstrained ... ok
[INFO] [stdout] test schema_functor::tests::drop_sort_cascades_to_equations ... ok
[INFO] [stdout] test schema_functor::tests::endofunctor_applicable ... ok
[INFO] [stdout] test schema_functor::tests::endofunctor_compose ... ok
[INFO] [stdout] test schema_functor::tests::endofunctor_not_applicable ... ok
[INFO] [stdout] test schema_functor::tests::transform_add_op ... ok
[INFO] [stdout] test schema_functor::tests::transform_add_sort ... ok
[INFO] [stdout] test schema_functor::tests::transform_compose ... ok
[INFO] [stdout] test schema_functor::tests::transform_drop_op ... ok
[INFO] [stdout] test schema_functor::tests::transform_drop_sort ... ok
[INFO] [stdout] test schema_functor::tests::transform_identity ... ok
[INFO] [stdout] test colimit::tests::property::colimit_contains_all_sorts ... ok
[INFO] [stdout] test schema_functor::tests::transform_rename_op ... ok
[INFO] [stdout] test sort::tests::classify_builtin_coercion_coverage ... ok
[INFO] [stdout] test sort::tests::coercion_class_absorption ... ok
[INFO] [stdout] test sort::tests::coercion_class_associativity ... ok
[INFO] [stdout] test eq::tests::property::alpha_equivalence_is_symmetric ... ok
[INFO] [stdout] test sort::tests::coercion_class_commutativity ... ok
[INFO] [stdout] test schema_functor::tests::transform_rename_sort ... ok
[INFO] [stdout] test sort::tests::coercion_class_identity ... ok
[INFO] [stdout] test sort::tests::coercion_class_ordering_consistent_with_compose ... ok
[INFO] [stdout] test sort::tests::dependent_sort ... ok
[INFO] [stdout] test eq::tests::property::alpha_equivalence_is_reflexive ... ok
[INFO] [stdout] test eq::tests::property::rename_ops_empty_is_identity ... ok
[INFO] [stdout] test colimit::tests::property::colimit_contains_all_ops ... ok
[INFO] [stdout] test eq::tests::property::free_vars_subset_after_substitution ... ok
[INFO] [stdout] test colimit::tests::property::colimit_is_commutative ... ok
[INFO] [stdout] test sort::tests::projection_compose_laws ... ok
[INFO] [stdout] test sort::tests::simple_sort ... ok
[INFO] [stdout] test theory::tests::resolve_theory_cycle_detection ... ok
[INFO] [stdout] test theory::tests::create_monoid_theory ... ok
[INFO] [stdout] test theory::tests::resolve_theory_not_found ... ok
[INFO] [stdout] test theory::tests::resolve_theory_simple ... ok
[INFO] [stdout] test theory::tests::resolve_theory_transitive_inheritance ... ok
[INFO] [stdout] test theory::tests::resolve_theory_with_inheritance ... ok
[INFO] [stdout] test theory::tests::theory_of_gats_is_valid ... ok
[INFO] [stdout] test typecheck::tests::conflicting_var_sort ... ok
[INFO] [stdout] test typecheck::tests::infer_var_sorts_identity_law ... ok
[INFO] [stdout] test typecheck::tests::infer_var_sorts_monoid ... ok
[INFO] [stdout] test theory::tests::resolve_theory_diamond_inheritance ... ok
[INFO] [stdout] test typecheck::tests::typecheck_binary_op ... ok
[INFO] [stdout] test typecheck::tests::typecheck_constant ... ok
[INFO] [stdout] test typecheck::tests::typecheck_arity_mismatch ... ok
[INFO] [stdout] test typecheck::tests::typecheck_equation_sort_mismatch ... ok
[INFO] [stdout] test typecheck::tests::typecheck_graph_theory ... ok
[INFO] [stdout] test typecheck::tests::typecheck_monoid_equations ... ok
[INFO] [stdout] test typecheck::tests::typecheck_nested_sort_mismatch ... ok
[INFO] [stdout] test typecheck::tests::typecheck_nested_term ... ok
[INFO] [stdout] test typecheck::tests::typecheck_reflexive_graph_equations ... ok
[INFO] [stdout] test typecheck::tests::typecheck_sort_mismatch ... ok
[INFO] [stdout] test typecheck::tests::typecheck_symmetric_graph_equations ... ok
[INFO] [stdout] test typecheck::tests::typecheck_unbound_variable ... ok
[INFO] [stdout] test typecheck::tests::typecheck_unknown_op ... ok
[INFO] [stdout] test typecheck::tests::typecheck_variable ... ok
[INFO] [stdout] test witness::tests::axiom_witness ... ok
[INFO] [stdout] test witness::tests::congruence_witness ... ok
[INFO] [stdout] test witness::tests::reflexivity_witness ... ok
[INFO] [stdout] test witness::tests::serialization_round_trip ... ok
[INFO] [stdout] test witness::tests::symmetry_witness ... ok
[INFO] [stdout] test witness::tests::transitivity_chain ... ok
[INFO] [stdout] test eq::tests::property::substitute_empty_is_identity ... ok
[INFO] [stdout] test morphism::tests::property::composition_preserves_validity ... ok
[INFO] [stdout] test morphism::tests::property::composition_is_associative ... ok
[INFO] [stdout] test morphism::tests::property::renamed_morphism_is_valid ... ok
[INFO] [stdout] test sort::tests::needs_complement_storage_consistent_with_lattice ... ok
[INFO] [stdout] test sort::tests::no_builtin_classified_as_iso ... ok
[INFO] [stdout] test morphism::tests::property::identity_is_left_unit ... ok
[INFO] [stdout] test morphism::tests::property::identity_is_right_unit ... ok
[INFO] [stdout] test typecheck::tests::property::typecheck_is_idempotent ... ok
[INFO] [stdout] test typecheck::tests::property::well_typed_theory_passes ... ok
[INFO] [stdout] test eq::tests::property::rename_ops_preserves_alpha_structure ... ok
[INFO] [stdout] test theory::tests::property::theory_index_consistency ... ok
[INFO] [stdout] test colimit::tests::property::colimit_shared_not_duplicated ... ok
[INFO] [stdout] test theory::tests::property::theory_serde_round_trip ... ok
[INFO] [stderr]    Doc-tests panproto_gat
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 230 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.35s
[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" "a3f4dbf046f3df34a8f850236be499181de5742ac030d1b219bbd42cd8989997", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a3f4dbf046f3df34a8f850236be499181de5742ac030d1b219bbd42cd8989997", kill_on_drop: false }`
[INFO] [stdout] a3f4dbf046f3df34a8f850236be499181de5742ac030d1b219bbd42cd8989997