{
  "experiment": "ci-run",
  "generated_at": "2026-05-03 16:58 UTC",
  "workload_docs": {
    "network-uri": [
      {
        "mutations": [
          "segments_drop_trailing_8dcbd7fe_1"
        ],
        "tasks": [
          {
            "property": "PathSegmentsRoundTrip",
            "witnesses": [
              {
                "test_fn": "witness_path_segments_round_trip_case_three",
                "note": "pathSegments \"http://example.com/foo/bar/baz\" must equal [\"foo\", \"bar\", \"baz\"]"
              },
              {
                "test_fn": "witness_path_segments_round_trip_case_single",
                "note": "pathSegments \"http://example.com/a\" must equal [\"a\"]"
              },
              {
                "test_fn": "witness_path_segments_round_trip_case_two",
                "note": "pathSegments \"http://example.com/x/y\" must equal [\"x\", \"y\"]"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/haskell/network-uri",
          "commits": [
            "8dcbd7fec508887c79b07c19bd7b70c7a6876e47"
          ],
          "commit_subjects": [
            "make segments not start with /"
          ],
          "origin": "internal",
          "summary": "Early buggy state of `segments`: the final case `(_, _) -> Nothing` silently dropped the trailing path segment whenever the input did not end in '/'. So pathSegments of \"http://x/foo/bar/baz\" returned [\"foo\", \"bar\"] instead of [\"foo\", \"bar\", \"baz\"]. The fix introduces an explicit `Just (seg, \"\")` case for the trailing segment plus a `dropLeadingEmpty` post-pass for absolute paths."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "Network/URI.hs"
          ],
          "locations": [
            {
              "file": "Network/URI.hs",
              "line": 1212,
              "symbol": "segments"
            }
          ],
          "patch": "patches/segments_drop_trailing_8dcbd7fe_1.patch"
        },
        "bug": {
          "short_name": "path_segments_drops_trailing",
          "invariant": "For an absolute URI path of the form \"/<seg1>/<seg2>/.../<segN>\" with N >= 1 and every <segi> non-empty, pathSegments returns [<seg1>, <seg2>, ..., <segN>] — every segment present, in order.",
          "how_triggered": "Reverse-applying the patch restores the early `segments = unfoldr nextSegmentMaybe` definition where the unfold loop terminates with `Nothing` on the trailing segment (no `/` suffix), silently dropping it. pathSegments of \"http://x/foo/bar/baz\" then returns [\"foo\", \"bar\"]; pathSegments of \"http://x/a\" returns []."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.373213883+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "196us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PathSegmentsArgs {psSegments = [\"1\"]}pathSegments of \"http://example.com/1\" = []; expected [\"1\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.507185363+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "202us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PathSegmentsArgs {psSegments = [\"1cq\",\"ud9\",\"uorf\"]}pathSegments of \"http://example.com/1cq/ud9/uorf\" = [\"1cq\",\"ud9\"]; expected [\"1cq\",\"ud9\",\"uorf\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.621450899+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "196us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PathSegmentsArgs {psSegments = [\"a\",\"on\",\"bl\"]}pathSegments of \"http://example.com/a/on/bl\" = [\"a\",\"on\"]; expected [\"a\",\"on\",\"bl\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.735530558+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "207us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PathSegmentsArgs {psSegments = [\"did3\",\"c\",\"06o\",\"x\"]}pathSegments of \"http://example.com/did3/c/06o/x\" = [\"did3\",\"c\",\"06o\"]; expected [\"did3\",\"c\",\"06o\",\"x\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.849509414+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "183us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PathSegmentsArgs {psSegments = [\"41\"]}pathSegments of \"http://example.com/41\" = []; expected [\"41\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.963601617+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "252us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PathSegmentsArgs {psSegments = [\"0y0\",\"rhh\"]}pathSegments of \"http://example.com/0y0/rhh\" = [\"0y0\"]; expected [\"0y0\",\"rhh\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.087735746+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "185us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PathSegmentsArgs {psSegments = [\"g\"]}pathSegments of \"http://example.com/g\" = []; expected [\"g\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.212128417+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "187us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PathSegmentsArgs {psSegments = [\"6ehh\"]}pathSegments of \"http://example.com/6ehh\" = []; expected [\"6ehh\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.336361836+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "202us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PathSegmentsArgs {psSegments = [\"05x\",\"lsxd\",\"k\"]}pathSegments of \"http://example.com/05x/lsxd/k\" = [\"05x\",\"lsxd\"]; expected [\"05x\",\"lsxd\",\"k\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.450465562+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "193us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PathSegmentsArgs {psSegments = [\"7c6\",\"jm\"]}pathSegments of \"http://example.com/7c6/jm\" = [\"7c6\"]; expected [\"7c6\",\"jm\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.565252282+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1093us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.679284599+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1096us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.793347854+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1074us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.917437846+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1015us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.041622551+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1110us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.165920188+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1310us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.280106559+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1301us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.404362428+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1081us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.518536477+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1079us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.633025406+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1108us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.747296103+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "266us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PathSegmentsArgs {psSegments = [\"a\"]}: pathSegments of \"http://example.com/a\" = []; expected [\"a\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.861372203+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "185us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PathSegmentsArgs {psSegments = [\"a\"]}: pathSegments of \"http://example.com/a\" = []; expected [\"a\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.975429064+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "271us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PathSegmentsArgs {psSegments = [\"a\"]}: pathSegments of \"http://example.com/a\" = []; expected [\"a\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.099777569+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "247us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PathSegmentsArgs {psSegments = [\"a\"]}: pathSegments of \"http://example.com/a\" = []; expected [\"a\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.223989968+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "222us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PathSegmentsArgs {psSegments = [\"a\"]}: pathSegments of \"http://example.com/a\" = []; expected [\"a\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.348440299+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "232us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PathSegmentsArgs {psSegments = [\"a\"]}: pathSegments of \"http://example.com/a\" = []; expected [\"a\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.472694530+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "244us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PathSegmentsArgs {psSegments = [\"a\"]}: pathSegments of \"http://example.com/a\" = []; expected [\"a\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.597453662+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "228us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PathSegmentsArgs {psSegments = [\"a\"]}: pathSegments of \"http://example.com/a\" = []; expected [\"a\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.711572097+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "241us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PathSegmentsArgs {psSegments = [\"a\"]}: pathSegments of \"http://example.com/a\" = []; expected [\"a\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.825989327+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "221us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PathSegmentsArgs {psSegments = [\"a\"]}: pathSegments of \"http://example.com/a\" = []; expected [\"a\"]",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.940442632+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "171us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PathSegmentsArgs {psSegments = [\\\"a\\\"]}\"] (PropertyFalse Nothing)",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.065570166+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "107us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PathSegmentsArgs {psSegments = [\\\"a\\\"]}\"] (PropertyFalse Nothing)",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.189775463+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PathSegmentsArgs {psSegments = [\\\"a\\\"]}\"] (PropertyFalse Nothing)",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.304132512+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "150us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PathSegmentsArgs {psSegments = [\\\"a\\\"]}\"] (PropertyFalse Nothing)",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.428197005+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PathSegmentsArgs {psSegments = [\\\"a\\\"]}\"] (PropertyFalse Nothing)",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.543511913+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "104us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PathSegmentsArgs {psSegments = [\\\"a\\\"]}\"] (PropertyFalse Nothing)",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.667837614+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PathSegmentsArgs {psSegments = [\\\"a\\\"]}\"] (PropertyFalse Nothing)",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.781983401+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "103us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PathSegmentsArgs {psSegments = [\\\"a\\\"]}\"] (PropertyFalse Nothing)",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.895980350+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "112us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PathSegmentsArgs {psSegments = [\\\"a\\\"]}\"] (PropertyFalse Nothing)",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    },
    {
      "experiment": "ci-run",
      "workload": "network-uri",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PathSegmentsRoundTrip",
      "mutations": [
        "segments_drop_trailing_8dcbd7fe_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.020110062+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "107us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PathSegmentsArgs {psSegments = [\\\"a\\\"]}\"] (PropertyFalse Nothing)",
      "hash": "bb7e0384d9c06361b18f81ba35a213ae2c947416"
    }
  ]
}