{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 17:40 UTC",
  "workload_docs": {
    "arroy": [
      {
        "mutations": [
          "bq_len_bits_vs_bytes_facc857_1"
        ],
        "tasks": [
          {
            "property": "BqLenMatchesIter",
            "witnesses": [
              {
                "test_fn": "witness_bq_len_matches_iter_case_five_floats"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/meilisearch/arroy",
          "commits": [
            "facc8575222d3f5da5b9a94288e44896911e701f"
          ],
          "commit_subjects": [
            "fix the size of the iterator"
          ],
          "summary": "`UnalignedVector<BinaryQuantized>::len()` returned a word count instead of a bit count, so the `ExactSizeIterator` length was 64× smaller than the number of f32s actually yielded by `iter()` and `to_vec()`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/unaligned_vector/binary_quantized.rs"
          ],
          "locations": [
            {
              "file": "src/unaligned_vector/binary_quantized.rs"
            }
          ],
          "patch": "patches/bq_len_bits_vs_bytes_facc857_1.patch"
        },
        "bug": {
          "short_name": "bq_len_bits_vs_bytes",
          "invariant": "`UnalignedVector<BinaryQuantized>::len()` must equal the number of items produced by `iter()` and `to_vec()` (ExactSizeIterator contract).",
          "how_triggered": "`len()` returns `vec.vector.len() / QUANTIZED_WORD_BYTES` (a word count) instead of `(vec.vector.len() / QUANTIZED_WORD_BYTES) * QUANTIZED_WORD_BITS` (a bit count). The iterator still yields `words * 64` f32s, so `len()` falls out of sync by a factor of 64."
        }
      },
      {
        "mutations": [
          "cosine_distance_no_clamp_6a09118_1"
        ],
        "tasks": [
          {
            "property": "CosineDistanceInUnit",
            "witnesses": [
              {
                "test_fn": "witness_cosine_distance_in_unit_case_identical_ones"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/meilisearch/arroy",
          "commits": [
            "6a091180d7558d464cdd2ce9daec35e055e1d91c"
          ],
          "commit_subjects": [
            "Numerical stability improvements for Cosine Distance"
          ],
          "summary": "`Cosine::built_distance` could return a negative value because the pre-fix body neither guarded the divisor against tiny `pnqn` values nor clamped the cosine to `[-1.0, 1.0]` before computing `1 - cos`. The fix strengthens the guard to `f32::EPSILON` and clamps the cosine before subtraction."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/distance/cosine.rs"
          ],
          "locations": [
            {
              "file": "src/distance/cosine.rs"
            }
          ],
          "patch": "patches/cosine_distance_no_clamp_6a09118_1.patch"
        },
        "bug": {
          "short_name": "cosine_distance_no_clamp",
          "invariant": "`Cosine::built_distance(p, q)` must be finite and within `[0.0, 1.0]` for any pair of sanitized, non-empty vectors.",
          "how_triggered": "The division guard is weakened from `pnqn > f32::EPSILON` to `pnqn != 0.0`, and the subsequent `cos.clamp(-1.0, 1.0)` is removed. In f32 `sqrt(7)^2 != 7`, so the cosine of seven-ones against itself can land slightly above 1.0, making the distance `1 - cos` negative."
        }
      },
      {
        "mutations": [
          "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
        ],
        "tasks": [
          {
            "property": "BqEuclidSelfDistanceZero",
            "witnesses": [
              {
                "test_fn": "witness_bq_euclid_self_distance_zero_case_small_positive"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/meilisearch/arroy",
          "commits": [
            "47fd2bdd7f59efa84ddd9ea5dcb1b10c32b4849c"
          ],
          "commit_subjects": [
            "fix the normalized distance for the binary quantized euclidean distance"
          ],
          "summary": "`BinaryQuantizedEuclidean::built_distance` computed the popcount over `u | v` instead of `u ^ v`, so `built_distance(p, p)` became `4 * popcount(p)` instead of `0` — violating the self-identity axiom for any non-zero leaf."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/distance/binary_quantized_euclidean.rs"
          ],
          "locations": [
            {
              "file": "src/distance/binary_quantized_euclidean.rs"
            }
          ],
          "patch": "patches/bq_euclid_self_distance_or_not_xor_47fd2bd_1.patch"
        },
        "bug": {
          "short_name": "bq_euclid_self_distance_or_not_xor",
          "invariant": "`BinaryQuantizedEuclidean::built_distance(p, p)` must be `0.0` for every leaf (self-identity axiom of a distance metric).",
          "how_triggered": "The popcount argument changes from `u ^ v` (XOR, which gives `0` for `u == v`) to `u | v` (OR, which equals `popcount(v)` for `u == v`). Any leaf with at least one positive scalar then reports `built_distance(p, p) = 4 * popcount(v) > 0`."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.436706443+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.438166260+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.439268211+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.440331122+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.441404116+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.442508635+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.443610773+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.444697007+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.445780100+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.446878307+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.448079270+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.449198146+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.450212517+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.451251366+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.452256429+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "14us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.453330223+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.454325989+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.455364647+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.456351887+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.457374515+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "14us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.458514311+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0])",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.459583614+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.460579153+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0])",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.461598031+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.462592878+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.463596377+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.464684269+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0])",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.465676627+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.466661967+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0])",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.467669694+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:49.468887179+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "976459us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:50.446563939+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "187039us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:50.635068494+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "180722us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:50.817272562+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "186096us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:51.004782343+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182174us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:51.188503866+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "187418us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:51.377378201+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "186794us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:51.565713922+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "185428us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:51.752583446+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "186328us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqLenMatchesIter",
      "mutations": [
        "bq_len_bits_vs_bytes_facc857_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:51.940306528+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "180869us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)",
      "hash": "86d0cd33a436a73bc8be2d54a58bb554f6d71270"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.084300942+00:00",
      "status": "failed",
      "tests": 54,
      "discards": 0,
      "time": "199us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[-78.84107, -33.124943, 0.0, -40.359924, 0.0, 69.89667, 8.206664, -47.118572, -0.42293403], b=[-78.84107, -33.124943, 0.0, -40.359924, 0.0, 69.89667, 8.206664, -47.118572, -0.42293403]).\nminimal failing input: (\n    [\n        -78.84107,\n        -33.124943,\n        0.0,\n        -40.359924,\n        0.0,\n        69.89667,\n        8.206664,\n        -47.118572,\n        -0.42293403,\n    ],\n    [\n        -78.84107,\n        -33.124943,\n        0.0,\n        -40.359924,\n        0.0,\n        69.89667,\n        8.206664,\n        -47.118572,\n        -0.42293403,\n    ],\n)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.085709381+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[-10.522291, -17.77551], b=[-10.522291, -17.77551]).\nminimal failing input: (\n    [\n        -10.522291,\n        -17.77551,\n    ],\n    [\n        -10.522291,\n        -17.77551,\n    ],\n)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.086821378+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "104us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[-80.068344, 0.95118225, -70.46704], b=[-80.068344, 0.95118225, -70.46704]).\nminimal failing input: (\n    [\n        -80.068344,\n        0.95118225,\n        -70.46704,\n    ],\n    [\n        -80.068344,\n        0.95118225,\n        -70.46704,\n    ],\n)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.087921067+00:00",
      "status": "failed",
      "tests": 57,
      "discards": 0,
      "time": "205us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[15.538778, 27.396944, 39.31005, 60.221127, -60.458725, 0.0, 37.739857, -1.9592782, 38.05103, -80.35433, 0.0, 0.0, 82.90895], b=[15.538778, 27.396944, 39.31005, 60.221127, -60.458725, 0.0, 37.739857, -1.9592782, 38.05103, -80.35433, 0.0, 0.0, 82.90895]).\nminimal failing input: (\n    [\n        15.538778,\n        27.396944,\n        39.31005,\n        60.221127,\n        -60.458725,\n        0.0,\n        37.739857,\n        -1.9592782,\n        38.05103,\n        -80.35433,\n        0.0,\n        0.0,\n        82.90895,\n    ],\n    [\n        15.538778,\n        27.396944,\n        39.31005,\n        60.221127,\n        -60.458725,\n        0.0,\n        37.739857,\n        -1.9592782,\n        38.05103,\n        -80.35433,\n        0.0,\n        0.0,\n        82.90895,\n    ],\n)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.089155093+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[-95.412224, 82.866165, -47.59728, 60.34389, 98.280396], b=[-95.412224, 82.866165, -47.59728, 60.34389, 98.280396]).\nminimal failing input: (\n    [\n        -95.412224,\n        82.866165,\n        -47.59728,\n        60.34389,\n        98.280396,\n    ],\n    [\n        -95.412224,\n        82.866165,\n        -47.59728,\n        60.34389,\n        98.280396,\n    ],\n)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.090266755+00:00",
      "status": "failed",
      "tests": 59,
      "discards": 0,
      "time": "242us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[0.0, -99.26931, 0.0, -8.470866, 21.17093, 77.497, 0.0, 98.10345, -48.6716, 17.198711], b=[0.0, -99.26931, 0.0, -8.470866, 21.17093, 77.497, 0.0, 98.10345, -48.6716, 17.198711]).\nminimal failing input: (\n    [\n        0.0,\n        -99.26931,\n        0.0,\n        -8.470866,\n        21.17093,\n        77.497,\n        0.0,\n        98.10345,\n        -48.6716,\n        17.198711,\n    ],\n    [\n        0.0,\n        -99.26931,\n        0.0,\n        -8.470866,\n        21.17093,\n        77.497,\n        0.0,\n        98.10345,\n        -48.6716,\n        17.198711,\n    ],\n)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.091474331+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[20.915646, -84.94165], b=[20.915646, -84.94165]).\nminimal failing input: (\n    [\n        20.915646,\n        -84.94165,\n    ],\n    [\n        20.915646,\n        -84.94165,\n    ],\n)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.092568550+00:00",
      "status": "failed",
      "tests": 49,
      "discards": 0,
      "time": "180us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[-67.24717, 61.865005, 79.79903, -54.106567, 0.0, -8.079804, 0.0, 91.634155, 84.62563, 0.0, 47.358673, 84.907845], b=[-67.24717, 61.865005, 79.79903, -54.106567, 0.0, -8.079804, 0.0, 91.634155, 84.62563, 0.0, 47.358673, 84.907845]).\nminimal failing input: (\n    [\n        -67.24717,\n        61.865005,\n        79.79903,\n        -54.106567,\n        0.0,\n        -8.079804,\n        0.0,\n        91.634155,\n        84.62563,\n        0.0,\n        47.358673,\n        84.907845,\n    ],\n    [\n        -67.24717,\n        61.865005,\n        79.79903,\n        -54.106567,\n        0.0,\n        -8.079804,\n        0.0,\n        91.634155,\n        84.62563,\n        0.0,\n        47.358673,\n        84.907845,\n    ],\n)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.093736783+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "100us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[35.933308, 25.057297, -52.858723], b=[35.933308, 25.057297, -52.858723]).\nminimal failing input: (\n    [\n        35.933308,\n        25.057297,\n        -52.858723,\n    ],\n    [\n        35.933308,\n        25.057297,\n        -52.858723,\n    ],\n)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.094828818+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "95us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[-70.8288, -46.49461], b=[-70.8288, -46.49461]).\nminimal failing input: (\n    [\n        -70.8288,\n        -46.49461,\n    ],\n    [\n        -70.8288,\n        -46.49461,\n    ],\n)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.096090706+00:00",
      "status": "failed",
      "tests": 1390,
      "discards": 0,
      "time": "419us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1152921504607734418 0 true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.097549358+00:00",
      "status": "failed",
      "tests": 1830,
      "discards": 0,
      "time": "546us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1152921504606846984 0 true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.099097182+00:00",
      "status": "failed",
      "tests": 2893,
      "discards": 0,
      "time": "842us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1152921504606847205 0 true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.100926570+00:00",
      "status": "failed",
      "tests": 2333,
      "discards": 0,
      "time": "635us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1152921504606847079 0 true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.102527293+00:00",
      "status": "failed",
      "tests": 2008,
      "discards": 0,
      "time": "552us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1152921504606847098 0 true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.104063752+00:00",
      "status": "failed",
      "tests": 2729,
      "discards": 0,
      "time": "719us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1152921504606847650 0 true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.105792605+00:00",
      "status": "failed",
      "tests": 133,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (18446744073709551615 18446744073709551615 false)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.106866406+00:00",
      "status": "failed",
      "tests": 2480,
      "discards": 0,
      "time": "700us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1152921504606846984 0 true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.108577396+00:00",
      "status": "failed",
      "tests": 2237,
      "discards": 0,
      "time": "566us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1152921504606847046 0 true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.110153879+00:00",
      "status": "failed",
      "tests": 138,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (18446744073709551615 18446744073709551615 false)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.111417661+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1, 3, 0] [1, 3, 3] true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.112444023+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1, 0, 3] [1, 1, 3] true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.113450692+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1, 0, 3] [3, 3, 3] true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.114453400+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([3, 0, 2] [2, 3, 3] true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.115464839+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([2, 1, 1, 0] [4, 1, 3, 0] true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.116480430+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1, 3, 0] [0, 1, 0] true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.117493612+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1, 1] [2, 2] true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.118506469+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0, 3, 1] [1, 1, 3] true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.119520632+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1, 1] [0, 2] true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.120517579+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0, 1, 1] [1, 1, 1] true)",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.121759430+00:00",
      "status": "failed",
      "tests": 216,
      "discards": 0,
      "time": "407462us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.530530056+00:00",
      "status": "failed",
      "tests": 216,
      "discards": 0,
      "time": "408165us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:55.940256343+00:00",
      "status": "failed",
      "tests": 216,
      "discards": 0,
      "time": "409498us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:56.351215031+00:00",
      "status": "failed",
      "tests": 216,
      "discards": 0,
      "time": "410444us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:56.763262751+00:00",
      "status": "failed",
      "tests": 216,
      "discards": 0,
      "time": "407253us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:57.171934142+00:00",
      "status": "failed",
      "tests": 216,
      "discards": 0,
      "time": "410203us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:57.583653738+00:00",
      "status": "failed",
      "tests": 216,
      "discards": 0,
      "time": "407737us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:57.993003668+00:00",
      "status": "failed",
      "tests": 216,
      "discards": 0,
      "time": "417271us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:58.411943892+00:00",
      "status": "failed",
      "tests": 216,
      "discards": 0,
      "time": "414761us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "CosineDistanceInUnit",
      "mutations": [
        "cosine_distance_no_clamp_6a09118_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:39:58.828272899+00:00",
      "status": "failed",
      "tests": 216,
      "discards": 0,
      "time": "403258us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])",
      "hash": "cb32e563721cbf6142ca401de2d33ee114b76037"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.212855278+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.214172087+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.215284796+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.216383623+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.217487976+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "83us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.218588627+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.219653674+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.220768677+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.221852376+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "proptest",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.222935289+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.224389332+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.225420197+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.226462990+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.227489106+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.228508134+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.229550831+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.230546946+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.231598310+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.232621806+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.233654395+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.235039479+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0])",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.236056248+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0])",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.237047584+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0])",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.238139203+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0])",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.239151849+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0])",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.240176853+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0])",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.241181815+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0])",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.242187069+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0])",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.243243693+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0])",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.244267880+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0, 0])",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.245674039+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "185030us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.431921489+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "187483us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.620765383+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182630us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.804929515+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182760us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:02.989226563+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182234us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:03.173066886+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "181694us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:03.356164376+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182857us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:03.540415428+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "183773us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:03.725596995+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "187264us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    },
    {
      "experiment": "ci-run",
      "workload": "arroy",
      "language": "rust",
      "strategy": "hegel",
      "property": "BqEuclidSelfDistanceZero",
      "mutations": [
        "bq_euclid_self_distance_or_not_xor_47fd2bd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:40:03.914326283+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "192588us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1",
      "hash": "bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"
    }
  ]
}