{"abstract":"Rooms of exactly twice the minimum width are never divided.","category":"Procedural level generation constraints","checks":8,"contract":"Recursively split the rectangle while depth remains. An axis can be split when that side is >= 2*min_size; if neither can, it is a leaf. Split vertically when w > h, or when w == h at even remaining depth; if the chosen axis cannot be split use the other. The first child gets floor(side/2). Returns leaves [x, y, w, h] in left/top-first order.","contract_signature":"x, y, w, h, min_size, depth","evaluation_group":"w2-procedural-level-generation-constraints-bsp-split","failed_approach":"Comparing against min_size creates children narrower than the minimum.","family":"w2-procedural-level-generation-constraints-bsp-split-split-eligibility","id":"FA-86526","implementations":{"attempt":{"sha256":"e944c6559919e0601adc51a897fb2895100206c0adb4cb1f21b3acb073180561","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x, y, w, h, min_size, depth):\n    out = []\n    def split(x, y, w, h, d):\n        can_v = w >= min_size\n        can_h = h >= 2 * min_size\n        if d == 0 or not (can_v or can_h):\n            out.append([x, y, w, h])\n            return\n        vertical = w > h or (w == h and d % 2 == 0)\n        if vertical and not can_v:\n            vertical = False\n        elif not vertical and not can_h:\n            vertical = True\n        if vertical:\n            half = w // 2\n            split(x, y, half, h, d - 1)\n            split(x + half, y, w - half, h, d - 1)\n        else:\n            half = h // 2\n            split(x, y, w, half, d - 1)\n            split(x, y + half, w, h - half, d - 1)\n    split(x, y, w, h, depth)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\n  ('fault site split eligibility #1',\n   [2, 1, 16, 5, 4, 2],\n   [[2, 1, 4, 5], [6, 1, 4, 5], [10, 1, 4, 5], [14, 1, 4, 5]]),\n  ('regression split eligibility #1',\n   [5, 4, 23, 8, 3, 4],\n   [[5, 4, 5, 4],\n    [5, 8, 5, 4],\n    [10, 4, 3, 4],\n    [13, 4, 3, 4],\n    [10, 8, 3, 4],\n    [13, 8, 3, 4],\n    [16, 4, 3, 4],\n    [19, 4, 3, 4],\n    [16, 8, 3, 4],\n    [19, 8, 3, 4],\n    [22, 4, 3, 4],\n    [25, 4, 3, 4],\n    [22, 8, 3, 4],\n    [25, 8, 3, 4]]),\n  ('partial repair boundary #1', [1, 4, 9, 1, 3, 4], [[1, 4, 4, 1], [5, 4, 5, 1]]),\n  ('partial repair boundary #2',\n   [2, 3, 26, 3, 4, 3],\n   [[2, 3, 6, 3], [8, 3, 7, 3], [15, 3, 6, 3], [21, 3, 7, 3]]),\n  ('square at even depth #1', [0, 0, 10, 10, 2, 2], [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]]),\n  ('odd width #1', [1, 1, 9, 4, 2, 1], [[1, 1, 4, 4], [5, 1, 5, 4]]),\n  ('control #1', [2, 3, 16, 10, 5, 1], [[2, 3, 8, 10], [10, 3, 8, 10]])],\n [('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\n  ('regression split eligibility #1',\n   [5, 4, 23, 8, 3, 4],\n   [[5, 4, 5, 4],\n    [5, 8, 5, 4],\n    [10, 4, 3, 4],\n    [13, 4, 3, 4],\n    [10, 8, 3, 4],\n    [13, 8, 3, 4],\n    [16, 4, 3, 4],\n    [19, 4, 3, 4],\n    [16, 8, 3, 4],\n    [19, 8, 3, 4],\n    [22, 4, 3, 4],\n    [25, 4, 3, 4],\n    [22, 8, 3, 4],\n    [25, 8, 3, 4]]),\n  ('regression split eligibility #2', [5, 1, 12, 7, 6, 3], [[5, 1, 6, 7], [11, 1, 6, 7]]),\n  ('partial repair boundary #1', [3, 4, 21, 6, 6, 2], [[3, 4, 10, 6], [13, 4, 11, 6]]),\n  ('partial repair boundary #2',\n   [4, 0, 10, 3, 2, 4],\n   [[4, 0, 2, 3], [6, 0, 3, 3], [9, 0, 2, 3], [11, 0, 3, 3]]),\n  ('square at even depth #1', [0, 0, 10, 10, 2, 2], [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]]),\n  ('odd width #1', [1, 1, 9, 4, 2, 1], [[1, 1, 4, 4], [5, 1, 5, 4]]),\n  ('control #1', [2, 3, 16, 10, 5, 1], [[2, 3, 8, 10], [10, 3, 8, 10]])],\n [('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\n  ('fault site split eligibility #1',\n   [1, 0, 6, 24, 3, 4],\n   [[1, 0, 3, 3],\n    [1, 3, 3, 3],\n    [4, 0, 3, 3],\n    [4, 3, 3, 3],\n    [1, 6, 3, 3],\n    [1, 9, 3, 3],\n    [4, 6, 3, 3],\n    [4, 9, 3, 3],\n    [1, 12, 3, 3],\n    [1, 15, 3, 3],\n    [4, 12, 3, 3],\n    [4, 15, 3, 3],\n    [1, 18, 3, 3],\n    [1, 21, 3, 3],\n    [4, 18, 3, 3],\n    [4, 21, 3, 3]]),\n  ('regression split eligibility #1',\n   [3, 2, 19, 20, 5, 4],\n   [[3, 2, 9, 5],\n    [3, 7, 9, 5],\n    [12, 2, 5, 5],\n    [12, 7, 5, 5],\n    [17, 2, 5, 5],\n    [17, 7, 5, 5],\n    [3, 12, 9, 5],\n    [3, 17, 9, 5],\n    [12, 12, 5, 5],\n    [12, 17, 5, 5],\n    [17, 12, 5, 5],\n    [17, 17, 5, 5]]),\n  ('partial repair boundary #1',\n   [2, 3, 15, 3, 3, 3],\n   [[2, 3, 3, 3], [5, 3, 4, 3], [9, 3, 4, 3], [13, 3, 4, 3]]),\n  ('partial repair boundary #2',\n   [3, 5, 26, 4, 5, 4],\n   [[3, 5, 6, 4], [9, 5, 7, 4], [16, 5, 6, 4], [22, 5, 7, 4]]),\n  ('square at even depth #1', [0, 0, 10, 10, 2, 2], [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]]),\n  ('odd width #1', [1, 1, 9, 4, 2, 1], [[1, 1, 4, 4], [5, 1, 5, 4]]),\n  ('control #1', [2, 3, 16, 10, 5, 1], [[2, 3, 8, 10], [10, 3, 8, 10]])],\n [('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\n  ('fault site split eligibility #1',\n   [2, 1, 12, 14, 6, 2],\n   [[2, 1, 6, 7], [8, 1, 6, 7], [2, 8, 6, 7], [8, 8, 6, 7]]),\n  ('regression split eligibility #1',\n   [2, 1, 6, 21, 3, 4],\n   [[2, 1, 3, 5],\n    [5, 1, 3, 5],\n    [2, 6, 3, 5],\n    [5, 6, 3, 5],\n    [2, 11, 3, 5],\n    [5, 11, 3, 5],\n    [2, 16, 3, 3],\n    [2, 19, 3, 3],\n    [5, 16, 3, 3],\n    [5, 19, 3, 3]]),\n  ('partial repair boundary #1',\n   [5, 5, 9, 8, 3, 4],\n   [[5, 5, 4, 4], [5, 9, 4, 4], [9, 5, 5, 4], [9, 9, 5, 4]]),\n  ('partial repair boundary #2',\n   [1, 1, 29, 13, 5, 4],\n   [[1, 1, 7, 6],\n    [1, 7, 7, 7],\n    [8, 1, 7, 6],\n    [8, 7, 7, 7],\n    [15, 1, 7, 6],\n    [15, 7, 7, 7],\n    [22, 1, 8, 6],\n    [22, 7, 8, 7]]),\n  ('square at even depth #1', [0, 0, 10, 10, 2, 2], [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]]),\n  ('odd width #1', [1, 1, 9, 4, 2, 1], [[1, 1, 4, 4], [5, 1, 5, 4]]),\n  ('control #1', [3, 0, 14, 28, 4, 1], [[3, 0, 14, 14], [3, 14, 14, 14]])],\n [('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\n  ('fault site split eligibility #1',\n   [2, 5, 8, 28, 4, 3],\n   [[2, 5, 4, 7],\n    [6, 5, 4, 7],\n    [2, 12, 4, 7],\n    [6, 12, 4, 7],\n    [2, 19, 4, 7],\n    [6, 19, 4, 7],\n    [2, 26, 4, 7],\n    [6, 26, 4, 7]]),\n  ('fault site split eligibility #2',\n   [5, 4, 8, 15, 2, 4],\n   [[5, 4, 2, 3],\n    [7, 4, 2, 3],\n    [5, 7, 4, 2],\n    [5, 9, 4, 2],\n    [9, 4, 2, 3],\n    [11, 4, 2, 3],\n    [9, 7, 4, 2],\n    [9, 9, 4, 2],\n    [5, 11, 4, 2],\n    [5, 13, 4, 2],\n    [9, 11, 4, 2],\n    [9, 13, 4, 2],\n    [5, 15, 4, 2],\n    [5, 17, 4, 2],\n    [9, 15, 4, 2],\n    [9, 17, 4, 2]]),\n  ('partial repair boundary #1', [4, 3, 17, 5, 5, 4], [[4, 3, 8, 5], [12, 3, 9, 5]]),\n  ('partial repair boundary #2', [2, 4, 6, 4, 4, 3], [[2, 4, 6, 4]]),\n  ('square at even depth #1', [0, 0, 10, 10, 2, 2], [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]]),\n  ('odd width #1', [1, 1, 9, 4, 2, 1], [[1, 1, 4, 4], [5, 1, 5, 4]]),\n  ('control #1', [5, 1, 1, 10, 4, 2], [[5, 1, 1, 5], [5, 6, 1, 5]])]]\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":"470e2c14afa03940f56d0ddb11e33f758455d2a6e9fd5bbc4404f2dec81e9e68","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x, y, w, h, min_size, depth):\n    out = []\n    def split(x, y, w, h, d):\n        can_v = w > 2 * min_size\n        can_h = h >= 2 * min_size\n        if d == 0 or not (can_v or can_h):\n            out.append([x, y, w, h])\n            return\n        vertical = w > h or (w == h and d % 2 == 0)\n        if vertical and not can_v:\n            vertical = False\n        elif not vertical and not can_h:\n            vertical = True\n        if vertical:\n            half = w // 2\n            split(x, y, half, h, d - 1)\n            split(x + half, y, w - half, h, d - 1)\n        else:\n            half = h // 2\n            split(x, y, w, half, d - 1)\n            split(x, y + half, w, h - half, d - 1)\n    split(x, y, w, h, depth)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\n  ('fault site split eligibility #1',\n   [2, 1, 16, 5, 4, 2],\n   [[2, 1, 4, 5], [6, 1, 4, 5], [10, 1, 4, 5], [14, 1, 4, 5]]),\n  ('regression split eligibility #1',\n   [5, 4, 23, 8, 3, 4],\n   [[5, 4, 5, 4],\n    [5, 8, 5, 4],\n    [10, 4, 3, 4],\n    [13, 4, 3, 4],\n    [10, 8, 3, 4],\n    [13, 8, 3, 4],\n    [16, 4, 3, 4],\n    [19, 4, 3, 4],\n    [16, 8, 3, 4],\n    [19, 8, 3, 4],\n    [22, 4, 3, 4],\n    [25, 4, 3, 4],\n    [22, 8, 3, 4],\n    [25, 8, 3, 4]]),\n  ('partial repair boundary #1', [1, 4, 9, 1, 3, 4], [[1, 4, 4, 1], [5, 4, 5, 1]]),\n  ('partial repair boundary #2',\n   [2, 3, 26, 3, 4, 3],\n   [[2, 3, 6, 3], [8, 3, 7, 3], [15, 3, 6, 3], [21, 3, 7, 3]]),\n  ('square at even depth #1', [0, 0, 10, 10, 2, 2], [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]]),\n  ('odd width #1', [1, 1, 9, 4, 2, 1], [[1, 1, 4, 4], [5, 1, 5, 4]]),\n  ('control #1', [2, 3, 16, 10, 5, 1], [[2, 3, 8, 10], [10, 3, 8, 10]])],\n [('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\n  ('regression split eligibility #1',\n   [5, 4, 23, 8, 3, 4],\n   [[5, 4, 5, 4],\n    [5, 8, 5, 4],\n    [10, 4, 3, 4],\n    [13, 4, 3, 4],\n    [10, 8, 3, 4],\n    [13, 8, 3, 4],\n    [16, 4, 3, 4],\n    [19, 4, 3, 4],\n    [16, 8, 3, 4],\n    [19, 8, 3, 4],\n    [22, 4, 3, 4],\n    [25, 4, 3, 4],\n    [22, 8, 3, 4],\n    [25, 8, 3, 4]]),\n  ('regression split eligibility #2', [5, 1, 12, 7, 6, 3], [[5, 1, 6, 7], [11, 1, 6, 7]]),\n  ('partial repair boundary #1', [3, 4, 21, 6, 6, 2], [[3, 4, 10, 6], [13, 4, 11, 6]]),\n  ('partial repair boundary #2',\n   [4, 0, 10, 3, 2, 4],\n   [[4, 0, 2, 3], [6, 0, 3, 3], [9, 0, 2, 3], [11, 0, 3, 3]]),\n  ('square at even depth #1', [0, 0, 10, 10, 2, 2], [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]]),\n  ('odd width #1', [1, 1, 9, 4, 2, 1], [[1, 1, 4, 4], [5, 1, 5, 4]]),\n  ('control #1', [2, 3, 16, 10, 5, 1], [[2, 3, 8, 10], [10, 3, 8, 10]])],\n [('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\n  ('fault site split eligibility #1',\n   [1, 0, 6, 24, 3, 4],\n   [[1, 0, 3, 3],\n    [1, 3, 3, 3],\n    [4, 0, 3, 3],\n    [4, 3, 3, 3],\n    [1, 6, 3, 3],\n    [1, 9, 3, 3],\n    [4, 6, 3, 3],\n    [4, 9, 3, 3],\n    [1, 12, 3, 3],\n    [1, 15, 3, 3],\n    [4, 12, 3, 3],\n    [4, 15, 3, 3],\n    [1, 18, 3, 3],\n    [1, 21, 3, 3],\n    [4, 18, 3, 3],\n    [4, 21, 3, 3]]),\n  ('regression split eligibility #1',\n   [3, 2, 19, 20, 5, 4],\n   [[3, 2, 9, 5],\n    [3, 7, 9, 5],\n    [12, 2, 5, 5],\n    [12, 7, 5, 5],\n    [17, 2, 5, 5],\n    [17, 7, 5, 5],\n    [3, 12, 9, 5],\n    [3, 17, 9, 5],\n    [12, 12, 5, 5],\n    [12, 17, 5, 5],\n    [17, 12, 5, 5],\n    [17, 17, 5, 5]]),\n  ('partial repair boundary #1',\n   [2, 3, 15, 3, 3, 3],\n   [[2, 3, 3, 3], [5, 3, 4, 3], [9, 3, 4, 3], [13, 3, 4, 3]]),\n  ('partial repair boundary #2',\n   [3, 5, 26, 4, 5, 4],\n   [[3, 5, 6, 4], [9, 5, 7, 4], [16, 5, 6, 4], [22, 5, 7, 4]]),\n  ('square at even depth #1', [0, 0, 10, 10, 2, 2], [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]]),\n  ('odd width #1', [1, 1, 9, 4, 2, 1], [[1, 1, 4, 4], [5, 1, 5, 4]]),\n  ('control #1', [2, 3, 16, 10, 5, 1], [[2, 3, 8, 10], [10, 3, 8, 10]])],\n [('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\n  ('fault site split eligibility #1',\n   [2, 1, 12, 14, 6, 2],\n   [[2, 1, 6, 7], [8, 1, 6, 7], [2, 8, 6, 7], [8, 8, 6, 7]]),\n  ('regression split eligibility #1',\n   [2, 1, 6, 21, 3, 4],\n   [[2, 1, 3, 5],\n    [5, 1, 3, 5],\n    [2, 6, 3, 5],\n    [5, 6, 3, 5],\n    [2, 11, 3, 5],\n    [5, 11, 3, 5],\n    [2, 16, 3, 3],\n    [2, 19, 3, 3],\n    [5, 16, 3, 3],\n    [5, 19, 3, 3]]),\n  ('partial repair boundary #1',\n   [5, 5, 9, 8, 3, 4],\n   [[5, 5, 4, 4], [5, 9, 4, 4], [9, 5, 5, 4], [9, 9, 5, 4]]),\n  ('partial repair boundary #2',\n   [1, 1, 29, 13, 5, 4],\n   [[1, 1, 7, 6],\n    [1, 7, 7, 7],\n    [8, 1, 7, 6],\n    [8, 7, 7, 7],\n    [15, 1, 7, 6],\n    [15, 7, 7, 7],\n    [22, 1, 8, 6],\n    [22, 7, 8, 7]]),\n  ('square at even depth #1', [0, 0, 10, 10, 2, 2], [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]]),\n  ('odd width #1', [1, 1, 9, 4, 2, 1], [[1, 1, 4, 4], [5, 1, 5, 4]]),\n  ('control #1', [3, 0, 14, 28, 4, 1], [[3, 0, 14, 14], [3, 14, 14, 14]])],\n [('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\n  ('fault site split eligibility #1',\n   [2, 5, 8, 28, 4, 3],\n   [[2, 5, 4, 7],\n    [6, 5, 4, 7],\n    [2, 12, 4, 7],\n    [6, 12, 4, 7],\n    [2, 19, 4, 7],\n    [6, 19, 4, 7],\n    [2, 26, 4, 7],\n    [6, 26, 4, 7]]),\n  ('fault site split eligibility #2',\n   [5, 4, 8, 15, 2, 4],\n   [[5, 4, 2, 3],\n    [7, 4, 2, 3],\n    [5, 7, 4, 2],\n    [5, 9, 4, 2],\n    [9, 4, 2, 3],\n    [11, 4, 2, 3],\n    [9, 7, 4, 2],\n    [9, 9, 4, 2],\n    [5, 11, 4, 2],\n    [5, 13, 4, 2],\n    [9, 11, 4, 2],\n    [9, 13, 4, 2],\n    [5, 15, 4, 2],\n    [5, 17, 4, 2],\n    [9, 15, 4, 2],\n    [9, 17, 4, 2]]),\n  ('partial repair boundary #1', [4, 3, 17, 5, 5, 4], [[4, 3, 8, 5], [12, 3, 9, 5]]),\n  ('partial repair boundary #2', [2, 4, 6, 4, 4, 3], [[2, 4, 6, 4]]),\n  ('square at even depth #1', [0, 0, 10, 10, 2, 2], [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]]),\n  ('odd width #1', [1, 1, 9, 4, 2, 1], [[1, 1, 4, 4], [5, 1, 5, 4]]),\n  ('control #1', [5, 1, 1, 10, 4, 2], [[5, 1, 1, 5], [5, 6, 1, 5]])]]\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-bsp-split-split-eligibility","generated_at":"2026-09-29T14:50:50.263957+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 split test is strict.","sha256":"f3dcfbb6ca66bbc4a85b3c3452abf665a9899897e9ee4d1f2310dace67768d9a","title":"BSP dungeon partition: Exactly splittable widths stay whole · 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":42.362,"exit_code":1,"observations":[{"actual":[[0,0,4,3],[4,0,4,3]],"check":"exactly splittable #1","expected":[[0,0,4,3],[4,0,4,3]],"passed":true},{"actual":[[2,1,4,5],[6,1,4,5],[10,1,4,5],[14,1,4,5]],"check":"fault site split eligibility #1","expected":[[2,1,4,5],[6,1,4,5],[10,1,4,5],[14,1,4,5]],"passed":true},{"actual":[[5,4,2,4],[7,4,3,4],[5,8,2,4],[7,8,3,4],[10,4,3,4],[13,4,3,4],[10,8,3,4],[13,8,3,4],[16,4,3,4],[19,4,3,4],[16,8,3,4],[19,8,3,4],[22,4,3,4],[25,4,3,4],[22,8,3,4],[25,8,3,4]],"check":"regression split eligibility #1","expected":[[5,4,5,4],[5,8,5,4],[10,4,3,4],[13,4,3,4],[10,8,3,4],[13,8,3,4],[16,4,3,4],[19,4,3,4],[16,8,3,4],[19,8,3,4],[22,4,3,4],[25,4,3,4],[22,8,3,4],[25,8,3,4]],"passed":false},{"actual":[[1,4,2,1],[3,4,2,1],[5,4,2,1],[7,4,1,1],[8,4,2,1]],"check":"partial repair boundary #1","expected":[[1,4,4,1],[5,4,5,1]],"passed":false},{"actual":[[2,3,3,3],[5,3,3,3],[8,3,3,3],[11,3,4,3],[15,3,3,3],[18,3,3,3],[21,3,3,3],[24,3,4,3]],"check":"partial repair boundary #2","expected":[[2,3,6,3],[8,3,7,3],[15,3,6,3],[21,3,7,3]],"passed":false},{"actual":[[0,0,5,5],[0,5,5,5],[5,0,5,5],[5,5,5,5]],"check":"square at even depth #1","expected":[[0,0,5,5],[0,5,5,5],[5,0,5,5],[5,5,5,5]],"passed":true},{"actual":[[1,1,4,4],[5,1,5,4]],"check":"odd width #1","expected":[[1,1,4,4],[5,1,5,4]],"passed":true},{"actual":[[2,3,8,10],[10,3,8,10]],"check":"control #1","expected":[[2,3,8,10],[10,3,8,10]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"exactly splittable #1\", \"actual\": [[0, 0, 4, 3], [4, 0, 4, 3]], \"expected\": [[0, 0, 4, 3], [4, 0, 4, 3]], \"passed\": true}, {\"check\": \"fault site split eligibility #1\", \"actual\": [[2, 1, 4, 5], [6, 1, 4, 5], [10, 1, 4, 5], [14, 1, 4, 5]], \"expected\": [[2, 1, 4, 5], [6, 1, 4, 5], [10, 1, 4, 5], [14, 1, 4, 5]], \"passed\": true}, {\"check\": \"regression split eligibility #1\", \"actual\": [[5, 4, 2, 4], [7, 4, 3, 4], [5, 8, 2, 4], [7, 8, 3, 4], [10, 4, 3, 4], [13, 4, 3, 4], [10, 8, 3, 4], [13, 8, 3, 4], [16, 4, 3, 4], [19, 4, 3, 4], [16, 8, 3, 4], [19, 8, 3, 4], [22, 4, 3, 4], [25, 4, 3, 4], [22, 8, 3, 4], [25, 8, 3, 4]], \"expected\": [[5, 4, 5, 4], [5, 8, 5, 4], [10, 4, 3, 4], [13, 4, 3, 4], [10, 8, 3, 4], [13, 8, 3, 4], [16, 4, 3, 4], [19, 4, 3, 4], [16, 8, 3, 4], [19, 8, 3, 4], [22, 4, 3, 4], [25, 4, 3, 4], [22, 8, 3, 4], [25, 8, 3, 4]], \"passed\": false}, {\"check\": \"partial repair boundary #1\", \"actual\": [[1, 4, 2, 1], [3, 4, 2, 1], [5, 4, 2, 1], [7, 4, 1, 1], [8, 4, 2, 1]], \"expected\": [[1, 4, 4, 1], [5, 4, 5, 1]], \"passed\": false}, {\"check\": \"partial repair boundary #2\", \"actual\": [[2, 3, 3, 3], [5, 3, 3, 3], [8, 3, 3, 3], [11, 3, 4, 3], [15, 3, 3, 3], [18, 3, 3, 3], [21, 3, 3, 3], [24, 3, 4, 3]], \"expected\": [[2, 3, 6, 3], [8, 3, 7, 3], [15, 3, 6, 3], [21, 3, 7, 3]], \"passed\": false}, {\"check\": \"square at even depth #1\", \"actual\": [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]], \"expected\": [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]], \"passed\": true}, {\"check\": \"odd width #1\", \"actual\": [[1, 1, 4, 4], [5, 1, 5, 4]], \"expected\": [[1, 1, 4, 4], [5, 1, 5, 4]], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [[2, 3, 8, 10], [10, 3, 8, 10]], \"expected\": [[2, 3, 8, 10], [10, 3, 8, 10]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.387,"exit_code":1,"observations":[{"actual":[[0,0,8,3]],"check":"exactly splittable #1","expected":[[0,0,4,3],[4,0,4,3]],"passed":false},{"actual":[[2,1,8,5],[10,1,8,5]],"check":"fault site split eligibility #1","expected":[[2,1,4,5],[6,1,4,5],[10,1,4,5],[14,1,4,5]],"passed":false},{"actual":[[5,4,5,4],[5,8,5,4],[10,4,6,4],[10,8,6,4],[16,4,6,4],[16,8,6,4],[22,4,6,4],[22,8,6,4]],"check":"regression split eligibility #1","expected":[[5,4,5,4],[5,8,5,4],[10,4,3,4],[13,4,3,4],[10,8,3,4],[13,8,3,4],[16,4,3,4],[19,4,3,4],[16,8,3,4],[19,8,3,4],[22,4,3,4],[25,4,3,4],[22,8,3,4],[25,8,3,4]],"passed":false},{"actual":[[1,4,4,1],[5,4,5,1]],"check":"partial repair boundary #1","expected":[[1,4,4,1],[5,4,5,1]],"passed":true},{"actual":[[2,3,6,3],[8,3,7,3],[15,3,6,3],[21,3,7,3]],"check":"partial repair boundary #2","expected":[[2,3,6,3],[8,3,7,3],[15,3,6,3],[21,3,7,3]],"passed":true},{"actual":[[0,0,5,5],[0,5,5,5],[5,0,5,5],[5,5,5,5]],"check":"square at even depth #1","expected":[[0,0,5,5],[0,5,5,5],[5,0,5,5],[5,5,5,5]],"passed":true},{"actual":[[1,1,4,4],[5,1,5,4]],"check":"odd width #1","expected":[[1,1,4,4],[5,1,5,4]],"passed":true},{"actual":[[2,3,8,10],[10,3,8,10]],"check":"control #1","expected":[[2,3,8,10],[10,3,8,10]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"exactly splittable #1\", \"actual\": [[0, 0, 8, 3]], \"expected\": [[0, 0, 4, 3], [4, 0, 4, 3]], \"passed\": false}, {\"check\": \"fault site split eligibility #1\", \"actual\": [[2, 1, 8, 5], [10, 1, 8, 5]], \"expected\": [[2, 1, 4, 5], [6, 1, 4, 5], [10, 1, 4, 5], [14, 1, 4, 5]], \"passed\": false}, {\"check\": \"regression split eligibility #1\", \"actual\": [[5, 4, 5, 4], [5, 8, 5, 4], [10, 4, 6, 4], [10, 8, 6, 4], [16, 4, 6, 4], [16, 8, 6, 4], [22, 4, 6, 4], [22, 8, 6, 4]], \"expected\": [[5, 4, 5, 4], [5, 8, 5, 4], [10, 4, 3, 4], [13, 4, 3, 4], [10, 8, 3, 4], [13, 8, 3, 4], [16, 4, 3, 4], [19, 4, 3, 4], [16, 8, 3, 4], [19, 8, 3, 4], [22, 4, 3, 4], [25, 4, 3, 4], [22, 8, 3, 4], [25, 8, 3, 4]], \"passed\": false}, {\"check\": \"partial repair boundary #1\", \"actual\": [[1, 4, 4, 1], [5, 4, 5, 1]], \"expected\": [[1, 4, 4, 1], [5, 4, 5, 1]], \"passed\": true}, {\"check\": \"partial repair boundary #2\", \"actual\": [[2, 3, 6, 3], [8, 3, 7, 3], [15, 3, 6, 3], [21, 3, 7, 3]], \"expected\": [[2, 3, 6, 3], [8, 3, 7, 3], [15, 3, 6, 3], [21, 3, 7, 3]], \"passed\": true}, {\"check\": \"square at even depth #1\", \"actual\": [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]], \"expected\": [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]], \"passed\": true}, {\"check\": \"odd width #1\", \"actual\": [[1, 1, 4, 4], [5, 1, 5, 4]], \"expected\": [[1, 1, 4, 4], [5, 1, 5, 4]], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [[2, 3, 8, 10], [10, 3, 8, 10]], \"expected\": [[2, 3, 8, 10], [10, 3, 8, 10]], \"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."}}