{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 19:40 UTC",
  "workload_docs": {
    "inflect": [
      {
        "mutations": [
          "plural_apostrophe_no_crash_498619b_1"
        ],
        "tasks": [
          {
            "property": "PluralApostropheNoCrash",
            "witnesses": [
              {
                "test_fn": "witness_plural_apostrophe_no_crash_case_single",
                "note": "plural(\"'\") must not raise"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jaraco/inflect",
          "commits": [
            "498619bf7a658d127c8be1e7e7e465b69dcf6800"
          ],
          "commit_subjects": [
            "Handle a single apostrophe more gracefully"
          ],
          "prs": [
            218
          ],
          "summary": "ENDS_WITH_APOSTROPHE_S used `^(.*)'s?$` which lets the empty stem case match for the bare-apostrophe input \"'\". The downstream typeguarded plural_noun() then crashes on the empty Word. The fix tightens the regex to `^(.+)'s?$` so the apostrophe-only string falls through and is returned unchanged."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "inflect/__init__.py"
          ],
          "locations": [
            {
              "file": "inflect/__init__.py",
              "line": 1989,
              "symbol": "ENDS_WITH_APOSTROPHE_S"
            }
          ],
          "patch": "patches/plural_apostrophe_no_crash_498619b_1.patch"
        },
        "bug": {
          "short_name": "plural_apostrophe_no_crash",
          "invariant": "engine().plural(s) returns a string for any non-empty str s; in particular, plural(\"'\") must not raise.",
          "how_triggered": "Reverse-applying the patch loosens ENDS_WITH_APOSTROPHE_S back to `^(.*)'s?$`. plural(\"'\") then matches with an empty stem; the typeguard-checked plural_noun() rejects the empty Word and raises TypeCheckError."
        }
      },
      {
        "mutations": [
          "a_not_incorrectly_abbreviated_924695c_1"
        ],
        "tasks": [
          {
            "property": "IndefArticleAbbrev",
            "witnesses": [
              {
                "test_fn": "witness_indef_article_abbrev_case_bfm",
                "note": "a('BFM') must be 'a BFM'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jaraco/inflect",
          "commits": [
            "924695c2de9d1dcfde0c1bd4c4cb054e32fd8273"
          ],
          "commit_subjects": [
            "fix a/an issue 136 as indicated by tonywu7"
          ],
          "issues": [
            136
          ],
          "summary": "A_abbrev was a verbose regex with no `^` anchor: when invoked through re.search() the negative lookahead group could bind to any interior position, so words like 'BFM' (a consonant followed by [FHLMNRSX][A-Z]) were classified as 'an BFM' through an interior match. The fix prepends `^` so the lookahead binds only to the start of the word."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "inflect/__init__.py"
          ],
          "locations": [
            {
              "file": "inflect/__init__.py",
              "line": 1857,
              "symbol": "A_abbrev"
            }
          ],
          "patch": "patches/a_not_incorrectly_abbreviated_924695c_1.patch"
        },
        "bug": {
          "short_name": "a_not_incorrectly_abbreviated",
          "invariant": "For an all-caps abbreviation whose first character is a consonant from SPECIAL_A's class (b,c,d,g,j,k,p,q,t,v,w,y,z), engine().a(word) starts with 'a ' (not 'an ').",
          "how_triggered": "Reverse-applying the patch removes the leading `^` anchor in A_abbrev. re.search() can then locate `[FHLMNRSX][A-Z]` at an interior position; the consonant-leading abbreviation 'BFM' matches at offset 1 and is incorrectly classified as 'an BFM'."
        }
      },
      {
        "mutations": [
          "ordinal_accepts_numeric_27b2157_1"
        ],
        "tasks": [
          {
            "property": "OrdinalAcceptsNumeric",
            "witnesses": [
              {
                "test_fn": "witness_ordinal_accepts_numeric_case_one",
                "note": "ordinal(1) must succeed and start with '1'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jaraco/inflect",
          "commits": [
            "27b2157907ae7f18feec5cf1b600a09e65e78420"
          ],
          "commit_subjects": [
            "Handle numeric inputs to ordinal without first casting to string. Fixes #178."
          ],
          "issues": [
            178
          ],
          "summary": "engine.ordinal() was annotated `num: Word` (an Annotated[str,...] alias). Once typeguard begain enforcing this annotation at call time, ordinal(1) — documented as accepting an int per the docstring — raised TypeCheckError. The fix widens the parameter to Union[Number, Word] (and adapts the body to coerce non-str via str(num))."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "inflect/__init__.py"
          ],
          "locations": [
            {
              "file": "inflect/__init__.py",
              "line": 3648,
              "symbol": "engine.ordinal"
            }
          ],
          "patch": "patches/ordinal_accepts_numeric_27b2157_1.patch"
        },
        "bug": {
          "short_name": "ordinal_accepts_numeric",
          "invariant": "For any int n in [-9999, 9999], engine().ordinal(n) returns a string starting with str(n) and ending in one of {'st','nd','rd','th'}.",
          "how_triggered": "Reverse-applying the patch narrows `num: Union[Number, Word]` back to `num: Word`. typeguard's @typechecked decorator then rejects integer arguments and ordinal(1) raises TypeCheckError."
        }
      },
      {
        "mutations": [
          "shoes_is_plverb_oe_36269c1_1"
        ],
        "tasks": [
          {
            "property": "PluralShoeReturnsShoes",
            "witnesses": [
              {
                "test_fn": "witness_plural_shoe_returns_shoes_case_zero",
                "note": "plural('shoe') must equal 'shoes'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jaraco/inflect",
          "commits": [
            "36269c1111add4c247d83389b874005fc3526994"
          ],
          "commit_subjects": [
            "Restore missing comma. Fixes #43."
          ],
          "issues": [
            43
          ],
          "summary": "`pl_v_oes_oe_endings_size5 = \"shoes\"` (no trailing comma) made the constant a bare string instead of a one-element tuple. Downstream code that iterates the tuple to invert a 'shoes' plural treats each character as a member, breaking the round-trip. plural('shoe') then returns 'sho'. The fix restores the trailing comma so the value is `(\"shoes\",)`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "inflect/__init__.py"
          ],
          "locations": [
            {
              "file": "inflect/__init__.py",
              "line": 1825,
              "symbol": "pl_v_oes_oe_endings_size5"
            }
          ],
          "patch": "patches/shoes_is_plverb_oe_36269c1_1.patch"
        },
        "bug": {
          "short_name": "shoes_is_plverb_oe",
          "invariant": "engine().plural('shoe') == 'shoes'.",
          "how_triggered": "Reverse-applying the patch turns `pl_v_oes_oe_endings_size5 = (\"shoes\",)` back into the bare string `\"shoes\"`. The tuple-iteration code in the singular/plural lookup then treats each character as a member, so the inverse-lookup fails for 'shoe' and plural('shoe') is computed as 'sho'."
        }
      },
      {
        "mutations": [
          "pound_force_pluralizes_pound_f87c0b9_1"
        ],
        "tasks": [
          {
            "property": "PoundForcePluralizesPound",
            "witnesses": [
              {
                "test_fn": "witness_pound_force_pluralizes_pound_case_zero",
                "note": "plural('pound-force') must equal 'pounds-force'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jaraco/inflect",
          "commits": [
            "f87c0b9e76ad97d564a8fd3a3b2e75e765e193f5"
          ],
          "commit_subjects": [
            "Fix plural of 'pound-force'"
          ],
          "origin": "internal",
          "summary": "_pl_sb_postfix_adj_defn lacked a 'force' postfix-adjective entry. plural('pound-force') therefore fell through to the generic hyphenated-compound path and pluralized the wrong word, returning 'pound-forces' instead of 'pounds-force'. The fix adds ('force', enclose('pound')) so 'force' is recognized as a postfix adjective."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "inflect/__init__.py"
          ],
          "locations": [
            {
              "file": "inflect/__init__.py",
              "line": 1510,
              "symbol": "_pl_sb_postfix_adj_defn"
            }
          ],
          "patch": "patches/pound_force_pluralizes_pound_f87c0b9_1.patch"
        },
        "bug": {
          "short_name": "pound_force_pluralizes_pound",
          "invariant": "engine().plural('pound-force') == 'pounds-force'.",
          "how_triggered": "Reverse-applying the patch removes the ('force', enclose('pound')) entry from _pl_sb_postfix_adj_defn. plural('pound-force') then falls through to the generic compound path and returns 'pound-forces'."
        }
      },
      {
        "mutations": [
          "louse_lice_plural_8d610f3_1"
        ],
        "tasks": [
          {
            "property": "LouseLicePlural",
            "witnesses": [
              {
                "test_fn": "witness_louse_lice_plural_case_zero",
                "note": "plural('sealouse') must equal 'sealouses'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jaraco/inflect",
          "commits": [
            "8d610f30f24bcdc524bcb8c734801fbb311eeeec"
          ],
          "commit_subjects": [
            "Update handling of louse/lice plurals to treat it as the exception rather than the norm."
          ],
          "origin": "internal",
          "summary": "The original 'louse' branch in plural() pluralized every word ending in '..louse' to '..lice' wholesale (e.g. 'sealouse' → 'sealice'), even though only four canonical compounds (booklouse, grapelouse, louse, woodlouse) actually take that form. The fix gates the substitution on membership in pl_sb_U_louse_lice_bysize and falls back to the regular '+s' path otherwise."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "inflect/__init__.py"
          ],
          "locations": [
            {
              "file": "inflect/__init__.py",
              "line": 2833,
              "symbol": "engine._plnoun_louse_branch"
            }
          ],
          "patch": "patches/louse_lice_plural_8d610f3_1.patch"
        },
        "bug": {
          "short_name": "louse_lice_plural",
          "invariant": "For any non-canonical louse compound (e.g. 'sealouse'), engine().plural(w) appends 's' rather than substituting 'louse' → 'lice'.",
          "how_triggered": "Reverse-applying the patch reverts the louse branch to the unguarded substitution `return f\"{word[:-5]}lice\"`. plural('sealouse') then returns 'sealice' instead of 'sealouses'."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:46.730177599+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "123497us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:49.628870015+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "84388us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:51.658282433+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "69568us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:53.682000420+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "27164us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:55.662227551+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "27795us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:57.632091587+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "27372us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:59.613080123+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "27102us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:01.498917760+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "27516us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:03.465793250+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "84485us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:05.445932774+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "27141us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:07.371599055+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "889832us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:10.225548103+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "376498us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:12.556535480+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "371589us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:14.918532939+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "371734us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:17.215588012+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "387944us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:19.610171826+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "391125us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:21.980572291+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "371348us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:24.351173015+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "375747us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:26.674165124+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "379174us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralApostropheNoCrash",
      "mutations": [
        "plural_apostrophe_no_crash_498619b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:28.998152547+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "374730us",
      "error": "plural(\"'\") raised TypeCheckError: argument \"text\" (str) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "e5081d31c94ab55b506720a3dbab4a038911da25"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:31.411422354+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "367137us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "hypothesis",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:33.753826345+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "235887us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "hypothesis",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:35.895302263+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "242473us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "hypothesis",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:38.007529026+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "380828us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "hypothesis",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:40.266168671+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "319350us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "hypothesis",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:42.529855646+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "240097us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "hypothesis",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:44.749434903+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "228513us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "hypothesis",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:46.909279999+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "251454us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "hypothesis",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:49.163750020+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "243839us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "hypothesis",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:51.335014912+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "256922us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "hypothesis",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:53.598016237+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "1059264us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "crosshair",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:56.675989072+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "1099588us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "crosshair",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:59.778830669+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "1059389us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "crosshair",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:02.836026343+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "1052527us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "crosshair",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:05.838156249+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "1051159us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "crosshair",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:08.890086084+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "1097303us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "crosshair",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:11.957170034+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "1070482us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "crosshair",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:14.952151730+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "1060260us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "crosshair",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:17.963420700+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "1057705us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "crosshair",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndefArticleAbbrev",
      "mutations": [
        "a_not_incorrectly_abbreviated_924695c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:20.964529821+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "1076260us",
      "error": "a('BFB') = 'an BFB'; expected to start with 'a '",
      "tool": "crosshair",
      "counterexample": "'BFB'",
      "hash": "3a6745ac18129f540132f9f083927bc0bd88bf1d"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:24.100551030+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "313181us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:26.368834386+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "273219us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:28.586251704+00:00",
      "status": "failed",
      "tests": 96,
      "discards": 0,
      "time": "261525us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:30.761060785+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "290050us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:32.969285933+00:00",
      "status": "failed",
      "tests": 97,
      "discards": 0,
      "time": "263370us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:35.206996747+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "291078us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:37.460730684+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "284787us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:39.682104583+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "281531us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:41.875199996+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "276303us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:44.034508994+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "298319us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:46.287362421+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "975372us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:49.237512039+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "963897us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:52.100003940+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "972718us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:55.034939443+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "997950us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:57.947133788+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "951137us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:00.834273410+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "953874us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:03.687190505+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "953470us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:06.570040330+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "959032us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:09.436700470+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "974374us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrdinalAcceptsNumeric",
      "mutations": [
        "ordinal_accepts_numeric_27b2157_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:12.339393009+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "944391us",
      "error": "ordinal(0) raised TypeCheckError: argument \"num\" (int) is not an instance of inflect.Word",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "166e71bfd384e92a725e9dfe1c2b3008b4da8df2"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:15.366899534+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27634us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:17.356240820+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "26811us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:19.253148713+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "26401us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:21.157325323+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "26246us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:23.008214428+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "31327us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:24.947887381+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27244us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:26.908092857+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "26404us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:28.811238159+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "26473us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:30.754259633+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27500us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:32.704309170+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "26362us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:34.593095176+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "347312us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:36.837293070+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "225087us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:39.049334558+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "231850us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:41.237047459+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "222389us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:43.369627715+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "225027us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:45.513987229+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "234467us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:47.754249568+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "259516us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:50.003678132+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "248018us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:52.283223009+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "253530us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PluralShoeReturnsShoes",
      "mutations": [
        "shoes_is_plverb_oe_36269c1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:54.552992967+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "249382us",
      "error": "plural('shoe') = 'sho'; expected 'shoes'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "03a9fed18d184879438dcf5f89f052ca7cae8472"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:56.897039267+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27056us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:58.898518809+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "28444us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:00.904655900+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27883us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:02.943331170+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "84308us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:04.970108793+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27617us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:06.975763407+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "29348us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:08.943283718+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27044us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:10.827716783+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27434us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:12.756329505+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27603us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:14.704016104+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27339us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:16.673317447+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "225830us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:18.839424481+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "332321us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:21.165452487+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "232146us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:23.391811512+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "239888us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:25.657931345+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "235901us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:27.951749669+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "241641us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:30.236441742+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "241259us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:32.503060326+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "243839us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:34.770888975+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "245037us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "PoundForcePluralizesPound",
      "mutations": [
        "pound_force_pluralizes_pound_f87c0b9_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:36.979725779+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "248246us",
      "error": "plural('pound-force') = 'pound-forces'; expected 'pounds-force'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a44a325ed483faeb736ef7d47c4759f97aef89fa"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:39.363664334+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27072us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:41.439100825+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "26423us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:43.421977701+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27434us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:45.371399302+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "26758us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:47.307250727+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27377us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:49.241456273+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "95222us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:51.237054064+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27011us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:53.095102722+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27225us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:55.107420637+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27612us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:57.072997649+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27769us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:59.082214095+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "230998us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:01.262506068+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "232798us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:03.491579110+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "316366us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:05.730426261+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "347550us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:08.070438287+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "227279us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:10.260770806+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "236458us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:12.382505492+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "235534us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:14.464752743+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "228533us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:16.546549015+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "222760us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    },
    {
      "experiment": "ci-run",
      "workload": "inflect",
      "language": "python",
      "strategy": "crosshair",
      "property": "LouseLicePlural",
      "mutations": [
        "louse_lice_plural_8d610f3_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:18.666333274+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "298914us",
      "error": "plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "0d8a1959340d5306f3bfcb793fe772523bcdca33"
    }
  ]
}