{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 16:43 UTC",
  "workload_docs": {
    "buf-list": [
      {
        "mutations": [
          "read_exact_pos_on_eof_b58396d_1"
        ],
        "tasks": [
          {
            "property": "ReadExactPosOnEof",
            "witnesses": [
              {
                "test_fn": "witness_read_exact_pos_on_eof_case_multi_chunk_from_start"
              },
              {
                "test_fn": "witness_read_exact_pos_on_eof_case_mid_buffer_start"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/sunshowers-code/buf-list",
          "commits": [
            "b58396d3aadd4c91086c94feb5ef5a29465b7d86"
          ],
          "commit_subjects": [
            "try and fix build (#11)"
          ],
          "summary": "Rust 1.80 (rust-lang/rust#125404) changed `std::io::Cursor<&[u8]>::read_exact` to advance the cursor position to the end of the buffer when it errors with `UnexpectedEof`. `buf-list::Cursor` had kept the old pre-1.80 behavior, leaving `pos` unchanged on short reads and diverging from the standard cursor."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/cursor/mod.rs"
          ],
          "locations": [
            {
              "file": "src/cursor/mod.rs"
            }
          ],
          "patch": "patches/read_exact_pos_on_eof_b58396d_1.patch"
        },
        "bug": {
          "short_name": "read_exact_pos_on_eof",
          "invariant": "After `Cursor::read_exact` fails with `UnexpectedEof` (requested more bytes than remain), the cursor's `position()` must equal the total number of bytes in the `BufList`, matching `std::io::Cursor<&[u8]>::read_exact` on Rust ≥ 1.80 (rust-lang/rust#125404).",
          "how_triggered": "The patch removes the `self.set_pos(list, total);` call inside `CursorData::read_exact_impl`, so when the read_exact path errors out the cursor position remains wherever the caller set it rather than advancing to the end of the buffer."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.381543088+00:00",
      "status": "failed",
      "tests": 99,
      "discards": 0,
      "time": "141us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=2 (total=2 start=0 buf_len=3).\nminimal failing input: (\n    [\n        [\n            0,\n            0,\n        ],\n    ],\n    1047052683,\n    0,\n)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.382857126+00:00",
      "status": "failed",
      "tests": 171,
      "discards": 0,
      "time": "173us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=11 (total=11 start=0 buf_len=12).\nminimal failing input: (\n    [\n        [\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n        ],\n    ],\n    0,\n    0,\n)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.384017518+00:00",
      "status": "failed",
      "tests": 87,
      "discards": 0,
      "time": "160us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=2 (total=2 start=0 buf_len=3).\nminimal failing input: (\n    [\n        [\n            0,\n            0,\n        ],\n    ],\n    146091312,\n    0,\n)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.385268336+00:00",
      "status": "failed",
      "tests": 172,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=11 (total=11 start=0 buf_len=12).\nminimal failing input: (\n    [\n        [\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n        ],\n    ],\n    0,\n    0,\n)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.386425980+00:00",
      "status": "failed",
      "tests": 95,
      "discards": 0,
      "time": "118us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=2 (total=2 start=0 buf_len=3).\nminimal failing input: (\n    [\n        [\n            0,\n            0,\n        ],\n    ],\n    7749612,\n    0,\n)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.387501916+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "147us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=4 (total=4 start=0 buf_len=5).\nminimal failing input: (\n    [\n        [\n            0,\n            0,\n            0,\n            0,\n        ],\n    ],\n    66816965,\n    0,\n)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.388686776+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "113us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=2 (total=2 start=0 buf_len=3).\nminimal failing input: (\n    [\n        [\n            0,\n            0,\n        ],\n    ],\n    132776913,\n    0,\n)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.389793825+00:00",
      "status": "failed",
      "tests": 97,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=3 (total=3 start=0 buf_len=4).\nminimal failing input: (\n    [\n        [\n            0,\n            0,\n            0,\n        ],\n    ],\n    4989312,\n    0,\n)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.390880704+00:00",
      "status": "failed",
      "tests": 162,
      "discards": 0,
      "time": "158us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=9 (total=9 start=0 buf_len=10).\nminimal failing input: (\n    [\n        [\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n            0,\n        ],\n    ],\n    19661070,\n    0,\n)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.392105122+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=2 (total=2 start=0 buf_len=3).\nminimal failing input: (\n    [\n        [\n            0,\n            0,\n        ],\n    ],\n    160779447,\n    0,\n)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.394038704+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.394972696+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.395821970+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.396776644+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.397611139+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.398596857+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.399478664+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.400324067+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.401171235+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.402055074+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.403075259+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "34us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[1, 1], [2, 2]] 1 2)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.403980028+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[1]] 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.404877419+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[1]] 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.405733947+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[0]] 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.406610758+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[0]] 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.407475099+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[0]] 0 0)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.408373918+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[2, 0], [1, 1]] 2 2)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.409198451+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[0, 2], [2, 1]] 1 2)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.410097482+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[0, 1], [1, 0]] 0 1)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.410966101+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[1]] 0 1)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:13.411984799+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "905468us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: position mismatch after read_exact EOF: buf_list=0 oracle=1 (total=1 start=0 buf_len=2)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:14.318540667+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "198514us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: position mismatch after read_exact EOF: buf_list=0 oracle=1 (total=1 start=0 buf_len=2)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:14.518369994+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "205922us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: position mismatch after read_exact EOF: buf_list=0 oracle=1 (total=1 start=0 buf_len=2)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:14.725687787+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "197079us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: position mismatch after read_exact EOF: buf_list=0 oracle=1 (total=1 start=0 buf_len=2)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:14.924082533+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "200000us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: position mismatch after read_exact EOF: buf_list=0 oracle=1 (total=1 start=0 buf_len=2)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:15.125744660+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "200929us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: position mismatch after read_exact EOF: buf_list=0 oracle=1 (total=1 start=0 buf_len=2)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:15.328050015+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "210697us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: position mismatch after read_exact EOF: buf_list=0 oracle=1 (total=1 start=0 buf_len=2)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:15.540162666+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "198855us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: position mismatch after read_exact EOF: buf_list=0 oracle=1 (total=1 start=0 buf_len=2)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:15.740442523+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "223266us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: position mismatch after read_exact EOF: buf_list=0 oracle=1 (total=1 start=0 buf_len=2)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    },
    {
      "experiment": "ci-run",
      "workload": "buf-list",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReadExactPosOnEof",
      "mutations": [
        "read_exact_pos_on_eof_b58396d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:15.965095875+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "201156us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: position mismatch after read_exact EOF: buf_list=0 oracle=1 (total=1 start=0 buf_len=2)",
      "hash": "32f56cc68d43e548319b82bc0ad97b58f076cc11"
    }
  ]
}