{"abstract":"The bottom half of every horizontal split is over-partitioned.","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":"Consuming two levels under-partitions the bottom half.","family":"w2-procedural-level-generation-constraints-bsp-split-second-child-depth","id":"FA-86541","implementations":{"attempt":{"sha256":"20ac54a339bfb56f0de4d72ce562903e704dc0cba683c823d3954428418239dc","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 - 2)\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 = [[('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  ('regression second child depth #1', [3, 0, 14, 28, 4, 1], [[3, 0, 14, 14], [3, 14, 14, 14]]),\n  ('regression second child depth #2', [4, 2, 16, 17, 2, 1], [[4, 2, 16, 8], [4, 10, 16, 9]]),\n  ('partial repair boundary #1',\n   [3, 2, 2, 18, 2, 3],\n   [[3, 2, 2, 2],\n    [3, 4, 2, 2],\n    [3, 6, 2, 2],\n    [3, 8, 2, 3],\n    [3, 11, 2, 2],\n    [3, 13, 2, 2],\n    [3, 15, 2, 2],\n    [3, 17, 2, 3]]),\n  ('regression second child depth #3', [5, 5, 2, 28, 5, 1], [[5, 5, 2, 14], [5, 19, 2, 14]]),\n  ('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\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 [('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  ('regression second child depth #1', [4, 2, 16, 17, 2, 1], [[4, 2, 16, 8], [4, 10, 16, 9]]),\n  ('regression second child depth #2', [5, 5, 2, 28, 5, 1], [[5, 5, 2, 14], [5, 19, 2, 14]]),\n  ('partial repair boundary #1',\n   [3, 2, 2, 18, 2, 3],\n   [[3, 2, 2, 2],\n    [3, 4, 2, 2],\n    [3, 6, 2, 2],\n    [3, 8, 2, 3],\n    [3, 11, 2, 2],\n    [3, 13, 2, 2],\n    [3, 15, 2, 2],\n    [3, 17, 2, 3]]),\n  ('regression second child depth #3',\n   [3, 3, 29, 24, 5, 3],\n   [[3, 3, 7, 12],\n    [10, 3, 7, 12],\n    [3, 15, 7, 12],\n    [10, 15, 7, 12],\n    [17, 3, 7, 12],\n    [24, 3, 8, 12],\n    [17, 15, 7, 12],\n    [24, 15, 8, 12]]),\n  ('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\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 [('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  ('regression second child depth #1',\n   [3, 3, 29, 24, 5, 3],\n   [[3, 3, 7, 12],\n    [10, 3, 7, 12],\n    [3, 15, 7, 12],\n    [10, 15, 7, 12],\n    [17, 3, 7, 12],\n    [24, 3, 8, 12],\n    [17, 15, 7, 12],\n    [24, 15, 8, 12]]),\n  ('regression second child depth #2',\n   [1, 0, 14, 21, 2, 2],\n   [[1, 0, 7, 10], [8, 0, 7, 10], [1, 10, 7, 11], [8, 10, 7, 11]]),\n  ('regression second child depth #3', [5, 5, 2, 28, 5, 1], [[5, 5, 2, 14], [5, 19, 2, 14]]),\n  ('regression second child depth #4',\n   [3, 1, 22, 14, 2, 3],\n   [[3, 1, 5, 7],\n    [8, 1, 6, 7],\n    [3, 8, 5, 7],\n    [8, 8, 6, 7],\n    [14, 1, 5, 7],\n    [19, 1, 6, 7],\n    [14, 8, 5, 7],\n    [19, 8, 6, 7]]),\n  ('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\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 [('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  ('regression second child depth #1',\n   [3, 1, 22, 14, 2, 3],\n   [[3, 1, 5, 7],\n    [8, 1, 6, 7],\n    [3, 8, 5, 7],\n    [8, 8, 6, 7],\n    [14, 1, 5, 7],\n    [19, 1, 6, 7],\n    [14, 8, 5, 7],\n    [19, 8, 6, 7]]),\n  ('regression second child depth #2',\n   [3, 0, 26, 16, 2, 4],\n   [[3, 0, 6, 4],\n    [3, 4, 6, 4],\n    [9, 0, 7, 4],\n    [9, 4, 7, 4],\n    [3, 8, 6, 4],\n    [3, 12, 6, 4],\n    [9, 8, 7, 4],\n    [9, 12, 7, 4],\n    [16, 0, 6, 4],\n    [16, 4, 6, 4],\n    [22, 0, 7, 4],\n    [22, 4, 7, 4],\n    [16, 8, 6, 4],\n    [16, 12, 6, 4],\n    [22, 8, 7, 4],\n    [22, 12, 7, 4]]),\n  ('regression second child depth #3',\n   [1, 0, 14, 21, 2, 2],\n   [[1, 0, 7, 10], [8, 0, 7, 10], [1, 10, 7, 11], [8, 10, 7, 11]]),\n  ('regression second child depth #4', [1, 5, 1, 21, 2, 1], [[1, 5, 1, 10], [1, 15, 1, 11]]),\n  ('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\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]])],\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  ('regression second child depth #1', [1, 5, 1, 21, 2, 1], [[1, 5, 1, 10], [1, 15, 1, 11]]),\n  ('regression second child depth #2', [2, 5, 1, 13, 2, 1], [[2, 5, 1, 6], [2, 11, 1, 7]]),\n  ('regression second child depth #3',\n   [3, 0, 26, 16, 2, 4],\n   [[3, 0, 6, 4],\n    [3, 4, 6, 4],\n    [9, 0, 7, 4],\n    [9, 4, 7, 4],\n    [3, 8, 6, 4],\n    [3, 12, 6, 4],\n    [9, 8, 7, 4],\n    [9, 12, 7, 4],\n    [16, 0, 6, 4],\n    [16, 4, 6, 4],\n    [22, 0, 7, 4],\n    [22, 4, 7, 4],\n    [16, 8, 6, 4],\n    [16, 12, 6, 4],\n    [22, 8, 7, 4],\n    [22, 12, 7, 4]]),\n  ('partial repair boundary #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  ('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\n  ('odd width #1', [1, 1, 9, 4, 2, 1], [[1, 1, 4, 4], [5, 1, 5, 4]]),\n  ('control #1', [5, 1, 24, 20, 4, 0], [[5, 1, 24, 20]])]]\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":"7958a89f28161dc2b002ea5aacc8da927b68888c162e50f506f35c3b90827f6f","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)\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 = [[('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  ('regression second child depth #1', [3, 0, 14, 28, 4, 1], [[3, 0, 14, 14], [3, 14, 14, 14]]),\n  ('regression second child depth #2', [4, 2, 16, 17, 2, 1], [[4, 2, 16, 8], [4, 10, 16, 9]]),\n  ('partial repair boundary #1',\n   [3, 2, 2, 18, 2, 3],\n   [[3, 2, 2, 2],\n    [3, 4, 2, 2],\n    [3, 6, 2, 2],\n    [3, 8, 2, 3],\n    [3, 11, 2, 2],\n    [3, 13, 2, 2],\n    [3, 15, 2, 2],\n    [3, 17, 2, 3]]),\n  ('regression second child depth #3', [5, 5, 2, 28, 5, 1], [[5, 5, 2, 14], [5, 19, 2, 14]]),\n  ('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\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 [('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  ('regression second child depth #1', [4, 2, 16, 17, 2, 1], [[4, 2, 16, 8], [4, 10, 16, 9]]),\n  ('regression second child depth #2', [5, 5, 2, 28, 5, 1], [[5, 5, 2, 14], [5, 19, 2, 14]]),\n  ('partial repair boundary #1',\n   [3, 2, 2, 18, 2, 3],\n   [[3, 2, 2, 2],\n    [3, 4, 2, 2],\n    [3, 6, 2, 2],\n    [3, 8, 2, 3],\n    [3, 11, 2, 2],\n    [3, 13, 2, 2],\n    [3, 15, 2, 2],\n    [3, 17, 2, 3]]),\n  ('regression second child depth #3',\n   [3, 3, 29, 24, 5, 3],\n   [[3, 3, 7, 12],\n    [10, 3, 7, 12],\n    [3, 15, 7, 12],\n    [10, 15, 7, 12],\n    [17, 3, 7, 12],\n    [24, 3, 8, 12],\n    [17, 15, 7, 12],\n    [24, 15, 8, 12]]),\n  ('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\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 [('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  ('regression second child depth #1',\n   [3, 3, 29, 24, 5, 3],\n   [[3, 3, 7, 12],\n    [10, 3, 7, 12],\n    [3, 15, 7, 12],\n    [10, 15, 7, 12],\n    [17, 3, 7, 12],\n    [24, 3, 8, 12],\n    [17, 15, 7, 12],\n    [24, 15, 8, 12]]),\n  ('regression second child depth #2',\n   [1, 0, 14, 21, 2, 2],\n   [[1, 0, 7, 10], [8, 0, 7, 10], [1, 10, 7, 11], [8, 10, 7, 11]]),\n  ('regression second child depth #3', [5, 5, 2, 28, 5, 1], [[5, 5, 2, 14], [5, 19, 2, 14]]),\n  ('regression second child depth #4',\n   [3, 1, 22, 14, 2, 3],\n   [[3, 1, 5, 7],\n    [8, 1, 6, 7],\n    [3, 8, 5, 7],\n    [8, 8, 6, 7],\n    [14, 1, 5, 7],\n    [19, 1, 6, 7],\n    [14, 8, 5, 7],\n    [19, 8, 6, 7]]),\n  ('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\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 [('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  ('regression second child depth #1',\n   [3, 1, 22, 14, 2, 3],\n   [[3, 1, 5, 7],\n    [8, 1, 6, 7],\n    [3, 8, 5, 7],\n    [8, 8, 6, 7],\n    [14, 1, 5, 7],\n    [19, 1, 6, 7],\n    [14, 8, 5, 7],\n    [19, 8, 6, 7]]),\n  ('regression second child depth #2',\n   [3, 0, 26, 16, 2, 4],\n   [[3, 0, 6, 4],\n    [3, 4, 6, 4],\n    [9, 0, 7, 4],\n    [9, 4, 7, 4],\n    [3, 8, 6, 4],\n    [3, 12, 6, 4],\n    [9, 8, 7, 4],\n    [9, 12, 7, 4],\n    [16, 0, 6, 4],\n    [16, 4, 6, 4],\n    [22, 0, 7, 4],\n    [22, 4, 7, 4],\n    [16, 8, 6, 4],\n    [16, 12, 6, 4],\n    [22, 8, 7, 4],\n    [22, 12, 7, 4]]),\n  ('regression second child depth #3',\n   [1, 0, 14, 21, 2, 2],\n   [[1, 0, 7, 10], [8, 0, 7, 10], [1, 10, 7, 11], [8, 10, 7, 11]]),\n  ('regression second child depth #4', [1, 5, 1, 21, 2, 1], [[1, 5, 1, 10], [1, 15, 1, 11]]),\n  ('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\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]])],\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  ('regression second child depth #1', [1, 5, 1, 21, 2, 1], [[1, 5, 1, 10], [1, 15, 1, 11]]),\n  ('regression second child depth #2', [2, 5, 1, 13, 2, 1], [[2, 5, 1, 6], [2, 11, 1, 7]]),\n  ('regression second child depth #3',\n   [3, 0, 26, 16, 2, 4],\n   [[3, 0, 6, 4],\n    [3, 4, 6, 4],\n    [9, 0, 7, 4],\n    [9, 4, 7, 4],\n    [3, 8, 6, 4],\n    [3, 12, 6, 4],\n    [9, 8, 7, 4],\n    [9, 12, 7, 4],\n    [16, 0, 6, 4],\n    [16, 4, 6, 4],\n    [22, 0, 7, 4],\n    [22, 4, 7, 4],\n    [16, 8, 6, 4],\n    [16, 12, 6, 4],\n    [22, 8, 7, 4],\n    [22, 12, 7, 4]]),\n  ('partial repair boundary #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  ('exactly splittable #1', [0, 0, 8, 3, 4, 1], [[0, 0, 4, 3], [4, 0, 4, 3]]),\n  ('odd width #1', [1, 1, 9, 4, 2, 1], [[1, 1, 4, 4], [5, 1, 5, 4]]),\n  ('control #1', [5, 1, 24, 20, 4, 0], [[5, 1, 24, 20]])]]\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-second-child-depth","generated_at":"2026-09-29T14:50:50.564077+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 second horizontal child does not consume depth.","sha256":"0cd62d81e0059af5b86b50ea55283357824a1761a4fbf857cd08d559c657bf29","title":"BSP dungeon partition: Bottom child splits one level deeper · 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":44.111,"exit_code":1,"observations":[{"actual":[[0,0,5,5],[0,5,2,2],[2,5,3,2],[0,7,2,3],[2,7,3,3],[5,0,5,5],[5,5,2,2],[7,5,3,2],[5,7,2,3],[7,7,3,3]],"check":"square at even depth #1","expected":[[0,0,5,5],[0,5,5,5],[5,0,5,5],[5,5,5,5]],"passed":false},{"actual":[[3,0,14,14],[3,14,7,7],[10,14,7,7],[3,21,7,7],[10,21,7,7]],"check":"regression second child depth #1","expected":[[3,0,14,14],[3,14,14,14]],"passed":false},{"actual":[[4,2,16,8],[4,10,2,2],[4,12,2,2],[6,10,2,2],[6,12,2,2],[8,10,2,2],[8,12,2,2],[10,10,2,2],[10,12,2,2],[4,14,2,2],[6,14,2,2],[4,16,2,3],[6,16,2,3],[8,14,2,2],[10,14,2,2],[8,16,2,3],[10,16,2,3],[12,10,2,2],[12,12,2,2],[14,10,2,2],[14,12,2,2],[16,10,2,2],[16,12,2,2],[18,10,2,2],[18,12,2,2],[12,14,2,2],[14,14,2,2],[12,16,2,3],[14,16,2,3],[16,14,2,2],[18,14,2,2],[16,16,2,3],[18,16,2,3]],"check":"regression second child depth #2","expected":[[4,2,16,8],[4,10,16,9]],"passed":false},{"actual":[[3,2,2,2],[3,4,2,2],[3,6,2,5],[3,11,2,4],[3,15,2,2],[3,17,2,3]],"check":"partial repair boundary #1","expected":[[3,2,2,2],[3,4,2,2],[3,6,2,2],[3,8,2,3],[3,11,2,2],[3,13,2,2],[3,15,2,2],[3,17,2,3]],"passed":false},{"actual":[[5,5,2,14],[5,19,2,7],[5,26,2,7]],"check":"regression second child depth #3","expected":[[5,5,2,14],[5,19,2,14]],"passed":false},{"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":[[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\": \"square at even depth #1\", \"actual\": [[0, 0, 5, 5], [0, 5, 2, 2], [2, 5, 3, 2], [0, 7, 2, 3], [2, 7, 3, 3], [5, 0, 5, 5], [5, 5, 2, 2], [7, 5, 3, 2], [5, 7, 2, 3], [7, 7, 3, 3]], \"expected\": [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]], \"passed\": false}, {\"check\": \"regression second child depth #1\", \"actual\": [[3, 0, 14, 14], [3, 14, 7, 7], [10, 14, 7, 7], [3, 21, 7, 7], [10, 21, 7, 7]], \"expected\": [[3, 0, 14, 14], [3, 14, 14, 14]], \"passed\": false}, {\"check\": \"regression second child depth #2\", \"actual\": [[4, 2, 16, 8], [4, 10, 2, 2], [4, 12, 2, 2], [6, 10, 2, 2], [6, 12, 2, 2], [8, 10, 2, 2], [8, 12, 2, 2], [10, 10, 2, 2], [10, 12, 2, 2], [4, 14, 2, 2], [6, 14, 2, 2], [4, 16, 2, 3], [6, 16, 2, 3], [8, 14, 2, 2], [10, 14, 2, 2], [8, 16, 2, 3], [10, 16, 2, 3], [12, 10, 2, 2], [12, 12, 2, 2], [14, 10, 2, 2], [14, 12, 2, 2], [16, 10, 2, 2], [16, 12, 2, 2], [18, 10, 2, 2], [18, 12, 2, 2], [12, 14, 2, 2], [14, 14, 2, 2], [12, 16, 2, 3], [14, 16, 2, 3], [16, 14, 2, 2], [18, 14, 2, 2], [16, 16, 2, 3], [18, 16, 2, 3]], \"expected\": [[4, 2, 16, 8], [4, 10, 16, 9]], \"passed\": false}, {\"check\": \"partial repair boundary #1\", \"actual\": [[3, 2, 2, 2], [3, 4, 2, 2], [3, 6, 2, 5], [3, 11, 2, 4], [3, 15, 2, 2], [3, 17, 2, 3]], \"expected\": [[3, 2, 2, 2], [3, 4, 2, 2], [3, 6, 2, 2], [3, 8, 2, 3], [3, 11, 2, 2], [3, 13, 2, 2], [3, 15, 2, 2], [3, 17, 2, 3]], \"passed\": false}, {\"check\": \"regression second child depth #3\", \"actual\": [[5, 5, 2, 14], [5, 19, 2, 7], [5, 26, 2, 7]], \"expected\": [[5, 5, 2, 14], [5, 19, 2, 14]], \"passed\": false}, {\"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\": \"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":38.863,"exit_code":1,"observations":[{"actual":[[0,0,5,5],[0,5,5,2],[0,7,2,3],[2,7,3,3],[5,0,5,5],[5,5,5,2],[5,7,2,3],[7,7,3,3]],"check":"square at even depth #1","expected":[[0,0,5,5],[0,5,5,5],[5,0,5,5],[5,5,5,5]],"passed":false},{"actual":[[3,0,14,14],[3,14,14,7],[3,21,7,7],[10,21,7,7]],"check":"regression second child depth #1","expected":[[3,0,14,14],[3,14,14,14]],"passed":false},{"actual":[[4,2,16,8],[4,10,8,9],[12,10,8,9]],"check":"regression second child depth #2","expected":[[4,2,16,8],[4,10,16,9]],"passed":false},{"actual":[[3,2,2,2],[3,4,2,2],[3,6,2,2],[3,8,2,3],[3,11,2,2],[3,13,2,2],[3,15,2,2],[3,17,2,3]],"check":"partial repair boundary #1","expected":[[3,2,2,2],[3,4,2,2],[3,6,2,2],[3,8,2,3],[3,11,2,2],[3,13,2,2],[3,15,2,2],[3,17,2,3]],"passed":true},{"actual":[[5,5,2,14],[5,19,2,7],[5,26,2,7]],"check":"regression second child depth #3","expected":[[5,5,2,14],[5,19,2,14]],"passed":false},{"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":[[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\": \"square at even depth #1\", \"actual\": [[0, 0, 5, 5], [0, 5, 5, 2], [0, 7, 2, 3], [2, 7, 3, 3], [5, 0, 5, 5], [5, 5, 5, 2], [5, 7, 2, 3], [7, 7, 3, 3]], \"expected\": [[0, 0, 5, 5], [0, 5, 5, 5], [5, 0, 5, 5], [5, 5, 5, 5]], \"passed\": false}, {\"check\": \"regression second child depth #1\", \"actual\": [[3, 0, 14, 14], [3, 14, 14, 7], [3, 21, 7, 7], [10, 21, 7, 7]], \"expected\": [[3, 0, 14, 14], [3, 14, 14, 14]], \"passed\": false}, {\"check\": \"regression second child depth #2\", \"actual\": [[4, 2, 16, 8], [4, 10, 8, 9], [12, 10, 8, 9]], \"expected\": [[4, 2, 16, 8], [4, 10, 16, 9]], \"passed\": false}, {\"check\": \"partial repair boundary #1\", \"actual\": [[3, 2, 2, 2], [3, 4, 2, 2], [3, 6, 2, 2], [3, 8, 2, 3], [3, 11, 2, 2], [3, 13, 2, 2], [3, 15, 2, 2], [3, 17, 2, 3]], \"expected\": [[3, 2, 2, 2], [3, 4, 2, 2], [3, 6, 2, 2], [3, 8, 2, 3], [3, 11, 2, 2], [3, 13, 2, 2], [3, 15, 2, 2], [3, 17, 2, 3]], \"passed\": true}, {\"check\": \"regression second child depth #3\", \"actual\": [[5, 5, 2, 14], [5, 19, 2, 7], [5, 26, 2, 7]], \"expected\": [[5, 5, 2, 14], [5, 19, 2, 14]], \"passed\": false}, {\"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\": \"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."}}