{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 19:37 UTC",
  "workload_docs": {
    "humanize": [
      {
        "mutations": [
          "metric_zero_crash_b1ee687_1"
        ],
        "tasks": [
          {
            "property": "MetricFiniteOnZero",
            "witnesses": [
              {
                "test_fn": "witness_metric_finite_on_zero_case_zero",
                "note": "metric(0) must not raise"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/python-humanize/humanize",
          "commits": [
            "b1ee6875820839a59f1b6f4a5fedc7cad8883834"
          ],
          "commit_subjects": [
            "Fix metric(0) crash."
          ],
          "origin": "internal",
          "summary": "metric() used to call math.log10(abs(value)) directly, raising ValueError('math domain error') when value was 0. The fix short-circuits to exponent=0 in that branch."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/humanize/number.py"
          ],
          "locations": [
            {
              "file": "src/humanize/number.py",
              "line": 570,
              "symbol": "metric"
            }
          ],
          "patch": "patches/metric_zero_crash_b1ee687_1.patch"
        },
        "bug": {
          "short_name": "metric_zero_crash",
          "invariant": "metric(value) returns a string for every finite value, including 0; it must not raise ValueError('math domain error').",
          "how_triggered": "Reverse-applying the patch removes the `if value != 0 else 0` guard; metric(0) then evaluates math.log10(0) and raises ValueError."
        }
      },
      {
        "mutations": [
          "intword_negative_no_sign_520aac1_1"
        ],
        "tasks": [
          {
            "property": "IntwordPreservesSign",
            "witnesses": [
              {
                "test_fn": "witness_intword_preserves_sign_case_minus_million",
                "note": "intword(-1_000_000) must start with '-'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/python-humanize/humanize",
          "commits": [
            "520aac16c448f3cfd72f7c5812b04a3238e77bb4"
          ],
          "commit_subjects": [
            "Fix intword for negative numbers"
          ],
          "origin": "internal",
          "summary": "intword() used to ignore the sign on negative inputs above the thousand threshold; e.g. intword(-1_000_000) produced '1.0 million'. The fix records the sign before chopping and prepends a minus to the result."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/humanize/number.py"
          ],
          "locations": [
            {
              "file": "src/humanize/number.py",
              "line": 239,
              "symbol": "intword"
            }
          ],
          "patch": "patches/intword_negative_no_sign_520aac1_1.patch"
        },
        "bug": {
          "short_name": "intword_negative_no_sign",
          "invariant": "For any int value with value < 0 large enough to be humanized, intword(value) starts with '-'.",
          "how_triggered": "Reverse-applying the patch deletes the `if value < 0` block, so the negative_prefix is always '' and intword(-1_000_000) returns '1.0 million' instead of '-1.0 million'."
        }
      },
      {
        "mutations": [
          "intcomma_ndigits_zero_03863fe_1"
        ],
        "tasks": [
          {
            "property": "IntcommaNdigitsZeroRounds",
            "witnesses": [
              {
                "test_fn": "witness_intcomma_ndigits_zero_rounds_case_thousand_decimal",
                "note": "intcomma(1234.5454545, 0) must round to '1,235'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/python-humanize/humanize",
          "commits": [
            "03863fed6c2ba02cfd13d5b1e0b161f680c7b966"
          ],
          "commit_subjects": [
            "Fix intcomma with ndigits=0"
          ],
          "origin": "internal",
          "summary": "intcomma(value, ndigits=0) used to skip the rounding branch (`if ndigits:` treats 0 as falsy) and emit the raw float repr. The fix uses `if ndigits is not None` so ndigits=0 rounds to integer."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/humanize/number.py"
          ],
          "locations": [
            {
              "file": "src/humanize/number.py",
              "line": 164,
              "symbol": "intcomma"
            }
          ],
          "patch": "patches/intcomma_ndigits_zero_03863fe_1.patch"
        },
        "bug": {
          "short_name": "intcomma_ndigits_zero",
          "invariant": "intcomma(value, 0) on a finite numeric value returns a string with no decimal separator: ndigits=0 means round-to-integer.",
          "how_triggered": "Reverse-applying the patch flips `if ndigits is not None:` back to `if ndigits:`, so 0 is treated as 'unspecified' and intcomma(1234.5454545, 0) returns '1,234.5454545' instead of '1,235'."
        }
      },
      {
        "mutations": [
          "apnumber_zero_off_by_one_2f179b6_1"
        ],
        "tasks": [
          {
            "property": "ApnumberZeroIsZero",
            "witnesses": [
              {
                "test_fn": "witness_apnumber_zero_is_zero_case_zero",
                "note": "apnumber(0) must be 'zero'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/python-humanize/humanize",
          "commits": [
            "2f179b6b5c1e2eb88240e3ec42ff9edeb946ea65"
          ],
          "commit_subjects": [
            "Fix: AP style for 0 is 'zero'"
          ],
          "origin": "internal",
          "summary": "apnumber() used to test `0 < value < 10`, treating 0 as out-of-range. The AP style guide spells 0 as 'zero', so the fix widens the range to `0 <= value < 10` and prepends 'zero' to the word tuple."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/humanize/number.py"
          ],
          "locations": [
            {
              "file": "src/humanize/number.py",
              "line": 305,
              "symbol": "apnumber"
            }
          ],
          "patch": "patches/apnumber_zero_off_by_one_2f179b6_1.patch"
        },
        "bug": {
          "short_name": "apnumber_zero_off_by_one",
          "invariant": "apnumber(0) == 'zero'; for 1..9 it spells the digit; otherwise it returns str(value).",
          "how_triggered": "Reverse-applying the patch tightens the guard back to `0 < value < 10` and removes 'zero' from the tuple. apnumber(0) then falls through to `return str(value)` and yields '0'."
        }
      },
      {
        "mutations": [
          "naturalsize_float_int_cast_11e62ee_1"
        ],
        "tasks": [
          {
            "property": "NaturalsizeIntForSmallFloats",
            "witnesses": [
              {
                "test_fn": "witness_naturalsize_int_for_small_floats_case_500_float",
                "note": "naturalsize(500.0) must equal '500 Bytes'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/python-humanize/humanize",
          "commits": [
            "11e62eeedb8990298c3612af82376dc2344d24f8"
          ],
          "commit_subjects": [
            "Fix regression in naturalsize for float"
          ],
          "origin": "internal",
          "summary": "naturalsize(value) on a sub-base float (e.g. 500.0) used to render as '500.0 Bytes' because the sub-base branch interpolated the raw float. The fix casts to int(bytes_) so the integer suffix matches integer inputs."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/humanize/filesize.py"
          ],
          "locations": [
            {
              "file": "src/humanize/filesize.py",
              "line": 97,
              "symbol": "naturalsize"
            }
          ],
          "patch": "patches/naturalsize_float_int_cast_11e62ee_1.patch"
        },
        "bug": {
          "short_name": "naturalsize_float_int_cast",
          "invariant": "naturalsize(v) on a finite float v with 1 < |v| < base and v == int(v) does not contain a decimal separator.",
          "how_triggered": "Reverse-applying the patch drops the `int(bytes_)` cast in the sub-base branch and naturalsize(500.0) returns '500.0 Bytes' instead of '500 Bytes'."
        }
      },
      {
        "mutations": [
          "naturaldelta_negative_components_b939b2e_1"
        ],
        "tasks": [
          {
            "property": "NaturaldeltaNegativeIsAbsolute",
            "witnesses": [
              {
                "test_fn": "witness_naturaldelta_negative_is_absolute_case_five_hours",
                "note": "naturaldelta(-5h) must equal naturaldelta(+5h)"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/python-humanize/humanize",
          "commits": [
            "b939b2e50ca7449f89b69d29a057886942e27b36"
          ],
          "commit_subjects": [
            "Call abs on the whole datetime, not just parts"
          ],
          "origin": "internal",
          "summary": "naturaldelta() used to call abs() on delta.days and delta.seconds independently. Python normalizes a negative timedelta to days=-1, seconds=86400-X — so the per-component absolute value yields '1 day' for what should be '5 hours'. The fix takes abs(delta) of the whole timedelta first."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/humanize/time.py"
          ],
          "locations": [
            {
              "file": "src/humanize/time.py",
              "line": 157,
              "symbol": "naturaldelta"
            }
          ],
          "patch": "patches/naturaldelta_negative_components_b939b2e_1.patch"
        },
        "bug": {
          "short_name": "naturaldelta_negative_components",
          "invariant": "naturaldelta(td) == naturaldelta(-td) for any non-zero timedelta td.",
          "how_triggered": "Reverse-applying the patch swaps `delta = abs(delta)` for component-wise abs(delta.days), abs(delta.seconds). `naturaldelta(timedelta(hours=-5))` then returns '1 day, 19 hours' (or similar) rather than '5 hours'."
        }
      },
      {
        "mutations": [
          "naturaldelta_subsecond_872d733_1"
        ],
        "tasks": [
          {
            "property": "NaturaldeltaSubsecondsAreMilliseconds",
            "witnesses": [
              {
                "test_fn": "witness_naturaldelta_subseconds_are_milliseconds_case_half_second",
                "note": "naturaldelta(0.5, ms) must contain 'millisecond'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/python-humanize/humanize",
          "commits": [
            "872d7331fe3e307d3cc682d422f51f2de13c0fa7"
          ],
          "commit_subjects": [
            "Use float to support sub-second precision"
          ],
          "origin": "internal",
          "summary": "naturaldelta(value) used to cast value to int before constructing the timedelta. Sub-second floats (e.g. 0.5) became 0, so naturaldelta(0.5, minimum_unit='milliseconds') returned 'a moment'. The fix casts to float so the timedelta keeps the microsecond component."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/humanize/time.py"
          ],
          "locations": [
            {
              "file": "src/humanize/time.py",
              "line": 150,
              "symbol": "naturaldelta"
            }
          ],
          "patch": "patches/naturaldelta_subsecond_872d733_1.patch"
        },
        "bug": {
          "short_name": "naturaldelta_subsecond",
          "invariant": "For 0.001 <= seconds < 1, naturaldelta(seconds, minimum_unit='milliseconds') contains 'millisecond' (not 'a moment').",
          "how_triggered": "Reverse-applying the patch flips `value = float(value)` back to `value = int(value)`. naturaldelta(0.5, minimum_unit='milliseconds') then returns 'a moment' because the sub-second component is truncated to 0."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:23.718823696+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "36423us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:25.029977840+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "97244us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:25.339166395+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "83357us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:25.633714155+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "82698us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:25.926360939+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "37303us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:26.177562276+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "95627us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:26.487720233+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "94634us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:26.795163736+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "113132us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:27.125385285+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "83010us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:27.427105822+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "92092us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:27.743191231+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "1017618us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:28.994642290+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "547857us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:29.772095124+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "548727us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:30.555876663+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "545695us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:31.330041912+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "546960us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:32.116879792+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "547882us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:32.896145838+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "556354us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:33.680156056+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "539164us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:34.445260564+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "534364us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "MetricFiniteOnZero",
      "mutations": [
        "metric_zero_crash_b1ee687_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:35.205807717+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "548335us",
      "error": "metric(0.0) raised ValueError: math domain error",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "cd22f55bf72e8263237382e13e75f9102ef32001"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:36.062569584+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "276928us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "hypothesis",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:36.563051913+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "274651us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "hypothesis",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:37.060323997+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "278826us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "hypothesis",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:37.564599967+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "291686us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "hypothesis",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:38.076071329+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "265397us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "hypothesis",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:38.563088495+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "259756us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "hypothesis",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:39.043472853+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "276576us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "hypothesis",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:39.540569704+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "300691us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "hypothesis",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:40.071274985+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "286392us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "hypothesis",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:40.583593320+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "295207us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "hypothesis",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:41.102079025+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "2659655us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "crosshair",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:44.009497602+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "2617077us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "crosshair",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:46.876654948+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "2612477us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "crosshair",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:49.733978255+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "2600144us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "crosshair",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:52.585745215+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "2630989us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "crosshair",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:55.473978165+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "2620727us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "crosshair",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:58.341913483+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "2609974us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "crosshair",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:01.205103606+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "2635934us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "crosshair",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:04.088736965+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "2572420us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "crosshair",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntwordPreservesSign",
      "mutations": [
        "intword_negative_no_sign_520aac1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:06.907302735+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "2636090us",
      "error": "intword(-1000) = '-1000'; expected '-1.0 thousand'",
      "tool": "crosshair",
      "counterexample": "1000",
      "hash": "0e97a914188c88d0852e9cde6c0d08191fb5a116"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:09.872965273+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "280446us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:10.380320198+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "297654us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:10.904488376+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "113808us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:11.234457508+00:00",
      "status": "failed",
      "tests": 51,
      "discards": 0,
      "time": "178056us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:11.629915142+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "286908us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:12.139171745+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "128823us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:12.481970933+00:00",
      "status": "failed",
      "tests": 87,
      "discards": 0,
      "time": "243555us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:12.946931384+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "134925us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:13.298474886+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "277765us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:13.798547202+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "125295us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "hypothesis",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:14.140411199+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "545576us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:14.923363092+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "536423us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:15.688058905+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "531635us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:16.456740017+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "534697us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:17.224417630+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "535796us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:17.990777041+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "530061us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:18.752261720+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "527406us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:19.505813794+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "530054us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:20.265893549+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "535033us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "IntcommaNdigitsZeroRounds",
      "mutations": [
        "intcomma_ndigits_zero_03863fe_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:21.028385590+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "530571us",
      "error": "intcomma(0.0, 0) = '0.0'; expected no decimal point",
      "tool": "crosshair",
      "counterexample": "0.0",
      "hash": "470f7d2952fa440fdeba625ea16c63844db9dc99"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:21.871390789+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "99328us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:22.184099887+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "78749us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:22.471774199+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "92716us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:22.777653834+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "33783us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:23.021320325+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "79212us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:23.312622728+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "79233us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:23.607445898+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "79127us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:23.895637865+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "34200us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:24.139247584+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "33817us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:24.385030140+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "93400us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:24.694122190+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "858668us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:25.786894717+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "865837us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:26.887801799+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "864122us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:27.982130479+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "869567us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:29.080092085+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "864698us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:30.182334407+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "862933us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:31.276978405+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "860987us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:32.369721396+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "870093us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:33.472205255+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "856312us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "ApnumberZeroIsZero",
      "mutations": [
        "apnumber_zero_off_by_one_2f179b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:34.564749577+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "867039us",
      "error": "apnumber(0) = '0'; expected 'zero'",
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "11c6d6ae6483740b79be73c907b44b1ef6bba162"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:35.748211490+00:00",
      "status": "failed",
      "tests": 98,
      "discards": 0,
      "time": "284127us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "hypothesis",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:36.261227756+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "285652us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "hypothesis",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:36.769812329+00:00",
      "status": "failed",
      "tests": 97,
      "discards": 0,
      "time": "262449us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "hypothesis",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:37.253580347+00:00",
      "status": "failed",
      "tests": 99,
      "discards": 0,
      "time": "266016us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "hypothesis",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:37.739379659+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "266870us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "hypothesis",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:38.228885579+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "254554us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "hypothesis",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:38.707812161+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "276091us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "hypothesis",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:39.210691406+00:00",
      "status": "failed",
      "tests": 95,
      "discards": 0,
      "time": "259030us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "hypothesis",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:39.692950322+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "277307us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "hypothesis",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:40.196378544+00:00",
      "status": "failed",
      "tests": 98,
      "discards": 0,
      "time": "279633us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "hypothesis",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:40.705097866+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "818220us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "crosshair",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:41.764355866+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "850155us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "crosshair",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:42.858500447+00:00",
      "status": "failed",
      "tests": 98,
      "discards": 0,
      "time": "827640us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "crosshair",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:43.928298774+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "856725us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "crosshair",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:45.029270814+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "834659us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "crosshair",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:46.107812496+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "808028us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "crosshair",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:47.156870386+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "848404us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "crosshair",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:48.248527814+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "831830us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "crosshair",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:49.325983405+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "807608us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "crosshair",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturalsizeIntForSmallFloats",
      "mutations": [
        "naturalsize_float_int_cast_11e62ee_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:50.376137416+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "833900us",
      "error": "naturalsize(2.0) = '2.0 Bytes'; expected no decimal in 'X Bytes'",
      "tool": "crosshair",
      "counterexample": "2.0",
      "hash": "6f0b2768a3d9029f2686381b2baca48342450387"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:51.538967729+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "43914us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:51.799499009+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "95834us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:52.106289776+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "103158us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:52.422672082+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "91464us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:52.729021433+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "102769us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:53.042801418+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "104216us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:53.361718039+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "87342us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:53.660991598+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "101945us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:53.974753111+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "45325us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:54.234222414+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "53384us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:54.504705861+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "1688300us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:56.426242561+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "1701982us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:58.360571617+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "1696613us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:00.291915470+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "1684662us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:02.210280667+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "1683366us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:04.124370838+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "1671411us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:06.024641872+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "1691627us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:07.950141510+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "1691011us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:09.876689379+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "1689109us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaNegativeIsAbsolute",
      "mutations": [
        "naturaldelta_negative_components_b939b2e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:11.796455548+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "1696714us",
      "error": "naturaldelta(+1s) = 'a second' but naturaldelta(-1s) = 'a day'",
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "c7749cb0d8791183ad71ad6d7430b0f752ec251d"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:13.816633051+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "308680us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "hypothesis",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:14.354987990+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "294357us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "hypothesis",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:14.879981317+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "293237us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "hypothesis",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:15.402603801+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "298074us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "hypothesis",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:15.929744530+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "295059us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "hypothesis",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:16.450321944+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "296842us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "hypothesis",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:16.969025645+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "297114us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "hypothesis",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:17.493291006+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "275855us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "hypothesis",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:17.995101223+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "281157us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "hypothesis",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:18.498716857+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "286683us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "hypothesis",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:19.006239794+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "1122768us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "crosshair",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:20.372481322+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "1114464us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "crosshair",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:21.728455385+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1116145us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "crosshair",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:23.087288072+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "1124336us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "crosshair",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:24.456519834+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "1125050us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "crosshair",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:25.826686541+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1126120us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "crosshair",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:27.193703264+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "1151883us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "crosshair",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:28.590251723+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1116843us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "crosshair",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:29.951218779+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "1167819us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "crosshair",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    },
    {
      "experiment": "ci-run",
      "workload": "humanize",
      "language": "python",
      "strategy": "crosshair",
      "property": "NaturaldeltaSubsecondsAreMilliseconds",
      "mutations": [
        "naturaldelta_subsecond_872d733_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:31.359483803+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "1153092us",
      "error": "naturaldelta(0.01, ms) = '0 milliseconds'; expected '10 milliseconds'",
      "tool": "crosshair",
      "counterexample": "10000",
      "hash": "3ef6d5afa0108fc4f2ae32b33a25d765799ce218"
    }
  ]
}