{"abstract":"Horizontal-first corridors leave the corner disconnected.","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":"Offsetting the column by one step misses the corner.","family":"w2-procedural-level-generation-constraints-l-corridor-corner-column","id":"FA-86586","implementations":{"attempt":{"sha256":"2ed333ea620d2dcef2702bef7bc223966d8e13bcbaa04a6c153ca468d9871c34","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:\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 - sx, 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  ('regression corner column #1', [[8, 6], [4, 5], True], [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 5]]),\n  ('regression corner column #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 corner column #3', [[6, 2], [8, 0], True], [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]]),\n  ('regression corner column #4',\n   [[3, 8], [5, 0], True],\n   [[3, 8], [4, 8], [5, 8], [5, 7], [5, 6], [5, 5], [5, 4], [5, 3], [5, 2], [5, 1], [5, 0]]),\n  ('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('control #1', [[6, 4], [8, 5], False], [[6, 4], [6, 5], [7, 5], [8, 5]])],\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  ('regression corner column #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  ('regression corner column #2', [[6, 2], [8, 0], True], [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]]),\n  ('regression corner column #3', [[8, 6], [4, 5], True], [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 5]]),\n  ('regression corner column #4',\n   [[3, 8], [5, 0], True],\n   [[3, 8], [4, 8], [5, 8], [5, 7], [5, 6], [5, 5], [5, 4], [5, 3], [5, 2], [5, 1], [5, 0]]),\n  ('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('control #1', [[6, 4], [8, 5], False], [[6, 4], [6, 5], [7, 5], [8, 5]])],\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  ('regression corner column #1',\n   [[3, 8], [5, 0], True],\n   [[3, 8], [4, 8], [5, 8], [5, 7], [5, 6], [5, 5], [5, 4], [5, 3], [5, 2], [5, 1], [5, 0]]),\n  ('regression corner column #2', [[2, 4], [4, 5], True], [[2, 4], [3, 4], [4, 4], [4, 5]]),\n  ('regression corner column #3', [[6, 2], [8, 0], True], [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]]),\n  ('regression corner column #4', [[5, 1], [4, 5], True], [[5, 1], [4, 1], [4, 2], [4, 3], [4, 4], [4, 5]]),\n  ('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('control #1',\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 [('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  ('regression corner column #1', [[5, 1], [4, 5], True], [[5, 1], [4, 1], [4, 2], [4, 3], [4, 4], [4, 5]]),\n  ('regression corner column #2',\n   [[5, 0], [7, 4], True],\n   [[5, 0], [6, 0], [7, 0], [7, 1], [7, 2], [7, 3], [7, 4]]),\n  ('regression corner column #3', [[2, 4], [4, 5], True], [[2, 4], [3, 4], [4, 4], [4, 5]]),\n  ('regression corner column #4', [[0, 3], [4, 4], True], [[0, 3], [1, 3], [2, 3], [3, 3], [4, 3], [4, 4]]),\n  ('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('control #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 [('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  ('regression corner column #1', [[0, 3], [4, 4], True], [[0, 3], [1, 3], [2, 3], [3, 3], [4, 3], [4, 4]]),\n  ('regression corner column #2', [[7, 0], [8, 2], True], [[7, 0], [8, 0], [8, 1], [8, 2]]),\n  ('regression corner column #3',\n   [[5, 0], [7, 4], True],\n   [[5, 0], [6, 0], [7, 0], [7, 1], [7, 2], [7, 3], [7, 4]]),\n  ('regression corner column #4',\n   [[1, 3], [0, 8], True],\n   [[1, 3], [0, 3], [0, 4], [0, 5], [0, 6], [0, 7], [0, 8]]),\n  ('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('control #1',\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]])]]\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":"cc1f9baa2e4759f5b3e323bef15e390c1eead2acea44e7144fef945ceef0f5ee","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:\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(ax, 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  ('regression corner column #1', [[8, 6], [4, 5], True], [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 5]]),\n  ('regression corner column #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 corner column #3', [[6, 2], [8, 0], True], [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]]),\n  ('regression corner column #4',\n   [[3, 8], [5, 0], True],\n   [[3, 8], [4, 8], [5, 8], [5, 7], [5, 6], [5, 5], [5, 4], [5, 3], [5, 2], [5, 1], [5, 0]]),\n  ('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('control #1', [[6, 4], [8, 5], False], [[6, 4], [6, 5], [7, 5], [8, 5]])],\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  ('regression corner column #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  ('regression corner column #2', [[6, 2], [8, 0], True], [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]]),\n  ('regression corner column #3', [[8, 6], [4, 5], True], [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 5]]),\n  ('regression corner column #4',\n   [[3, 8], [5, 0], True],\n   [[3, 8], [4, 8], [5, 8], [5, 7], [5, 6], [5, 5], [5, 4], [5, 3], [5, 2], [5, 1], [5, 0]]),\n  ('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('control #1', [[6, 4], [8, 5], False], [[6, 4], [6, 5], [7, 5], [8, 5]])],\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  ('regression corner column #1',\n   [[3, 8], [5, 0], True],\n   [[3, 8], [4, 8], [5, 8], [5, 7], [5, 6], [5, 5], [5, 4], [5, 3], [5, 2], [5, 1], [5, 0]]),\n  ('regression corner column #2', [[2, 4], [4, 5], True], [[2, 4], [3, 4], [4, 4], [4, 5]]),\n  ('regression corner column #3', [[6, 2], [8, 0], True], [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]]),\n  ('regression corner column #4', [[5, 1], [4, 5], True], [[5, 1], [4, 1], [4, 2], [4, 3], [4, 4], [4, 5]]),\n  ('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('control #1',\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 [('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  ('regression corner column #1', [[5, 1], [4, 5], True], [[5, 1], [4, 1], [4, 2], [4, 3], [4, 4], [4, 5]]),\n  ('regression corner column #2',\n   [[5, 0], [7, 4], True],\n   [[5, 0], [6, 0], [7, 0], [7, 1], [7, 2], [7, 3], [7, 4]]),\n  ('regression corner column #3', [[2, 4], [4, 5], True], [[2, 4], [3, 4], [4, 4], [4, 5]]),\n  ('regression corner column #4', [[0, 3], [4, 4], True], [[0, 3], [1, 3], [2, 3], [3, 3], [4, 3], [4, 4]]),\n  ('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('control #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 [('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  ('regression corner column #1', [[0, 3], [4, 4], True], [[0, 3], [1, 3], [2, 3], [3, 3], [4, 3], [4, 4]]),\n  ('regression corner column #2', [[7, 0], [8, 2], True], [[7, 0], [8, 0], [8, 1], [8, 2]]),\n  ('regression corner column #3',\n   [[5, 0], [7, 4], True],\n   [[5, 0], [6, 0], [7, 0], [7, 1], [7, 2], [7, 3], [7, 4]]),\n  ('regression corner column #4',\n   [[1, 3], [0, 8], True],\n   [[1, 3], [0, 3], [0, 4], [0, 5], [0, 6], [0, 7], [0, 8]]),\n  ('same column #1', [[3, 0], [3, 2], False], [[3, 0], [3, 1], [3, 2]]),\n  ('control #1',\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]])]]\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-corner-column","generated_at":"2026-09-29T14:50:50.855008+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":"The vertical leg is carved on the source column.","sha256":"bdceec4ff43f82ec079e63e89c2b6a6f70e9e89cc22168f802a7eb55ed06591a","title":"L-shaped corridor carving: Vertical leg on the source column · 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.662,"exit_code":1,"observations":[{"actual":[[5,1],[4,1],[3,1],[2,1],[3,2],[3,3]],"check":"leftward corridor #1","expected":[[5,1],[4,1],[3,1],[2,1],[2,2],[2,3]],"passed":false},{"actual":[[4,4],[3,4]],"check":"single cell #1","expected":[[4,4]],"passed":false},{"actual":[[8,6],[7,6],[6,6],[5,6],[4,6],[5,5]],"check":"regression corner column #1","expected":[[8,6],[7,6],[6,6],[5,6],[4,6],[4,5]],"passed":false},{"actual":[[8,4],[7,4],[6,4],[5,4],[4,4],[3,4],[2,4],[1,4],[2,3],[2,2],[2,1],[2,0]],"check":"regression corner column #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,2],[7,2],[8,2],[7,1],[7,0]],"check":"regression corner column #3","expected":[[6,2],[7,2],[8,2],[8,1],[8,0]],"passed":false},{"actual":[[3,8],[4,8],[5,8],[4,7],[4,6],[4,5],[4,4],[4,3],[4,2],[4,1],[4,0]],"check":"regression corner column #4","expected":[[3,8],[4,8],[5,8],[5,7],[5,6],[5,5],[5,4],[5,3],[5,2],[5,1],[5,0]],"passed":false},{"actual":[[3,0],[3,1],[3,2]],"check":"same column #1","expected":[[3,0],[3,1],[3,2]],"passed":true},{"actual":[[6,4],[6,5],[7,5],[8,5]],"check":"control #1","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], [3, 2], [3, 3]], \"expected\": [[5, 1], [4, 1], [3, 1], [2, 1], [2, 2], [2, 3]], \"passed\": false}, {\"check\": \"single cell #1\", \"actual\": [[4, 4], [3, 4]], \"expected\": [[4, 4]], \"passed\": false}, {\"check\": \"regression corner column #1\", \"actual\": [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [5, 5]], \"expected\": [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 5]], \"passed\": false}, {\"check\": \"regression corner column #2\", \"actual\": [[8, 4], [7, 4], [6, 4], [5, 4], [4, 4], [3, 4], [2, 4], [1, 4], [2, 3], [2, 2], [2, 1], [2, 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\": \"regression corner column #3\", \"actual\": [[6, 2], [7, 2], [8, 2], [7, 1], [7, 0]], \"expected\": [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]], \"passed\": false}, {\"check\": \"regression corner column #4\", \"actual\": [[3, 8], [4, 8], [5, 8], [4, 7], [4, 6], [4, 5], [4, 4], [4, 3], [4, 2], [4, 1], [4, 0]], \"expected\": [[3, 8], [4, 8], [5, 8], [5, 7], [5, 6], [5, 5], [5, 4], [5, 3], [5, 2], [5, 1], [5, 0]], \"passed\": false}, {\"check\": \"same column #1\", \"actual\": [[3, 0], [3, 1], [3, 2]], \"expected\": [[3, 0], [3, 1], [3, 2]], \"passed\": true}, {\"check\": \"control #1\", \"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":40.845,"exit_code":1,"observations":[{"actual":[[5,1],[4,1],[3,1],[2,1],[5,2],[5,3]],"check":"leftward corridor #1","expected":[[5,1],[4,1],[3,1],[2,1],[2,2],[2,3]],"passed":false},{"actual":[[4,4]],"check":"single cell #1","expected":[[4,4]],"passed":true},{"actual":[[8,6],[7,6],[6,6],[5,6],[4,6],[8,5]],"check":"regression corner column #1","expected":[[8,6],[7,6],[6,6],[5,6],[4,6],[4,5]],"passed":false},{"actual":[[8,4],[7,4],[6,4],[5,4],[4,4],[3,4],[2,4],[1,4],[8,3],[8,2],[8,1],[8,0]],"check":"regression corner column #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,2],[7,2],[8,2],[6,1],[6,0]],"check":"regression corner column #3","expected":[[6,2],[7,2],[8,2],[8,1],[8,0]],"passed":false},{"actual":[[3,8],[4,8],[5,8],[3,7],[3,6],[3,5],[3,4],[3,3],[3,2],[3,1],[3,0]],"check":"regression corner column #4","expected":[[3,8],[4,8],[5,8],[5,7],[5,6],[5,5],[5,4],[5,3],[5,2],[5,1],[5,0]],"passed":false},{"actual":[[3,0],[3,1],[3,2]],"check":"same column #1","expected":[[3,0],[3,1],[3,2]],"passed":true},{"actual":[[6,4],[6,5],[7,5],[8,5]],"check":"control #1","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], [5, 2], [5, 3]], \"expected\": [[5, 1], [4, 1], [3, 1], [2, 1], [2, 2], [2, 3]], \"passed\": false}, {\"check\": \"single cell #1\", \"actual\": [[4, 4]], \"expected\": [[4, 4]], \"passed\": true}, {\"check\": \"regression corner column #1\", \"actual\": [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [8, 5]], \"expected\": [[8, 6], [7, 6], [6, 6], [5, 6], [4, 6], [4, 5]], \"passed\": false}, {\"check\": \"regression corner column #2\", \"actual\": [[8, 4], [7, 4], [6, 4], [5, 4], [4, 4], [3, 4], [2, 4], [1, 4], [8, 3], [8, 2], [8, 1], [8, 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\": \"regression corner column #3\", \"actual\": [[6, 2], [7, 2], [8, 2], [6, 1], [6, 0]], \"expected\": [[6, 2], [7, 2], [8, 2], [8, 1], [8, 0]], \"passed\": false}, {\"check\": \"regression corner column #4\", \"actual\": [[3, 8], [4, 8], [5, 8], [3, 7], [3, 6], [3, 5], [3, 4], [3, 3], [3, 2], [3, 1], [3, 0]], \"expected\": [[3, 8], [4, 8], [5, 8], [5, 7], [5, 6], [5, 5], [5, 4], [5, 3], [5, 2], [5, 1], [5, 0]], \"passed\": false}, {\"check\": \"same column #1\", \"actual\": [[3, 0], [3, 1], [3, 2]], \"expected\": [[3, 0], [3, 1], [3, 2]], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [[6, 4], [6, 5], [7, 5], [8, 5]], \"expected\": [[6, 4], [6, 5], [7, 5], [8, 5]], \"passed\": true}], \"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."}}