[INFO] cloning repository https://github.com/AHartNtkn/rwLog-Rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/AHartNtkn/rwLog-Rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAHartNtkn%2FrwLog-Rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAHartNtkn%2FrwLog-Rust'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] b9a82e2a007cd1700e717cca91491c7c3b06b6e3
[INFO] testing AHartNtkn/rwLog-Rust against 1.94.0 for beta-1.95-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAHartNtkn%2FrwLog-Rust" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/AHartNtkn/rwLog-Rust
[INFO] finished tweaking git repo https://github.com/AHartNtkn/rwLog-Rust
[INFO] tweaked toml for git repo https://github.com/AHartNtkn/rwLog-Rust written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/AHartNtkn/rwLog-Rust on toolchain 1.94.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.94.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/AHartNtkn/rwLog-Rust 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.94.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded find-msvc-tools v0.1.7
[INFO] [stderr]   Downloaded dircpy v0.3.19
[INFO] [stderr]   Downloaded zmq-sys v0.12.0
[INFO] [stderr]   Downloaded version-compare v0.2.1
[INFO] [stderr]   Downloaded rand_xorshift v0.4.0
[INFO] [stderr]   Downloaded system-deps v6.2.2
[INFO] [stderr]   Downloaded is-terminal v0.4.17
[INFO] [stderr]   Downloaded zmq v0.10.0
[INFO] [stderr]   Downloaded clap_lex v0.7.7
[INFO] [stderr]   Downloaded bit-vec v0.8.0
[INFO] [stderr]   Downloaded dashmap v6.1.0
[INFO] [stderr]   Downloaded allocator-api2 v0.2.21
[INFO] [stderr]   Downloaded clap v4.5.54
[INFO] [stderr]   Downloaded lasso v0.7.3
[INFO] [stderr]   Downloaded proc-macro2 v1.0.105
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.33
[INFO] [stderr]   Downloaded cc v1.2.52
[INFO] [stderr]   Downloaded cfg-expr v0.15.8
[INFO] [stderr]   Downloaded test-log-macros v0.2.19
[INFO] [stderr]   Downloaded zmij v1.0.14
[INFO] [stderr]   Downloaded clap_builder v4.5.54
[INFO] [stderr]   Downloaded proptest v1.9.0
[INFO] [stderr]   Downloaded target-lexicon v0.12.16
[INFO] [stderr]   Downloaded rusty-fork v0.3.1
[INFO] [stderr]   Downloaded zerocopy v0.8.33
[INFO] [stderr]   Downloaded tracing-serde v0.2.0
[INFO] [stderr]   Downloaded quote v1.0.43
[INFO] [stderr]   Downloaded mimalloc v0.1.48
[INFO] [stderr]   Downloaded bit-set v0.8.0
[INFO] [stderr]   Downloaded test-log v0.2.19
[INFO] [stderr]   Downloaded tracing-flame v0.2.0
[INFO] [stderr]   Downloaded wait-timeout v0.2.1
[INFO] [stderr]   Downloaded libmimalloc-sys v0.1.44
[INFO] [stderr]   Downloaded jwalk v0.8.1
[INFO] [stderr]   Downloaded web-sys v0.3.83
[INFO] [stderr]   Downloaded zeromq-src v0.2.6+4.3.4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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" "+1.94.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 16351daa5fccf7552ce5117641408757e4c0c8ba0fca81742f1973c55f3d5abc
[INFO] running `Command { std: "docker" "start" "-a" "16351daa5fccf7552ce5117641408757e4c0c8ba0fca81742f1973c55f3d5abc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "16351daa5fccf7552ce5117641408757e4c0c8ba0fca81742f1973c55f3d5abc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "16351daa5fccf7552ce5117641408757e4c0c8ba0fca81742f1973c55f3d5abc", kill_on_drop: false }`
[INFO] [stdout] 16351daa5fccf7552ce5117641408757e4c0c8ba0fca81742f1973c55f3d5abc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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" "+1.94.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] adb970ef4419c8da0f467deab1db93964fb1d6d7e8365acf8d839b97ea3b35a6
[INFO] running `Command { std: "docker" "start" "-a" "adb970ef4419c8da0f467deab1db93964fb1d6d7e8365acf8d839b97ea3b35a6", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.105
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling quote v1.0.43
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling zerocopy v0.8.33
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling find-msvc-tools v0.1.7
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]    Compiling cc v1.2.52
[INFO] [stderr]    Compiling allocator-api2 v0.2.21
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling zmij v1.0.14
[INFO] [stderr]    Compiling equivalent v1.0.2
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling toml_write v0.1.2
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling cpufeatures v0.2.17
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling libmimalloc-sys v0.1.44
[INFO] [stderr]    Compiling itoa v1.0.17
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling hmac v0.12.1
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling crossbeam-channel v0.5.15
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling dashmap v5.5.3
[INFO] [stderr]    Compiling bumpalo v3.19.1
[INFO] [stderr]    Compiling hex v0.4.3
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling mimalloc v0.1.48
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling rwlog v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 55.85s
[INFO] running `Command { std: "docker" "inspect" "adb970ef4419c8da0f467deab1db93964fb1d6d7e8365acf8d839b97ea3b35a6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "adb970ef4419c8da0f467deab1db93964fb1d6d7e8365acf8d839b97ea3b35a6", kill_on_drop: false }`
[INFO] [stdout] adb970ef4419c8da0f467deab1db93964fb1d6d7e8365acf8d839b97ea3b35a6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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" "+1.94.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9b57a6391d45bd42063ef47d2de15d61dc268178a25841704830496ba616bc79
[INFO] running `Command { std: "docker" "start" "-a" "9b57a6391d45bd42063ef47d2de15d61dc268178a25841704830496ba616bc79", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.105
[INFO] [stderr]    Compiling quote v1.0.43
[INFO] [stderr]    Compiling zerocopy v0.8.33
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling log v0.4.29
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling anstyle-parse v0.2.7
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling clap_lex v0.7.7
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling colorchoice v1.0.4
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling anstream v0.6.21
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling clap_builder v4.5.54
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling env_filter v0.1.4
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling thread_local v1.1.9
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling nu-ansi-term v0.50.3
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling env_logger v0.11.8
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling clap v4.5.54
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling zerocopy-derive v0.8.33
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling test-log-macros v0.2.19
[INFO] [stderr]    Compiling matchers v0.2.0
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling tracing-subscriber v0.3.22
[INFO] [stderr]    Compiling test-log v0.2.19
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling dashmap v5.5.3
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling rwlog v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2m 06s
[INFO] running `Command { std: "docker" "inspect" "9b57a6391d45bd42063ef47d2de15d61dc268178a25841704830496ba616bc79", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9b57a6391d45bd42063ef47d2de15d61dc268178a25841704830496ba616bc79", kill_on_drop: false }`
[INFO] [stdout] 9b57a6391d45bd42063ef47d2de15d61dc268178a25841704830496ba616bc79
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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" "+1.94.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 18e6cd83bb2cc65c5fe630c71f1d7210c91515a0daeeb894fa1b097185b51aa8
[INFO] running `Command { std: "docker" "start" "-a" "18e6cd83bb2cc65c5fe630c71f1d7210c91515a0daeeb894fa1b097185b51aa8", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.41s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/rwlog-e043c86e39575fb0)
[INFO] [stdout] 
[INFO] [stdout] running 775 tests
[INFO] [stdout] test chr::tests::empty_constraints_combine_across_programs ... ok
[INFO] [stdout] test chr::tests::committed_choice_respects_priority ... ok
[INFO] [stdout] test chr::tests::equality_in_body_produces_subst ... ok
[INFO] [stdout] test chr::tests::equality_multiple_bindings_accumulate ... ok
[INFO] [stdout] test chr::tests::equality_occurs_check_fails ... ok
[INFO] [stdout] test chr::tests::equality_of_identical_ground_terms_succeeds ... ok
[INFO] [stdout] test chr::tests::join_rejects_duplicate_cid ... ok
[INFO] [stdout] test chr::tests::equality_structural_decomposition_binds_variable ... ok
[INFO] [stdout] test chr::tests::guard_unbound_rvar_fails ... ok
[INFO] [stdout] test chr::tests::duplicate_constraints_get_distinct_cids ... ok
[INFO] [stdout] test chr::tests::simplification_removes_head ... ok
[INFO] [stdout] test constraint::tests::unit_constraint_combine ... ok
[INFO] [stdout] test chr::tests::guard_blocks_rule_on_neq ... ok
[INFO] [stdout] test constraint::tests::unit_constraint_is_empty ... ok
[INFO] [stdout] test chr::tests::normalize_cache_must_not_return_stale_result_for_additive_collision ... ok
[INFO] [stdout] test constraint::tests::unit_constraint_is_satisfiable ... ok
[INFO] [stdout] test chr::tests::propagation_rule_fires_once_via_token_store ... ok
[INFO] [stdout] test constraint::tests::unit_constraint_normalize ... ok
[INFO] [stdout] test chr::tests::simpagation_keeps_kept_head ... ok
[INFO] [stdout] test drop_fresh::tests::backward_lookup_identity ... ok
[INFO] [stdout] test chr::tests::freeze_thaw_remaps_tokens_and_cids ... ok
[INFO] [stdout] test drop_fresh::tests::backward_lookup_partial ... ok
[INFO] [stdout] test drop_fresh::tests::backward_out_of_range ... ok
[INFO] [stdout] test drop_fresh::tests::compose_anything_with_disconnect ... ok
[INFO] [stdout] test drop_fresh::tests::compose_chain_of_projections ... ok
[INFO] [stdout] test drop_fresh::tests::compose_drops_unmapped ... ok
[INFO] [stdout] test drop_fresh::tests::compose_identity_with_other ... ok
[INFO] [stdout] test drop_fresh::tests::compose_identity_identity ... ok
[INFO] [stdout] test drop_fresh::tests::compose_other_with_identity ... ok
[INFO] [stdout] test drop_fresh::tests::disconnect_is_not_identity ... ok
[INFO] [stdout] test drop_fresh::tests::compose_rejects_arity_mismatch ... ok
[INFO] [stdout] test drop_fresh::tests::disconnect_drop_fresh ... ok
[INFO] [stdout] test drop_fresh::tests::drop_fresh_with_constraint ... ok
[INFO] [stdout] test drop_fresh::tests::empty_drop_fresh_is_valid ... ok
[INFO] [stdout] test drop_fresh::tests::forward_lookup_identity ... ok
[INFO] [stdout] test drop_fresh::tests::forward_lookup_partial ... ok
[INFO] [stdout] test drop_fresh::tests::forward_out_of_range ... ok
[INFO] [stdout] test drop_fresh::tests::identity_drop_fresh_arity_0 ... ok
[INFO] [stdout] test chr::tests::equality_of_different_ground_terms_fails_body ... ok
[INFO] [stdout] test drop_fresh::tests::identity_drop_fresh_arity_1 ... ok
[INFO] [stdout] test drop_fresh::tests::identity_drop_fresh_arity_3 ... ok
[INFO] [stdout] test drop_fresh::tests::identity_is_identity ... ok
[INFO] [stdout] test drop_fresh::tests::large_drop_fresh ... ok
[INFO] [stdout] test drop_fresh::tests::new_rejects_duplicate_input ... ok
[INFO] [stdout] test drop_fresh::tests::new_rejects_duplicate_output ... ok
[INFO] [stdout] test drop_fresh::tests::new_rejects_non_monotone_input ... ok
[INFO] [stdout] test drop_fresh::tests::new_rejects_non_monotone_output ... ok
[INFO] [stdout] test drop_fresh::tests::new_rejects_out_of_bounds_input ... ok
[INFO] [stdout] test drop_fresh::tests::new_rejects_out_of_bounds_output ... ok
[INFO] [stdout] test drop_fresh::tests::compose_disconnect_with_anything ... ok
[INFO] [stdout] test chr::tests::empty_constraint_combines_with_non_empty_other_program ... ok
[INFO] [stdout] test drop_fresh::tests::shared_count_for_identity ... ok
[INFO] [stdout] test drop_fresh::tests::new_valid_drop_fresh ... ok
[INFO] [stdout] test drop_fresh::tests::shared_count_for_partial ... ok
[INFO] [stdout] test engine::tests::both_boundaries_propagate ... ok
[INFO] [stdout] test engine::tests::and_associativity_simple_equivalence ... ok
[INFO] [stdout] test engine::tests::and_with_shadowed_fix_does_not_reuse_table ... ok
[INFO] [stdout] test engine::tests::and_associativity_with_disjoint_branch_is_empty ... ok
[INFO] [stdout] test engine::tests::add_with_output_constraint_terminates ... ok
[INFO] [stdout] test engine::tests::addition_backward_generates_all_pairs_summing_to_5 ... ok
[INFO] [stdout] test engine::tests::atom_failure_before_call_no_recursion ... ok
[INFO] [stdout] test engine::tests::addition_forward_example_3_plus_2_is_5 ... ok
[INFO] [stdout] test engine::tests::call_last_in_seq ... ok
[INFO] [stdout] test engine::tests::call_outer_fix_from_nested ... ok
[INFO] [stdout] test engine::tests::call_relid_zero_with_binding_works ... ok
[INFO] [stdout] test engine::tests::call_undefined_relid_fails ... ok
[INFO] [stdout] test engine::tests::call_with_adjacent_atom_applies_once ... ok
[INFO] [stdout] test engine::tests::dual_call_preserves_relid ... ok
[INFO] [stdout] test engine::tests::call_first_in_seq ... ok
[INFO] [stdout] test engine::tests::call_inside_or_tries_base_first ... ok
[INFO] [stdout] test engine::tests::dual_enumeration_preserves_order ... ok
[INFO] [stdout] test engine::tests::engine_after_atom_exhausted ... ok
[INFO] [stdout] test engine::tests::engine_atom_then_exhausted ... ok
[INFO] [stdout] test engine::tests::engine_collect_answers_exhausts_engine ... ok
[INFO] [stdout] test engine::tests::engine_collect_answers_empty_for_zero ... ok
[INFO] [stdout] test engine::tests::engine_count_answers_zero_for_empty ... ok
[INFO] [stdout] test engine::tests::engine_dedups_duplicate_or_dual ... ok
[INFO] [stdout] test engine::tests::engine_dedups_duplicate_or ... ok
[INFO] [stdout] test engine::tests::engine_deeply_nested_or_terminates ... ok
[INFO] [stdout] test engine::tests::engine_empty_seq_yields_identity ... ok
[INFO] [stdout] test engine::tests::engine_iter_can_be_partially_consumed ... ok
[INFO] [stdout] test engine::tests::dual_fix_preserves_structure ... ok
[INFO] [stdout] test engine::tests::engine_iter_empty_for_zero ... ok
[INFO] [stdout] test engine::tests::engine_count_answers_exhausts_engine ... ok
[INFO] [stdout] test engine::tests::engine_collect_answers_works ... ok
[INFO] [stdout] test engine::tests::engine_count_answers_works ... ok
[INFO] [stdout] test engine::tests::engine_new_from_atom ... ok
[INFO] [stdout] test engine::tests::engine_exhausted_stays_exhausted ... ok
[INFO] [stdout] test engine::tests::engine_atom_yields_once ... ok
[INFO] [stdout] test engine::tests::engine_iter_yields_all_answers ... ok
[INFO] [stdout] test engine::tests::engine_call_ignores_non_adjacent_right_boundary ... ok
[INFO] [stdout] test engine::tests::engine_new_from_or ... ok
[INFO] [stdout] test engine::tests::engine_new_from_zero ... ok
[INFO] [stdout] test engine::tests::engine_or_two_atoms_yields_twice ... ok
[INFO] [stdout] test engine::tests::engine_or_atom_zero_yields_once ... ok
[INFO] [stdout] test engine::tests::engine_nested_or_yields_all ... ok
[INFO] [stdout] test engine::tests::engine_or_rotation_interleaves ... ok
[INFO] [stdout] test engine::tests::engine_seq_with_and_yields_meet_result ... ok
[INFO] [stdout] test engine::tests::engine_iter_single_for_atom ... ok
[INFO] [stdout] test engine::tests::engine_or_zero_zero_exhausts ... ok
[INFO] [stdout] test engine::tests::engine_zero_is_exhausted ... ok
[INFO] [stdout] test engine::tests::fix_body_is_atom_yields_atom ... ok
[INFO] [stdout] test engine::tests::engine_size_reasonable ... ok
[INFO] [stdout] test engine::tests::engine_zero_exhausts_immediately ... ok
[INFO] [stdout] test engine::tests::engine_or_zero_atom_yields_once ... ok
[INFO] [stdout] test engine::tests::fix_body_is_or_no_call_yields_both ... ok
[INFO] [stdout] test engine::tests::fix_nested_different_ids_separate_bindings ... ok
[INFO] [stdout] test engine::tests::fix_body_is_zero_fails ... ok
[INFO] [stdout] test engine::tests::fix_relid_zero_works ... ok
[INFO] [stdout] test engine::tests::fix_nested_same_id_inner_shadows_outer ... ok
[INFO] [stdout] test engine::tests::fix_relid_max_works ... ok
[INFO] [stdout] test engine::tests::killer_and_intersection_collapses ... ok
[INFO] [stdout] test engine::tests::killer_and_intersection_collapses_dual ... ok
[INFO] [stdout] test engine::tests::left_boundary_propagates_to_call ... ok
[INFO] [stdout] test engine::tests::or_inside_recursive_body ... ok
[INFO] [stdout] test engine::tests::multiple_calls_same_relid ... ok
[INFO] [stdout] test engine::tests::program_synth_flip_query_emits_answer ... ignored, long-running; requires release build that has already been built
[INFO] [stdout] test engine::tests::program_synth_flip_query_emits_answer_dual ... ignored, long-running; requires release build that has already been built
[INFO] [stdout] test engine::tests::program_synth_no_c_constraint_rejects_c_and_a_in_lhs ... ignored, long-running; requires release build that has already been built
[INFO] [stdout] test engine::tests::pure_recursion_exhausts_under_step_node ... ok
[INFO] [stdout] test engine::tests::query_convenience_function_works ... ok
[INFO] [stdout] test engine::tests::or_with_shadowed_fix_should_not_duplicate_answers ... ok
[INFO] [stdout] test engine::tests::query_first_returns_first_of_many ... ok
[INFO] [stdout] test engine::tests::query_first_convenience_function_works ... ok
[INFO] [stdout] test engine::tests::query_first_does_not_compute_all_answers ... ok
[INFO] [stdout] test engine::tests::query_returns_empty_for_zero ... ok
[INFO] [stdout] test engine::tests::query_first_returns_none_for_zero ... ok
[INFO] [stdout] test engine::tests::query_returns_single_for_atom ... ok
[INFO] [stdout] test engine::tests::recursion_with_base_case_terminates ... ok
[INFO] [stdout] test engine::tests::recursion_with_output_constraint_terminates ... ok
[INFO] [stdout] test engine::tests::recursion_produces_multiple_answers ... ok
[INFO] [stdout] test engine::tests::recursive_relation_runs_backwards ... ok
[INFO] [stdout] test engine::tests::right_boundary_propagates_to_call ... ok
[INFO] [stdout] test engine::tests::seq_inside_recursive_body ... ok
[INFO] [stdout] test engine::tests::seq_with_and_non_iso_left_boundary_does_not_distribute ... ok
[INFO] [stdout] test engine::tests::lam_eq_standalone_produces_answers ... ok
[INFO] [stdout] test engine::tests::seq_with_and_non_iso_right_boundary_does_not_distribute ... ok
[INFO] [stdout] test engine::tests::seq_with_and_of_disjoint_rules_is_empty ... ok
[INFO] [stdout] test engine::tests::simple_reorder_and_duplicate ... ok
[INFO] [stdout] test engine::tests::seq_with_fix_then_free_call_is_empty ... ok
[INFO] [stdout] test engine::tests::simple_swap_on_ground_pair ... ok
[INFO] [stdout] test engine::tests::simple_swap_then_duplicate ... ok
[INFO] [stdout] test engine::tests::lam_eq_compose_plain_identity ... ok
[INFO] [stdout] test engine::tests::lam_eq_beta_under_lam_does_not_hang ... ok
[INFO] [stdout] test engine::tests::step_result_size_reasonable ... ok
[INFO] [stdout] test engine::tests::recursion_without_base_case_terminates ... ok
[INFO] [stdout] test engine::tests::table_reentrance_detected ... ok
[INFO] [stdout] test engine::tests::simplelam_k_eval_inlined_branch_works ... ok
[INFO] [stdout] test engine::tests::simplelam_k_eval_full_must_not_starve ... ok
[INFO] [stdout] test engine::tests::subtraction_via_dual_add_example ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_1 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_and_group_nested_conjuncts_example_9 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_10 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_2 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_3 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_and_group_two_conjuncts_example_9 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_4 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_6 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_5 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_9 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_7 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_rule_count ... ok
[INFO] [stdout] test engine::tests::zero_before_call_short_circuits ... ok
[INFO] [stdout] test factors::tests::alternating_pop_front_back_until_empty ... ok
[INFO] [stdout] test factors::tests::back_returns_element_at_correct_position ... ok
[INFO] [stdout] test factors::tests::back_returns_last_element_of_last_slice ... ok
[INFO] [stdout] test factors::tests::empty_factors_back_returns_none ... ok
[INFO] [stdout] test factors::tests::empty_factors_front_returns_none ... ok
[INFO] [stdout] test factors::tests::empty_factors_is_empty ... ok
[INFO] [stdout] test factors::tests::empty_factors_pop_back_returns_none ... ok
[INFO] [stdout] test factors::tests::empty_factors_pop_front_returns_none ... ok
[INFO] [stdout] test factors::tests::exhaust_factors_via_pop_back ... ok
[INFO] [stdout] test factors::tests::exhaust_factors_via_pop_front ... ok
[INFO] [stdout] test factors::tests::from_seq_creates_single_slice ... ok
[INFO] [stdout] test factors::tests::from_seq_empty_creates_empty_factors ... ok
[INFO] [stdout] test factors::tests::front_returns_element_at_correct_position ... ok
[INFO] [stdout] test factors::tests::front_returns_first_element_of_first_slice ... ok
[INFO] [stdout] test factors::tests::interleaved_push_front_back_maintains_order ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_8 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_and_group_three_conjuncts_example_9 ... ok
[INFO] [stdout] test engine::tests::lam_eq_bare_beta_reduction ... ok
[INFO] [stdout] test factors::tests::len_sums_all_slice_lengths ... ok
[INFO] [stdout] test factors::tests::pop_back_exhausts_last_slice_retreats_to_previous ... ok
[INFO] [stdout] test factors::tests::pop_front_exhausts_first_slice_advances_to_next ... ok
[INFO] [stdout] test factors::tests::push_back_empty_slice_is_noop ... ok
[INFO] [stdout] test factors::tests::push_back_rel_adds_single_element_to_back ... ok
[INFO] [stdout] test factors::tests::push_back_rel_then_pop_back_returns_same ... ok
[INFO] [stdout] test factors::tests::push_back_rel_to_empty_factors ... ok
[INFO] [stdout] test factors::tests::len_invariant_maintained_through_operations ... ok
[INFO] [stdout] test factors::tests::push_back_slice_from_seq_adds_all_elements ... ok
[INFO] [stdout] test factors::tests::push_back_slice_from_seq_empty_is_noop ... ok
[INFO] [stdout] test factors::tests::pop_back_decrements_correctly ... ok
[INFO] [stdout] test factors::tests::push_empty_slice_to_empty_factors_stays_empty ... ok
[INFO] [stdout] test factors::tests::push_back_slice_from_seq_to_empty_factors ... ok
[INFO] [stdout] test factors::tests::push_front_empty_slice_is_noop ... ok
[INFO] [stdout] test factors::tests::pop_front_decrements_correctly ... ok
[INFO] [stdout] test factors::tests::push_front_rel_adds_single_element_to_front ... ok
[INFO] [stdout] test factors::tests::push_front_rel_to_empty_factors ... ok
[INFO] [stdout] test factors::tests::push_front_slice_from_seq_to_empty_factors ... ok
[INFO] [stdout] test factors::tests::push_front_rel_then_pop_front_returns_same ... ok
[INFO] [stdout] test factors::tests::push_front_slice_from_seq_adds_all_elements ... ok
[INFO] [stdout] test factors::tests::push_front_slice_from_seq_empty_is_noop ... ok
[INFO] [stdout] test factors::tests::push_front_slice_to_empty_factors ... ok
[INFO] [stdout] test factors::tests::single_element_pop_back_empties ... ok
[INFO] [stdout] test factors::tests::single_element_pop_front_empties ... ok
[INFO] [stdout] test engine::tests::treecalc_identity_with_no_c_constraint ... ok
[INFO] [stdout] test factors::tests::slice_back_returns_element_at_end_minus_one ... ok
[INFO] [stdout] test factors::tests::single_element_front_and_back_same ... ok
[INFO] [stdout] test factors::tests::single_element_len_is_one ... ok
[INFO] [stdout] test factors::tests::single_element_pop_front_then_front_is_none ... ok
[INFO] [stdout] test factors::tests::slice_front_empty_returns_none ... ok
[INFO] [stdout] test factors::tests::slice_empty_is_empty ... ok
[INFO] [stdout] test factors::tests::slice_new_creates_full_range ... ok
[INFO] [stdout] test factors::tests::slice_with_range_start_equals_end_is_empty ... ok
[INFO] [stdout] test factors::tests::slice_with_range_respects_bounds ... ok
[INFO] [stdout] test factors::tests::slice_back_empty_returns_none ... ok
[INFO] [stdout] test factors::tests::slices_share_underlying_arc ... ok
[INFO] [stdout] test join::tests::and_joiner_backpressure_keeps_pending ... ok
[INFO] [stdout] test join::tests::and_joiner_closure_after_answers_emits_dual ... ok
[INFO] [stdout] test join::tests::and_joiner_backpressure_keeps_pending_dual ... ok
[INFO] [stdout] test join::tests::and_joiner_round_robin_turns ... ok
[INFO] [stdout] test join::tests::and_joiner_round_robin_turns_dual ... ok
[INFO] [stdout] test join::tests::and_joiner_waker_gates_polling ... ok
[INFO] [stdout] test join::tests::and_joiner_waker_gates_polling_dual ... ok
[INFO] [stdout] test jupyter::tests::comm_info_request_returns_empty_comms ... ok
[INFO] [stdout] test jupyter::tests::connection_info_parses ... ok
[INFO] [stdout] test join::tests::and_joiner_closure_after_answers_emits ... ok
[INFO] [stdout] test join::tests::and_joiner_closure_empty_part_terminates_dual ... ok
[INFO] [stdout] test join::tests::and_joiner_closure_empty_part_terminates ... ok
[INFO] [stdout] test jupyter::tests::kernel_execute_request_emits_execute_result_only ... ok
[INFO] [stdout] test jupyter::tests::kernel_execute_request_emits_error_only ... ok
[INFO] [stdout] test jupyter::tests::kernel_info_request_emits_idle_status ... ok
[INFO] [stdout] test jupyter::tests::message_decode_rejects_bad_signature ... ok
[INFO] [stdout] test jupyter::tests::kernel_spec_json_contains_argv ... ok
[INFO] [stdout] test jupyter::tests::message_roundtrip_with_signature ... ok
[INFO] [stdout] test kernel::compose::tests::compose_backward_query_ground_constraint ... ok
[INFO] [stdout] test kernel::compose::tests::compose_applies_match_subst_to_constraints ... ok
[INFO] [stdout] test factors::tests::slice_front_returns_element_at_start ... ok
[INFO] [stdout] test kernel::compose::tests::compose_fails_on_mismatch ... ok
[INFO] [stdout] test kernel::compose::tests::compose_backward_query_ground_constraint_s_z ... ok
[INFO] [stdout] test kernel::compose::tests::compose_empty_patterns ... ok
[INFO] [stdout] test kernel::compose::tests::compose_ground_identity_with_rule_instantiates_vars ... ok
[INFO] [stdout] test kernel::compose::tests::compose_ground_rules ... ok
[INFO] [stdout] test kernel::compose::tests::compose_introduces_fresh_var_then_projects ... ok
[INFO] [stdout] test jupyter::tests::install_kernel_spec_writes_file ... ok
[INFO] [stdout] test kernel::compose::tests::compose_ground_with_var_match ... ok
[INFO] [stdout] test kernel::compose::tests::compose_nested_constructors ... ok
[INFO] [stdout] test kernel::compose::tests::compose_peeling ... ok
[INFO] [stdout] test kernel::compose::tests::compose_preserves_constraint_only_vars ... ok
[INFO] [stdout] test kernel::compose::tests::compose_preserves_constraint_var_binding ... ok
[INFO] [stdout] test kernel::compose::tests::compose_var_with_ground_matches ... ok
[INFO] [stdout] test kernel::compose::tests::compose_identity_identity ... ok
[INFO] [stdout] test kernel::compose::tests::compose_peel_twice_example ... ok
[INFO] [stdout] test kernel::compose::tests::compose_wrapping ... ok
[INFO] [stdout] test kernel::compose::tests::compose_variable_passing ... ok
[INFO] [stdout] test kernel::compose::tests::compose_with_variables ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_adds_become_drops ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_empty_map_disconnect ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_boundary_indices ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_complex_resorting ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_drops_become_adds ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_involution_complex ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_identity_multiple ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_identity_single ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_identity_zero_arity ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_involution ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_preserves_monotonicity ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_requires_resorting ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_swaps_arities ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_preserves_constraint ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_zero_in_arity ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_simple_inversion ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_single_mapping ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_zero_out_arity ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_deeply_nested_terms ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_empty_identity ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_drops_become_fresh ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_dualizes_drop_fresh ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_empty_build_pats ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_empty_match_pats ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_ground_patterns ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_fresh_become_drops ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_identity_is_self_dual ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_multiple_patterns ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_involution ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_with_complex_drop_fresh ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_swaps_patterns ... ok
[INFO] [stdout] test kernel::dual::tests::dual_reverses_composition_ground ... ok
[INFO] [stdout] test kernel::dual::tests::dual_reverses_composition_with_vars ... ok
[INFO] [stdout] test kernel::dual::tests::dual_reverses_peel_composition ... ok
[INFO] [stdout] test kernel::meet::tests::meet_append_rules ... ok
[INFO] [stdout] test kernel::meet::tests::meet_applies_match_subst_to_constraints ... ok
[INFO] [stdout] test kernel::meet::tests::meet_empty_patterns ... ok
[INFO] [stdout] test kernel::meet::tests::meet_fails_incompatible_ground ... ok
[INFO] [stdout] test kernel::meet::tests::meet_fails_incompatible_output ... ok
[INFO] [stdout] test kernel::meet::tests::meet_identical_ground_rules ... ok
[INFO] [stdout] test kernel::meet::tests::meet_matches_compatible_patterns ... ok
[INFO] [stdout] test kernel::meet::tests::meet_identical_identity ... ok
[INFO] [stdout] test kernel::meet::tests::meet_fails_occurs_check ... ok
[INFO] [stdout] test kernel::meet::tests::meet_matches_fresh_outputs ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_arity_mismatch_fails ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_enforces_shared_variables ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_build_mismatch_fails ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_match_mismatch_fails ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_identity ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multiple_var_constraints ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_wiring_induces_equality ... ok
[INFO] [stdout] test kernel::meet::tests::meet_var_with_complex_term ... ok
[INFO] [stdout] test kernel::meet::tests::meet_nested_patterns ... ok
[INFO] [stdout] test kernel::meet::tests::meet_propagates_rhs_constraints_into_lhs ... ok
[INFO] [stdout] test kernel::meet::tests::meet_symmetric ... ok
[INFO] [stdout] test kernel::meet::tests::meet_specializes_var ... ok
[INFO] [stdout] test kernel::meet::tests::meet_with_different_vars ... ok
[INFO] [stdout] test matching::tests::match_both_sides_have_vars ... ok
[INFO] [stdout] test matching::tests::match_compatible_apps ... ok
[INFO] [stdout] test kernel::util::tests::match_term_lists_shifted_combined_keeps_equality_for_app_rule_shape ... ok
[INFO] [stdout] test matching::tests::match_deep_nesting ... ok
[INFO] [stdout] test matching::tests::match_different_arity_fails ... ok
[INFO] [stdout] test matching::tests::match_different_nullary_fails ... ok
[INFO] [stdout] test matching::tests::match_different_functors_fails ... ok
[INFO] [stdout] test matching::tests::match_empty_app_terms ... ok
[INFO] [stdout] test matching::tests::match_many_vars ... ok
[INFO] [stdout] test matching::tests::match_ground_with_var ... ok
[INFO] [stdout] test matching::tests::match_list_pattern ... ok
[INFO] [stdout] test matching::tests::match_nested_compatible ... ok
[INFO] [stdout] test matching::tests::match_occurs_check_nested ... ok
[INFO] [stdout] test matching::tests::match_nullary_same_functor ... ok
[INFO] [stdout] test matching::tests::match_nested_conflict_fails ... ok
[INFO] [stdout] test matching::tests::match_occurs_check_simple ... ok
[INFO] [stdout] test matching::tests::match_occurs_check_through_substitution ... ok
[INFO] [stdout] test matching::tests::match_same_ground_term ... ok
[INFO] [stdout] test matching::tests::match_same_complex_term ... ok
[INFO] [stdout] test matching::tests::match_same_var ... ok
[INFO] [stdout] test matching::tests::match_shared_var_conflict_fails ... ok
[INFO] [stdout] test matching::tests::match_shared_var ... ok
[INFO] [stdout] test matching::tests::match_symmetric ... ok
[INFO] [stdout] test matching::tests::match_var_with_ground ... ok
[INFO] [stdout] test matching::tests::match_var_with_nested_var ... ok
[INFO] [stdout] test matching::tests::match_var_with_var ... ok
[INFO] [stdout] test matching::tests::match_vars_in_both_terms ... ok
[INFO] [stdout] test nf::tests::apply_renaming_nested ... ok
[INFO] [stdout] test nf::tests::apply_renaming_single_var ... ok
[INFO] [stdout] test nf::tests::apply_renaming_preserves_ground ... ok
[INFO] [stdout] test nf::tests::collect_vars_deeply_nested ... ok
[INFO] [stdout] test nf::tests::collect_vars_from_ground_term ... ok
[INFO] [stdout] test nf::tests::collect_vars_from_multiple_vars ... ok
[INFO] [stdout] test nf::tests::collect_vars_no_duplicates ... ok
[INFO] [stdout] test nf::tests::collect_vars_wide_term ... ok
[INFO] [stdout] test nf::tests::factor_drop_var ... ok
[INFO] [stdout] test nf::tests::collect_vars_from_single_var ... ok
[INFO] [stdout] test nf::tests::collect_vars_nested ... ok
[INFO] [stdout] test nf::tests::factor_fresh_var ... ok
[INFO] [stdout] test nf::tests::factor_ground_to_ground ... ok
[INFO] [stdout] test nf::tests::factor_swap_rule ... ok
[INFO] [stdout] test nf::tests::factor_nested_pattern ... ok
[INFO] [stdout] test nf::tests::nf_new_creates_valid_nf ... ok
[INFO] [stdout] test nf::tests::factor_identity_rule ... ok
[INFO] [stdout] test nf::tests::renumber_single_var ... ok
[INFO] [stdout] test node::tests::can_pattern_match_emit ... ok
[INFO] [stdout] test nf::tests::renumber_ground_term_unchanged ... ok
[INFO] [stdout] test nf::tests::renumber_with_repeated_vars ... ok
[INFO] [stdout] test nf::tests::renumber_multiple_vars ... ok
[INFO] [stdout] test node::tests::can_pattern_match_fail ... ok
[INFO] [stdout] test node::tests::can_pattern_match_or ... ok
[INFO] [stdout] test node::tests::emit_deeply_chained ... ok
[INFO] [stdout] test node::tests::emit_into_fail ... ok
[INFO] [stdout] test node::tests::emit_into_or ... ok
[INFO] [stdout] test node::tests::emit_multiple_answers_chain ... ok
[INFO] [stdout] test node::tests::emit_or_emit_fail ... ok
[INFO] [stdout] test node::tests::fail_can_be_constructed_multiple_times ... ok
[INFO] [stdout] test node::tests::fail_is_equal_to_fail ... ok
[INFO] [stdout] test node::tests::fail_is_terminal_state ... ok
[INFO] [stdout] test node::tests::emit_single_answer ... ok
[INFO] [stdout] test node::tests::mixed_deep_structure ... ok
[INFO] [stdout] test node::tests::emit_then_or ... ok
[INFO] [stdout] test node::tests::node_size_reasonable ... ok
[INFO] [stdout] test node::tests::or_both_emit ... ok
[INFO] [stdout] test node::tests::or_construction_both_fail ... ok
[INFO] [stdout] test node::tests::node_is_debug ... ok
[INFO] [stdout] test node::tests::or_deeply_nested ... ok
[INFO] [stdout] test node::tests::node_is_clone ... ok
[INFO] [stdout] test node::tests::or_left_other_right_fail ... ok
[INFO] [stdout] test node::tests::or_of_emits ... ok
[INFO] [stdout] test node::tests::or_right_associative_nesting ... ok
[INFO] [stdout] test node::tests::or_left_associative_nesting ... ok
[INFO] [stdout] test node::tests::or_left_fail_right_other ... ok
[INFO] [stdout] test parser::tests::all_term_params_macro ... ok
[INFO] [stdout] test parser::tests::all_relation_macros_backward_compat ... ok
[INFO] [stdout] test parser::tests::constraint_arity_mismatch_fails ... ok
[INFO] [stdout] test parser::tests::constraint_with_unknown_predicate_fails ... ok
[INFO] [stdout] test parser::tests::equality_arrow_not_confused_with_eq ... ok
[INFO] [stdout] test parser::tests::expand_non_recursive_macro_substitutes_params ... ok
[INFO] [stdout] test parser::tests::expand_recursive_macro_wraps_in_fix ... ok
[INFO] [stdout] test parser::tests::extract_signature_all_term ... ok
[INFO] [stdout] test parser::tests::extract_signature_mixed ... ok
[INFO] [stdout] test parser::tests::fmap_nested_sum_depth_2 ... ok
[INFO] [stdout] test parser::tests::fmap_nested_sum_inner_or_present ... ok
[INFO] [stdout] test parser::tests::fmap_sum_unit_xvar ... ok
[INFO] [stdout] test parser::tests::fmap_sum_inner_branches_correct ... ok
[INFO] [stdout] test parser::tests::fmap_unit_expands_to_identity_rule ... ok
[INFO] [stdout] test parser::tests::fmap_xvar_expands_to_passed_relation ... ok
[INFO] [stdout] test parser::tests::forward_ref_with_term_params ... ok
[INFO] [stdout] test parser::tests::format_nf_includes_constraints ... ok
[INFO] [stdout] test parser::tests::identity_self_call_with_term_param ... ok
[INFO] [stdout] test parser::tests::atom_lhs_with_constraint_block_parses_as_rule ... ok
[INFO] [stdout] test parser::tests::infinite_expansion_depth_limit ... ok
[INFO] [stdout] test parser::tests::extract_signature_all_relation ... ok
[INFO] [stdout] test parser::tests::macro_call_wrong_arity_errors ... ok
[INFO] [stdout] test parser::tests::macro_arity_overloading ... ok
[INFO] [stdout] test parser::tests::equality_in_body_produces_subst_via_parser ... ok
[INFO] [stdout] test parser::tests::macro_arg_is_full_relation_expr ... ok
[INFO] [stdout] test parser::tests::macro_concrete_self_call_deferred_then_depth_limit ... ok
[INFO] [stdout] test parser::tests::macro_empty_params_errors ... ok
[INFO] [stdout] test parser::tests::macro_names_returns_defined_macros ... ok
[INFO] [stdout] test parser::tests::macro_non_recursive_no_fix_wrap ... ok
[INFO] [stdout] test parser::tests::macro_param_not_leaked_after_definition ... ok
[INFO] [stdout] test parser::tests::macro_cross_call_with_param_propagation ... ok
[INFO] [stdout] test parser::tests::macro_recursive_identity_self_call ... ok
[INFO] [stdout] test parser::tests::macro_undefined_errors ... ok
[INFO] [stdout] test parser::tests::meta_vars_dont_leak ... ok
[INFO] [stdout] test parser::tests::meta_var_binding_propagates_correctly ... ok
[INFO] [stdout] test parser::tests::multi_equation_no_match_errors ... ok
[INFO] [stdout] test parser::tests::param_kind_mismatch_errors ... ok
[INFO] [stdout] test parser::tests::multi_equation_selects_first_match ... ok
[INFO] [stdout] test parser::tests::parse_and_body ... ok
[INFO] [stdout] test parser::tests::parse_atom ... ok
[INFO] [stdout] test parser::tests::parse_and_with_seq ... ok
[INFO] [stdout] test parser::tests::parse_and_with_or ... ok
[INFO] [stdout] test parser::tests::parse_chained_and ... ok
[INFO] [stdout] test parser::tests::parse_bracketed_seq ... ok
[INFO] [stdout] test parser::tests::parse_complex_rule ... ok
[INFO] [stdout] test parser::tests::parse_compound_term_nullary ... ok
[INFO] [stdout] test parser::tests::parse_compound_term_unary ... ok
[INFO] [stdout] test parser::tests::parse_compound_with_numeric_atom ... ok
[INFO] [stdout] test parser::tests::parse_empty_input_fails ... ok
[INFO] [stdout] test parser::tests::parse_error_size_reasonable ... ok
[INFO] [stdout] test parser::tests::parse_identifier_with_numbers ... ok
[INFO] [stdout] test parser::tests::parse_call_in_seq ... ok
[INFO] [stdout] test parser::tests::parse_identifier_with_underscores ... ok
[INFO] [stdout] test parser::tests::parse_macro_two_params ... ok
[INFO] [stdout] test parser::tests::parse_nested_compound ... ok
[INFO] [stdout] test parser::tests::parse_non_recursive_macro_returns_none ... ok
[INFO] [stdout] test parser::tests::parse_numeric_atom ... ok
[INFO] [stdout] test parser::tests::parse_or_body ... ok
[INFO] [stdout] test parser::tests::parse_nested_brackets ... ok
[INFO] [stdout] test parser::tests::parse_or_with_seq ... ok
[INFO] [stdout] test parser::tests::parse_compound_term_binary ... ok
[INFO] [stdout] test parser::tests::parse_recursive_rel_def ... ok
[INFO] [stdout] test parser::tests::macro_non_identity_self_call_deferred_then_depth_limit ... ok
[INFO] [stdout] test parser::tests::parse_rel_def_missing_name_fails ... ok
[INFO] [stdout] test parser::tests::parse_rel_def_with_or ... ok
[INFO] [stdout] test parser::tests::parse_rel_body_with_comments ... ok
[INFO] [stdout] test parser::tests::parse_rule_lhs_only_variable_is_dropped ... ok
[INFO] [stdout] test parser::tests::parse_rel_def_missing_brace_fails ... ok
[INFO] [stdout] test parser::tests::parse_rule_with_comment ... ok
[INFO] [stdout] test parser::tests::parse_rule_with_compound ... ok
[INFO] [stdout] test parser::tests::parse_rule_with_variables ... ok
[INFO] [stdout] test parser::tests::parse_seq_body ... ok
[INFO] [stdout] test parser::tests::parse_simple_rel_def ... ok
[INFO] [stdout] test parser::tests::parse_simple_rule ... ok
[INFO] [stdout] test parser::tests::parse_single_rule_body ... ok
[INFO] [stdout] test parser::tests::parse_term_extra_chars_fails ... ok
[INFO] [stdout] test parser::tests::parse_term_literal_identity_body ... ok
[INFO] [stdout] test parser::tests::parse_term_multiple_variables ... ok
[INFO] [stdout] test parser::tests::parse_term_repeated_variable ... ok
[INFO] [stdout] test parser::tests::parse_term_unclosed_paren_fails ... ok
[INFO] [stdout] test parser::tests::parse_term_whitespace_handling ... ok
[INFO] [stdout] test parser::tests::parse_term_with_variable ... ok
[INFO] [stdout] test parser::tests::parse_variable ... ok
[INFO] [stdout] test parser::tests::parse_variable_with_underscore ... ok
[INFO] [stdout] test parser::tests::parse_whitespace_only_fails ... ok
[INFO] [stdout] test parser::tests::parse_with_comments ... ok
[INFO] [stdout] test parser::tests::parser_size_reasonable ... ok
[INFO] [stdout] test parser::tests::parse_rule_rhs_only_variable_creates_fresh_output ... ok
[INFO] [stdout] test parser::tests::structural_self_call_deferred ... ok
[INFO] [stdout] test parser::tests::term_arg_at_call_site_must_be_ground ... ok
[INFO] [stdout] test parser::tests::term_param_atom_pattern ... ok
[INFO] [stdout] test parser::tests::polynomial_functor_fmap_end_to_end ... ok
[INFO] [stdout] test parser::tests::parse_rule_missing_arrow_fails ... ok
[INFO] [stdout] test parser::tests::term_param_compound_pattern ... ok
[INFO] [stdout] test parser::tests::theory_parses_equality_in_body ... ok
[INFO] [stdout] test parser::tests::theory_fail_body_makes_constraint_unsat ... ok
[INFO] [stdout] test parser::tests::theory_parses_guard_and_applies_it ... ok
[INFO] [stdout] test parser::tests::theory_parses_propagation_and_simpagation_rules ... ok
[INFO] [stdout] test parser::tests::theory_parsing_allows_constraints_in_rules ... ok
[INFO] [stdout] test parser::tests::parse_rule_missing_rhs_fails ... ok
[INFO] [stdout] test perf_counters::tests::capture_restores_previous_state ... ok
[INFO] [stdout] test perf_counters::tests::compose_path_records_steps_and_compose_attempts ... ok
[INFO] [stdout] test parser::tests::two_term_param_positions ... ok
[INFO] [stdout] test parser::tests::term_param_no_match_errors ... ok
[INFO] [stdout] test perf_counters::tests::meet_path_records_meet_attempts ... ok
[INFO] [stdout] test perf_counters::tests::disabled_counters_stay_zero ... ok
[INFO] [stdout] test queue::tests::answer_receiver_is_send_sync ... ok
[INFO] [stdout] test queue::tests::answer_sender_is_send_sync ... ok
[INFO] [stdout] test queue::tests::receiver_drop_wakes_blocked ... ok
[INFO] [stdout] test rel::tests::dual_and_preserves_structure ... ok
[INFO] [stdout] test queue::tests::sender_drop_wakes_blocked ... ok
[INFO] [stdout] test rel::tests::dual_and_does_not_swap_children ... ok
[INFO] [stdout] test rel::tests::dual_and_duals_both_children ... ok
[INFO] [stdout] test rel::tests::dual_atom_duals_inner_nf ... ok
[INFO] [stdout] test rel::tests::dual_atom_with_vars_duals_correctly ... ok
[INFO] [stdout] test rel::tests::dual_call_max_id ... ok
[INFO] [stdout] test rel::tests::dual_call_unchanged ... ok
[INFO] [stdout] test rel::tests::dual_call_zero_id ... ok
[INFO] [stdout] test rel::tests::dual_deep_fix_nesting ... ok
[INFO] [stdout] test rel::tests::dual_deep_or_nesting ... ok
[INFO] [stdout] test rel::tests::dual_dual_and_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_deep_seq_nesting ... ok
[INFO] [stdout] test rel::tests::dual_dual_atom_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_dual_call_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_dual_fix_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_dual_seq_empty_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_dual_seq_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_dual_zero_equals_zero ... ok
[INFO] [stdout] test rel::tests::dual_fix_duals_body ... ok
[INFO] [stdout] test rel::tests::dual_fix_preserves_id ... ok
[INFO] [stdout] test rel::tests::dual_fix_with_call_in_body ... ok
[INFO] [stdout] test rel::tests::dual_is_involution_all_variants ... ok
[INFO] [stdout] test rel::tests::dual_is_involution_complex_tree ... ok
[INFO] [stdout] test rel::tests::dual_nested_fix_different_ids ... ok
[INFO] [stdout] test rel::tests::dual_or_does_not_swap_children ... ok
[INFO] [stdout] test rel::tests::dual_or_duals_both_children ... ok
[INFO] [stdout] test rel::tests::dual_dual_or_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_or_preserves_structure ... ok
[INFO] [stdout] test rel::tests::dual_seq_empty ... ok
[INFO] [stdout] test rel::tests::dual_seq_many_elements_reverses_all ... ok
[INFO] [stdout] test rel::tests::dual_seq_nested_reverses_outer_and_duals_inner ... ok
[INFO] [stdout] test rel::tests::dual_seq_single_element ... ok
[INFO] [stdout] test rel::tests::dual_wide_seq ... ok
[INFO] [stdout] test rel::tests::dual_with_shared_arc_both_or_children ... ok
[INFO] [stdout] test rel::tests::dual_with_shared_arc_in_seq ... ok
[INFO] [stdout] test rel::tests::dual_zero_is_zero ... ok
[INFO] [stdout] test rel::tests::rel_and_holds_two_children ... ok
[INFO] [stdout] test rel::tests::rel_atom_holds_nf ... ok
[INFO] [stdout] test rel::tests::rel_call_holds_id ... ok
[INFO] [stdout] test rel::tests::dual_seq_three_elements_reverses ... ok
[INFO] [stdout] test rel::tests::rel_fix_holds_id_and_body ... ok
[INFO] [stdout] test rel::tests::rel_or_holds_two_children ... ok
[INFO] [stdout] test rel::tests::dual_seq_two_elements_reverses ... ok
[INFO] [stdout] test rel::tests::rel_seq_holds_slice ... ok
[INFO] [stdout] test repl::tests::repl_process_cell_handles_comment_then_query ... ok
[INFO] [stdout] test rel::tests::rel_zero_is_zero_sized ... ok
[INFO] [stdout] test repl::tests::repl_bare_query_runs_as_query ... ok
[INFO] [stdout] test repl::tests::repl_process_cell_handles_multiple_lines ... ok
[INFO] [stdout] test repl::tests::repl_query_renders_rule_syntax ... ok
[INFO] [stdout] test repl::tests::repl_next_advances_through_answers ... ok
[INFO] [stdout] test subst::tests::apply_multiple_substitutions ... ok
[INFO] [stdout] test subst::tests::apply_deeply_nested ... ok
[INFO] [stdout] test subst::tests::apply_nullary_app ... ok
[INFO] [stdout] test subst::tests::apply_preserves_structure ... ok
[INFO] [stdout] test subst::tests::apply_replaces_in_nested_term ... ok
[INFO] [stdout] test subst::tests::apply_sparse_binding ... ok
[INFO] [stdout] test subst::tests::apply_subst_var_maps_to_itself ... ok
[INFO] [stdout] test subst::tests::apply_to_bound_var_replaces ... ok
[INFO] [stdout] test subst::tests::apply_to_unbound_var_unchanged ... ok
[INFO] [stdout] test subst::tests::apply_to_ground_term_unchanged ... ok
[INFO] [stdout] test subst::tests::apply_to_wide_term ... ok
[INFO] [stdout] test subst::tests::apply_uses_hashconsing ... ok
[INFO] [stdout] test subst::tests::bind_extends_automatically ... ok
[INFO] [stdout] test subst::tests::bind_overwrites_previous ... ok
[INFO] [stdout] test subst::tests::apply_chain_of_vars ... ok
[INFO] [stdout] test subst::tests::get_unbound_returns_none ... ok
[INFO] [stdout] test subst::tests::is_bound_correct ... ok
[INFO] [stdout] test subst::tests::iter_over_bindings ... ok
[INFO] [stdout] test subst::tests::new_subst_is_empty ... ok
[INFO] [stdout] test subst::tests::bind_multiple_variables ... ok
[INFO] [stdout] test symbol::tests::case_sensitive_symbols ... ok
[INFO] [stdout] test parser::tests::meta_var_binding_not_swapped ... ok
[INFO] [stdout] test subst::tests::bind_single_variable ... ok
[INFO] [stdout] test symbol::tests::contains_returns_true_for_interned_symbol ... ok
[INFO] [stdout] test symbol::tests::get_returns_none_for_unknown_symbol ... ok
[INFO] [stdout] test symbol::tests::contains_returns_false_for_unknown_symbol ... ok
[INFO] [stdout] test symbol::tests::get_returns_some_for_interned_symbol ... ok
[INFO] [stdout] test symbol::tests::intern_different_strings_returns_different_ids ... ok
[INFO] [stdout] test symbol::tests::intern_empty_string_succeeds ... ok
[INFO] [stdout] test symbol::tests::intern_long_symbol_name ... ok
[INFO] [stdout] test symbol::tests::intern_returns_func_id ... ok
[INFO] [stdout] test symbol::tests::intern_same_string_returns_same_id ... ok
[INFO] [stdout] test repl::tests::theory_notebook_demo_cells_run ... ok
[INFO] [stdout] test symbol::tests::concurrent_intern_different_symbols ... ok
[INFO] [stdout] test symbol::tests::intern_unicode_symbols ... ok
[INFO] [stdout] test symbol::tests::resolve_invalid_func_id_from_different_store ... ok
[INFO] [stdout] test symbol::tests::resolve_multiple_symbols ... ok
[INFO] [stdout] test symbol::tests::resolve_returns_original_string ... ok
[INFO] [stdout] test symbol::tests::concurrent_intern_same_symbol ... ok
[INFO] [stdout] test symbol::tests::whitespace_symbols_are_distinct ... ok
[INFO] [stdout] test term::tests::app2_creates_binary_term ... ok
[INFO] [stdout] test term::tests::app0_creates_nullary_term ... ok
[INFO] [stdout] test term::tests::app1_creates_unary_term ... ok
[INFO] [stdout] test term::tests::build_list ... ok
[INFO] [stdout] test term::tests::build_natural_number ... ok
[INFO] [stdout] test term::tests::app_with_many_children ... ok
[INFO] [stdout] test term::tests::build_lambda_term ... ok
[INFO] [stdout] test term::tests::hashcons_child_order_matters ... ok
[INFO] [stdout] test symbol::tests::many_unique_symbols ... ok
[INFO] [stdout] test term::tests::concurrent_var_creation ... ok
[INFO] [stdout] test term::tests::hashcons_different_children_different_id ... ok
[INFO] [stdout] test term::tests::concurrent_app_creation ... ok
[INFO] [stdout] test term::tests::hashcons_different_functor_different_id ... ok
[INFO] [stdout] test term::tests::concurrent_different_terms ... ok
[INFO] [stdout] test term::tests::hashcons_nested_terms ... ok
[INFO] [stdout] test term::tests::hashcons_same_app_with_children ... ok
[INFO] [stdout] test term::tests::hashcons_same_nullary_app ... ok
[INFO] [stdout] test term::tests::is_app_returns_functor_and_children ... ok
[INFO] [stdout] test term::tests::is_app_returns_none_for_var ... ok
[INFO] [stdout] test term::tests::is_var_returns_none_for_app ... ok
[INFO] [stdout] test term::tests::is_var_returns_index_for_variable ... ok
[INFO] [stdout] test term::tests::resolve_invalid_store_ref ... ok
[INFO] [stdout] test term::tests::var_creates_term_id ... ok
[INFO] [stdout] test term::tests::many_hashconsed_terms ... ok
[INFO] [stdout] test term::tests::var_different_indices_return_different_ids ... ok
[INFO] [stdout] test term::tests::var_max_index ... ok
[INFO] [stdout] test term::tests::var_resolves_correctly ... ok
[INFO] [stdout] test trace::tests::init_subscriber_is_idempotent ... ok
[INFO] [stdout] test term::tests::var_same_index_returns_same_id ... ok
[INFO] [stdout] test trace::tests::trace_macros_compile ... ok
[INFO] [stdout] test term::tests::var_zero_index ... ok
[INFO] [stdout] test work::tests::andgroup_closed_empty_part_terminates_even_if_other_blocks ... ok
[INFO] [stdout] test work::tests::callkey_construction_no_boundaries ... ok
[INFO] [stdout] test work::tests::callkey_construction_with_both ... ok
[INFO] [stdout] test work::tests::call_replay_interleaves_with_new_answers ... ok
[INFO] [stdout] test work::tests::andgroup_closed_empty_part_terminates_even_if_other_blocks_dual ... ok
[INFO] [stdout] test work::tests::callkey_equality_same_rel_no_boundaries ... ok
[INFO] [stdout] test work::tests::callkey_hash_same_keys_same_hash ... ok
[INFO] [stdout] test work::tests::callkey_includes_adjacent_atom_as_far_boundary ... ok
[INFO] [stdout] test work::tests::callkey_inequality_different_left ... ok
[INFO] [stdout] test work::tests::callkey_inequality_different_rel ... ok
[INFO] [stdout] test work::tests::callkey_inequality_different_right ... ok
[INFO] [stdout] test work::tests::callkey_is_clone ... ok
[INFO] [stdout] test work::tests::callkey_size_reasonable ... ok
[INFO] [stdout] test work::tests::callkey_construction_with_left ... ok
[INFO] [stdout] test work::tests::callkey_construction_with_right ... ok
[INFO] [stdout] test work::tests::callkey_equality_same_boundaries ... ok
[INFO] [stdout] test work::tests::composework_emits_composed_nf ... ok
[INFO] [stdout] test work::tests::composework_emits_composed_nf_dual ... ok
[INFO] [stdout] test work::tests::env_bind_does_not_mutate_original ... ok
[INFO] [stdout] test work::tests::env_bind_overwrites_existing ... ok
[INFO] [stdout] test work::tests::env_lookup_returns_bound_rel ... ok
[INFO] [stdout] test work::tests::env_bind_multiple ... ok
[INFO] [stdout] test work::tests::env_bind_single ... ok
[INFO] [stdout] test work::tests::env_is_clone ... ok
[INFO] [stdout] test work::tests::env_lookup_returns_none_for_unbound ... ok
[INFO] [stdout] test work::tests::fix_consumer_replays_existing_answers ... ok
[INFO] [stdout] test work::tests::fix_producer_broadcasts_answers_to_all_consumers ... ok
[INFO] [stdout] test work::tests::fix_producer_continues_when_consumer_queue_full ... ok
[INFO] [stdout] test term::tests::many_distinct_terms ... ok
[INFO] [stdout] test work::tests::fix_producer_continues_when_consumer_queue_full_dual ... ok
[INFO] [stdout] test work::tests::fix_producer_dedups_duplicate_answers ... ok
[INFO] [stdout] test work::tests::fixwork_advances_running_producer_and_emits ... ok
[INFO] [stdout] test work::tests::fixwork_advances_running_producer_and_emits_dual ... ok
[INFO] [stdout] test work::tests::fixwork_handle_done_when_table_done ... ok
[INFO] [stdout] test work::tests::fixwork_exhausted_marks_done ... ok
[INFO] [stdout] test work::tests::fixwork_handle_emits_existing_answers ... ok
[INFO] [stdout] test work::tests::env_new_is_empty ... ok
[INFO] [stdout] test work::tests::env_size_reasonable ... ok
[INFO] [stdout] test work::tests::fixwork_size_reasonable ... ok
[INFO] [stdout] test work::tests::fixwork_exhausted_marks_done_dual ... ok
[INFO] [stdout] test work::tests::fixwork_skips_duplicate_answer_dual ... ok
[INFO] [stdout] test work::tests::fixwork_skips_duplicate_answer ... ok
[INFO] [stdout] test work::tests::fixwork_new_handle ... ok
[INFO] [stdout] test work::tests::join_receiver_blocks_when_empty ... ok
[INFO] [stdout] test work::tests::fixwork_starts_producer_and_emits_answer ... ok
[INFO] [stdout] test work::tests::join_receiver_blocks_when_empty_dual ... ok
[INFO] [stdout] test work::tests::fixwork_starts_producer_and_emits_answer_dual ... ok
[INFO] [stdout] test work::tests::join_receiver_emits_from_queue ... ok
[INFO] [stdout] test work::tests::join_receiver_emits_from_queue_dual ... ok
[INFO] [stdout] test work::tests::meetwork_construction_both_emit ... ok
[INFO] [stdout] test work::tests::meetwork_construction_deep_left_or ... ok
[INFO] [stdout] test work::tests::meetwork_both_exhaust_simultaneously ... ok
[INFO] [stdout] test work::tests::meetwork_construction_both_fail ... ok
[INFO] [stdout] test work::tests::meetwork_construction_left_emit_right_fail ... ok
[INFO] [stdout] test work::tests::meetwork_construction_left_fail_right_emit ... ok
[INFO] [stdout] test work::tests::meetwork_handles_or_on_left ... ok
[INFO] [stdout] test work::tests::meetwork_drains_pending_before_done ... ok
[INFO] [stdout] test work::tests::meetwork_pending_emits_before_pulls ... ok
[INFO] [stdout] test work::tests::meetwork_pending_preserves_order ... ok
[INFO] [stdout] test work::tests::meetwork_left_exhausts_first ... ok
[INFO] [stdout] test work::tests::meetwork_many_answers_terminates ... ok
[INFO] [stdout] test work::tests::meetwork_right_exhausts_first ... ok
[INFO] [stdout] test work::tests::meetwork_size_reasonable ... ok
[INFO] [stdout] test work::tests::meetwork_seen_l_grows_after_left_emit ... ok
[INFO] [stdout] test work::tests::meetwork_seen_r_grows_after_right_emit ... ok
[INFO] [stdout] test work::tests::meetwork_step_arity_mismatch_no_emit ... ok
[INFO] [stdout] test work::tests::meetwork_step_both_fail_returns_done ... ok
[INFO] [stdout] test work::tests::meetwork_step_flip_alternates_sides ... ok
[INFO] [stdout] test work::tests::meetwork_step_incompatible_ground_no_emit ... ok
[INFO] [stdout] test work::tests::meetwork_step_identical_answers_produces_meet ... ok
[INFO] [stdout] test work::tests::meetwork_step_multiple_meets_all_produced ... ok
[INFO] [stdout] test work::tests::meetwork_step_identity_with_ground_specializes ... ok
[INFO] [stdout] test work::tests::meetwork_step_left_fail_returns_done ... ok
[INFO] [stdout] test work::tests::meetwork_step_right_fail_returns_done ... ok
[INFO] [stdout] test work::tests::meetwork_steps_work_nodes ... ok
[INFO] [stdout] test work::tests::meetwork_symmetric_produces_same_results ... ok
[INFO] [stdout] test work::tests::pipework_new_is_empty ... ok
[INFO] [stdout] test work::tests::pipework_resolves_and_then_simple_atom_call ... ok
[INFO] [stdout] test work::tests::pipework_fuses_middle_atoms_before_advancing_ends ... ok
[INFO] [stdout] test work::tests::pipework_step_absorbs_both_ends_before_advancing ... ok
[INFO] [stdout] test work::tests::pipework_and_group_wraps_parts_with_iso_boundaries ... ok
[INFO] [stdout] test work::tests::pipework_fuses_adjacent_atoms_anywhere ... ok
[INFO] [stdout] test work::tests::pipework_step_atom_composes_with_left_boundary ... ok
[INFO] [stdout] test work::tests::pipework_multiple_atoms_compose ... ok
[INFO] [stdout] test work::tests::pipework_step_back_atom_absorbs_to_right ... ok
[INFO] [stdout] test work::tests::pipework_step_incompatible_compose_returns_done ... ok
[INFO] [stdout] test work::tests::pipework_step_or_in_mid_splits ... ok
[INFO] [stdout] test work::tests::pipework_step_or_with_boundaries_splits ... ok
[INFO] [stdout] test work::tests::pipework_step_boundaries_only_emits_compose ... ok
[INFO] [stdout] test work::tests::pipework_step_single_atom_absorbs_to_left ... ok
[INFO] [stdout] test work::tests::pipework_step_zero_in_mid_returns_done ... ok
[INFO] [stdout] test work::tests::pipework_step_zero_with_boundaries_returns_done ... ok
[INFO] [stdout] test work::tests::pipework_step_right_boundary_only_emits ... ok
[INFO] [stdout] test work::tests::pipework_with_boundaries_and_empty_mid ... ok
[INFO] [stdout] test work::tests::pipework_with_left_boundary_only ... ok
[INFO] [stdout] test work::tests::pipework_with_right_boundary_only ... ok
[INFO] [stdout] test work::tests::producerstate_done ... ok
[INFO] [stdout] test work::tests::producerstate_is_clone ... ok
[INFO] [stdout] test work::tests::pipework_with_mid_only ... ok
[INFO] [stdout] test work::tests::producerstate_not_started ... ok
[INFO] [stdout] test work::tests::seq_does_not_spawn_pipe_per_and_answer ... ok
[INFO] [stdout] test work::tests::seq_does_not_spawn_pipe_per_and_answer_dual ... ok
[INFO] [stdout] test work::tests::producerstate_running ... ok
[INFO] [stdout] test work::tests::split_or_preserves_both_boundaries ... ok
[INFO] [stdout] test work::tests::split_or_preserves_env ... ok
[INFO] [stdout] test work::tests::split_or_preserves_left_boundary ... ok
[INFO] [stdout] test work::tests::split_or_preserves_remaining_mid ... ok
[INFO] [stdout] test work::tests::split_or_preserves_right_boundary ... ok
[INFO] [stdout] test work::tests::split_or_returns_work_pipe_not_fail ... ok
[INFO] [stdout] test work::tests::split_or_right_branch_has_b_factor ... ok
[INFO] [stdout] test work::tests::split_or_zero_branches_returns_work_pipe ... ok
[INFO] [stdout] test work::tests::table_add_answer ... ok
[INFO] [stdout] test work::tests::split_or_left_branch_has_a_factor ... ok
[INFO] [stdout] test work::tests::pipework_step_empty_returns_done ... ok
[INFO] [stdout] test work::tests::pipework_step_left_boundary_only_emits ... ok
[INFO] [stdout] test work::tests::pipework_step_right_boundary_composes ... ok
[INFO] [stdout] test work::tests::table_add_multiple_answers ... ok
[INFO] [stdout] test work::tests::table_default_is_new ... ok
[INFO] [stdout] test work::tests::table_finish_producer ... ok
[INFO] [stdout] test work::tests::table_all_answers ... ok
[INFO] [stdout] test work::tests::table_dedups_duplicate_answers ... ok
[INFO] [stdout] test work::tests::table_next_answer_empty ... ok
[INFO] [stdout] test work::tests::table_has_more_answers ... ok
[INFO] [stdout] test work::tests::table_locks_are_independent_dual ... ok
[INFO] [stdout] test work::tests::table_next_answer_single ... ok
[INFO] [stdout] test work::tests::table_next_answer_multiple ... ok
[INFO] [stdout] test work::tests::table_new_is_empty ... ok
[INFO] [stdout] test work::tests::table_reset_consumer ... ok
[INFO] [stdout] test work::tests::table_start_producer ... ok
[INFO] [stdout] test work::tests::table_next_answer_increments_index ... ok
[INFO] [stdout] test work::tests::table_size_reasonable ... ok
[INFO] [stdout] test work::tests::tables_clone_shares_updates ... ok
[INFO] [stdout] test work::tests::tables_contains ... ok
[INFO] [stdout] test work::tests::tables_get_or_create_existing ... ok
[INFO] [stdout] test work::tests::tables_default_is_new ... ok
[INFO] [stdout] test work::tests::tables_get_or_create_new ... ok
[INFO] [stdout] test work::tests::tables_is_clone ... ok
[INFO] [stdout] test work::tests::tables_lookup_after_create ... ok
[INFO] [stdout] test work::tests::tables_lookup_nonexistent ... ok
[INFO] [stdout] test work::tests::tables_keys_with_different_boundaries ... ok
[INFO] [stdout] test work::tests::tables_size_reasonable ... ok
[INFO] [stdout] test work::tests::tables_new_is_empty ... ok
[INFO] [stdout] test work::tests::work_atom_construction ... ok
[INFO] [stdout] test work::tests::tables_multiple_keys ... ok
[INFO] [stdout] test work::tests::work_fix_construction ... ok
[INFO] [stdout] test work::tests::work_atom_step_emits_then_done ... ok
[INFO] [stdout] test work::tests::work_fix_step_delegates ... ok
[INFO] [stdout] test work::tests::work_meet_construction ... ok
[INFO] [stdout] test work::tests::workstep_done_construction ... ok
[INFO] [stdout] test work::tests::work_pipe_construction ... ok
[INFO] [stdout] test work::tests::work_meet_step_delegates_to_meetwork ... ok
[INFO] [stdout] test work::tests::workstep_emit_construction ... ok
[INFO] [stdout] test work::tests::workstep_split_construction ... ok
[INFO] [stdout] test work::tests::workstep_more_construction ... ok
[INFO] [stdout] test work::tests::table_locks_are_independent ... ok
[INFO] [stdout] test engine::tests::simplelam_sk_eval_must_produce_answer ... ok
[INFO] [stdout] test engine::tests::simplelam_skk_eval_produces_identity ... ok
[INFO] [stderr]      Running unittests src/bin/alloc_profile.rs (/opt/rustwide/target/debug/deps/alloc_profile-849f18c999da6bf3)
[INFO] [stdout] test engine::tests::program_synth_flip_must_not_hang ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 772 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 10.17s
[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] [stderr]      Running unittests src/bin/perf_corpus_alloc.rs (/opt/rustwide/target/debug/deps/perf_corpus_alloc-faab88f176ace9c3)
[INFO] [stderr]      Running unittests src/bin/perf_corpus_ci_summary.rs (/opt/rustwide/target/debug/deps/perf_corpus_ci_summary-81b01d7ead78f262)
[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] [stdout] 
[INFO] [stderr]      Running unittests src/bin/perf_corpus_diff.rs (/opt/rustwide/target/debug/deps/perf_corpus_diff-0c498b3c998b3768)
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/perf_corpus_gate.rs (/opt/rustwide/target/debug/deps/perf_corpus_gate-54588febc8d6794a)
[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] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/perf_corpus_health.rs (/opt/rustwide/target/debug/deps/perf_corpus_health-4c603590ca80e1c0)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/perf_corpus_recommend_gate.rs (/opt/rustwide/target/debug/deps/perf_corpus_recommend_gate-d0e7bf06bf04c24d)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/perf_corpus_run.rs (/opt/rustwide/target/debug/deps/perf_corpus_run-19ddaeb48c53a95a)
[INFO] [stderr]      Running unittests src/bin/perf_corpus_sanity.rs (/opt/rustwide/target/debug/deps/perf_corpus_sanity-ef5531fa50b2a80b)
[INFO] [stderr]      Running unittests src/bin/perf_corpus_trend.rs (/opt/rustwide/target/debug/deps/perf_corpus_trend-365c7fce932496e6)
[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] [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] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test tests::count_regressions_counts_only_positive_deltas_above_threshold ... ok
[INFO] [stdout] test tests::count_regressions_ignores_equal_threshold ... ok
[INFO] [stdout] test tests::count_regressions_respects_confidence_floor ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/perf_profile.rs (/opt/rustwide/target/debug/deps/perf_profile-6aa5a4a1aa0cf985)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/rwlog.rs (/opt/rustwide/target/debug/deps/rwlog-73686bf97e3a3eab)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test tests::repl_query_composes_named_relations ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/size_report.rs (/opt/rustwide/target/debug/deps/size_report-e39033aa78687fce)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/chrstate_perf_bench.rs (/opt/rustwide/target/debug/deps/chrstate_perf_bench-e1a2ff8b56e9cc4c)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test chrstate_perf_comparison ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/compose_meet_dedup_investigation.rs (/opt/rustwide/target/debug/deps/compose_meet_dedup_investigation-d0b997f9b033b57a)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test measure_compose_meet_duplication ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/language_contract.rs (/opt/rustwide/target/debug/deps/language_contract-180969c73aec6086)
[INFO] [stdout] 
[INFO] [stdout] running 71 tests
[INFO] [stdout] test bracket_grouping_overrides_default_precedence ... ok
[INFO] [stdout] test conjunction_commutativity_holds_on_finite_queries ... ok
[INFO] [stdout] test add_backward_for_three_returns_all_partitions ... ok
[INFO] [stdout] test add_backward_for_two_returns_all_partitions ... ok
[INFO] [stdout] test constraint_arity_mismatch_is_parse_error ... ok
[INFO] [stdout] test disequality_guard_accepts_unequal_pair ... ok
[INFO] [stdout] test disequality_guard_rejects_equal_pair ... ok
[INFO] [stdout] test alpha_equivalent_relations_have_same_behavior ... ok
[INFO] [stdout] test between_open_open_rejects_endpoints_but_accepts_interior ... ok
[INFO] [stdout] test dropped_lhs_variable_is_existential_backward ... ok
[INFO] [stdout] test equality_constraint_failure_kills_branch ... ok
[INFO] [stdout] test disjunction_commutativity_holds_on_finite_queries ... ok
[INFO] [stdout] test equality_constraint_grounds_nf_pattern_via_substitution ... ok
[INFO] [stdout] test disjunction_deduplicates_alpha_equivalent_answers ... ok
[INFO] [stdout] test equality_constraint_in_theory_produces_correct_binding ... ok
[INFO] [stdout] test fresh_rhs_variable_is_existential ... ok
[INFO] [stdout] test add_forward_examples_compute_expected_sums ... ok
[INFO] [stdout] test macro_complex_arg_expression ... ok
[INFO] [stdout] test equality_guard_rejects_unequal_pair ... ok
[INFO] [stdout] test inline_rule_query_executes ... ok
[INFO] [stdout] test macro_cross_call_e2e ... ok
[INFO] [stdout] test equality_guard_accepts_equal_pair ... ok
[INFO] [stdout] test macro_forward_reference_in_macro_body ... ok
[INFO] [stdout] test macro_forward_reference_recursive_macro ... ok
[INFO] [stdout] test macro_forward_reference_in_regular_relation ... ok
[INFO] [stdout] test macro_mutual_forward_references ... ok
[INFO] [stdout] test macro_non_recursive_definition_and_expansion ... ok
[INFO] [stdout] test macro_arity_overloading_e2e ... ok
[INFO] [stdout] test macro_non_recursive_with_or ... ok
[INFO] [stdout] test macro_non_recursive_with_two_params ... ok
[INFO] [stdout] test macro_forward_ref_load_file ... ok
[INFO] [stdout] test macro_load_file_counts_macros ... ok
[INFO] [stdout] test macro_repl_define_reports_name_and_arity ... ok
[INFO] [stdout] test macro_param_does_not_leak_into_later_definitions ... ok
[INFO] [stdout] test macro_repl_query_non_recursive ... ok
[INFO] [stdout] test macro_recursive_identity_self_call_e2e ... ok
[INFO] [stdout] test macro_repl_query_recursive ... ok
[INFO] [stdout] test macro_undefined_call_errors_in_repl ... ok
[INFO] [stdout] test macro_wrong_arity_errors_in_repl ... ok
[INFO] [stdout] test macro_repl_define_two_params_reports_arity ... ok
[INFO] [stdout] test macro_repl_list_shows_macros ... ok
[INFO] [stdout] test mutual_recursion_even_backward_generates_even_inputs ... ok
[INFO] [stdout] test mutual_recursion_even_odd_computes_expected_results ... ok
[INFO] [stdout] test nonzero_guard_accepts_successor ... ok
[INFO] [stdout] test nonzero_guard_rejects_zero ... ok
[INFO] [stdout] test recursive_double_relation_doubles_peano_numbers ... ok
[INFO] [stdout] test precedence_seq_binds_tighter_than_or ... ok
[INFO] [stdout] test repeated_variable_pattern_accepts_equal_inputs ... ok
[INFO] [stdout] test named_identity_relation_is_bidirectional ... ok
[INFO] [stdout] test repl_exit_and_quit_return_quit_signal ... ok
[INFO] [stdout] test repl_help_lists_core_commands ... ok
[INFO] [stdout] test repl_load_file_reports_parse_errors ... ok
[INFO] [stdout] test repl_load_file_supports_theory_and_relations ... ok
[INFO] [stdout] test repl_next_requires_positive_integer_argument ... ok
[INFO] [stdout] test nat_relation_is_identity_on_bounded_forward_and_backward_queries ... ok
[INFO] [stdout] test repl_reset_clears_active_query ... ok
[INFO] [stdout] test repl_theory_definition_clears_existing_relations ... ok
[INFO] [stdout] test sequence_associativity_holds ... ok
[INFO] [stdout] test sequence_composition_works_via_surface_syntax ... ok
[INFO] [stdout] test split_statements_handles_comments_and_multiline_blocks ... ok
[INFO] [stdout] test term_literal_is_identity_relation ... ok
[INFO] [stdout] test repl_process_cell_supports_mixed_definition_and_query ... ok
[INFO] [stdout] test undefined_call_has_no_answers ... ok
[INFO] [stdout] test theory_guard_variable_must_be_head_bound ... ok
[INFO] [stdout] test undefined_constraint_predicate_is_parse_error ... ok
[INFO] [stdout] test precedence_and_binds_tighter_than_seq ... ok
[INFO] [stdout] test repeated_variable_pattern_rejects_unequal_inputs ... ok
[INFO] [stdout] test repl_next_without_active_query_reports_status ... ok
[INFO] [stdout] test between_closed_closed_accepts_bounds ... ok
[INFO] [stdout] test conjunction_returns_intersection_of_answers ... ok
[INFO] [stdout] test large_peano_input_can_be_constructed_for_queries ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 71 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/or_tree_investigation.rs (/opt/rustwide/target/debug/deps/or_tree_investigation-f2a337a8e40e4f27)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test measure_or_spine_costs ... ignored
[INFO] [stdout] 
[INFO] [stderr]      Running tests/perf_output_schema_compat.rs (/opt/rustwide/target/debug/deps/perf_output_schema_compat-5beb0af93887eac7)
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test perf_json_and_csv_outputs_match_schema_fixture ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- perf_json_and_csv_outputs_match_schema_fixture stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'perf_json_and_csv_outputs_match_schema_fixture' (932) panicked at tests/perf_output_schema_compat.rs:64:9:
[INFO] [stdout] perf_corpus_gate --csv failed with status Some(1)
[INFO] [stdout] stdout:
[INFO] [stdout] id,median_us,p95_us,budget_median_us,budget_p95_us,latency_ok,noise_ok,flaky,samples_used,adaptive_resamples,cv_pct,mad_pct,ci95_halfwidth_pct,target_cv_pct,flaky_cv_pct,ok,samples,warmup,tolerance_pct,adaptive_step,adaptive_max_samples,default_target_cv_pct,default_flaky_cv_pct,enforce_noise,env_os,env_arch,env_cpu,env_rustc,env_rustflags,env_timestamp_unix_s,env_git_sha,env_run_id
[INFO] [stdout] identity_atom,222.200,250.220,3750.000,7500.000,true,true,false,15,0,5.978,2.403,3.025,35.000,55.000,true,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] sequence_chain_len12,685.320,777.940,15000.000,30000.000,true,true,false,15,0,6.137,2.994,3.106,35.000,55.000,true,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] conjunction_selective,879.439,2955.839,25000.000,50000.000,true,false,true,40,25,57.295,10.253,17.756,35.000,55.000,true,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] recursive_add_forward_n8,3939.669,5867.229,25000.000,56250.000,true,true,false,15,0,19.109,8.871,9.671,35.000,55.000,true,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] recursive_add_backward_n8,5918.769,8296.328,43750.000,87500.000,true,true,false,15,0,14.816,5.570,7.498,35.000,55.000,true,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] recursive_even_backward_first10,5522.468,8984.169,37500.000,87500.000,true,true,false,15,0,21.774,6.734,11.019,35.000,55.000,true,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] treecalc_first_answer,1943.940,2375.760,62500.000,150000.000,true,true,false,15,0,12.477,6.557,6.314,35.000,55.000,true,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] constraints_nonzero_success,728.690,767.230,37500.000,75000.000,true,true,false,15,0,3.528,2.341,1.785,35.000,55.000,true,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] constraints_range_between,714.199,777.310,37500.000,75000.000,true,true,false,15,0,3.308,1.701,1.674,35.000,55.000,true,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] constraint_perm_4,1407.110,1541.660,62500.000,125000.000,true,false,false,40,25,44.299,3.179,13.728,35.000,55.000,true,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] deep_rewrite_depth64,140582.697,163442.713,125000.000,250000.000,false,true,false,15,0,8.955,7.643,4.532,35.000,55.000,false,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] deep_term_depth_32,442.200,470.829,25000.000,50000.000,true,false,true,40,25,65.148,3.027,20.189,35.000,55.000,true,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] disjunction_wide_16,1273.339,1461.100,25000.000,50000.000,true,true,false,15,0,10.031,8.804,5.076,35.000,55.000,true,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] disjunction_wide_64_first16,2794.049,4912.689,37500.000,75000.000,true,true,false,15,0,24.057,6.028,12.175,35.000,55.000,true,15,5,25.000,5,40,35.000,55.000,false,linux,x86_64,AMD EPYC 7B13,rustc 1.94.0 (4a4ef493e 2026-03-02),--cap-lints=warn,1773041474,b9a82e2a007cd1700e717cca91491c7c3b06b6e3,
[INFO] [stdout] 
[INFO] [stdout] stderr:
[INFO] [stdout] perf corpus quick gate failed
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x6007a5607242 - std::backtrace_rs::backtrace::libunwind::trace::hff358a60abf734fc
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x6007a5607242 - std::backtrace_rs::backtrace::trace_unsynchronized::h3b121f916dd95ec6
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x6007a5607242 - std::sys::backtrace::_print_fmt::hde0a62ded68798e9
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x6007a5607242 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h93773fc827e3113d
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x6007a5617a5a - core::fmt::rt::Argument::fmt::h01eff69902dad97f
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x6007a5617a5a - core::fmt::write::hed7b5c73d82ecb7c
[INFO] [stdout]    6:     0x6007a55d5ba6 - std::io::default_write_fmt::h2f696ff5b8bbaa4b
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x6007a55d5ba6 - std::io::Write::write_fmt::h5e66814db8a9cfce
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x6007a55e6729 - std::sys::backtrace::BacktraceLock::print::h8b1d6fcc5a56d1a3
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x6007a55e6729 - std::panicking::default_hook::{{closure}}::h2be84df4f189ae36
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x6007a55e65c1 - std::panicking::default_hook::hf0ea8939246f43a9
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x6007a557570e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h02d35e3888986252
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x6007a557570e - test::test_main_with_exit_callback::{{closure}}::h939640a27d647173
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x6007a55e69a2 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hc9df09ff391af3e7
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x6007a55e69a2 - std::panicking::panic_with_hook::hb4bd9ac1123582a0
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x6007a55e67e8 - std::panicking::panic_handler::{{closure}}::hde00dd15f5637fe2
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x6007a55e1be9 - std::sys::backtrace::__rust_end_short_backtrace::hb72197fa777c1785
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x6007a55c977d - __rustc[4425a7e20b4c8619]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x6007a561eeec - core::panicking::panic_fmt::ha59b517dd231f4da
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x6007a5542bac - perf_output_schema_compat::assert_success::hdb5007be5d036f55
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/perf_output_schema_compat.rs:64:9
[INFO] [stdout]   20:     0x6007a5545ffb - perf_output_schema_compat::perf_json_and_csv_outputs_match_schema_fixture::h0190dec869b4ff5c
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/perf_output_schema_compat.rs:303:5
[INFO] [stdout]   21:     0x6007a5546797 - perf_output_schema_compat::perf_json_and_csv_outputs_match_schema_fixture::{{closure}}::ha95ccdef8a6ccf91
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/perf_output_schema_compat.rs:113:52
[INFO] [stdout]   22:     0x6007a554f276 - core::ops::function::FnOnce::call_once::hbe87b0a3b7c43522
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x6007a55754cb - core::ops::function::FnOnce::call_once::hddb3cd395c36bfbb
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x6007a55754cb - test::__rust_begin_short_backtrace::h0b6a7601d9750bfa
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:663:18
[INFO] [stdout]   25:     0x6007a5588eda - test::run_test_in_process::{{closure}}::h444209903f00b347
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:686:74
[INFO] [stdout]   26:     0x6007a5588eda - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hfb3ba8f46e537649
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   27:     0x6007a5588eda - std::panicking::catch_unwind::do_call::h1672a45911fcf9dc
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:581:40
[INFO] [stdout]   28:     0x6007a5588eda - std::panicking::catch_unwind::h0fadaee22787a6dd
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:544:19
[INFO] [stdout]   29:     0x6007a5588eda - std::panic::catch_unwind::hc47ad190f2c8e188
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panic.rs:359:14
[INFO] [stdout]   30:     0x6007a5588eda - test::run_test_in_process::hcd7faaf934f29999
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:686:27
[INFO] [stdout]   31:     0x6007a5588eda - test::run_test::{{closure}}::hddc4550da4871867
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:607:43
[INFO] [stdout]   32:     0x6007a5563334 - test::run_test::{{closure}}::h98ae26689f13ed94
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:637:41
[INFO] [stdout]   33:     0x6007a5563334 - std::sys::backtrace::__rust_begin_short_backtrace::h3ec4d1f21ad44588
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   34:     0x6007a5566cd2 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::hd8bf2c73d479939f
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   35:     0x6007a5566cd2 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h3b4248f358af2491
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   36:     0x6007a5566cd2 - std::panicking::catch_unwind::do_call::hda10a64f4b8daebe
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:581:40
[INFO] [stdout]   37:     0x6007a5566cd2 - std::panicking::catch_unwind::h659e5ee8336ec8c7
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:544:19
[INFO] [stdout]   38:     0x6007a5566cd2 - std::panic::catch_unwind::h9d4d66a538912c18
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panic.rs:359:14
[INFO] [stdout]   39:     0x6007a5566cd2 - std::thread::lifecycle::spawn_unchecked::{{closure}}::h7557906bb51d79f1
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   40:     0x6007a5566cd2 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9e460d1d7fc83d35
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x6007a55dccef - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h61282da819d64ea9
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   42:     0x6007a55dccef - std::sys::thread::unix::Thread::new::thread_start::h982f9ea829d1b5fb
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/thread/unix.rs:127:17
[INFO] [stdout]   43:     0x7b721dd6baa4 - <unknown>
[INFO] [stdout]   44:     0x7b721ddf8a64 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     perf_json_and_csv_outputs_match_schema_fixture
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 10.91s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test perf_output_schema_compat`
[INFO] running `Command { std: "docker" "inspect" "18e6cd83bb2cc65c5fe630c71f1d7210c91515a0daeeb894fa1b097185b51aa8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "18e6cd83bb2cc65c5fe630c71f1d7210c91515a0daeeb894fa1b097185b51aa8", kill_on_drop: false }`
[INFO] [stdout] 18e6cd83bb2cc65c5fe630c71f1d7210c91515a0daeeb894fa1b097185b51aa8
