{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 19:51 UTC",
  "workload_docs": {
    "python-slugify": [
      {
        "mutations": [
          "uppercase_pre_translations_a243ccdc_1"
        ],
        "tasks": [
          {
            "property": "AddUppercaseCovers",
            "witnesses": [
              {
                "test_fn": "witness_add_uppercase_covers_case_two_pairs",
                "note": "two distinct lowercase letters; both uppercase variants must be present"
              },
              {
                "test_fn": "witness_add_uppercase_covers_case_cyrillic",
                "note": "subset of CYRILLIC; checks 'я' and 'х' uppercase variants"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/un33k/python-slugify",
          "commits": [
            "a243ccdc6d2b650b83782e03893e8f117356aeff"
          ],
          "commit_subjects": [
            "fix uppercase pre-translations (#148)"
          ],
          "prs": [
            148
          ],
          "origin": "internal",
          "summary": "``add_uppercase_char`` walks a per-language replacement list and inserts the uppercase variant of every entry. Pre-fix the ``return char_list`` was indented one level too deep so the function returned after processing the first entry, leaving the bulk of the uppercase variants out of ``PRE_TRANSLATIONS``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "slugify/special.py"
          ],
          "locations": [
            {
              "file": "slugify/special.py",
              "line": 7,
              "symbol": "add_uppercase_char"
            }
          ],
          "patch": "patches/uppercase_pre_translations_a243ccdc_1.patch"
        },
        "bug": {
          "short_name": "uppercase_pre_translations",
          "invariant": "After ``add_uppercase_char(pairs)``, for every original ``(c, x)`` in ``pairs`` whose ``c.upper() != c``, the pair ``(c.upper(), x.capitalize())`` is in the result.",
          "how_triggered": "The mutation re-indents ``return char_list`` so it lives inside the ``for`` loop. The function returns after the first iteration and only the first entry's uppercase variant is inserted; subsequent entries are silently dropped."
        }
      },
      {
        "mutations": [
          "stopwords_with_custom_separator_a1543fe0_1"
        ],
        "tasks": [
          {
            "property": "StopwordsRespectSeparator",
            "witnesses": [
              {
                "test_fn": "witness_stopwords_respect_separator_case_space",
                "note": "stopword 'the' with separator=' ' must still be stripped"
              },
              {
                "test_fn": "witness_stopwords_respect_separator_case_underscore",
                "note": "stopword 'a' with separator='_' must still be stripped"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/un33k/python-slugify",
          "commits": [
            "a1543fe0ae019606bec660d6cf2e70a435ff29e4"
          ],
          "commit_subjects": [
            "fixed stopword replacement bug (different separators)"
          ],
          "origin": "internal",
          "summary": "Stopword stripping happens after the text is already normalized to use ``DEFAULT_SEPARATOR`` (``-``). Pre-fix the code split and re-joined the text on the user-supplied ``separator`` instead of ``DEFAULT_SEPARATOR``; with any non-default separator the split misfired and stopwords were never removed."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "slugify/slugify.py"
          ],
          "locations": [
            {
              "file": "slugify/slugify.py",
              "line": 180,
              "symbol": "slugify"
            }
          ],
          "patch": "patches/stopwords_with_custom_separator_a1543fe0_1.patch"
        },
        "bug": {
          "short_name": "stopwords_with_custom_separator",
          "invariant": "If a stopword appears as a whole token in the input and is included in ``stopwords=[...]``, ``slugify(text, stopwords=..., separator=sep)`` does not contain that stopword as a token in the result, regardless of ``sep``.",
          "how_triggered": "The mutation replaces ``DEFAULT_SEPARATOR`` with ``separator`` inside the stopword block. With ``separator != '-'`` the split returns the whole text as a single token (no '-' boundaries appear in the user-visible separator), so the stopword filter cannot match anything."
        }
      },
      {
        "mutations": [
          "normalize_accents_twice_e52c35e3_1"
        ],
        "tasks": [
          {
            "property": "NfkdPreNormalize",
            "witnesses": [
              {
                "test_fn": "witness_nfkd_pre_normalize_case_math_italic",
                "note": "U+1D41A 'mathematical bold a' must fold to 'a'"
              },
              {
                "test_fn": "witness_nfkd_pre_normalize_case_double_struck",
                "note": "U+1D552 'double-struck a' must fold to 'a'"
              },
              {
                "test_fn": "witness_nfkd_pre_normalize_case_mixed",
                "note": "mixed presentation forms + plain accented letters must all reach 'a'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/un33k/python-slugify",
          "commits": [
            "e52c35e34899bc21a389aa7f4fe5084423cf538c"
          ],
          "commit_subjects": [
            "Ci - Normalize accented text twice. (#143)"
          ],
          "prs": [
            143
          ],
          "origin": "internal",
          "summary": "``slugify`` historically called ``unidecode()`` on the raw input. ``unidecode`` only handles single code points, so pre-composed presentation forms (mathematical italic / double-struck letters, e.g. U+1D41A ``𝐚`` or U+1D552 ``𝕒``) were dropped to the empty slug instead of folding to ``a``. The fix prepends a ``unicodedata.normalize('NFKD', text)`` (or ``'NFKC'`` when ``allow_unicode``) so the presentation forms decompose to their ASCII bases first."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "slugify/slugify.py"
          ],
          "locations": [
            {
              "file": "slugify/slugify.py",
              "line": 120,
              "symbol": "slugify"
            }
          ],
          "patch": "patches/normalize_accents_twice_e52c35e3_1.patch"
        },
        "bug": {
          "short_name": "normalize_accents_twice",
          "invariant": "For each character ``c`` in input whose NFKD decomposition contains an ASCII letter ``L``, ``slugify(c)`` contains ``L`` (or its lowercase form). In particular, ``slugify('𝐚𝕒')`` is non-empty.",
          "how_triggered": "The mutation removes the pre-``unidecode`` ``NFKD``/``NFKC`` normalization pass. Pre-composed presentation forms reach ``unidecode`` undecomposed; ``unidecode`` returns the empty string for them, and they vanish from the output."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AddUppercaseCovers",
      "mutations": [
        "uppercase_pre_translations_a243ccdc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:47:31.296727628+00:00",
      "status": "failed",
      "tests": 236,
      "discards": 0,
      "time": "1343189us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('a', 'a'), ('b', 'a')]",
      "hash": "8d36e59812dc3af2637b0ef6f641f0da69ab2a28"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AddUppercaseCovers",
      "mutations": [
        "uppercase_pre_translations_a243ccdc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:47:33.781733503+00:00",
      "status": "failed",
      "tests": 229,
      "discards": 0,
      "time": "1183562us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('a', 'a'), ('b', 'a')]",
      "hash": "8d36e59812dc3af2637b0ef6f641f0da69ab2a28"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AddUppercaseCovers",
      "mutations": [
        "uppercase_pre_translations_a243ccdc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:47:35.232775999+00:00",
      "status": "failed",
      "tests": 233,
      "discards": 0,
      "time": "1195738us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('a', 'a'), ('b', 'a')]",
      "hash": "8d36e59812dc3af2637b0ef6f641f0da69ab2a28"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AddUppercaseCovers",
      "mutations": [
        "uppercase_pre_translations_a243ccdc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:47:36.696754247+00:00",
      "status": "failed",
      "tests": 237,
      "discards": 0,
      "time": "1333556us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('a', 'a'), ('b', 'a')]",
      "hash": "8d36e59812dc3af2637b0ef6f641f0da69ab2a28"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AddUppercaseCovers",
      "mutations": [
        "uppercase_pre_translations_a243ccdc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:47:38.302199849+00:00",
      "status": "failed",
      "tests": 240,
      "discards": 0,
      "time": "1270012us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('a', 'a'), ('b', 'a')]",
      "hash": "8d36e59812dc3af2637b0ef6f641f0da69ab2a28"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AddUppercaseCovers",
      "mutations": [
        "uppercase_pre_translations_a243ccdc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:47:39.839258252+00:00",
      "status": "failed",
      "tests": 236,
      "discards": 0,
      "time": "1264718us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('a', 'a'), ('b', 'a')]",
      "hash": "8d36e59812dc3af2637b0ef6f641f0da69ab2a28"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AddUppercaseCovers",
      "mutations": [
        "uppercase_pre_translations_a243ccdc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:47:41.378147142+00:00",
      "status": "failed",
      "tests": 264,
      "discards": 0,
      "time": "1260851us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('a', 'a'), ('b', 'a')]",
      "hash": "8d36e59812dc3af2637b0ef6f641f0da69ab2a28"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AddUppercaseCovers",
      "mutations": [
        "uppercase_pre_translations_a243ccdc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:47:42.907278402+00:00",
      "status": "failed",
      "tests": 238,
      "discards": 0,
      "time": "1250748us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('a', 'a'), ('b', 'a')]",
      "hash": "8d36e59812dc3af2637b0ef6f641f0da69ab2a28"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AddUppercaseCovers",
      "mutations": [
        "uppercase_pre_translations_a243ccdc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:47:44.430465640+00:00",
      "status": "failed",
      "tests": 243,
      "discards": 0,
      "time": "1288581us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('a', 'a'), ('b', 'a')]",
      "hash": "8d36e59812dc3af2637b0ef6f641f0da69ab2a28"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AddUppercaseCovers",
      "mutations": [
        "uppercase_pre_translations_a243ccdc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:47:46.000298017+00:00",
      "status": "failed",
      "tests": 243,
      "discards": 0,
      "time": "1208027us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('a', 'a'), ('b', 'a')]",
      "hash": "8d36e59812dc3af2637b0ef6f641f0da69ab2a28"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "AddUppercaseCovers",
      "mutations": [
        "uppercase_pre_translations_a243ccdc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:47:47.475898894+00:00",
      "status": "timed_out",
      "hash": "8d36e59812dc3af2637b0ef6f641f0da69ab2a28"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:48:47.533659297+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "493363us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:48:48.281264284+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "346677us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:48:48.879558145+00:00",
      "status": "failed",
      "tests": 168,
      "discards": 0,
      "time": "528733us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:48:49.672992187+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "350423us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:48:50.274509295+00:00",
      "status": "failed",
      "tests": 302,
      "discards": 0,
      "time": "850636us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:48:51.417103640+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "345147us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:48:52.011536777+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "370851us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:48:52.636206132+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "357481us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:48:53.240089345+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "426071us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:48:53.917026813+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "335178us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:48:54.506244898+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "14560948us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:49:09.340190994+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "14027650us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:49:23.643614661+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "13829490us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:49:37.747484331+00:00",
      "status": "failed",
      "tests": 182,
      "discards": 0,
      "time": "14166837us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:49:52.199321060+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "13819132us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:50:06.287716399+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "14199272us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:50:20.753900836+00:00",
      "status": "failed",
      "tests": 184,
      "discards": 0,
      "time": "14500097us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:50:35.544109307+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "13972103us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:50:49.784699250+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "13730165us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "StopwordsRespectSeparator",
      "mutations": [
        "stopwords_with_custom_separator_a1543fe0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:03.783300602+00:00",
      "status": "failed",
      "tests": 138,
      "discards": 0,
      "time": "13958152us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(['a'], 'the', ' ')",
      "hash": "3ac178a5b3c5935f21be1297e8b0389af215515f"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:18.071337577+00:00",
      "status": "failed",
      "tests": 87,
      "discards": 0,
      "time": "247682us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:18.556765715+00:00",
      "status": "failed",
      "tests": 86,
      "discards": 0,
      "time": "229280us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:19.020836482+00:00",
      "status": "failed",
      "tests": 84,
      "discards": 0,
      "time": "236582us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:19.497942927+00:00",
      "status": "failed",
      "tests": 86,
      "discards": 0,
      "time": "229987us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:19.961561443+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "223975us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:20.420709333+00:00",
      "status": "failed",
      "tests": 88,
      "discards": 0,
      "time": "246433us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:20.900339650+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "232807us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:21.373122673+00:00",
      "status": "failed",
      "tests": 93,
      "discards": 0,
      "time": "253231us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:21.868661704+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "238326us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:22.345492822+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "235574us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:22.819506365+00:00",
      "status": "failed",
      "tests": 95,
      "discards": 0,
      "time": "904997us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:23.983080267+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "882371us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:25.130240455+00:00",
      "status": "failed",
      "tests": 98,
      "discards": 0,
      "time": "888805us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:26.277411278+00:00",
      "status": "failed",
      "tests": 87,
      "discards": 0,
      "time": "840786us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:27.379402779+00:00",
      "status": "failed",
      "tests": 85,
      "discards": 0,
      "time": "860031us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:28.502945849+00:00",
      "status": "failed",
      "tests": 85,
      "discards": 0,
      "time": "834246us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:29.598115624+00:00",
      "status": "failed",
      "tests": 96,
      "discards": 0,
      "time": "865065us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:30.726078287+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "868289us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:31.856062613+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "896841us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    },
    {
      "experiment": "ci-run",
      "workload": "python-slugify",
      "language": "python",
      "strategy": "crosshair",
      "property": "NfkdPreNormalize",
      "mutations": [
        "normalize_accents_twice_e52c35e3_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:51:33.011878039+00:00",
      "status": "failed",
      "tests": 94,
      "discards": 0,
      "time": "869714us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46018223a529550c7f3281d87bedde6865a52e66"
    }
  ]
}