{"abstract":"Generated levels contain 2-wide slivers flagged as rooms.","category":"Procedural level generation constraints","checks":8,"contract":"Candidates [x, y, w, h] are tried in order. A room needs w >= 3 and h >= 3, must stay inside a one-tile border (x >= 1, y >= 1, x+w <= width-1, y+h <= height-1) and must keep at least pad empty tiles to every accepted room on both axes (rooms conflict when their pad-expanded extents overlap). Returns indices of accepted candidates.","evaluation_group":"w2-procedural-level-generation-constraints-room-placement","failed_approach":"An area test still accepts long rooms that are two tiles thin.","family":"w2-procedural-level-generation-constraints-room-placement-minimum-room-size","id":"FA-86341","implementations":{"attempt":{"sha256":"fc1f06c27134ec76d097390345929713883bf6284e1a82318276eb010cc162ac","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(width, height, candidates, pad):\n    placed = []\n    out = []\n    for i, (x, y, w, h) in enumerate(candidates):\n        if w * h < 9:\n            continue\n        if x < 1 or y < 1 or x + w > width - 1 or y + h > height - 1:\n            continue\n        ok = True\n        for px, py, pw, ph in placed:\n            if x < px + pw + pad and px < x + w + pad and y < py + ph + pad and py < y + h + pad:\n                ok = False\n                break\n        if ok:\n            placed.append((x, y, w, h))\n            out.append(i)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('fault site minimum room size #1',\n   [13,\n    21,\n    [[9, 8, 5, 3], [11, 14, 8, 3], [7, 15, 3, 2], [-1, 10, 8, 6], [0, 3, 3, 3], [10, 0, 5, 6], [8, 13, 2, 4]],\n    2],\n   []),\n  ('regression minimum room size #1',\n   [30, 11, [[-1, 1, 2, 2], [24, -1, 5, 3], [16, 4, 5, 6], [3, 1, 2, 6], [26, 2, 2, 3], [5, 9, 8, 2]], 0],\n   [2]),\n  ('regression minimum room size #2',\n   [9, 21, [[1, 11, 2, 4], [1, 3, 5, 2], [3, 3, 8, 6], [-1, 5, 4, 3]], 1],\n   []),\n  ('regression minimum room size #3',\n   [27,\n    21,\n    [[17, 14, 4, 3],\n     [16, 17, 4, 3],\n     [23, -1, 5, 3],\n     [21, -1, 4, 4],\n     [19, 6, 8, 6],\n     [7, 11, 3, 3],\n     [3, 2, 5, 2],\n     [4, -1, 5, 3]],\n    0],\n   [0, 1, 5]),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1', [15, 13, [[6, 11, 5, 6], [-1, 3, 2, 4]], 1], [])],\n [('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('regression minimum room size #1',\n   [30, 11, [[-1, 1, 2, 2], [24, -1, 5, 3], [16, 4, 5, 6], [3, 1, 2, 6], [26, 2, 2, 3], [5, 9, 8, 2]], 0],\n   [2]),\n  ('fault site minimum room size #1',\n   [25,\n    23,\n    [[5, 9, 3, 6],\n     [8, 10, 5, 6],\n     [9, 14, 5, 4],\n     [-1, 1, 3, 6],\n     [-1, 14, 2, 3],\n     [17, 18, 4, 2],\n     [4, 20, 3, 4]],\n    1],\n   [0, 2]),\n  ('regression minimum room size #2',\n   [9, 21, [[1, 11, 2, 4], [1, 3, 5, 2], [3, 3, 8, 6], [-1, 5, 4, 3]], 1],\n   []),\n  ('regression minimum room size #3',\n   [27,\n    21,\n    [[17, 14, 4, 3],\n     [16, 17, 4, 3],\n     [23, -1, 5, 3],\n     [21, -1, 4, 4],\n     [19, 6, 8, 6],\n     [7, 11, 3, 3],\n     [3, 2, 5, 2],\n     [4, -1, 5, 3]],\n    0],\n   [0, 1, 5]),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1', [15, 13, [[6, 11, 5, 6], [-1, 3, 2, 4]], 1], [])],\n [('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('fault site minimum room size #1',\n   [19, 27, [[6, 2, 3, 2], [4, 23, 5, 4], [4, 20, 2, 3], [12, 4, 8, 2], [10, 14, 8, 6]], 1],\n   [4]),\n  ('regression minimum room size #1',\n   [9, 21, [[1, 11, 2, 4], [1, 3, 5, 2], [3, 3, 8, 6], [-1, 5, 4, 3]], 1],\n   []),\n  ('regression minimum room size #2',\n   [24, 17, [[21, 15, 8, 3], [1, 9, 3, 4], [1, 9, 5, 2], [1, 1, 5, 2], [20, 13, 5, 6]], 2],\n   [1]),\n  ('regression minimum room size #3',\n   [18, 14, [[11, 10, 3, 2], [16, 1, 2, 4], [11, 10, 5, 2], [4, 10, 5, 3], [9, 4, 8, 3]], 1],\n   [3, 4]),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1', [15, 13, [[6, 11, 5, 6], [-1, 3, 2, 4]], 1], [])],\n [('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('regression minimum room size #1',\n   [27,\n    21,\n    [[17, 14, 4, 3],\n     [16, 17, 4, 3],\n     [23, -1, 5, 3],\n     [21, -1, 4, 4],\n     [19, 6, 8, 6],\n     [7, 11, 3, 3],\n     [3, 2, 5, 2],\n     [4, -1, 5, 3]],\n    0],\n   [0, 1, 5]),\n  ('regression minimum room size #2',\n   [24, 17, [[21, 15, 8, 3], [1, 9, 3, 4], [1, 9, 5, 2], [1, 1, 5, 2], [20, 13, 5, 6]], 2],\n   [1]),\n  ('regression minimum room size #3', [8, 25, [[0, 8, 3, 6], [4, -1, 4, 3], [1, 17, 5, 2]], 1], []),\n  ('regression minimum room size #4',\n   [29, 9, [[20, 7, 8, 2], [8, 5, 3, 6], [21, 4, 2, 4], [4, 3, 8, 2]], 2],\n   []),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1',\n   [11, 28, [[1, 8, 8, 4], [5, 14, 3, 3], [1, 4, 5, 3], [7, 23, 2, 2], [-1, 11, 5, 2]], 2],\n   [0, 1])],\n [('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('regression minimum room size #1',\n   [18, 14, [[11, 10, 3, 2], [16, 1, 2, 4], [11, 10, 5, 2], [4, 10, 5, 3], [9, 4, 8, 3]], 1],\n   [3, 4]),\n  ('regression minimum room size #2', [8, 25, [[0, 8, 3, 6], [4, -1, 4, 3], [1, 17, 5, 2]], 1], []),\n  ('regression minimum room size #3',\n   [24, 25, [[12, 19, 2, 4], [3, 10, 5, 6], [19, 19, 5, 3], [13, 6, 2, 6], [6, 23, 8, 2], [10, 14, 3, 3]], 0],\n   [1, 5]),\n  ('regression minimum room size #4',\n   [16, 18, [[8, 5, 2, 6], [4, 5, 3, 2], [4, 3, 3, 2], [4, 16, 2, 6], [2, 2, 3, 3], [-1, 1, 3, 3]], 0],\n   [4]),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1', [26, 13, [[7, 10, 8, 4], [22, -1, 3, 6], [3, 3, 4, 6], [17, 0, 8, 2]], 1], [2])]]\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":"e0c3a4e6dee585ea966eb2b5503de1c0b38e3f12e7d97d6366cfa390d56bb478","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(width, height, candidates, pad):\n    placed = []\n    out = []\n    for i, (x, y, w, h) in enumerate(candidates):\n        if w < 3 and h < 3:\n            continue\n        if x < 1 or y < 1 or x + w > width - 1 or y + h > height - 1:\n            continue\n        ok = True\n        for px, py, pw, ph in placed:\n            if x < px + pw + pad and px < x + w + pad and y < py + ph + pad and py < y + h + pad:\n                ok = False\n                break\n        if ok:\n            placed.append((x, y, w, h))\n            out.append(i)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('fault site minimum room size #1',\n   [13,\n    21,\n    [[9, 8, 5, 3], [11, 14, 8, 3], [7, 15, 3, 2], [-1, 10, 8, 6], [0, 3, 3, 3], [10, 0, 5, 6], [8, 13, 2, 4]],\n    2],\n   []),\n  ('regression minimum room size #1',\n   [30, 11, [[-1, 1, 2, 2], [24, -1, 5, 3], [16, 4, 5, 6], [3, 1, 2, 6], [26, 2, 2, 3], [5, 9, 8, 2]], 0],\n   [2]),\n  ('regression minimum room size #2',\n   [9, 21, [[1, 11, 2, 4], [1, 3, 5, 2], [3, 3, 8, 6], [-1, 5, 4, 3]], 1],\n   []),\n  ('regression minimum room size #3',\n   [27,\n    21,\n    [[17, 14, 4, 3],\n     [16, 17, 4, 3],\n     [23, -1, 5, 3],\n     [21, -1, 4, 4],\n     [19, 6, 8, 6],\n     [7, 11, 3, 3],\n     [3, 2, 5, 2],\n     [4, -1, 5, 3]],\n    0],\n   [0, 1, 5]),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1', [15, 13, [[6, 11, 5, 6], [-1, 3, 2, 4]], 1], [])],\n [('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('regression minimum room size #1',\n   [30, 11, [[-1, 1, 2, 2], [24, -1, 5, 3], [16, 4, 5, 6], [3, 1, 2, 6], [26, 2, 2, 3], [5, 9, 8, 2]], 0],\n   [2]),\n  ('fault site minimum room size #1',\n   [25,\n    23,\n    [[5, 9, 3, 6],\n     [8, 10, 5, 6],\n     [9, 14, 5, 4],\n     [-1, 1, 3, 6],\n     [-1, 14, 2, 3],\n     [17, 18, 4, 2],\n     [4, 20, 3, 4]],\n    1],\n   [0, 2]),\n  ('regression minimum room size #2',\n   [9, 21, [[1, 11, 2, 4], [1, 3, 5, 2], [3, 3, 8, 6], [-1, 5, 4, 3]], 1],\n   []),\n  ('regression minimum room size #3',\n   [27,\n    21,\n    [[17, 14, 4, 3],\n     [16, 17, 4, 3],\n     [23, -1, 5, 3],\n     [21, -1, 4, 4],\n     [19, 6, 8, 6],\n     [7, 11, 3, 3],\n     [3, 2, 5, 2],\n     [4, -1, 5, 3]],\n    0],\n   [0, 1, 5]),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1', [15, 13, [[6, 11, 5, 6], [-1, 3, 2, 4]], 1], [])],\n [('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('fault site minimum room size #1',\n   [19, 27, [[6, 2, 3, 2], [4, 23, 5, 4], [4, 20, 2, 3], [12, 4, 8, 2], [10, 14, 8, 6]], 1],\n   [4]),\n  ('regression minimum room size #1',\n   [9, 21, [[1, 11, 2, 4], [1, 3, 5, 2], [3, 3, 8, 6], [-1, 5, 4, 3]], 1],\n   []),\n  ('regression minimum room size #2',\n   [24, 17, [[21, 15, 8, 3], [1, 9, 3, 4], [1, 9, 5, 2], [1, 1, 5, 2], [20, 13, 5, 6]], 2],\n   [1]),\n  ('regression minimum room size #3',\n   [18, 14, [[11, 10, 3, 2], [16, 1, 2, 4], [11, 10, 5, 2], [4, 10, 5, 3], [9, 4, 8, 3]], 1],\n   [3, 4]),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1', [15, 13, [[6, 11, 5, 6], [-1, 3, 2, 4]], 1], [])],\n [('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('regression minimum room size #1',\n   [27,\n    21,\n    [[17, 14, 4, 3],\n     [16, 17, 4, 3],\n     [23, -1, 5, 3],\n     [21, -1, 4, 4],\n     [19, 6, 8, 6],\n     [7, 11, 3, 3],\n     [3, 2, 5, 2],\n     [4, -1, 5, 3]],\n    0],\n   [0, 1, 5]),\n  ('regression minimum room size #2',\n   [24, 17, [[21, 15, 8, 3], [1, 9, 3, 4], [1, 9, 5, 2], [1, 1, 5, 2], [20, 13, 5, 6]], 2],\n   [1]),\n  ('regression minimum room size #3', [8, 25, [[0, 8, 3, 6], [4, -1, 4, 3], [1, 17, 5, 2]], 1], []),\n  ('regression minimum room size #4',\n   [29, 9, [[20, 7, 8, 2], [8, 5, 3, 6], [21, 4, 2, 4], [4, 3, 8, 2]], 2],\n   []),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1',\n   [11, 28, [[1, 8, 8, 4], [5, 14, 3, 3], [1, 4, 5, 3], [7, 23, 2, 2], [-1, 11, 5, 2]], 2],\n   [0, 1])],\n [('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('regression minimum room size #1',\n   [18, 14, [[11, 10, 3, 2], [16, 1, 2, 4], [11, 10, 5, 2], [4, 10, 5, 3], [9, 4, 8, 3]], 1],\n   [3, 4]),\n  ('regression minimum room size #2', [8, 25, [[0, 8, 3, 6], [4, -1, 4, 3], [1, 17, 5, 2]], 1], []),\n  ('regression minimum room size #3',\n   [24, 25, [[12, 19, 2, 4], [3, 10, 5, 6], [19, 19, 5, 3], [13, 6, 2, 6], [6, 23, 8, 2], [10, 14, 3, 3]], 0],\n   [1, 5]),\n  ('regression minimum room size #4',\n   [16, 18, [[8, 5, 2, 6], [4, 5, 3, 2], [4, 3, 3, 2], [4, 16, 2, 6], [2, 2, 3, 3], [-1, 1, 3, 3]], 0],\n   [4]),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1', [26, 13, [[7, 10, 8, 4], [22, -1, 3, 6], [3, 3, 4, 6], [17, 0, 8, 2]], 1], [2])]]\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"},"fixed":{"sha256":"e36c20019a3ec35fa031ba2e6c870f86f5c5fa5596d0e90929499e468547881f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(width, height, candidates, pad):\n    placed = []\n    out = []\n    for i, (x, y, w, h) in enumerate(candidates):\n        if w < 3 or h < 3:\n            continue\n        if x < 1 or y < 1 or x + w > width - 1 or y + h > height - 1:\n            continue\n        ok = True\n        for px, py, pw, ph in placed:\n            if x < px + pw + pad and px < x + w + pad and y < py + ph + pad and py < y + h + pad:\n                ok = False\n                break\n        if ok:\n            placed.append((x, y, w, h))\n            out.append(i)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('fault site minimum room size #1',\n   [13,\n    21,\n    [[9, 8, 5, 3], [11, 14, 8, 3], [7, 15, 3, 2], [-1, 10, 8, 6], [0, 3, 3, 3], [10, 0, 5, 6], [8, 13, 2, 4]],\n    2],\n   []),\n  ('regression minimum room size #1',\n   [30, 11, [[-1, 1, 2, 2], [24, -1, 5, 3], [16, 4, 5, 6], [3, 1, 2, 6], [26, 2, 2, 3], [5, 9, 8, 2]], 0],\n   [2]),\n  ('regression minimum room size #2',\n   [9, 21, [[1, 11, 2, 4], [1, 3, 5, 2], [3, 3, 8, 6], [-1, 5, 4, 3]], 1],\n   []),\n  ('regression minimum room size #3',\n   [27,\n    21,\n    [[17, 14, 4, 3],\n     [16, 17, 4, 3],\n     [23, -1, 5, 3],\n     [21, -1, 4, 4],\n     [19, 6, 8, 6],\n     [7, 11, 3, 3],\n     [3, 2, 5, 2],\n     [4, -1, 5, 3]],\n    0],\n   [0, 1, 5]),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1', [15, 13, [[6, 11, 5, 6], [-1, 3, 2, 4]], 1], [])],\n [('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('regression minimum room size #1',\n   [30, 11, [[-1, 1, 2, 2], [24, -1, 5, 3], [16, 4, 5, 6], [3, 1, 2, 6], [26, 2, 2, 3], [5, 9, 8, 2]], 0],\n   [2]),\n  ('fault site minimum room size #1',\n   [25,\n    23,\n    [[5, 9, 3, 6],\n     [8, 10, 5, 6],\n     [9, 14, 5, 4],\n     [-1, 1, 3, 6],\n     [-1, 14, 2, 3],\n     [17, 18, 4, 2],\n     [4, 20, 3, 4]],\n    1],\n   [0, 2]),\n  ('regression minimum room size #2',\n   [9, 21, [[1, 11, 2, 4], [1, 3, 5, 2], [3, 3, 8, 6], [-1, 5, 4, 3]], 1],\n   []),\n  ('regression minimum room size #3',\n   [27,\n    21,\n    [[17, 14, 4, 3],\n     [16, 17, 4, 3],\n     [23, -1, 5, 3],\n     [21, -1, 4, 4],\n     [19, 6, 8, 6],\n     [7, 11, 3, 3],\n     [3, 2, 5, 2],\n     [4, -1, 5, 3]],\n    0],\n   [0, 1, 5]),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1', [15, 13, [[6, 11, 5, 6], [-1, 3, 2, 4]], 1], [])],\n [('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('fault site minimum room size #1',\n   [19, 27, [[6, 2, 3, 2], [4, 23, 5, 4], [4, 20, 2, 3], [12, 4, 8, 2], [10, 14, 8, 6]], 1],\n   [4]),\n  ('regression minimum room size #1',\n   [9, 21, [[1, 11, 2, 4], [1, 3, 5, 2], [3, 3, 8, 6], [-1, 5, 4, 3]], 1],\n   []),\n  ('regression minimum room size #2',\n   [24, 17, [[21, 15, 8, 3], [1, 9, 3, 4], [1, 9, 5, 2], [1, 1, 5, 2], [20, 13, 5, 6]], 2],\n   [1]),\n  ('regression minimum room size #3',\n   [18, 14, [[11, 10, 3, 2], [16, 1, 2, 4], [11, 10, 5, 2], [4, 10, 5, 3], [9, 4, 8, 3]], 1],\n   [3, 4]),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1', [15, 13, [[6, 11, 5, 6], [-1, 3, 2, 4]], 1], [])],\n [('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('regression minimum room size #1',\n   [27,\n    21,\n    [[17, 14, 4, 3],\n     [16, 17, 4, 3],\n     [23, -1, 5, 3],\n     [21, -1, 4, 4],\n     [19, 6, 8, 6],\n     [7, 11, 3, 3],\n     [3, 2, 5, 2],\n     [4, -1, 5, 3]],\n    0],\n   [0, 1, 5]),\n  ('regression minimum room size #2',\n   [24, 17, [[21, 15, 8, 3], [1, 9, 3, 4], [1, 9, 5, 2], [1, 1, 5, 2], [20, 13, 5, 6]], 2],\n   [1]),\n  ('regression minimum room size #3', [8, 25, [[0, 8, 3, 6], [4, -1, 4, 3], [1, 17, 5, 2]], 1], []),\n  ('regression minimum room size #4',\n   [29, 9, [[20, 7, 8, 2], [8, 5, 3, 6], [21, 4, 2, 4], [4, 3, 8, 2]], 2],\n   []),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1',\n   [11, 28, [[1, 8, 8, 4], [5, 14, 3, 3], [1, 4, 5, 3], [7, 23, 2, 2], [-1, 11, 5, 2]], 2],\n   [0, 1])],\n [('thin corridor room #1', [20, 20, [[2, 2, 2, 9], [2, 2, 5, 5]], 0], [1]),\n  ('regression minimum room size #1',\n   [18, 14, [[11, 10, 3, 2], [16, 1, 2, 4], [11, 10, 5, 2], [4, 10, 5, 3], [9, 4, 8, 3]], 1],\n   [3, 4]),\n  ('regression minimum room size #2', [8, 25, [[0, 8, 3, 6], [4, -1, 4, 3], [1, 17, 5, 2]], 1], []),\n  ('regression minimum room size #3',\n   [24, 25, [[12, 19, 2, 4], [3, 10, 5, 6], [19, 19, 5, 3], [13, 6, 2, 6], [6, 23, 8, 2], [10, 14, 3, 3]], 0],\n   [1, 5]),\n  ('regression minimum room size #4',\n   [16, 18, [[8, 5, 2, 6], [4, 5, 3, 2], [4, 3, 3, 2], [4, 16, 2, 6], [2, 2, 3, 3], [-1, 1, 3, 3]], 0],\n   [4]),\n  ('touching border tile #1', [10, 10, [[1, 1, 8, 8]], 1], [0]),\n  ('rooms exactly pad apart #1', [20, 10, [[1, 1, 4, 4], [6, 1, 4, 4]], 1], [0, 1]),\n  ('control #1', [26, 13, [[7, 10, 8, 4], [22, -1, 3, 6], [3, 3, 4, 6], [17, 0, 8, 2]], 1], [2])]]\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-room-placement-minimum-room-size","generated_at":"2026-09-29T14:50:48.690556+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.","repair":"Restore `w < 3 or h < 3` at the minimum room size step.","root_cause":"The size filter rejects a room only when both sides are too small.","sha256":"7cf6f5ff6e51517f890526c2145734ede5ded550a89436cc5c23e930bb463672","title":"Room placement with padding: One-tile-wide rooms are accepted · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.375,"exit_code":1,"observations":[{"actual":[0],"check":"thin corridor room #1","expected":[1],"passed":false},{"actual":[],"check":"fault site minimum room size #1","expected":[],"passed":true},{"actual":[2,3],"check":"regression minimum room size #1","expected":[2],"passed":false},{"actual":[1],"check":"regression minimum room size #2","expected":[],"passed":false},{"actual":[0,1,5,6],"check":"regression minimum room size #3","expected":[0,1,5],"passed":false},{"actual":[0],"check":"touching border tile #1","expected":[0],"passed":true},{"actual":[0,1],"check":"rooms exactly pad apart #1","expected":[0,1],"passed":true},{"actual":[],"check":"control #1","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"thin corridor room #1\", \"actual\": [0], \"expected\": [1], \"passed\": false}, {\"check\": \"fault site minimum room size #1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"regression minimum room size #1\", \"actual\": [2, 3], \"expected\": [2], \"passed\": false}, {\"check\": \"regression minimum room size #2\", \"actual\": [1], \"expected\": [], \"passed\": false}, {\"check\": \"regression minimum room size #3\", \"actual\": [0, 1, 5, 6], \"expected\": [0, 1, 5], \"passed\": false}, {\"check\": \"touching border tile #1\", \"actual\": [0], \"expected\": [0], \"passed\": true}, {\"check\": \"rooms exactly pad apart #1\", \"actual\": [0, 1], \"expected\": [0, 1], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.274,"exit_code":1,"observations":[{"actual":[0],"check":"thin corridor room #1","expected":[1],"passed":false},{"actual":[2],"check":"fault site minimum room size #1","expected":[],"passed":false},{"actual":[2,3,4],"check":"regression minimum room size #1","expected":[2],"passed":false},{"actual":[0,1],"check":"regression minimum room size #2","expected":[],"passed":false},{"actual":[0,1,5,6],"check":"regression minimum room size #3","expected":[0,1,5],"passed":false},{"actual":[0],"check":"touching border tile #1","expected":[0],"passed":true},{"actual":[0,1],"check":"rooms exactly pad apart #1","expected":[0,1],"passed":true},{"actual":[],"check":"control #1","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"thin corridor room #1\", \"actual\": [0], \"expected\": [1], \"passed\": false}, {\"check\": \"fault site minimum room size #1\", \"actual\": [2], \"expected\": [], \"passed\": false}, {\"check\": \"regression minimum room size #1\", \"actual\": [2, 3, 4], \"expected\": [2], \"passed\": false}, {\"check\": \"regression minimum room size #2\", \"actual\": [0, 1], \"expected\": [], \"passed\": false}, {\"check\": \"regression minimum room size #3\", \"actual\": [0, 1, 5, 6], \"expected\": [0, 1, 5], \"passed\": false}, {\"check\": \"touching border tile #1\", \"actual\": [0], \"expected\": [0], \"passed\": true}, {\"check\": \"rooms exactly pad apart #1\", \"actual\": [0, 1], \"expected\": [0, 1], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.612,"exit_code":0,"observations":[{"actual":[1],"check":"thin corridor room #1","expected":[1],"passed":true},{"actual":[],"check":"fault site minimum room size #1","expected":[],"passed":true},{"actual":[2],"check":"regression minimum room size #1","expected":[2],"passed":true},{"actual":[],"check":"regression minimum room size #2","expected":[],"passed":true},{"actual":[0,1,5],"check":"regression minimum room size #3","expected":[0,1,5],"passed":true},{"actual":[0],"check":"touching border tile #1","expected":[0],"passed":true},{"actual":[0,1],"check":"rooms exactly pad apart #1","expected":[0,1],"passed":true},{"actual":[],"check":"control #1","expected":[],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"thin corridor room #1\", \"actual\": [1], \"expected\": [1], \"passed\": true}, {\"check\": \"fault site minimum room size #1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"regression minimum room size #1\", \"actual\": [2], \"expected\": [2], \"passed\": true}, {\"check\": \"regression minimum room size #2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"regression minimum room size #3\", \"actual\": [0, 1, 5], \"expected\": [0, 1, 5], \"passed\": true}, {\"check\": \"touching border tile #1\", \"actual\": [0], \"expected\": [0], \"passed\": true}, {\"check\": \"rooms exactly pad apart #1\", \"actual\": [0, 1], \"expected\": [0, 1], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}