{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 17:00 UTC",
  "workload_docs": {
    "unicode-segmentation": [
      {
        "mutations": [
          "grapheme_next_boundary_unwrap_0f55f70_1"
        ],
        "tasks": [
          {
            "property": "GraphemeNextBoundaryEmptyChunk",
            "witnesses": [
              {
                "test_fn": "witness_grapheme_next_boundary_empty_chunk_no_panic_case_ascii_suffix"
              },
              {
                "test_fn": "witness_grapheme_next_boundary_empty_chunk_no_panic_case_legacy_mode"
              },
              {
                "test_fn": "witness_grapheme_next_boundary_empty_chunk_no_panic_case_multibyte"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/unicode-rs/unicode-segmentation",
          "commits": [
            "0f55f70b445202fd9d3c101b9936e6649e808441"
          ],
          "commit_subjects": [
            "Fix unwrap panic in next_boundary() (#137)"
          ],
          "prs": [
            137
          ],
          "summary": "`GraphemeCursor::next_boundary` called `chunk.chars().next().unwrap()` on the provided chunk slice; when the caller handed in an empty chunk at the cursor's own offset, the unwrap panicked instead of returning `Err(GraphemeIncomplete::NextChunk)`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/grapheme.rs"
          ],
          "locations": [
            {
              "file": "src/grapheme.rs"
            }
          ],
          "patch": "patches/grapheme_next_boundary_unwrap_0f55f70_1.patch"
        },
        "bug": {
          "short_name": "grapheme_next_boundary_unwrap",
          "invariant": "`GraphemeCursor::next_boundary(chunk, chunk_start)` must not panic when called with an empty chunk at `chunk_start == cursor.offset`; it must return `Err(GraphemeIncomplete::NextChunk)` so the caller can supply the next chunk.",
          "how_triggered": "The fix replaced `chunks().next().unwrap()` with a `match` that returns `Err(NextChunk)` when the iterator is empty; the patch reverts to the unguarded unwrap, so any `chunk_start == cursor.offset < len` input panics on the empty iterator."
        }
      },
      {
        "mutations": [
          "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
        ],
        "tasks": [
          {
            "property": "GraphemePrevBoundaryChunkStart",
            "witnesses": [
              {
                "test_fn": "witness_grapheme_prev_boundary_chunk_start_no_panic_case_ascii"
              },
              {
                "test_fn": "witness_grapheme_prev_boundary_chunk_start_no_panic_case_ascii_end"
              },
              {
                "test_fn": "witness_grapheme_prev_boundary_chunk_start_no_panic_case_legacy"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/unicode-rs/unicode-segmentation",
          "commits": [
            "fb5d7b6714d265aae844ce8f7df35d675505026f"
          ],
          "commit_subjects": [
            "fix crashes on prev_boundary"
          ],
          "issues": [
            38,
            39
          ],
          "summary": "`GraphemeCursor::prev_boundary` sliced `chunk[..0]` and unwrapped the reversed iterator when the chunk started exactly at the cursor's offset, panicking instead of returning `Err(GraphemeIncomplete::PrevChunk)`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/grapheme.rs"
          ],
          "locations": [
            {
              "file": "src/grapheme.rs"
            }
          ],
          "patch": "patches/grapheme_prev_boundary_chunk_start_fb5d7b6_1.patch"
        },
        "bug": {
          "short_name": "grapheme_prev_boundary_chunk_start",
          "invariant": "`GraphemeCursor::prev_boundary(chunk, chunk_start)` with `chunk_start == cursor.offset` must return `Err(GraphemeIncomplete::PrevChunk)`; it must not panic.",
          "how_triggered": "The fix added `if self.offset == chunk_start { return Err(PrevChunk); }` early-return; the patch removes that guard, so the next line's `chars().rev().next().unwrap()` on an empty `chunk[..0]` panics."
        }
      },
      {
        "mutations": [
          "ascii_word_bound_drop_apostrophe_af87c8d_1"
        ],
        "tasks": [
          {
            "property": "AsciiWordBoundIndicesMatch",
            "witnesses": [
              {
                "test_fn": "witness_ascii_word_bound_indices_match_case_cant_apostrophe"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/unicode-rs/unicode-segmentation",
          "commits": [
            "af87c8d331b81d2398997d89d2164c252ae6e9f5"
          ],
          "commit_subjects": [
            "fast ascii path for word boundary indices (#147)"
          ],
          "prs": [
            147
          ],
          "summary": "The ASCII fast path in `split_word_bound_indices` classified `b'\\''` as MidNumLetQ between two alphabetic bytes to match UAX#29 WB6/WB7; dropping it from `is_infix` makes `\"can't\"` split into three segments instead of one, diverging from the Unicode path."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/word.rs"
          ],
          "locations": [
            {
              "file": "src/word.rs"
            }
          ],
          "patch": "patches/ascii_word_bound_drop_apostrophe_af87c8d_1.patch"
        },
        "bug": {
          "short_name": "ascii_word_bound_drop_apostrophe",
          "invariant": "For any `s.is_ascii()`, the ASCII fast path iterator must produce the same `(usize, &str)` sequence as the Unicode `split_word_bound_indices` iterator.",
          "how_triggered": "The fix's `is_infix` arm accepts `b'.'`, `b':'`, and `b'\\''`; the patch drops the apostrophe, so `\"can't\"` yields `[(0, \"can\"), (3, \"'\"), (4, \"t\")]` on the ASCII path but `[(0, \"can't\")]` on the Unicode path."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.914609595+00:00",
      "status": "failed",
      "tests": 62,
      "discards": 0,
      "time": "240us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \" 𐀀AAa\",\n    10,\n    false,\n)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.915957508+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "218us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"\\00\",\n    97,\n    false,\n)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.917081632+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "410us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"A \\0A0\\0\",\n    1,\n    false,\n)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.918372353+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "318us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: next_boundary panicked on empty suffix chunk at offset=4: <non-string panic payload>.\nminimal failing input: (\n    \"𐀀𐀀¡𐀀𐀀¡\",\n    4,\n    false,\n)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.919562929+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "193us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \" A0 \",\n    126,\n    false,\n)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.920577971+00:00",
      "status": "failed",
      "tests": 54,
      "discards": 0,
      "time": "200us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"  a\\0𐀀\",\n    100,\n    false,\n)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.921586834+00:00",
      "status": "failed",
      "tests": 84,
      "discards": 0,
      "time": "305us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"\\0\\0\\0\\0\\0\\0\\0\\0\\0\",\n    1,\n    false,\n)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.922683307+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "157us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"\\0\\0\",\n    46,\n    false,\n)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.923660279+00:00",
      "status": "failed",
      "tests": 43,
      "discards": 0,
      "time": "208us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"0 ¡\",\n    6,\n    false,\n)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.924664599+00:00",
      "status": "failed",
      "tests": 163,
      "discards": 0,
      "time": "501us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"0 𐀀\",\n    8,\n    false,\n)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.926157545+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (2 10 false)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.927033076+00:00",
      "status": "failed",
      "tests": 51,
      "discards": 0,
      "time": "95us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (2 22 false)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.927940024+00:00",
      "status": "failed",
      "tests": 62,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (2 34 false)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.928817725+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (2 1 false)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.929722605+00:00",
      "status": "failed",
      "tests": 52,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (2 4 false)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.930720145+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (2 46 false)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.931559942+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (2 34 false)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.932375835+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (2 1 false)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.933226246+00:00",
      "status": "failed",
      "tests": 43,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (2 4 false)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.934081849+00:00",
      "status": "failed",
      "tests": 59,
      "discards": 0,
      "time": "83us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (2 190 false)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.935217729+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 1 3)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.936105377+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 1 2)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.936935327+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (3 1 1)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.937725651+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 1 3)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.938586429+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (3 3 1)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.939368789+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 1 0)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.940203153+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 1 1)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.941015006+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 1 2)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.941858143+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (3 1 2)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.942726224+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 1 1)",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:30.943780732+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "764169us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:31.708953012+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "186643us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:31.897037559+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "189133us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:32.087670271+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "190667us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:32.279641361+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "190648us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:32.471523470+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "189235us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:32.661973710+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "191433us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:32.854875690+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "189937us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:33.046064414+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "187256us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemeNextBoundaryEmptyChunk",
      "mutations": [
        "grapheme_next_boundary_unwrap_0f55f70_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:33.234585813+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "215142us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: next_boundary panicked on empty suffix chunk at offset=1: <non-string panic payload>",
      "hash": "1547eaf29dda7258e0b5cf2b51eff363ad545f95"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.820647113+00:00",
      "status": "failed",
      "tests": 201,
      "discards": 0,
      "time": "842us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"  a\",\n    1,\n    false,\n)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.822552227+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "208us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: prev_boundary panicked on offset==chunk_start at offset=4: <non-string panic payload>.\nminimal failing input: (\n    \"𐀀a \",\n    4,\n    false,\n)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.823657688+00:00",
      "status": "failed",
      "tests": 118,
      "discards": 0,
      "time": "631us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: prev_boundary panicked on offset==chunk_start at offset=2: <non-string panic payload>.\nminimal failing input: (\n    \"¡\",\n    8,\n    false,\n)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.825152185+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "220us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: prev_boundary panicked on offset==chunk_start at offset=3: <non-string panic payload>.\nminimal failing input: (\n    \"ࠀ\",\n    27,\n    false,\n)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.826212657+00:00",
      "status": "failed",
      "tests": 59,
      "discards": 0,
      "time": "270us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"A 𐀀0\",\n    25,\n    false,\n)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.827305020+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "251us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \" \",\n    73,\n    false,\n)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.828369476+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "149us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: prev_boundary panicked on offset==chunk_start at offset=4: <non-string panic payload>.\nminimal failing input: (\n    \"𐀀\",\n    24,\n    false,\n)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.829321313+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "159us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \"\\0\",\n    19,\n    false,\n)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.830277236+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "405us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: prev_boundary panicked on offset==chunk_start at offset=2: <non-string panic payload>.\nminimal failing input: (\n    \"¡\\u{e000}\",\n    2,\n    false,\n)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.831549044+00:00",
      "status": "failed",
      "tests": 71,
      "discards": 0,
      "time": "271us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>.\nminimal failing input: (\n    \" \",\n    89,\n    false,\n)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.832971901+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 7 false)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.833889689+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 3 false)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.834801799+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 15 false)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.835734229+00:00",
      "status": "failed",
      "tests": 43,
      "discards": 0,
      "time": "121us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 3 false)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.836648164+00:00",
      "status": "failed",
      "tests": 59,
      "discards": 0,
      "time": "113us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 3 false)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.837575864+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 1 false)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.838400507+00:00",
      "status": "failed",
      "tests": 57,
      "discards": 0,
      "time": "108us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 1 false)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.839276646+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 1 false)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.840203705+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 15 false)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.841135223+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 3 false)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.842574200+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 1 2)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.843421494+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 1 1)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.844251770+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 1 1)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.845038312+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 2 2)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.845912497+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 2 1)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.846717500+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 1 1)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.847524843+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 2 2)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.848341998+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 1 1)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.849172932+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 1 1)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.849983635+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 1 0)",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.851223508+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "185290us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:36.037536485+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "183358us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:36.222084267+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "181306us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:36.404606230+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "186014us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:36.592089981+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "181648us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:36.775009828+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "184864us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:36.961411435+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "194987us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:37.157933667+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "186214us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:37.345614803+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "184169us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "GraphemePrevBoundaryChunkStart",
      "mutations": [
        "grapheme_prev_boundary_chunk_start_fb5d7b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:37.531039337+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "183577us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: prev_boundary panicked on offset==chunk_start at offset=1: <non-string panic payload>",
      "hash": "fcd292a140f53e0cb363a8fd91454c629e92f2fc"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.064346131+00:00",
      "status": "failed",
      "tests": 123,
      "discards": 0,
      "time": "305us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\"",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.065836901+00:00",
      "status": "failed",
      "tests": 210,
      "discards": 0,
      "time": "570us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ASCII fast path vs Unicode path diverge for \"A'a\": fast=[(0, \"A\"), (1, \"'\"), (2, \"a\")], uni=[(0, \"A'a\")].\nminimal failing input: \"A'a\"",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.067360611+00:00",
      "status": "failed",
      "tests": 70,
      "discards": 0,
      "time": "184us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\"",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.068401134+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "144us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\"",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.069408114+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "200us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\"",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.070437182+00:00",
      "status": "failed",
      "tests": 63,
      "discards": 0,
      "time": "193us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\"",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.071467018+00:00",
      "status": "failed",
      "tests": 58,
      "discards": 0,
      "time": "181us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\"",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.072419087+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "323us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\"",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.073625642+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\"",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "proptest",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.074566109+00:00",
      "status": "failed",
      "tests": 85,
      "discards": 0,
      "time": "310us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")].\nminimal failing input: \"A'A\"",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.076093919+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (124)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.076942122+00:00",
      "status": "failed",
      "tests": 43,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (25)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.077860712+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (70)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.078675062+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (106)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.079490086+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (160)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.080320671+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (187)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.081161243+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (142)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.082018311+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (169)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.082884064+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (178)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.083791262+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (241)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.084947550+00:00",
      "status": "failed",
      "tests": 144,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (7)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.085811643+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (7)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.086652764+00:00",
      "status": "failed",
      "tests": 129,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (7)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.087489610+00:00",
      "status": "failed",
      "tests": 129,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (7)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.088270771+00:00",
      "status": "failed",
      "tests": 135,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (7)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.089093236+00:00",
      "status": "failed",
      "tests": 138,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (7)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.089950825+00:00",
      "status": "failed",
      "tests": 128,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (7)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.090778563+00:00",
      "status": "failed",
      "tests": 146,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (7)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.091638818+00:00",
      "status": "failed",
      "tests": 131,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (7)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.092418258+00:00",
      "status": "failed",
      "tests": 135,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (7)",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.093731380+00:00",
      "status": "failed",
      "tests": 124,
      "discards": 0,
      "time": "361155us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.455857065+00:00",
      "status": "failed",
      "tests": 124,
      "discards": 0,
      "time": "257917us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.715270347+00:00",
      "status": "failed",
      "tests": 124,
      "discards": 0,
      "time": "256302us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:40.972834+00:00",
      "status": "failed",
      "tests": 124,
      "discards": 0,
      "time": "264717us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:41.238863822+00:00",
      "status": "failed",
      "tests": 124,
      "discards": 0,
      "time": "261244us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:41.501446999+00:00",
      "status": "failed",
      "tests": 124,
      "discards": 0,
      "time": "259146us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:41.761843213+00:00",
      "status": "failed",
      "tests": 124,
      "discards": 0,
      "time": "247117us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:42.010418501+00:00",
      "status": "failed",
      "tests": 124,
      "discards": 0,
      "time": "242952us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:42.254713683+00:00",
      "status": "failed",
      "tests": 124,
      "discards": 0,
      "time": "248521us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    },
    {
      "experiment": "ci-run",
      "workload": "unicode-segmentation",
      "language": "rust",
      "strategy": "hegel",
      "property": "AsciiWordBoundIndicesMatch",
      "mutations": [
        "ascii_word_bound_drop_apostrophe_af87c8d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:42.504533677+00:00",
      "status": "failed",
      "tests": 124,
      "discards": 0,
      "time": "267648us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ASCII fast path vs Unicode path diverge for \"A'A\": fast=[(0, \"A\"), (1, \"'\"), (2, \"A\")], uni=[(0, \"A'A\")]",
      "hash": "6a001cc7732a4e6ebcfa77471e7e2197db315e5a"
    }
  ]
}