{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.966553369+00:00","status":"failed","tests":77,"discards":0,"time":"94us","error":null,"tool":"proptest","counterexample":"((false, 31745, 0))"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.967925831+00:00","status":"failed","tests":62,"discards":0,"time":"83us","error":null,"tool":"proptest","counterexample":"((false, 31745, 0))"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.969063959+00:00","status":"failed","tests":187,"discards":0,"time":"118us","error":null,"tool":"proptest","counterexample":"((false, 31745, 0))"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.970251291+00:00","status":"failed","tests":50,"discards":0,"time":"74us","error":null,"tool":"proptest","counterexample":"((false, 31745, 0))"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.971370041+00:00","status":"failed","tests":37,"discards":0,"time":"74us","error":null,"tool":"proptest","counterexample":"((false, 31745, 0))"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.972476811+00:00","status":"failed","tests":34,"discards":0,"time":"72us","error":null,"tool":"proptest","counterexample":"((false, 31745, 0))"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.973620178+00:00","status":"failed","tests":38,"discards":0,"time":"71us","error":null,"tool":"proptest","counterexample":"((false, 31745, 0))"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.974724174+00:00","status":"failed","tests":32,"discards":0,"time":"124us","error":null,"tool":"proptest","counterexample":"((false, 31745, 0))"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.975853109+00:00","status":"failed","tests":47,"discards":0,"time":"85us","error":null,"tool":"proptest","counterexample":"((false, 31745, 0))"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.976963414+00:00","status":"failed","tests":38,"discards":0,"time":"71us","error":null,"tool":"proptest","counterexample":"((false, 31745, 0))"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.978138038+00:00","status":"failed","tests":100,"discards":0,"time":"45us","error":null,"tool":"quickcheck","counterexample":"(false 31745 0)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.979273231+00:00","status":"failed","tests":123,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"(false 31745 0)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.980350989+00:00","status":"failed","tests":103,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"(false 31745 0)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.981430468+00:00","status":"failed","tests":112,"discards":0,"time":"42us","error":null,"tool":"quickcheck","counterexample":"(false 31745 0)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.982532011+00:00","status":"failed","tests":109,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"(false 31745 0)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.983620124+00:00","status":"failed","tests":106,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"(false 31745 0)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.984735528+00:00","status":"failed","tests":74,"discards":0,"time":"72us","error":null,"tool":"quickcheck","counterexample":"(false 31745 0)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.985813214+00:00","status":"failed","tests":163,"discards":0,"time":"54us","error":null,"tool":"quickcheck","counterexample":"(false 31745 0)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.986913746+00:00","status":"failed","tests":134,"discards":0,"time":"59us","error":null,"tool":"quickcheck","counterexample":"(false 31745 0)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.988025044+00:00","status":"failed","tests":123,"discards":0,"time":"50us","error":null,"tool":"quickcheck","counterexample":"(false 31745 0)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.989266248+00:00","status":"failed","tests":37,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(false 64959 29167)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.990357555+00:00","status":"failed","tests":12,"discards":0,"time":"17us","error":null,"tool":"crabcheck","counterexample":"(false 64704 52582)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.991394801+00:00","status":"failed","tests":60,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"(false 32038 47513)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.992470515+00:00","status":"failed","tests":57,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"(false 32328 6158)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.993549564+00:00","status":"failed","tests":5,"discards":0,"time":"24us","error":null,"tool":"crabcheck","counterexample":"(false 65249 33452)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.994596003+00:00","status":"failed","tests":19,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(false 65007 20857)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.995653911+00:00","status":"failed","tests":3,"discards":0,"time":"24us","error":null,"tool":"crabcheck","counterexample":"(false 65072 4427)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.996727832+00:00","status":"failed","tests":41,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(false 32759 46454)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.997774753+00:00","status":"failed","tests":51,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(true 65241 2406)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-29T19:28:04.998875574+00:00","status":"failed","tests":49,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(false 65425 8343)"},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-29T19:28:05.000103428+00:00","status":"failed","tests":0,"discards":0,"time":"332us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-29T19:28:05.001536982+00:00","status":"failed","tests":0,"discards":0,"time":"249us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-29T19:28:05.002826809+00:00","status":"failed","tests":0,"discards":0,"time":"208us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-29T19:28:05.004119240+00:00","status":"failed","tests":0,"discards":0,"time":"204us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-29T19:28:05.005368526+00:00","status":"failed","tests":0,"discards":0,"time":"193us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-29T19:28:05.006717472+00:00","status":"failed","tests":0,"discards":0,"time":"226us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-29T19:28:05.007972598+00:00","status":"failed","tests":0,"discards":0,"time":"226us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-29T19:28:05.009365330+00:00","status":"failed","tests":0,"discards":0,"time":"254us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-29T19:28:05.010950503+00:00","status":"failed","tests":0,"discards":0,"time":"205us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16MaxMinNan","mutations":["max_min_nan_handling_a61f31b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-29T19:28:05.012228507+00:00","status":"failed","tests":0,"discards":0,"time":"216us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"0f5278fb03a2653c11997e3dae8d7cc5bd169b54"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.116382428+00:00","status":"failed","tests":31,"discards":0,"time":"124us","error":null,"tool":"proptest","counterexample":"((0, 32768))"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.117852778+00:00","status":"failed","tests":34,"discards":0,"time":"88us","error":null,"tool":"proptest","counterexample":"((0, 32768))"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.119024196+00:00","status":"failed","tests":31,"discards":0,"time":"89us","error":null,"tool":"proptest","counterexample":"((32768, 0))"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.120235264+00:00","status":"failed","tests":32,"discards":0,"time":"83us","error":null,"tool":"proptest","counterexample":"((0, 32768))"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.121359161+00:00","status":"failed","tests":31,"discards":0,"time":"90us","error":null,"tool":"proptest","counterexample":"((0, 32768))"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.122548497+00:00","status":"failed","tests":32,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"((32768, 0))"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.123646294+00:00","status":"failed","tests":32,"discards":0,"time":"147us","error":null,"tool":"proptest","counterexample":"((32768, 0))"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.124846476+00:00","status":"failed","tests":32,"discards":0,"time":"110us","error":null,"tool":"proptest","counterexample":"((32768, 0))"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.126172377+00:00","status":"failed","tests":34,"discards":0,"time":"81us","error":null,"tool":"proptest","counterexample":"((0, 32768))"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.127350196+00:00","status":"failed","tests":31,"discards":0,"time":"83us","error":null,"tool":"proptest","counterexample":"((32768, 0))"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.128759423+00:00","status":"failed","tests":115,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"(0 32768)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.129888528+00:00","status":"failed","tests":111,"discards":0,"time":"42us","error":null,"tool":"quickcheck","counterexample":"(32768 0)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.131002209+00:00","status":"failed","tests":77,"discards":0,"time":"39us","error":null,"tool":"quickcheck","counterexample":"(0 32768)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.132128439+00:00","status":"failed","tests":74,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"(0 32768)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.133242611+00:00","status":"failed","tests":74,"discards":0,"time":"38us","error":null,"tool":"quickcheck","counterexample":"(0 32768)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.134339948+00:00","status":"failed","tests":91,"discards":0,"time":"49us","error":null,"tool":"quickcheck","counterexample":"(0 32768)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.135463213+00:00","status":"failed","tests":118,"discards":0,"time":"41us","error":null,"tool":"quickcheck","counterexample":"(0 32768)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.136617987+00:00","status":"failed","tests":94,"discards":0,"time":"43us","error":null,"tool":"quickcheck","counterexample":"(32768 0)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.137722173+00:00","status":"failed","tests":112,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"(0 32768)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.138830958+00:00","status":"failed","tests":116,"discards":0,"time":"42us","error":null,"tool":"quickcheck","counterexample":"(0 32768)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.140189699+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(51668 26718)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.141298463+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(36749 62268)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.142369339+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(35221 27913)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.143456991+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(20652 59556)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.144556631+00:00","status":"failed","tests":3,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(30264 40277)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.145674934+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(25543 46113)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.146746186+00:00","status":"failed","tests":1,"discards":0,"time":"76us","error":null,"tool":"crabcheck","counterexample":"(21823 33149)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.147826237+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(50209 13866)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.148867019+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(39390 38868)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.149918736+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(62180 35504)"},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.151303647+00:00","status":"failed","tests":0,"discards":0,"time":"242us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.152657531+00:00","status":"failed","tests":0,"discards":0,"time":"229us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.154158396+00:00","status":"failed","tests":0,"discards":0,"time":"200us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.155419591+00:00","status":"failed","tests":0,"discards":0,"time":"238us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.156832824+00:00","status":"failed","tests":0,"discards":0,"time":"204us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.158134283+00:00","status":"failed","tests":0,"discards":0,"time":"194us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.159428102+00:00","status":"failed","tests":0,"discards":0,"time":"187us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.160713217+00:00","status":"failed","tests":0,"discards":0,"time":"211us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.162010951+00:00","status":"failed","tests":0,"discards":0,"time":"188us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16OrdSignMagnitude","mutations":["partial_cmp_sign_magnitude_22b5bd6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-29T19:28:07.163332201+00:00","status":"failed","tests":0,"discards":0,"time":"186us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"f801861167314b283dcebf9fde61b7f27d31fcd0"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.211339134+00:00","status":"failed","tests":10,"discards":0,"time":"77us","error":null,"tool":"proptest","counterexample":"(0x0001)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.212761401+00:00","status":"failed","tests":11,"discards":0,"time":"79us","error":null,"tool":"proptest","counterexample":"(0x0001)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.213894387+00:00","status":"failed","tests":21,"discards":0,"time":"79us","error":null,"tool":"proptest","counterexample":"(0x0001)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.215094874+00:00","status":"failed","tests":10,"discards":0,"time":"72us","error":null,"tool":"proptest","counterexample":"(0x0001)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.216194018+00:00","status":"failed","tests":20,"discards":0,"time":"84us","error":null,"tool":"proptest","counterexample":"(0x0001)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.217383599+00:00","status":"failed","tests":11,"discards":0,"time":"78us","error":null,"tool":"proptest","counterexample":"(0x0001)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.218509925+00:00","status":"failed","tests":20,"discards":0,"time":"82us","error":null,"tool":"proptest","counterexample":"(0x0001)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.219686947+00:00","status":"failed","tests":10,"discards":0,"time":"142us","error":null,"tool":"proptest","counterexample":"(0x0001)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.220829536+00:00","status":"failed","tests":20,"discards":0,"time":"80us","error":null,"tool":"proptest","counterexample":"(0x0001)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"proptest","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.222008611+00:00","status":"failed","tests":21,"discards":0,"time":"81us","error":null,"tool":"proptest","counterexample":"(0x0001)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.223725974+00:00","status":"failed","tests":9,"discards":0,"time":"31us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.225021365+00:00","status":"failed","tests":7,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.226148051+00:00","status":"failed","tests":5,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.227231441+00:00","status":"failed","tests":103,"discards":0,"time":"39us","error":null,"tool":"quickcheck","counterexample":"(32769)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.228338718+00:00","status":"failed","tests":96,"discards":0,"time":"34us","error":null,"tool":"quickcheck","counterexample":"(32769)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.229455990+00:00","status":"failed","tests":3,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.230597568+00:00","status":"failed","tests":22,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.231701039+00:00","status":"failed","tests":77,"discards":0,"time":"42us","error":null,"tool":"quickcheck","counterexample":"(32769)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.232830839+00:00","status":"failed","tests":88,"discards":0,"time":"37us","error":null,"tool":"quickcheck","counterexample":"(32769)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"quickcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.233897064+00:00","status":"failed","tests":169,"discards":0,"time":"52us","error":null,"tool":"quickcheck","counterexample":"(32769)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.235420288+00:00","status":"failed","tests":8,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(526)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.236508607+00:00","status":"failed","tests":3,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(33512)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.237602468+00:00","status":"failed","tests":24,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(655)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.238695418+00:00","status":"failed","tests":4,"discards":0,"time":"17us","error":null,"tool":"crabcheck","counterexample":"(33260)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.239747296+00:00","status":"failed","tests":33,"discards":0,"time":"55us","error":null,"tool":"crabcheck","counterexample":"(25)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.240816840+00:00","status":"failed","tests":5,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(80)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.241872529+00:00","status":"failed","tests":10,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(947)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.242927827+00:00","status":"failed","tests":33,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(872)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.243977316+00:00","status":"failed","tests":115,"discards":0,"time":"31us","error":null,"tool":"crabcheck","counterexample":"(917)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"crabcheck","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.245179136+00:00","status":"failed","tests":89,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(33242)"},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.246713637+00:00","status":"failed","tests":0,"discards":0,"time":"279us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.248033955+00:00","status":"failed","tests":0,"discards":0,"time":"208us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.249317829+00:00","status":"failed","tests":0,"discards":0,"time":"210us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.250577956+00:00","status":"failed","tests":0,"discards":0,"time":"238us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.251833947+00:00","status":"failed","tests":0,"discards":0,"time":"217us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.253104019+00:00","status":"failed","tests":0,"discards":0,"time":"201us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.254367051+00:00","status":"failed","tests":0,"discards":0,"time":"200us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.255686298+00:00","status":"failed","tests":0,"discards":0,"time":"213us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.256931473+00:00","status":"failed","tests":0,"discards":0,"time":"203us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}
{"data":{"experiment":"ci-run","workload":"half","language":"rust","strategy":"hegel","property":"F16SubnormalRoundtrip","mutations":["subnormal_conversion_18e6467_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-29T19:28:09.258200674+00:00","status":"failed","tests":0,"discards":0,"time":"208us","error":null,"tool":"hegel","counterexample":"You are seeing this error message because hegel-rust tried to use `uv` to install hegel-core, but could not find uv on the PATH.\n\nHegel uses a Python server component called `hegel-core` to share core property-based testing functionality across languages. There are two ways for Hegel to get hegel-core:\n\n* By default, Hegel looks for uv (https://docs.astral.sh/uv/) on the PATH, and uses uv to install hegel-core to a local `.hegel/venv` directory. We recommend this option. To continue, install uv: https://docs.astral.sh/uv/getting-started/installation/.\n* Alternatively, you can manage the installation of hegel-core yourself. After installing, setting the HEGEL_SERVER_COMMAND environment variable to your hegel-core binary path tells hegel-rust to use that hegel-core instead.\n\nSee https://hegel.dev/reference/installation for more details."},"hash":"045ee2df68ac661f97d0696e4f4f7919e94555e9"}