{"abstract":"The corner appears twice and corridor length is overcounted.","category":"Procedural level generation constraints","checks":8,"contract":"Carve from centre a [x, y] to b. Horizontal-first walks x from ax to bx on row ay, then y from ay to by on column bx; otherwise y first on column ax, then x on row by. Both legs include their endpoints; returns cells [x, y] in walk order without duplicates.","contract_signature":"a, b, horizontal_first","evaluation_group":"w2-procedural-level-generation-constraints-l-corridor","failed_approach":"Ignoring the first cell still duplicates it when the first leg is a single cell.","family":"w2-procedural-level-generation-constraints-l-corridor-deduplication","id":"FA-86591","implementations":{"attempt":{"sha256":"bfa1eb481bd5b8e29150d4f01e2467606a8a93eb96a254b6fccbd0944b6a34ae","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(a, b, horizontal_first):\n    ax, ay = a\n    bx, by = b\n    path = []\n    def add(x, y):\n        if [x, y] not in path[1:]:\n            path.append([x, y])\n    sx = 1 if bx >= ax else -1\n    sy = 1 if by >= ay else -1\n    if horizontal_first:\n        for x in range(ax, bx + sx, sx):\n            add(x, ay)\n        for y in range(ay, by + sy, sy):\n            add(bx, y)\n    else:\n        for y in range(ay, by + sy, sy):\n            add(ax, y)\n        for x in range(ax, bx + sx, sx):\n            add(x, by)\n    return path\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('leftward corridor #1', [[5, 1], [2, 3], True], [[5, 1], [4, 1], [3, 1], [2, 1], [2, 2], [2, 3]]),\n  ('single cell #1', [[4, 4], [4, 4], True], [[4, 4]]),\n  ('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('fault site deduplication #1', [[8, 6], [4, 5], True], [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 5]]),\n  ('regression deduplication #1', [[8, 1], [8, 3], True], [[8, 1], [8, 2], [8, 3]]),\n  ('regression deduplication #2',\n   [[8, 7], [1, 7], False],\n   [[8, 7], [7, 7], [6, 7], [5, 7], [4, 7], [3, 7], [2, 7], [1, 7]]),\n  ('fault site deduplication #2',\n   [[8, 4], [1, 0], True],\n   [[8, 4], [7, 4], [6, 4], [5, 4], [4, 4], [3, 4], [2, 4], [1, 4], [1, 3], [1, 2], [1, 1], [1, 0]]),\n  ('fault site deduplication #3', [[6, 4], [8, 5], False], [[6, 4], [6, 5], [7, 5], [8, 5]])],\n [('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('single cell #1', [[4, 4], [4, 4], True], [[4, 4]]),\n  ('fault site deduplication #1', [[8, 6], [4, 5], True], [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 5]]),\n  ('fault site deduplication #2',\n   [[8, 4], [1, 0], True],\n   [[8, 4], [7, 4], [6, 4], [5, 4], [4, 4], [3, 4], [2, 4], [1, 4], [1, 3], [1, 2], [1, 1], [1, 0]]),\n  ('regression deduplication #1',\n   [[8, 7], [1, 7], False],\n   [[8, 7], [7, 7], [6, 7], [5, 7], [4, 7], [3, 7], [2, 7], [1, 7]]),\n  ('regression deduplication #2', [[7, 1], [8, 1], False], [[7, 1], [8, 1]]),\n  ('fault site deduplication #3', [[6, 4], [8, 5], False], [[6, 4], [6, 5], [7, 5], [8, 5]]),\n  ('fault site deduplication #4', [[6, 2], [8, 0], True], [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]])],\n [('single cell #1', [[4, 4], [4, 4], True], [[4, 4]]),\n  ('fault site deduplication #1',\n   [[8, 4], [1, 0], True],\n   [[8, 4], [7, 4], [6, 4], [5, 4], [4, 4], [3, 4], [2, 4], [1, 4], [1, 3], [1, 2], [1, 1], [1, 0]]),\n  ('fault site deduplication #2', [[6, 4], [8, 5], False], [[6, 4], [6, 5], [7, 5], [8, 5]]),\n  ('regression deduplication #1',\n   [[8, 2], [8, 8], True],\n   [[8, 2], [8, 3], [8, 4], [8, 5], [8, 6], [8, 7], [8, 8]]),\n  ('regression deduplication #2', [[7, 4], [7, 1], True], [[7, 4], [7, 3], [7, 2], [7, 1]]),\n  ('fault site deduplication #3', [[6, 2], [8, 0], True], [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]]),\n  ('fault site deduplication #4',\n   [[3, 2], [8, 8], False],\n   [[3, 2], [3, 3], [3, 4], [3, 5], [3, 6], [3, 7], [3, 8], [4, 8], [5, 8], [6, 8], [7, 8], [8, 8]]),\n  ('fault site deduplication #5',\n   [[3, 5], [8, 1], False],\n   [[3, 5], [3, 4], [3, 3], [3, 2], [3, 1], [4, 1], [5, 1], [6, 1], [7, 1], [8, 1]])],\n [('leftward corridor #1', [[5, 1], [2, 3], True], [[5, 1], [4, 1], [3, 1], [2, 1], [2, 2], [2, 3]]),\n  ('single cell #1', [[4, 4], [4, 4], True], [[4, 4]]),\n  ('fault site deduplication #1', [[6, 2], [8, 0], True], [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]]),\n  ('fault site deduplication #2',\n   [[3, 2], [8, 8], False],\n   [[3, 2], [3, 3], [3, 4], [3, 5], [3, 6], [3, 7], [3, 8], [4, 8], [5, 8], [6, 8], [7, 8], [8, 8]]),\n  ('regression deduplication #1', [[8, 2], [8, 2], True], [[8, 2]]),\n  ('regression deduplication #2', [[4, 4], [8, 4], False], [[4, 4], [5, 4], [6, 4], [7, 4], [8, 4]]),\n  ('fault site deduplication #3',\n   [[3, 5], [8, 1], False],\n   [[3, 5], [3, 4], [3, 3], [3, 2], [3, 1], [4, 1], [5, 1], [6, 1], [7, 1], [8, 1]]),\n  ('fault site deduplication #4',\n   [[1, 4], [6, 1], False],\n   [[1, 4], [1, 3], [1, 2], [1, 1], [2, 1], [3, 1], [4, 1], [5, 1], [6, 1]])],\n [('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('single cell #1', [[4, 4], [4, 4], True], [[4, 4]]),\n  ('fault site deduplication #1',\n   [[3, 5], [8, 1], False],\n   [[3, 5], [3, 4], [3, 3], [3, 2], [3, 1], [4, 1], [5, 1], [6, 1], [7, 1], [8, 1]]),\n  ('fault site deduplication #2',\n   [[1, 4], [6, 1], False],\n   [[1, 4], [1, 3], [1, 2], [1, 1], [2, 1], [3, 1], [4, 1], [5, 1], [6, 1]]),\n  ('regression deduplication #1', [[7, 0], [4, 0], False], [[7, 0], [6, 0], [5, 0], [4, 0]]),\n  ('regression deduplication #2', [[4, 1], [2, 1], False], [[4, 1], [3, 1], [2, 1]]),\n  ('fault site deduplication #3',\n   [[7, 2], [6, 8], False],\n   [[7, 2], [7, 3], [7, 4], [7, 5], [7, 6], [7, 7], [7, 8], [6, 8]]),\n  ('fault site deduplication #4',\n   [[0, 6], [5, 0], False],\n   [[0, 6], [0, 5], [0, 4], [0, 3], [0, 2], [0, 1], [0, 0], [1, 0], [2, 0], [3, 0], [4, 0], [5, 0]])]]\nfor label, args, expected in cases[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"920e311c81c27b18e0c53a823b4fb9d60438362ed76b03c0dc0d423cb212c0df","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(a, b, horizontal_first):\n    ax, ay = a\n    bx, by = b\n    path = []\n    def add(x, y):\n        if True:\n            path.append([x, y])\n    sx = 1 if bx >= ax else -1\n    sy = 1 if by >= ay else -1\n    if horizontal_first:\n        for x in range(ax, bx + sx, sx):\n            add(x, ay)\n        for y in range(ay, by + sy, sy):\n            add(bx, y)\n    else:\n        for y in range(ay, by + sy, sy):\n            add(ax, y)\n        for x in range(ax, bx + sx, sx):\n            add(x, by)\n    return path\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('leftward corridor #1', [[5, 1], [2, 3], True], [[5, 1], [4, 1], [3, 1], [2, 1], [2, 2], [2, 3]]),\n  ('single cell #1', [[4, 4], [4, 4], True], [[4, 4]]),\n  ('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('fault site deduplication #1', [[8, 6], [4, 5], True], [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 5]]),\n  ('regression deduplication #1', [[8, 1], [8, 3], True], [[8, 1], [8, 2], [8, 3]]),\n  ('regression deduplication #2',\n   [[8, 7], [1, 7], False],\n   [[8, 7], [7, 7], [6, 7], [5, 7], [4, 7], [3, 7], [2, 7], [1, 7]]),\n  ('fault site deduplication #2',\n   [[8, 4], [1, 0], True],\n   [[8, 4], [7, 4], [6, 4], [5, 4], [4, 4], [3, 4], [2, 4], [1, 4], [1, 3], [1, 2], [1, 1], [1, 0]]),\n  ('fault site deduplication #3', [[6, 4], [8, 5], False], [[6, 4], [6, 5], [7, 5], [8, 5]])],\n [('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('single cell #1', [[4, 4], [4, 4], True], [[4, 4]]),\n  ('fault site deduplication #1', [[8, 6], [4, 5], True], [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 5]]),\n  ('fault site deduplication #2',\n   [[8, 4], [1, 0], True],\n   [[8, 4], [7, 4], [6, 4], [5, 4], [4, 4], [3, 4], [2, 4], [1, 4], [1, 3], [1, 2], [1, 1], [1, 0]]),\n  ('regression deduplication #1',\n   [[8, 7], [1, 7], False],\n   [[8, 7], [7, 7], [6, 7], [5, 7], [4, 7], [3, 7], [2, 7], [1, 7]]),\n  ('regression deduplication #2', [[7, 1], [8, 1], False], [[7, 1], [8, 1]]),\n  ('fault site deduplication #3', [[6, 4], [8, 5], False], [[6, 4], [6, 5], [7, 5], [8, 5]]),\n  ('fault site deduplication #4', [[6, 2], [8, 0], True], [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]])],\n [('single cell #1', [[4, 4], [4, 4], True], [[4, 4]]),\n  ('fault site deduplication #1',\n   [[8, 4], [1, 0], True],\n   [[8, 4], [7, 4], [6, 4], [5, 4], [4, 4], [3, 4], [2, 4], [1, 4], [1, 3], [1, 2], [1, 1], [1, 0]]),\n  ('fault site deduplication #2', [[6, 4], [8, 5], False], [[6, 4], [6, 5], [7, 5], [8, 5]]),\n  ('regression deduplication #1',\n   [[8, 2], [8, 8], True],\n   [[8, 2], [8, 3], [8, 4], [8, 5], [8, 6], [8, 7], [8, 8]]),\n  ('regression deduplication #2', [[7, 4], [7, 1], True], [[7, 4], [7, 3], [7, 2], [7, 1]]),\n  ('fault site deduplication #3', [[6, 2], [8, 0], True], [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]]),\n  ('fault site deduplication #4',\n   [[3, 2], [8, 8], False],\n   [[3, 2], [3, 3], [3, 4], [3, 5], [3, 6], [3, 7], [3, 8], [4, 8], [5, 8], [6, 8], [7, 8], [8, 8]]),\n  ('fault site deduplication #5',\n   [[3, 5], [8, 1], False],\n   [[3, 5], [3, 4], [3, 3], [3, 2], [3, 1], [4, 1], [5, 1], [6, 1], [7, 1], [8, 1]])],\n [('leftward corridor #1', [[5, 1], [2, 3], True], [[5, 1], [4, 1], [3, 1], [2, 1], [2, 2], [2, 3]]),\n  ('single cell #1', [[4, 4], [4, 4], True], [[4, 4]]),\n  ('fault site deduplication #1', [[6, 2], [8, 0], True], [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]]),\n  ('fault site deduplication #2',\n   [[3, 2], [8, 8], False],\n   [[3, 2], [3, 3], [3, 4], [3, 5], [3, 6], [3, 7], [3, 8], [4, 8], [5, 8], [6, 8], [7, 8], [8, 8]]),\n  ('regression deduplication #1', [[8, 2], [8, 2], True], [[8, 2]]),\n  ('regression deduplication #2', [[4, 4], [8, 4], False], [[4, 4], [5, 4], [6, 4], [7, 4], [8, 4]]),\n  ('fault site deduplication #3',\n   [[3, 5], [8, 1], False],\n   [[3, 5], [3, 4], [3, 3], [3, 2], [3, 1], [4, 1], [5, 1], [6, 1], [7, 1], [8, 1]]),\n  ('fault site deduplication #4',\n   [[1, 4], [6, 1], False],\n   [[1, 4], [1, 3], [1, 2], [1, 1], [2, 1], [3, 1], [4, 1], [5, 1], [6, 1]])],\n [('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('single cell #1', [[4, 4], [4, 4], True], [[4, 4]]),\n  ('fault site deduplication #1',\n   [[3, 5], [8, 1], False],\n   [[3, 5], [3, 4], [3, 3], [3, 2], [3, 1], [4, 1], [5, 1], [6, 1], [7, 1], [8, 1]]),\n  ('fault site deduplication #2',\n   [[1, 4], [6, 1], False],\n   [[1, 4], [1, 3], [1, 2], [1, 1], [2, 1], [3, 1], [4, 1], [5, 1], [6, 1]]),\n  ('regression deduplication #1', [[7, 0], [4, 0], False], [[7, 0], [6, 0], [5, 0], [4, 0]]),\n  ('regression deduplication #2', [[4, 1], [2, 1], False], [[4, 1], [3, 1], [2, 1]]),\n  ('fault site deduplication #3',\n   [[7, 2], [6, 8], False],\n   [[7, 2], [7, 3], [7, 4], [7, 5], [7, 6], [7, 7], [7, 8], [6, 8]]),\n  ('fault site deduplication #4',\n   [[0, 6], [5, 0], False],\n   [[0, 6], [0, 5], [0, 4], [0, 3], [0, 2], [0, 1], [0, 0], [1, 0], [2, 0], [3, 0], [4, 0], [5, 0]])]]\nfor label, args, expected in cases[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"Deterministic toy contract stipulated for this model; integer or exact arithmetic only, not a reproduction of any specific game engine. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-procedural-level-generation-constraints-l-corridor-deduplication","generated_at":"2026-09-29T14:50:50.855265+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Procedural generators silently emit unplayable or unfair levels when a single constraint check uses the wrong boundary, axis, neighborhood or update order; the defect is visible in exact generated geometry.","root_cause":"Cells are appended without a duplicate check.","sha256":"c4521d289948f309f7482ab5e764bdd59025939f0f5c661144363aba281e19d3","title":"L-shaped corridor carving: Corner cell carved twice · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":41.17,"exit_code":1,"observations":[{"actual":[[5,1],[4,1],[3,1],[2,1],[2,2],[2,3]],"check":"leftward corridor #1","expected":[[5,1],[4,1],[3,1],[2,1],[2,2],[2,3]],"passed":true},{"actual":[[4,4],[4,4]],"check":"single cell #1","expected":[[4,4]],"passed":false},{"actual":[[3,0],[3,1],[3,2]],"check":"same column #1","expected":[[3,0],[3,1],[3,2]],"passed":true},{"actual":[[8,6],[7,6],[6,6],[5,6],[4,6],[4,5]],"check":"fault site deduplication #1","expected":[[8,6],[7,6],[6,6],[5,6],[4,6],[4,5]],"passed":true},{"actual":[[8,1],[8,1],[8,2],[8,3]],"check":"regression deduplication #1","expected":[[8,1],[8,2],[8,3]],"passed":false},{"actual":[[8,7],[8,7],[7,7],[6,7],[5,7],[4,7],[3,7],[2,7],[1,7]],"check":"regression deduplication #2","expected":[[8,7],[7,7],[6,7],[5,7],[4,7],[3,7],[2,7],[1,7]],"passed":false},{"actual":[[8,4],[7,4],[6,4],[5,4],[4,4],[3,4],[2,4],[1,4],[1,3],[1,2],[1,1],[1,0]],"check":"fault site deduplication #2","expected":[[8,4],[7,4],[6,4],[5,4],[4,4],[3,4],[2,4],[1,4],[1,3],[1,2],[1,1],[1,0]],"passed":true},{"actual":[[6,4],[6,5],[7,5],[8,5]],"check":"fault site deduplication #3","expected":[[6,4],[6,5],[7,5],[8,5]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"leftward corridor #1\", \"actual\": [[5, 1], [4, 1], [3, 1], [2, 1], [2, 2], [2, 3]], \"expected\": [[5, 1], [4, 1], [3, 1], [2, 1], [2, 2], [2, 3]], \"passed\": true}, {\"check\": \"single cell #1\", \"actual\": [[4, 4], [4, 4]], \"expected\": [[4, 4]], \"passed\": false}, {\"check\": \"same column #1\", \"actual\": [[3, 0], [3, 1], [3, 2]], \"expected\": [[3, 0], [3, 1], [3, 2]], \"passed\": true}, {\"check\": \"fault site deduplication #1\", \"actual\": [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 5]], \"expected\": [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 5]], \"passed\": true}, {\"check\": \"regression deduplication #1\", \"actual\": [[8, 1], [8, 1], [8, 2], [8, 3]], \"expected\": [[8, 1], [8, 2], [8, 3]], \"passed\": false}, {\"check\": \"regression deduplication #2\", \"actual\": [[8, 7], [8, 7], [7, 7], [6, 7], [5, 7], [4, 7], [3, 7], [2, 7], [1, 7]], \"expected\": [[8, 7], [7, 7], [6, 7], [5, 7], [4, 7], [3, 7], [2, 7], [1, 7]], \"passed\": false}, {\"check\": \"fault site deduplication #2\", \"actual\": [[8, 4], [7, 4], [6, 4], [5, 4], [4, 4], [3, 4], [2, 4], [1, 4], [1, 3], [1, 2], [1, 1], [1, 0]], \"expected\": [[8, 4], [7, 4], [6, 4], [5, 4], [4, 4], [3, 4], [2, 4], [1, 4], [1, 3], [1, 2], [1, 1], [1, 0]], \"passed\": true}, {\"check\": \"fault site deduplication #3\", \"actual\": [[6, 4], [6, 5], [7, 5], [8, 5]], \"expected\": [[6, 4], [6, 5], [7, 5], [8, 5]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.013,"exit_code":1,"observations":[{"actual":[[5,1],[4,1],[3,1],[2,1],[2,1],[2,2],[2,3]],"check":"leftward corridor #1","expected":[[5,1],[4,1],[3,1],[2,1],[2,2],[2,3]],"passed":false},{"actual":[[4,4],[4,4]],"check":"single cell #1","expected":[[4,4]],"passed":false},{"actual":[[3,0],[3,1],[3,2],[3,2]],"check":"same column #1","expected":[[3,0],[3,1],[3,2]],"passed":false},{"actual":[[8,6],[7,6],[6,6],[5,6],[4,6],[4,6],[4,5]],"check":"fault site deduplication #1","expected":[[8,6],[7,6],[6,6],[5,6],[4,6],[4,5]],"passed":false},{"actual":[[8,1],[8,1],[8,2],[8,3]],"check":"regression deduplication #1","expected":[[8,1],[8,2],[8,3]],"passed":false},{"actual":[[8,7],[8,7],[7,7],[6,7],[5,7],[4,7],[3,7],[2,7],[1,7]],"check":"regression deduplication #2","expected":[[8,7],[7,7],[6,7],[5,7],[4,7],[3,7],[2,7],[1,7]],"passed":false},{"actual":[[8,4],[7,4],[6,4],[5,4],[4,4],[3,4],[2,4],[1,4],[1,4],[1,3],[1,2],[1,1],[1,0]],"check":"fault site deduplication #2","expected":[[8,4],[7,4],[6,4],[5,4],[4,4],[3,4],[2,4],[1,4],[1,3],[1,2],[1,1],[1,0]],"passed":false},{"actual":[[6,4],[6,5],[6,5],[7,5],[8,5]],"check":"fault site deduplication #3","expected":[[6,4],[6,5],[7,5],[8,5]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"leftward corridor #1\", \"actual\": [[5, 1], [4, 1], [3, 1], [2, 1], [2, 1], [2, 2], [2, 3]], \"expected\": [[5, 1], [4, 1], [3, 1], [2, 1], [2, 2], [2, 3]], \"passed\": false}, {\"check\": \"single cell #1\", \"actual\": [[4, 4], [4, 4]], \"expected\": [[4, 4]], \"passed\": false}, {\"check\": \"same column #1\", \"actual\": [[3, 0], [3, 1], [3, 2], [3, 2]], \"expected\": [[3, 0], [3, 1], [3, 2]], \"passed\": false}, {\"check\": \"fault site deduplication #1\", \"actual\": [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 6], [4, 5]], \"expected\": [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 5]], \"passed\": false}, {\"check\": \"regression deduplication #1\", \"actual\": [[8, 1], [8, 1], [8, 2], [8, 3]], \"expected\": [[8, 1], [8, 2], [8, 3]], \"passed\": false}, {\"check\": \"regression deduplication #2\", \"actual\": [[8, 7], [8, 7], [7, 7], [6, 7], [5, 7], [4, 7], [3, 7], [2, 7], [1, 7]], \"expected\": [[8, 7], [7, 7], [6, 7], [5, 7], [4, 7], [3, 7], [2, 7], [1, 7]], \"passed\": false}, {\"check\": \"fault site deduplication #2\", \"actual\": [[8, 4], [7, 4], [6, 4], [5, 4], [4, 4], [3, 4], [2, 4], [1, 4], [1, 4], [1, 3], [1, 2], [1, 1], [1, 0]], \"expected\": [[8, 4], [7, 4], [6, 4], [5, 4], [4, 4], [3, 4], [2, 4], [1, 4], [1, 3], [1, 2], [1, 1], [1, 0]], \"passed\": false}, {\"check\": \"fault site deduplication #3\", \"actual\": [[6, 4], [6, 5], [6, 5], [7, 5], [8, 5]], \"expected\": [[6, 4], [6, 5], [7, 5], [8, 5]], \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}