{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 05:16 UTC",
  "workload_docs": {
    "compact_str": [
      {
        "mutations": [
          "try_reserve_overflow_silent_ae5f2bc_1"
        ],
        "tasks": [
          {
            "property": "TryReserveOverflowReturnsErr",
            "witnesses": [
              {
                "test_fn": "witness_try_reserve_overflow_returns_err_case_from_nonempty_max"
              },
              {
                "test_fn": "witness_try_reserve_overflow_returns_err_case_from_16char_near_max"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/ParkMyCar/compact_str",
          "commits": [
            "ae5f2bc02261c7b28b8448e1e26e9b6eaf0191e0"
          ],
          "commit_subjects": [
            "Check for overflow in `reserve()`"
          ],
          "summary": "`Repr::reserve(additional)` computed `len + additional` with wrapping `usize` arithmetic, so an additive overflow produced a tiny capacity that pretended to fit. The fix replaces the addition with `checked_add` and propagates the overflow as `ReserveError`, letting `try_reserve` return `Err` instead of silently under-allocating."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "compact_str/src/repr/mod.rs"
          ],
          "locations": [
            {
              "file": "compact_str/src/repr/mod.rs",
              "line": 224,
              "symbol": "Repr::reserve"
            }
          ],
          "patch": "patches/try_reserve_overflow_silent_ae5f2bc_1.patch"
        },
        "bug": {
          "short_name": "try_reserve_overflow_silent",
          "invariant": "`CompactString::try_reserve(additional)` must return `Err(ReserveError)` whenever `self.len() + additional` would overflow `usize`, rather than silently wrapping the capacity computation. Downstream, the wrapped value lets `reserve` claim a tiny allocation is sufficient and return `Ok(())`, which means any subsequent write operation keyed on the requested size walks past the allocation.",
          "how_triggered": "the pre-ae5f2bc body computes `let needed_capacity = len + additional;`. In release builds `usize` addition wraps silently, so `needed_capacity` becomes a small value and the function returns `Ok(())`. The fix replaces the expression with `len.checked_add(additional).ok_or(ReserveError(()))?`. `case_from_nonempty_max` uses `len=1, additional=usize::MAX` → the wrap produces `0`, which trivially fits. `case_from_16char_near_max` uses `len=16, additional=usize::MAX-8` → wrap produces `7`, same story. The property function discards inputs that do not overflow, so framework-generated cases only ever exercise the true overflow branch."
        }
      },
      {
        "mutations": [
          "retain_leaves_stale_len_on_panic_042b64a_1"
        ],
        "tasks": [
          {
            "property": "RetainPanicPreservesUtf8",
            "witnesses": [
              {
                "test_fn": "witness_retain_panic_preserves_utf8_case_panic_mid_ascii"
              },
              {
                "test_fn": "witness_retain_panic_preserves_utf8_case_panic_first_char"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/ParkMyCar/compact_str",
          "commits": [
            "042b64a8a2ff225e9485d7676a53a503ba467d6f"
          ],
          "commit_subjects": [
            "fix: retain not set len if predicate panics (#413)"
          ],
          "prs": [
            413
          ],
          "summary": "`CompactString::retain` only called `self.set_len(dest_idx)` at the end of the loop. If the user predicate panicked, the unwind bypassed that call and left the string reporting its original length and bytes, diverging from `std::string::String::retain`'s unwind-safety contract. The fix wraps the loop in a `SetLenOnDrop` guard."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "compact_str/src/lib.rs"
          ],
          "locations": [
            {
              "file": "compact_str/src/lib.rs",
              "line": 1217,
              "symbol": "CompactString::retain"
            }
          ],
          "patch": "patches/retain_leaves_stale_len_on_panic_042b64a_1.patch"
        },
        "bug": {
          "short_name": "retain_leaves_stale_len_on_panic",
          "invariant": "if the predicate passed to `CompactString::retain` panics, the string's observable state after the unwind must match `std::string::String::retain`'s guarantee: the bytes prior to the panic are retained (and the length reflects exactly those bytes), and the trailing bytes beyond the panic point are dropped from both view and length. Any other outcome leaves the CompactString holding stale length / bytes that can be re-exposed on a subsequent operation.",
          "how_triggered": "the pre-042b64a body tracks `dest_idx`/`src_idx` as locals and only calls `self.set_len(dest_idx)` as the last statement of the function. When `predicate` panics, the unwind skips the `set_len` call entirely, so the CompactString keeps its original length and its original bytes past the retained prefix. The fix wraps the loop in a `SetLenOnDrop` guard that runs `set_len` during unwind. `case_panic_mid_ascii` panics after two retained ASCII chars (expected post-condition: `len=2`, first two bytes intact, third byte unreachable; buggy: `len=6`, original \"abcdef\" still visible). `case_panic_first_char` panics before any retention (expected: `len=0`; buggy: `len=6`).\n"
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.812898014+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "186us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\" a !\" 18446744073709551612)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.814601983+00:00",
      "status": "failed",
      "tests": 94,
      "discards": 0,
      "time": "328us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"9IU%V{^\\\"q669SH1w\" 18446744073709551600)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.816131204+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "236us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"X)l<U1v\" 18446744073709551609)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.817573523+00:00",
      "status": "failed",
      "tests": 41,
      "discards": 0,
      "time": "153us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"b=&&* e\" 18446744073709551609)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.819036539+00:00",
      "status": "failed",
      "tests": 61,
      "discards": 0,
      "time": "231us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"_S\\\"M<LxTvX/+&g&=<\\\\oe}l)\" 18446744073709551593)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.820477758+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "159us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"?t!x\\\\\" 18446744073709551611)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.821820577+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "182us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\" .+5\\\\4*\" 18446744073709551609)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.823167092+00:00",
      "status": "failed",
      "tests": 41,
      "discards": 0,
      "time": "199us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"X::d'9?/EERCt'.u\\\\.\" 18446744073709551598)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.824520628+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "142us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\" \" 18446744073709551615)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.825823367+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "155us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"0!:H]=k(|{\" 18446744073709551606)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.827274340+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"40#'][&J/9HEHCiR{12(TA  4/[[\" 18446744073709551615)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.828518931+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"?;W\" 18446744073709551614)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.829726427+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"I]@)71hrCUc7 cSQ,k^.U,3HD\" 18446744073709551604)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.831016161+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"^z'H5,c8(-Z'{-}=-(!3N=\" 18446744073709551596)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.832303132+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"Kqq\" 18446744073709551614)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.833528169+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"c$4cpW Wp|. *!Yh15gzWSyN`s\" 18446744073709551615)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.834747717+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"4zY*UQtPDLVH9/i}0$mP-P4E6N#q \" 18446744073709551601)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.835966445+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\">G1!8NSS8Ir>$ \" 18446744073709551606)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.837138362+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"n Wl jrPh6:u<c\\\"XaV:<^X0cjre\" 18446744073709551597)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.838385833+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"p!aS.+{ce;\\\\f|>N*/#ScR! fGEAU)ZT\" 18446744073709551587)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.839693735+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"-2}I+[|3ERp@mD*5hIW{B\\\\J\" 18446744073709551600)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.840924891+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"y!'#|RZVmVINUZ8\\\\5\" 18446744073709551601)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.842162427+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "34us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"UAY)6k1G\\\"f-7*u(}'V@Pc\" 18446744073709551612)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.843406743+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"S^[dA6RtuF(\" 18446744073709551606)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.844649086+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"gQC|!sD7(Q-;YJ<y@BHb`)z.']wUC*/\" 18446744073709551585)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.845860482+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"jvo) G\" 18446744073709551610)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.847059811+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"(Zl hA1BXF,*H@8j8m)oXqo\" 18446744073709551597)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.848271327+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"I-pJD\" 18446744073709551611)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.849470986+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"\\\"= 8HSLrDFG\\\"zkN,\\\\8/]a'@.?\" 18446744073709551610)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.850690956+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"5o}6TcQRXnoE|-0ov,`\" 18446744073709551612)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:37.852077656+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "694670us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 18446744073709551615)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:38.548240658+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "200996us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 18446744073709551615)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:38.751138838+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "204858us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 18446744073709551615)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:38.957798224+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "200875us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 18446744073709551615)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:39.160564514+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "206943us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 18446744073709551615)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:39.369247130+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "200973us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 18446744073709551615)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:39.572090723+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "199482us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 18446744073709551615)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:39.773327712+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "200962us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 18446744073709551615)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:39.976026286+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "200672us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 18446744073709551615)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "TryReserveOverflowReturnsErr",
      "mutations": [
        "try_reserve_overflow_silent_ae5f2bc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:40.178439389+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "204211us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 18446744073709551615)",
      "hash": "d4b3142819d060628e9591bdde16e9a1a231a7cc"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.502292930+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "167us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"A\" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.503925652+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "172us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"a\" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.505397972+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "179us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\" \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.506849405+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "207us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"A\" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.508333407+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "226us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\" \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.509771251+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "210us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"a\" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.511201522+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\" \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.512492403+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "212us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"A\" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.513866770+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "186us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"a\" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "proptest",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.515251023+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "210us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"a\" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.516875757+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"Ec,73 ;@='6Y\" 1)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.518133158+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"Xw\" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.519400634+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"F\" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.520595511+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"b9]b2C\" 1)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.521779380+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"-QBC!!3c\" 1)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.523010402+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"l/\\\"\\\"RNhY^ XS='\" 8)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.524214221+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"+@V\" 1)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.525427917+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"z^\" 1)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.526632217+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"3\" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.527911912+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"F:3i/NZ \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.529403866+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"l\" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.530770927+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"I>J5$le|y\" 8)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.532002915+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"JS}Rbb%C3\" 3)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.533266710+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"\\\\S=qA;LFvNwuQ\" 3)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.534487371+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"h\" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.535714641+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"A0<g&\" 3)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.536926598+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"Al[<+H^YgU*f\" 8)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.538163894+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"$!!?-,LRkm!UIY>\" 2)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.539390183+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\">-\" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.540629080+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"Qs)!\" 1)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.542080339+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "194399us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.738322307+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "200075us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:42.940138371+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "193870us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:43.135895345+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "198773us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:43.336333118+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "198708us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:43.536891679+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "197795us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:43.736660111+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "198033us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:43.936732012+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "197664us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:44.136137924+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "193937us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    },
    {
      "experiment": "ci-run",
      "workload": "compact_str",
      "language": "rust",
      "strategy": "hegel",
      "property": "RetainPanicPreservesUtf8",
      "mutations": [
        "retain_leaves_stale_len_on_panic_042b64a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T05:16:44.331984739+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "194115us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\" \" 0)",
      "hash": "0453c196d843dc100446ab70d0e545b8aa4b7c6e"
    }
  ]
}