[INFO] fetching crate pr4xis 0.6.0...
[INFO] testing pr4xis-0.6.0 against beta-2026-04-21 for beta-1.96-2
[INFO] extracting crate pr4xis 0.6.0 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate pr4xis 0.6.0
[INFO] finished tweaking crates.io crate pr4xis 0.6.0
[INFO] tweaked toml for crates.io crate pr4xis 0.6.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate pr4xis 0.6.0 on toolchain beta-2026-04-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate pr4xis 0.6.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" "+beta-2026-04-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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" "+beta-2026-04-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 38a0f4250daa5b7377c3f40081c1f9614519edf75f28443da2be4d64ad7caa48
[INFO] running `Command { std: "docker" "start" "-a" "38a0f4250daa5b7377c3f40081c1f9614519edf75f28443da2be4d64ad7caa48", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "38a0f4250daa5b7377c3f40081c1f9614519edf75f28443da2be4d64ad7caa48", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "38a0f4250daa5b7377c3f40081c1f9614519edf75f28443da2be4d64ad7caa48", kill_on_drop: false }`
[INFO] [stdout] 38a0f4250daa5b7377c3f40081c1f9614519edf75f28443da2be4d64ad7caa48
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2026-04-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] fc8bf7444c19d124cc406eb214d43c0eb4e7b5f41c07cfdfb14787c1c33c2820
[INFO] running `Command { std: "docker" "start" "-a" "fc8bf7444c19d124cc406eb214d43c0eb4e7b5f41c07cfdfb14787c1c33c2820", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling pr4xis-derive v0.1.0
[INFO] [stderr]    Compiling pr4xis v0.6.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.87s
[INFO] running `Command { std: "docker" "inspect" "fc8bf7444c19d124cc406eb214d43c0eb4e7b5f41c07cfdfb14787c1c33c2820", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fc8bf7444c19d124cc406eb214d43c0eb4e7b5f41c07cfdfb14787c1c33c2820", kill_on_drop: false }`
[INFO] [stdout] fc8bf7444c19d124cc406eb214d43c0eb4e7b5f41c07cfdfb14787c1c33c2820
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2026-04-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 13c4f5cc39a2faf81dc0b42bd291568ae260d44e925e1d27679882166816df82
[INFO] running `Command { std: "docker" "start" "-a" "13c4f5cc39a2faf81dc0b42bd291568ae260d44e925e1d27679882166816df82", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.184
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling fastrand v2.4.1
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.3
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling pr4xis v0.6.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 29.37s
[INFO] running `Command { std: "docker" "inspect" "13c4f5cc39a2faf81dc0b42bd291568ae260d44e925e1d27679882166816df82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "13c4f5cc39a2faf81dc0b42bd291568ae260d44e925e1d27679882166816df82", kill_on_drop: false }`
[INFO] [stdout] 13c4f5cc39a2faf81dc0b42bd291568ae260d44e925e1d27679882166816df82
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2026-04-21" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 80b5da68fd5410628969e3d07dab5dbb63ee669a65b158feb0bbeeaaf5d174c5
[INFO] running `Command { std: "docker" "start" "-a" "80b5da68fd5410628969e3d07dab5dbb63ee669a65b158feb0bbeeaaf5d174c5", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pr4xis-ad179dfb58afc5f8)
[INFO] [stdout] 
[INFO] [stdout] running 369 tests
[INFO] [stdout] test category::algebra::tests::algebra_count_nodes ... ok
[INFO] [stdout] test category::algebra::tests::coalgebra_binary_tree ... ok
[INFO] [stdout] test category::algebra::tests::algebra_sum_tree ... ok
[INFO] [stdout] test category::applicative::tests::homomorphism_law ... ok
[INFO] [stdout] test category::applicative::tests::ontology_query_combination ... ok
[INFO] [stdout] test category::algebra::tests::taxonomy_as_anamorphism ... ok
[INFO] [stdout] test category::applicative::tests::identity_law ... ok
[INFO] [stdout] test category::applicative::tests::map2_combines_independent ... ok
[INFO] [stdout] test category::applicative::tests::map_applies_function ... ok
[INFO] [stdout] test category::algebra::tests::hylomorphism_factorial ... ok
[INFO] [stdout] test category::algebra::tests::coalgebra_countdown ... ok
[INFO] [stdout] test category::algebra::tests::hylomorphism_fibonacci ... ok
[INFO] [stdout] test category::applicative::tests::sequence_collects_all ... ok
[INFO] [stdout] test category::comonad::tests::cofree_extend_sums_subtrees ... ok
[INFO] [stdout] test category::comonad::tests::cofree_fold_counts_nodes ... ok
[INFO] [stdout] test category::comonad::tests::cofree_leaf_extract ... ok
[INFO] [stdout] test category::applicative::tests::pure_wraps_value ... ok
[INFO] [stdout] test category::comonad::tests::cofree_tree_structure ... ok
[INFO] [stdout] test category::comonad::tests::focused_duplicate_extract ... ok
[INFO] [stdout] test category::comonad::tests::focused_extract_returns_value ... ok
[INFO] [stdout] test category::comonad::tests::focused_left_identity ... ok
[INFO] [stdout] test category::comonad::tests::focused_right_identity ... ok
[INFO] [stdout] test category::comonad::tests::trace_schema_as_cofree ... ok
[INFO] [stdout] test category::entity::tests::derive_entity_produces_all_variants ... ok
[INFO] [stdout] test category::entity::tests::derive_entity_single_variant ... ok
[INFO] [stdout] test category::free::tests::chain_accumulates_steps ... ok
[INFO] [stdout] test category::free::tests::chain_empty ... ok
[INFO] [stdout] test category::free::tests::chain_single_step ... ok
[INFO] [stdout] test category::free::tests::pipeline_as_chain ... ok
[INFO] [stdout] test category::galois::tests::galois_floor_ceil ... ok
[INFO] [stdout] test category::galois::tests::galois_taxonomy_abstraction ... ok
[INFO] [stdout] test category::kleisli::tests::kleisli_compose_total ... ok
[INFO] [stdout] test category::kleisli::tests::kleisli_compose_incompatible ... ok
[INFO] [stdout] test category::kleisli::tests::kleisli_left_identity ... ok
[INFO] [stdout] test category::kleisli::tests::kleisli_identity ... ok
[INFO] [stdout] test category::kleisli::tests::kleisli_total_lifts_morphism ... ok
[INFO] [stdout] test category::kleisli::tests::kleisli_right_identity ... ok
[INFO] [stdout] test category::applicative::tests::prop::prop_map_pure ... ok
[INFO] [stdout] test category::applicative::tests::prop::prop_map2_commutative ... ok
[INFO] [stdout] test category::applicative::tests::prop::prop_sequence_length ... ok
[INFO] [stdout] test category::monad::tests::left_identity ... ok
[INFO] [stdout] test category::monad::tests::map_preserves_log ... ok
[INFO] [stdout] test category::monad::tests::associativity ... ok
[INFO] [stdout] test category::galois::tests::prop::prop_galois_unit ... ok
[INFO] [stdout] test category::kleisli::tests::kleisli_zero_is_partial ... ok
[INFO] [stdout] test category::monad::tests::right_identity ... ok
[INFO] [stdout] test category::monad::tests::tell_appends_log ... ok
[INFO] [stdout] test category::monad::tests::trace_accumulates_through_bind ... ok
[INFO] [stdout] test category::free::tests::prop::prop_chain_step_count ... ok
[INFO] [stdout] test category::monad::tests::prop::prop_writer_map_preserves_log ... ok
[INFO] [stdout] test category::monad::tests::prop::prop_writer_tell_preserves_value ... ok
[INFO] [stdout] test category::monad::tests::prop::prop_writer_right_identity ... ok
[INFO] [stdout] test category::galois::tests::prop::prop_galois_counit ... ok
[INFO] [stdout] test category::monad::tests::prop::prop_writer_pure_empty_log ... ok
[INFO] [stdout] test category::monoid::tests::string_monoid_associativity ... ok
[INFO] [stdout] test category::monoid::tests::string_monoid_identity ... ok
[INFO] [stdout] test category::monoid::tests::unit_monoid ... ok
[INFO] [stdout] test category::monoid::tests::vec_monoid_associativity ... ok
[INFO] [stdout] test category::monoid::tests::vec_monoid_identity ... ok
[INFO] [stdout] test category::monoid::tests::prop::prop_vec_left_identity ... ok
[INFO] [stdout] test category::monoidal::tests::coproduct_fold ... ok
[INFO] [stdout] test category::monoidal::tests::left_unitor_law ... ok
[INFO] [stdout] test category::monoidal::tests::product_bimap ... ok
[INFO] [stdout] test category::monoid::tests::prop::prop_vec_right_identity ... ok
[INFO] [stdout] test category::monoidal::tests::product_ontology_storage ... ok
[INFO] [stdout] test category::monoidal::tests::associator_roundtrip ... ok
[INFO] [stdout] test category::monad::tests::prop::prop_writer_left_identity ... ok
[INFO] [stdout] test category::monoidal::tests::product_new ... ok
[INFO] [stdout] test category::monoid::tests::prop::prop_vec_associativity ... ok
[INFO] [stdout] test category::monoid::tests::prop::prop_string_associativity ... ok
[INFO] [stdout] test category::monoidal::tests::swap_involution ... ok
[INFO] [stdout] test category::optics::tests::get_set ... ok
[INFO] [stdout] test category::optics::tests::iso_reverse ... ok
[INFO] [stdout] test category::monoidal::tests::right_unitor_law ... ok
[INFO] [stdout] test category::monoid::tests::prop::prop_string_left_identity ... ok
[INFO] [stdout] test category::optics::tests::lens_modify ... ok
[INFO] [stdout] test category::optics::tests::ontology_taxonomy_lens ... ok
[INFO] [stdout] test category::optics::tests::prism_enum_variant ... ok
[INFO] [stdout] test category::optics::tests::iso_roundtrip ... ok
[INFO] [stdout] test category::optics::tests::lens_compose ... ok
[INFO] [stdout] test category::monoidal::tests::prop::prop_right_unitor ... ok
[INFO] [stdout] test category::monoidal::tests::prop::prop_assoc_roundtrip ... ok
[INFO] [stdout] test category::optics::tests::set_get ... ok
[INFO] [stdout] test category::monoidal::tests::prop::prop_swap_involution ... ok
[INFO] [stdout] test category::reader::tests::left_identity ... ok
[INFO] [stdout] test category::reader::tests::ask_returns_environment ... ok
[INFO] [stdout] test category::reader::tests::context_resolution_example ... ok
[INFO] [stdout] test category::reader::tests::map_transforms_output ... ok
[INFO] [stdout] test category::semigroup::tests::nonempty_to_vec ... ok
[INFO] [stdout] test category::monoidal::tests::prop::prop_left_unitor ... ok
[INFO] [stdout] test category::reader::tests::associativity ... ok
[INFO] [stdout] test category::reader::tests::right_identity ... ok
[INFO] [stdout] test category::optics::tests::set_set ... ok
[INFO] [stdout] test category::semigroup::tests::nonempty_semigroup_associativity ... ok
[INFO] [stdout] test category::semigroup::tests::nonempty_len ... ok
[INFO] [stdout] test category::state::tests::engine_as_state_monad ... ok
[INFO] [stdout] test category::state::tests::get_then_put_is_identity ... ok
[INFO] [stdout] test category::state::tests::modify_transforms_state ... ok
[INFO] [stdout] test category::state::tests::get_returns_state ... ok
[INFO] [stdout] test category::state::tests::put_then_get_returns_new_state ... ok
[INFO] [stdout] test category::state::tests::right_identity ... ok
[INFO] [stdout] test category::state::tests::associativity ... ok
[INFO] [stdout] test category::semigroup::tests::prop::prop_nonempty_associativity ... ok
[INFO] [stdout] test category::semigroup::tests::vec_is_semigroup_via_monoid ... ok
[INFO] [stdout] test category::state::tests::left_identity ... ok
[INFO] [stdout] test category::state::tests::put_replaces_state ... ok
[INFO] [stdout] test category::traced::tests::fold_trace_collects_ontologies ... ok
[INFO] [stdout] test category::traced::tests::fold_trace_counts_steps ... ok
[INFO] [stdout] test category::traced::tests::trace_records_have_status ... ok
[INFO] [stdout] test category::traced::tests::trace_to_cofree_tree ... ok
[INFO] [stdout] test category::traced::tests::compose_incompatible_returns_none ... ok
[INFO] [stdout] test category::traced::tests::traced_compose_with_identity_preserves_trace ... ok
[INFO] [stdout] test category::traced::tests::traced_compose_accumulates_records ... ok
[INFO] [stdout] test category::semigroup::tests::prop::prop_nonempty_combine_length ... ok
[INFO] [stdout] test category::traced::tests::traced_identity_has_no_trace ... ok
[INFO] [stdout] test category::traced::tests::writer_monad_right_identity ... ok
[INFO] [stdout] test category::traced::tests::writer_monad_left_identity ... ok
[INFO] [stdout] test category::transformer::tests::state_t_threads_state ... ok
[INFO] [stdout] test category::transformer::tests::traced_state_tell ... ok
[INFO] [stdout] test category::transformer::tests::traced_state_pipeline ... ok
[INFO] [stdout] test category::transformer::tests::writer_t_accumulates ... ok
[INFO] [stdout] test category::yoneda::tests::full_yoneda_covers_all_objects ... ok
[INFO] [stdout] test category::yoneda::tests::yoneda_identity_principle ... ok
[INFO] [stdout] test category::yoneda::tests::yoneda_profile_total_degree ... ok
[INFO] [stdout] test category::yoneda::tests::yoneda_embed_collects_outgoing ... ok
[INFO] [stdout] test category::transformer::tests::reader_t_reads_env ... ok
[INFO] [stdout] test category::yoneda::tests::coyoneda_embed_collects_incoming ... ok
[INFO] [stdout] test engine::tests::prop_decrement_decreases ... ok
[INFO] [stdout] test engine::tests::prop_chain_value ... ok
[INFO] [stdout] test engine::tests::prop_full_undo ... ok
[INFO] [stdout] test engine::tests::prop_below_zero_blocked ... ok
[INFO] [stdout] test engine::tests::prop_full_undo_redo ... ok
[INFO] [stdout] test engine::tests::prop_above_max_blocked ... ok
[INFO] [stdout] test engine::tests::prop_increment_increases ... ok
[INFO] [stdout] test engine::tests::prop_back_forward_identity ... ok
[INFO] [stdout] test engine::tests::prop_depth_invariant ... ok
[INFO] [stdout] test category::monoid::tests::prop::prop_string_right_identity ... ok
[INFO] [stdout] test engine::tests::prop_dump_non_empty ... ok
[INFO] [stdout] test engine::tests::prop_satisfied_has_rule ... ok
[INFO] [stdout] test engine::tests::prop_trace_records_violations ... ok
[INFO] [stdout] test engine::tests::prop_reset_to_zero ... ok
[INFO] [stdout] test engine::tests::prop_step_equals_back_depth ... ok
[INFO] [stdout] test engine::tests::prop_trace_step_count ... ok
[INFO] [stdout] test engine::tests::prop_try_next_consistent ... ok
[INFO] [stdout] test engine::tests::test_above_max_blocked ... ok
[INFO] [stdout] test engine::tests::prop_trace_grows_on_success ... ok
[INFO] [stdout] test engine::tests::test_back_depth ... ok
[INFO] [stdout] test engine::tests::test_back_forward_roundtrip ... ok
[INFO] [stdout] test engine::tests::test_back_on_initial_fails ... ok
[INFO] [stdout] test engine::tests::test_forward_without_back_fails ... ok
[INFO] [stdout] test engine::tests::test_back_restores_previous ... ok
[INFO] [stdout] test engine::tests::test_below_zero_blocked ... ok
[INFO] [stdout] test engine::tests::test_increment ... ok
[INFO] [stdout] test engine::tests::test_chain ... ok
[INFO] [stdout] test engine::tests::test_decrement ... ok
[INFO] [stdout] test engine::tests::test_forward_after_back ... ok
[INFO] [stdout] test engine::tests::test_step_derived_from_history ... ok
[INFO] [stdout] test engine::tests::test_next_after_back_clears_future ... ok
[INFO] [stdout] test engine::tests::test_satisfied_carries_context ... ok
[INFO] [stdout] test engine::tests::test_trace_dump ... ok
[INFO] [stdout] test engine::tests::test_trace_records_violations ... ok
[INFO] [stdout] test engine::tests::test_trace_records_success ... ok
[INFO] [stdout] test engine::tests::test_try_next ... ok
[INFO] [stdout] test engine::tests::test_violation_carries_context ... ok
[INFO] [stdout] test engine::tests::test_reset ... ok
[INFO] [stdout] test engine::tests::prop_violation_has_rule ... ok
[INFO] [stdout] test logic::composition::tests::prop_allof_implies_anyof ... ok
[INFO] [stdout] test logic::composition::tests::prop_compare_consistent ... ok
[INFO] [stdout] test logic::composition::tests::prop_allof_single ... ok
[INFO] [stdout] test logic::composition::tests::test_anyof ... ok
[INFO] [stdout] test logic::composition::tests::test_compare_op ... ok
[INFO] [stdout] test logic::composition::tests::test_implies ... ok
[INFO] [stdout] test logic::composition::tests::test_not ... ok
[INFO] [stdout] test logic::composition::tests::test_allof ... ok
[INFO] [stdout] test logic::composition::tests::prop_implication_equivalence ... ok
[INFO] [stdout] test logic::composition::tests::test_threshold_less_than ... ok
[INFO] [stdout] test logic::composition::tests::test_threshold_at_least ... ok
[INFO] [stdout] test logic::composition::tests::test_proposition_satisfied ... ok
[INFO] [stdout] test logic::composition::tests::test_threshold_greater_than ... ok
[INFO] [stdout] test logic::composition::tests::prop_threshold_gt_vs_gte ... ok
[INFO] [stdout] test logic::composition::tests::prop_anyof_single ... ok
[INFO] [stdout] test logic::composition::tests::prop_double_negation ... ok
[INFO] [stdout] test logic::inference::tests::test_abduction_no_observation ... ok
[INFO] [stdout] test logic::composition::tests::prop_evaluation_has_reason ... ok
[INFO] [stdout] test logic::inference::tests::test_abduction_unexplained ... ok
[INFO] [stdout] test logic::inference::tests::prop_abduction_no_observation ... ok
[INFO] [stdout] test logic::inference::tests::test_abduction_partial ... ok
[INFO] [stdout] test logic::inference::tests::test_deduction_multiple_premises ... ok
[INFO] [stdout] test logic::inference::tests::test_deduction_inapplicable ... ok
[INFO] [stdout] test logic::inference::tests::prop_deduction_tautology ... ok
[INFO] [stdout] test logic::inference::tests::test_induction_empty ... ok
[INFO] [stdout] test logic::inference::tests::test_induction_supported ... ok
[INFO] [stdout] test logic::inference::tests::test_induction_refuted ... ok
[INFO] [stdout] test logic::inference::tests::test_deduction_unsound ... ok
[INFO] [stdout] test logic::inference::tests::test_deduction_valid ... ok
[INFO] [stdout] test logic::inference::tests::prop_abduction_consistent_bounded ... ok
[INFO] [stdout] test logic::inference::tests::test_abduction_explained ... ok
[INFO] [stdout] test logic::inference::tests::prop_induction_positive_instances ... ok
[INFO] [stdout] test logic::propositional::tests::prop_or_identity ... ok
[INFO] [stdout] test logic::inference::tests::prop_induction_counterexample_count ... ok
[INFO] [stdout] test logic::propositional::tests::prop_commutative ... ok
[INFO] [stdout] test logic::propositional::tests::prop_implies_not_commutative ... ok
[INFO] [stdout] test logic::propositional::tests::prop_and_identity ... ok
[INFO] [stdout] test logic::propositional::tests::test_contrapositive ... ok
[INFO] [stdout] test logic::propositional::tests::test_de_morgan_and ... ok
[INFO] [stdout] test logic::propositional::tests::test_commutative_connectives ... ok
[INFO] [stdout] test logic::propositional::tests::test_de_morgan_or ... ok
[INFO] [stdout] test logic::propositional::tests::test_double_negation ... ok
[INFO] [stdout] test logic::propositional::tests::test_modus_ponens ... ok
[INFO] [stdout] test logic::propositional::tests::test_nand_universal ... ok
[INFO] [stdout] test logic::propositional::tests::prop_xor_self_false ... ok
[INFO] [stdout] test logic::truth_table::tests::test_and_truth_table ... ok
[INFO] [stdout] test logic::truth_table::tests::test_implies_truth_table ... ok
[INFO] [stdout] test logic::propositional::tests::test_non_contradiction ... ok
[INFO] [stdout] test logic::truth_table::tests::test_all_connectives_satisfiable ... ok
[INFO] [stdout] test logic::truth_table::tests::test_nand_nor_not_equivalent ... ok
[INFO] [stdout] test logic::truth_table::tests::test_no_connective_is_tautology ... ok
[INFO] [stdout] test logic::propositional::tests::test_8_connectives ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::cached_equivalence ... ok
[INFO] [stdout] test logic::propositional::tests::test_excluded_middle ... ok
[INFO] [stdout] test logic::truth_table::tests::test_no_connective_is_contradiction ... ok
[INFO] [stdout] test logic::truth_table::tests::test_or_truth_table ... ok
[INFO] [stdout] test logic::truth_table::tests::test_xor_iff_are_complements ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::cached_mereology ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::cached_opposition ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::cached_taxonomy_is_a ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::cached_taxonomy_no_cycles ... ok
[INFO] [stdout] test logic::propositional::tests::prop_iff_reflexive ... ok
[INFO] [stdout] test logic::propositional::tests::prop_nand_is_not_and ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::cached_taxonomy_parents_children ... ok
[INFO] [stdout] test logic::propositional::tests::prop_nor_is_not_or ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::prop::prop_ancestors_exclude_self ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::prop::prop_opposition_irreflexive ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::prop::prop_parent_child_inverse ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::prop::prop_descendants_exclude_self ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::prop::prop_cached_matches_original ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::prop::prop_opposition_symmetric ... ok
[INFO] [stdout] test ontology::reasoning::tests::analogy_translates_morphisms ... ok
[INFO] [stdout] test ontology::reasoning::tests::analogy_translates_objects ... ok
[INFO] [stdout] test ontology::reasoning::tests::analogy_validates ... ok
[INFO] [stdout] test ontology::reasoning::tests::causation_asymmetric ... ok
[INFO] [stdout] test ontology::reasoning::tests::causation_category_laws ... ok
[INFO] [stdout] test ontology::reasoning::tests::causation_direct_effects ... ok
[INFO] [stdout] test ontology::reasoning::tests::causation_end_has_no_effects ... ok
[INFO] [stdout] test ontology::reasoning::tests::causation_no_reverse ... ok
[INFO] [stdout] test ontology::reasoning::tests::causation_no_self_causation ... ok
[INFO] [stdout] test ontology::reasoning::tests::causation_reverse_causes ... ok
[INFO] [stdout] test ontology::reasoning::tests::causation_transitive_effects ... ok
[INFO] [stdout] test ontology::reasoning::tests::context_ambiguous_entities ... ok
[INFO] [stdout] test ontology::reasoning::tests::context_deterministic_axiom ... ok
[INFO] [stdout] test ontology::reasoning::tests::context_interpretations ... ok
[INFO] [stdout] test ontology::reasoning::tests::context_resolve_bank_money ... ok
[INFO] [stdout] test ontology::reasoning::tests::context_resolve_bank_river ... ok
[INFO] [stdout] test ontology::reasoning::tests::context_resolve_no_signal ... ok
[INFO] [stdout] test ontology::reasoning::tests::context_true_ambiguity_axiom ... ok
[INFO] [stdout] test ontology::reasoning::tests::equivalence_all_classes ... ok
[INFO] [stdout] test ontology::reasoning::tests::equivalence_category_laws ... ok
[INFO] [stdout] test ontology::reasoning::tests::equivalence_class_big ... ok
[INFO] [stdout] test ontology::reasoning::tests::equivalence_direct ... ok
[INFO] [stdout] test ontology::reasoning::tests::equivalence_no_self_equivalence_axiom ... ok
[INFO] [stdout] test ontology::reasoning::tests::equivalence_not_equivalent ... ok
[INFO] [stdout] test ontology::reasoning::tests::equivalence_symmetric ... ok
[INFO] [stdout] test ontology::reasoning::tests::equivalence_symmetric_axiom ... ok
[INFO] [stdout] test ontology::reasoning::tests::equivalence_transitive ... ok
[INFO] [stdout] test ontology::reasoning::tests::mereology_category_laws ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::prop::prop_parts_exclude_self ... ok
[INFO] [stdout] test ontology::reasoning::tests::mereology_direct_parts ... ok
[INFO] [stdout] test ontology::reasoning::tests::mereology_leaf_has_no_parts ... ok
[INFO] [stdout] test ontology::reasoning::tests::mereology_no_cycles ... ok
[INFO] [stdout] test ontology::reasoning::tests::mereology_root_is_not_part_of_anything ... ok
[INFO] [stdout] test ontology::reasoning::tests::analogy_preserves_identity ... ok
[INFO] [stdout] test ontology::reasoning::tests::mereology_whole_of ... ok
[INFO] [stdout] test ontology::reasoning::tests::mereology_transitive_parts ... ok
[INFO] [stdout] test ontology::reasoning::tests::mereology_weak_supplementation ... ok
[INFO] [stdout] test ontology::reasoning::tests::opposition_irreflexive ... ok
[INFO] [stdout] test ontology::reasoning::tests::opposition_not_opposed ... ok
[INFO] [stdout] test ontology::reasoning::tests::opposition_direct ... ok
[INFO] [stdout] test ontology::reasoning::tests::opposition_exclusive_with_equivalence ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::prop::prop_equivalence_reflexive ... ok
[INFO] [stdout] test ontology::reasoning::tests::opposition_symmetric ... ok
[INFO] [stdout] test ontology::reasoning::tests::opposition_symmetric_axiom ... ok
[INFO] [stdout] test ontology::reasoning::tests::opposition_not_transitive ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_effects_exclude_self ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_descendants_exclude_self ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::prop::prop_equivalence_symmetric ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::prop::prop_taxonomy_reflexive ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::prop::prop_taxonomy_antisymmetric ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_ancestors_exclude_self ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_causation_asymmetric ... ok
[INFO] [stdout] test ontology::reasoning::cached::tests::prop::prop_taxonomy_transitive ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_equivalence_reflexive ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_is_alive_inherited ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_taxonomy_reflexive ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_ancestors ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_equivalence_symmetric ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_parts_exclude_self ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_antisymmetric ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_category_laws ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_descendants ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_direct_is_a ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_no_cycles ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_not_is_a ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_quality_inheritance_from_root ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_quality_inheritance_nearest ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_quality_no_inheritance_for_unrelated ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_reflexive ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_root_has_no_ancestors ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_transitive_is_a ... ok
[INFO] [stdout] test ontology::reasoning::tests::taxonomy_leaf_has_no_descendants ... ok
[INFO] [stdout] test ontology::tests::ontology_macro_test::macro_generates_category ... ok
[INFO] [stdout] test ontology::tests::ontology_macro_test::macro_generates_mereology ... ok
[INFO] [stdout] test ontology::tests::ontology_macro_test::macro_generates_opposition ... ok
[INFO] [stdout] test ontology::tests::ontology_macro_test::macro_generates_taxonomy ... ok
[INFO] [stdout] test ontology::tests::ontology_macro_test::ontology_merges_structural_and_domain ... ok
[INFO] [stdout] test ontology::tests::ontology_macro_test::macro_generates_meta ... ok
[INFO] [stdout] test ontology::tests::ontology_macro_test::structural_axioms_auto_generated ... ok
[INFO] [stdout] test ontology::tests::ontology_macro_test::ontology_validates ... ok
[INFO] [stdout] test ontology::tests::prop_all_axioms_hold ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_opposites_not_equivalent ... ok
[INFO] [stdout] test ontology::tests::prop_closure ... ok
[INFO] [stdout] test ontology::tests::prop_duration_is_positive ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_opposition_symmetric ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_taxonomy_antisymmetric ... ok
[INFO] [stdout] test ontology::tests::prop_duration_is_total ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_equivalence_transitive ... ok
[INFO] [stdout] test ontology::tests::prop_individuals_with_complete ... ok
[INFO] [stdout] test ontology::tests::prop_green_is_longest ... ok
[INFO] [stdout] test ontology::tests::prop_no_orphan_states ... ok
[INFO] [stdout] test ontology::tests::prop_morphism_endpoints_valid ... ok
[INFO] [stdout] test ontology::tests::prop_no_dead_states ... ok
[INFO] [stdout] test ontology::tests::test_axiom_green_is_longest ... ok
[INFO] [stdout] test ontology::tests::prop_ontology_validates ... ok
[INFO] [stdout] test ontology::tests::test_axiom_no_dead_states ... ok
[INFO] [stdout] test ontology::tests::test_ontology_check ... ok
[INFO] [stdout] test ontology::tests::test_ontology_validates ... ok
[INFO] [stdout] test ontology::tests::test_quality_individuals_with ... ok
[INFO] [stdout] test ontology::upper::tests::being_categories_are_exhaustive ... ok
[INFO] [stdout] test ontology::upper::tests::being_endurant_classification ... ok
[INFO] [stdout] test ontology::upper::tests::being_has_7_variants ... ok
[INFO] [stdout] test ontology::upper::tests::being_perdurant_classification ... ok
[INFO] [stdout] test ontology::upper::tests::being_quality_classification ... ok
[INFO] [stdout] test ontology::upper::tests::dolce_category_laws ... ok
[INFO] [stdout] test ontology::upper::tests::dolce_has_constitution ... ok
[INFO] [stdout] test ontology::upper::tests::dolce_has_event_part_of_process ... ok
[INFO] [stdout] test ontology::upper::tests::dolce_has_inherence_morphisms ... ok
[INFO] [stdout] test ontology::upper::tests::dolce_has_participation_morphisms ... ok
[INFO] [stdout] test ontology::tests::test_quality_get ... ok
[INFO] [stdout] test ontology::upper::tests::functor_laws_hold ... ok
[INFO] [stdout] test ontology::upper::tests::functor_maps_entity_to_abstract ... ok
[INFO] [stdout] test ontology::upper::tests::functor_maps_action_to_event ... ok
[INFO] [stdout] test ontology::upper::tests::functor_maps_quality_to_quality ... ok
[INFO] [stdout] test ontology::upper::tests::functor_maps_situation_to_social_object ... ok
[INFO] [stdout] test ontology::upper::tests::functor_preserves_identity ... ok
[INFO] [stdout] test ontology::upper::tests::praxis_has_7_types ... ok
[INFO] [stdout] test ontology::tests::prop_left_identity ... ok
[INFO] [stdout] test ontology::upper::tests::praxis_meta_category_laws ... ok
[INFO] [stdout] test ontology::tests::prop_quality_deterministic ... ok
[INFO] [stdout] test ontology::tests::prop_associativity ... ok
[INFO] [stdout] test ontology::tests::prop_right_identity ... ok
[INFO] [stdout] test ontology::upper::tests::prop::prop_dolce_identity_compose ... ok
[INFO] [stdout] test ontology::upper::tests::prop::prop_being_partition ... ok
[INFO] [stdout] test ontology::upper::tests::prop::prop_endurant_perdurant_exclusive ... ok
[INFO] [stdout] test ontology::upper::tests::prop::prop_functor_maps_to_valid_being ... ok
[INFO] [stdout] test ontology::upper::tests::prop::prop_endurant_participates_in_perdurant ... ok
[INFO] [stdout] test ontology::tests::prop_type_safety ... ok
[INFO] [stdout] test ontology::upper::tests::prop::prop_functor_preserves_identity ... ok
[INFO] [stdout] test ontology::upper::tests::prop::prop_quality_inheres_in_endurant ... ok
[INFO] [stdout] test ontology::reasoning::tests::prop::prop_taxonomy_transitive ... ok
[INFO] [stdout] test ontology::upper::tests::prop::prop_functor_preserves_composition ... ok
[INFO] [stderr]    Doc-tests pr4xis
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 369 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.11s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test src/category/algebra.rs - category::algebra::Coalgebra (line 63) ... ok
[INFO] [stdout] test src/category/algebra.rs - category::algebra::Algebra (line 32) ... ok
[INFO] [stdout] test src/category/macros.rs - category::macros::define_category (line 14) ... ignored
[INFO] [stdout] test src/category/macros.rs - category::macros::define_dense_category (line 116) ... ignored
[INFO] [stdout] test src/category/morphism.rs - category::morphism::Morphism (line 7) ... ignored
[INFO] [stdout] test src/category/morphism.rs - category::morphism::compose_all (line 80) ... ignored
[INFO] [stdout] test src/category/applicative.rs - category::applicative::Ap (line 33) ... ok
[INFO] [stdout] test src/category/comonad.rs - category::comonad::Focused (line 37) ... ok
[INFO] [stdout] test src/engine/engine.rs - engine::engine::Engine (line 21) ... ignored
[INFO] [stdout] test src/ontology/macros.rs - ontology::macros::define_ontology (line 15) ... ignored
[INFO] [stdout] test src/category/entity.rs - category::entity::Entity (line 10) ... ok
[INFO] [stdout] test src/category/reader.rs - category::reader::Reader (line 31) ... ok
[INFO] [stdout] test src/category/state.rs - category::state::State (line 33) ... ok
[INFO] [stdout] test src/category/optics.rs - category::optics::Lens (line 33) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 6 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.56s; merged doctests compilation took 0.54s
[INFO] running `Command { std: "docker" "inspect" "80b5da68fd5410628969e3d07dab5dbb63ee669a65b158feb0bbeeaaf5d174c5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "80b5da68fd5410628969e3d07dab5dbb63ee669a65b158feb0bbeeaaf5d174c5", kill_on_drop: false }`
[INFO] [stdout] 80b5da68fd5410628969e3d07dab5dbb63ee669a65b158feb0bbeeaaf5d174c5
