{
  "experiment": "ci-run",
  "generated_at": "2026-04-29 19:28 UTC",
  "workload_docs": {
    "half": [
      {
        "mutations": [
          "max_min_nan_handling_a61f31b_1"
        ],
        "tasks": [
          {
            "property": "F16MaxMinNan",
            "witnesses": [
              {
                "test_fn": "witness_f16_max_min_nan_case_self_nan_max"
              },
              {
                "test_fn": "witness_f16_max_min_nan_case_self_nan_min"
              },
              {
                "test_fn": "witness_f16_max_min_nan_case_other_nan_max"
              },
              {
                "test_fn": "witness_f16_max_min_nan_case_both_nan_max"
              },
              {
                "test_fn": "witness_f16_max_min_nan_case_non_nan_max"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/VoidStarKat/half-rs",
          "commits": [
            "a61f31bace6b63c6d3336a3867b5617976b0653e"
          ],
          "commit_subjects": [
            "Fix bug #126: handle NaNs correctly in min() and max()"
          ],
          "summary": "`f16::max/min` relied on `other > self` to decide which argument to return; when `self` is NaN that comparison is unordered and returned NaN instead of the non-NaN operand, violating IEEE 754 min/max semantics."
        },
        "injection": {
          "kind": "marauders",
          "files": [
            "src/binary16.rs"
          ],
          "locations": [
            {
              "file": "src/binary16.rs"
            }
          ]
        },
        "bug": {
          "short_name": "max_min_nan_handling",
          "invariant": "For IEEE 754 max/min, if exactly one input is NaN the non-NaN argument must be returned; in particular `NaN.max(x)` must return `x`.",
          "how_triggered": "The buggy body reads `if other > self && !other.is_nan() { other } else { self }`. When `self` is NaN, `other > self` is `false` (any comparison with NaN is unordered), so the code returns `self` (NaN) instead of `other`. The fixed body explicitly checks `self.is_nan()` first."
        }
      },
      {
        "mutations": [
          "partial_cmp_sign_magnitude_22b5bd6_1"
        ],
        "tasks": [
          {
            "property": "F16OrdSignMagnitude",
            "witnesses": [
              {
                "test_fn": "witness_f16_ord_sign_magnitude_case_neg_order"
              },
              {
                "test_fn": "witness_f16_ord_sign_magnitude_case_neg_zero_eq"
              },
              {
                "test_fn": "witness_f16_ord_sign_magnitude_case_mixed_sign"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/VoidStarKat/half-rs",
          "commits": [
            "22b5bd6c086d4caf8651bf5b866241ba8ce67407"
          ],
          "commit_subjects": [
            "fix comparisons and add some tests"
          ],
          "summary": "The `PartialOrd`/`PartialEq` impls on `f16` compared raw `u16` bit patterns, which disagrees with IEEE 754 sign-magnitude ordering: `-0.0 != 0.0`, negative numbers compared by magnitude instead of value, and mixed signs ordered wrong."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/binary16.rs"
          ],
          "locations": [
            {
              "file": "src/binary16.rs"
            }
          ],
          "patch": "patches/partial_cmp_sign_magnitude_22b5bd6_1.patch"
        },
        "bug": {
          "short_name": "partial_cmp_sign_magnitude",
          "invariant": "`f16` comparisons must agree with the equivalent `f32` comparison obtained by `f16::from_bits(x).to_f32().partial_cmp(&y.to_f32())`. Concretely: `-0.0 == 0.0`, `-1.0 > -2.0`, `1.0 > -0.0`.",
          "how_triggered": "The buggy impls use raw `u16` comparison (e.g. `self.0 < other.0`). In sign-magnitude representation this yields the wrong answer whenever (a) both operands are negative (larger magnitude ⇒ larger u16 ⇒ judged greater, but should be smaller) or (b) one operand is `-0.0` vs `+0.0` (different bits ⇒ judged unequal, but should be equal)."
        }
      },
      {
        "mutations": [
          "subnormal_conversion_18e6467_1"
        ],
        "tasks": [
          {
            "property": "F16SubnormalRoundtrip",
            "witnesses": [
              {
                "test_fn": "witness_f16_subnormal_roundtrip_case_min_positive_subnormal"
              },
              {
                "test_fn": "witness_f16_subnormal_roundtrip_case_mid_subnormal"
              },
              {
                "test_fn": "witness_f16_subnormal_roundtrip_case_neg_subnormal"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/VoidStarKat/half-rs",
          "commits": [
            "18e6467b52f821d21a7179d1da5ac5aded63b3bd"
          ],
          "commit_subjects": [
            "hopefully fix subnormals"
          ],
          "summary": "The software fallback `to_f32_const` reused the normal-number mantissa shift for subnormals, so `f16→f32` subnormals came out off by a power of two; the fix reinstates the subnormal branch that computes `man << (14 + e)` using the mantissa's leading-zero count."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/binary16/arch.rs"
          ],
          "locations": [
            {
              "file": "src/binary16/arch.rs"
            }
          ],
          "patch": "patches/subnormal_conversion_18e6467_1.patch"
        },
        "bug": {
          "short_name": "subnormal_conversion",
          "invariant": "Every f16 value is exactly representable in f32, so for a subnormal f16 (`exp==0, mant!=0`) the fallback conversion `to_f32_const()` must produce exactly `mant * 2^-24` (with sign).",
          "how_triggered": "The buggy fallback pre-computes `man = (half_man & 0x03FF) << 13` outside the subnormal branch and reuses that shift for subnormals. The correct subnormal path, restored by the fix, computes `man = (half_man << (14 + e)) & 0x7F_FFFF` where `e` is the leading-zero count; the reused normal shift leaves residual bits that shift the result out of place (off by a factor `(1 + 2^-10)` or similar). Because the property exercises `to_f32_const()` (the software fallback) directly, the bug is detected even on targets with hardware FP16 intrinsics."
        }
      }
    ]
  },
  "metrics": [
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    }
  ]
}