{"abstract":"Each quadrant holds one more prop than configured.","category":"Procedural level generation constraints","checks":8,"contract":"Candidates [x, y] (grid[y][x]) are tried in order. Accept when in bounds on '.', its quadrant (x*2//w, y*2//h) holds fewer than per_quadrant accepted props, and its squared Euclidean distance to every accepted prop is at least radius*radius. Returns accepted [x, y].","evaluation_group":"w2-procedural-level-generation-constraints-scatter-quota","failed_approach":"A global cap lets one quadrant take every prop.","family":"w2-procedural-level-generation-constraints-scatter-quota-quota-check","id":"FA-86691","implementations":{"attempt":{"sha256":"fe118536dee967e7ee26fe2156ca467352d8807dccaa8b7ef575ea6c66397304","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(grid, candidates, radius, per_quadrant):\n    h = len(grid)\n    w = len(grid[0])\n    placed = []\n    quota = {}\n    for x, y in candidates:\n        if not (0 <= y < h and 0 <= x < w) or grid[y][x] != '.':\n            continue\n        q = (x * 2 // w, y * 2 // h)\n        if len(placed) >= per_quadrant * 4:\n            continue\n        if any((x - px) ** 2 + (y - py) ** 2 < radius * radius for px, py in placed):\n            continue\n        placed.append([x, y])\n        quota[q] = quota.get(q, 0) + 1\n    return placed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['~~..#', '.....', '....#'], [[3, 1], [1, 2], [5, 2], [2, 3], [0, 3], [3, 0], [1, 1], [0, 1]], 1, 1],\n   [[3, 1], [1, 2], [1, 1]]),\n  ('regression quota check #2',\n   [['...~.#', '.#....'], [[0, 2], [6, 1], [2, 0], [6, 0], [2, 1], [2, 1], [1, 2], [0, 1]], 1, 1],\n   [[2, 0], [2, 1]]),\n  ('regression quota check #3',\n   [['.....#..', '..#..~~.', '~.~...~.', '.~~..~.#', '.~~.~~..'],\n    [[1, 1], [0, 1], [0, 0], [4, 2], [2, 4]],\n    1,\n    2],\n   [[1, 1], [0, 1], [4, 2]]),\n  ('regression quota check #4',\n   [['.##', '.#.', '...', '~..', '~.~', '..#', '...'],\n    [[3, 0], [1, 6], [3, 0], [0, 0], [0, 6], [0, 5], [1, 3]],\n    2,\n    1],\n   [[1, 6], [0, 0]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1',\n   [['~..~.', '.#...', '~..#.', '..~#.'], [[1, 2], [4, 3], [1, 2], [4, 3], [1, 1]], 2, 3],\n   [[1, 2], [4, 3]])],\n [('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['...~.#', '.#....'], [[0, 2], [6, 1], [2, 0], [6, 0], [2, 1], [2, 1], [1, 2], [0, 1]], 1, 1],\n   [[2, 0], [2, 1]]),\n  ('regression quota check #2',\n   [['.....#..', '..#..~~.', '~.~...~.', '.~~..~.#', '.~~.~~..'],\n    [[1, 1], [0, 1], [0, 0], [4, 2], [2, 4]],\n    1,\n    2],\n   [[1, 1], [0, 1], [4, 2]]),\n  ('regression quota check #3',\n   [['.##', '.#.', '...', '~..', '~.~', '..#', '...'],\n    [[3, 0], [1, 6], [3, 0], [0, 0], [0, 6], [0, 5], [1, 3]],\n    2,\n    1],\n   [[1, 6], [0, 0]]),\n  ('regression quota check #4',\n   [['..~..~..', '...~.~.#', '~~..~~..', '.....~~~', '~..~~#..', '...#....', '.~~.~.#.', '#.......'],\n    [[6, 4], [7, 1], [8, 4], [7, 7], [6, 3], [4, 5], [8, 4], [1, 8], [0, 6], [8, 6]],\n    3,\n    1],\n   [[6, 4], [0, 6]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1',\n   [['~..~.', '.#...', '~..#.', '..~#.'], [[1, 2], [4, 3], [1, 2], [4, 3], [1, 1]], 2, 3],\n   [[1, 2], [4, 3]])],\n [('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['.##', '.#.', '...', '~..', '~.~', '..#', '...'],\n    [[3, 0], [1, 6], [3, 0], [0, 0], [0, 6], [0, 5], [1, 3]],\n    2,\n    1],\n   [[1, 6], [0, 0]]),\n  ('regression quota check #2',\n   [['..~..~..', '...~.~.#', '~~..~~..', '.....~~~', '~..~~#..', '...#....', '.~~.~.#.', '#.......'],\n    [[6, 4], [7, 1], [8, 4], [7, 7], [6, 3], [4, 5], [8, 4], [1, 8], [0, 6], [8, 6]],\n    3,\n    1],\n   [[6, 4], [0, 6]]),\n  ('regression quota check #3',\n   [['##', '#.', '#.', '##', '..', '.#', '..'], [[1, 4], [1, 6]], 1, 1],\n   [[1, 4]]),\n  ('regression quota check #4',\n   [['##......', '~#..#..#', '......~#', '.#~.~..#', '#.#...~#', '#..~..~~', '..~..##.', '.......~'],\n    [[8, 8], [0, 1], [3, 0], [8, 7], [5, 1], [0, 8], [6, 8], [3, 5], [1, 7], [1, 4], [2, 5], [4, 5]],\n    3,\n    1],\n   [[3, 0], [1, 7], [4, 5]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1',\n   [['~..~.', '.#...', '~..#.', '..~#.'], [[1, 2], [4, 3], [1, 2], [4, 3], [1, 1]], 2, 3],\n   [[1, 2], [4, 3]])],\n [('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['##', '#.', '#.', '##', '..', '.#', '..'], [[1, 4], [1, 6]], 1, 1],\n   [[1, 4]]),\n  ('regression quota check #2',\n   [['##......', '~#..#..#', '......~#', '.#~.~..#', '#.#...~#', '#..~..~~', '..~..##.', '.......~'],\n    [[8, 8], [0, 1], [3, 0], [8, 7], [5, 1], [0, 8], [6, 8], [3, 5], [1, 7], [1, 4], [2, 5], [4, 5]],\n    3,\n    1],\n   [[3, 0], [1, 7], [4, 5]]),\n  ('regression quota check #3',\n   [['.....', '.#.##', '.....', '#.~.#', '.~.#.'],\n    [[3, 1], [3, 2], [5, 4], [3, 5], [2, 1], [0, 0], [4, 1], [4, 0], [1, 1], [3, 2]],\n    2,\n    1],\n   [[3, 2], [0, 0]]),\n  ('regression quota check #4',\n   [['####..', '.~..##', '#.~~..', '.#...#', '...#~.'],\n    [[1, 3], [3, 3], [6, 0], [2, 0], [5, 4], [2, 5]],\n    1,\n    1],\n   [[3, 3]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1', [['#..', '..#'], [[1, 1]], 1, 1], [[1, 1]])],\n [('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['.....', '.#.##', '.....', '#.~.#', '.~.#.'],\n    [[3, 1], [3, 2], [5, 4], [3, 5], [2, 1], [0, 0], [4, 1], [4, 0], [1, 1], [3, 2]],\n    2,\n    1],\n   [[3, 2], [0, 0]]),\n  ('regression quota check #2',\n   [['####..', '.~..##', '#.~~..', '.#...#', '...#~.'],\n    [[1, 3], [3, 3], [6, 0], [2, 0], [5, 4], [2, 5]],\n    1,\n    1],\n   [[3, 3]]),\n  ('regression quota check #3',\n   [['...~#~.', '~.~~...', '..~.##.', '......#', '#~.~~.#', '......#', '~#.....'],\n    [[0, 1], [0, 7], [2, 6], [2, 6], [6, 0], [7, 3], [6, 3], [0, 1], [7, 1], [3, 6], [6, 3], [1, 3]],\n    1,\n    1],\n   [[2, 6], [6, 0], [1, 3]]),\n  ('regression quota check #4',\n   [['......#', '#...#..'], [[2, 1], [3, 1], [7, 2], [6, 2], [7, 1], [1, 1], [5, 0], [3, 1]], 1, 2],\n   [[2, 1], [3, 1], [5, 0]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1',\n   [['..', '~.'],\n    [[2, 1], [1, 2], [2, 0], [2, 0], [0, 1], [2, 1], [0, 0], [2, 2], [0, 0], [1, 1], [2, 0]],\n    3,\n    2],\n   [[0, 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":"d972914c9c8ef1efd8befe67c86a20c502a8f896944ecb3c597a8ae73fecbc15","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(grid, candidates, radius, per_quadrant):\n    h = len(grid)\n    w = len(grid[0])\n    placed = []\n    quota = {}\n    for x, y in candidates:\n        if not (0 <= y < h and 0 <= x < w) or grid[y][x] != '.':\n            continue\n        q = (x * 2 // w, y * 2 // h)\n        if quota.get(q, 0) > per_quadrant:\n            continue\n        if any((x - px) ** 2 + (y - py) ** 2 < radius * radius for px, py in placed):\n            continue\n        placed.append([x, y])\n        quota[q] = quota.get(q, 0) + 1\n    return placed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['~~..#', '.....', '....#'], [[3, 1], [1, 2], [5, 2], [2, 3], [0, 3], [3, 0], [1, 1], [0, 1]], 1, 1],\n   [[3, 1], [1, 2], [1, 1]]),\n  ('regression quota check #2',\n   [['...~.#', '.#....'], [[0, 2], [6, 1], [2, 0], [6, 0], [2, 1], [2, 1], [1, 2], [0, 1]], 1, 1],\n   [[2, 0], [2, 1]]),\n  ('regression quota check #3',\n   [['.....#..', '..#..~~.', '~.~...~.', '.~~..~.#', '.~~.~~..'],\n    [[1, 1], [0, 1], [0, 0], [4, 2], [2, 4]],\n    1,\n    2],\n   [[1, 1], [0, 1], [4, 2]]),\n  ('regression quota check #4',\n   [['.##', '.#.', '...', '~..', '~.~', '..#', '...'],\n    [[3, 0], [1, 6], [3, 0], [0, 0], [0, 6], [0, 5], [1, 3]],\n    2,\n    1],\n   [[1, 6], [0, 0]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1',\n   [['~..~.', '.#...', '~..#.', '..~#.'], [[1, 2], [4, 3], [1, 2], [4, 3], [1, 1]], 2, 3],\n   [[1, 2], [4, 3]])],\n [('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['...~.#', '.#....'], [[0, 2], [6, 1], [2, 0], [6, 0], [2, 1], [2, 1], [1, 2], [0, 1]], 1, 1],\n   [[2, 0], [2, 1]]),\n  ('regression quota check #2',\n   [['.....#..', '..#..~~.', '~.~...~.', '.~~..~.#', '.~~.~~..'],\n    [[1, 1], [0, 1], [0, 0], [4, 2], [2, 4]],\n    1,\n    2],\n   [[1, 1], [0, 1], [4, 2]]),\n  ('regression quota check #3',\n   [['.##', '.#.', '...', '~..', '~.~', '..#', '...'],\n    [[3, 0], [1, 6], [3, 0], [0, 0], [0, 6], [0, 5], [1, 3]],\n    2,\n    1],\n   [[1, 6], [0, 0]]),\n  ('regression quota check #4',\n   [['..~..~..', '...~.~.#', '~~..~~..', '.....~~~', '~..~~#..', '...#....', '.~~.~.#.', '#.......'],\n    [[6, 4], [7, 1], [8, 4], [7, 7], [6, 3], [4, 5], [8, 4], [1, 8], [0, 6], [8, 6]],\n    3,\n    1],\n   [[6, 4], [0, 6]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1',\n   [['~..~.', '.#...', '~..#.', '..~#.'], [[1, 2], [4, 3], [1, 2], [4, 3], [1, 1]], 2, 3],\n   [[1, 2], [4, 3]])],\n [('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['.##', '.#.', '...', '~..', '~.~', '..#', '...'],\n    [[3, 0], [1, 6], [3, 0], [0, 0], [0, 6], [0, 5], [1, 3]],\n    2,\n    1],\n   [[1, 6], [0, 0]]),\n  ('regression quota check #2',\n   [['..~..~..', '...~.~.#', '~~..~~..', '.....~~~', '~..~~#..', '...#....', '.~~.~.#.', '#.......'],\n    [[6, 4], [7, 1], [8, 4], [7, 7], [6, 3], [4, 5], [8, 4], [1, 8], [0, 6], [8, 6]],\n    3,\n    1],\n   [[6, 4], [0, 6]]),\n  ('regression quota check #3',\n   [['##', '#.', '#.', '##', '..', '.#', '..'], [[1, 4], [1, 6]], 1, 1],\n   [[1, 4]]),\n  ('regression quota check #4',\n   [['##......', '~#..#..#', '......~#', '.#~.~..#', '#.#...~#', '#..~..~~', '..~..##.', '.......~'],\n    [[8, 8], [0, 1], [3, 0], [8, 7], [5, 1], [0, 8], [6, 8], [3, 5], [1, 7], [1, 4], [2, 5], [4, 5]],\n    3,\n    1],\n   [[3, 0], [1, 7], [4, 5]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1',\n   [['~..~.', '.#...', '~..#.', '..~#.'], [[1, 2], [4, 3], [1, 2], [4, 3], [1, 1]], 2, 3],\n   [[1, 2], [4, 3]])],\n [('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['##', '#.', '#.', '##', '..', '.#', '..'], [[1, 4], [1, 6]], 1, 1],\n   [[1, 4]]),\n  ('regression quota check #2',\n   [['##......', '~#..#..#', '......~#', '.#~.~..#', '#.#...~#', '#..~..~~', '..~..##.', '.......~'],\n    [[8, 8], [0, 1], [3, 0], [8, 7], [5, 1], [0, 8], [6, 8], [3, 5], [1, 7], [1, 4], [2, 5], [4, 5]],\n    3,\n    1],\n   [[3, 0], [1, 7], [4, 5]]),\n  ('regression quota check #3',\n   [['.....', '.#.##', '.....', '#.~.#', '.~.#.'],\n    [[3, 1], [3, 2], [5, 4], [3, 5], [2, 1], [0, 0], [4, 1], [4, 0], [1, 1], [3, 2]],\n    2,\n    1],\n   [[3, 2], [0, 0]]),\n  ('regression quota check #4',\n   [['####..', '.~..##', '#.~~..', '.#...#', '...#~.'],\n    [[1, 3], [3, 3], [6, 0], [2, 0], [5, 4], [2, 5]],\n    1,\n    1],\n   [[3, 3]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1', [['#..', '..#'], [[1, 1]], 1, 1], [[1, 1]])],\n [('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['.....', '.#.##', '.....', '#.~.#', '.~.#.'],\n    [[3, 1], [3, 2], [5, 4], [3, 5], [2, 1], [0, 0], [4, 1], [4, 0], [1, 1], [3, 2]],\n    2,\n    1],\n   [[3, 2], [0, 0]]),\n  ('regression quota check #2',\n   [['####..', '.~..##', '#.~~..', '.#...#', '...#~.'],\n    [[1, 3], [3, 3], [6, 0], [2, 0], [5, 4], [2, 5]],\n    1,\n    1],\n   [[3, 3]]),\n  ('regression quota check #3',\n   [['...~#~.', '~.~~...', '..~.##.', '......#', '#~.~~.#', '......#', '~#.....'],\n    [[0, 1], [0, 7], [2, 6], [2, 6], [6, 0], [7, 3], [6, 3], [0, 1], [7, 1], [3, 6], [6, 3], [1, 3]],\n    1,\n    1],\n   [[2, 6], [6, 0], [1, 3]]),\n  ('regression quota check #4',\n   [['......#', '#...#..'], [[2, 1], [3, 1], [7, 2], [6, 2], [7, 1], [1, 1], [5, 0], [3, 1]], 1, 2],\n   [[2, 1], [3, 1], [5, 0]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1',\n   [['..', '~.'],\n    [[2, 1], [1, 2], [2, 0], [2, 0], [0, 1], [2, 1], [0, 0], [2, 2], [0, 0], [1, 1], [2, 0]],\n    3,\n    2],\n   [[0, 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"},"fixed":{"sha256":"4a9ae367097340519a43ebb1393259e62d97ab50ef82cc1ed01ee8710f991431","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(grid, candidates, radius, per_quadrant):\n    h = len(grid)\n    w = len(grid[0])\n    placed = []\n    quota = {}\n    for x, y in candidates:\n        if not (0 <= y < h and 0 <= x < w) or grid[y][x] != '.':\n            continue\n        q = (x * 2 // w, y * 2 // h)\n        if quota.get(q, 0) >= per_quadrant:\n            continue\n        if any((x - px) ** 2 + (y - py) ** 2 < radius * radius for px, py in placed):\n            continue\n        placed.append([x, y])\n        quota[q] = quota.get(q, 0) + 1\n    return placed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['~~..#', '.....', '....#'], [[3, 1], [1, 2], [5, 2], [2, 3], [0, 3], [3, 0], [1, 1], [0, 1]], 1, 1],\n   [[3, 1], [1, 2], [1, 1]]),\n  ('regression quota check #2',\n   [['...~.#', '.#....'], [[0, 2], [6, 1], [2, 0], [6, 0], [2, 1], [2, 1], [1, 2], [0, 1]], 1, 1],\n   [[2, 0], [2, 1]]),\n  ('regression quota check #3',\n   [['.....#..', '..#..~~.', '~.~...~.', '.~~..~.#', '.~~.~~..'],\n    [[1, 1], [0, 1], [0, 0], [4, 2], [2, 4]],\n    1,\n    2],\n   [[1, 1], [0, 1], [4, 2]]),\n  ('regression quota check #4',\n   [['.##', '.#.', '...', '~..', '~.~', '..#', '...'],\n    [[3, 0], [1, 6], [3, 0], [0, 0], [0, 6], [0, 5], [1, 3]],\n    2,\n    1],\n   [[1, 6], [0, 0]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1',\n   [['~..~.', '.#...', '~..#.', '..~#.'], [[1, 2], [4, 3], [1, 2], [4, 3], [1, 1]], 2, 3],\n   [[1, 2], [4, 3]])],\n [('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['...~.#', '.#....'], [[0, 2], [6, 1], [2, 0], [6, 0], [2, 1], [2, 1], [1, 2], [0, 1]], 1, 1],\n   [[2, 0], [2, 1]]),\n  ('regression quota check #2',\n   [['.....#..', '..#..~~.', '~.~...~.', '.~~..~.#', '.~~.~~..'],\n    [[1, 1], [0, 1], [0, 0], [4, 2], [2, 4]],\n    1,\n    2],\n   [[1, 1], [0, 1], [4, 2]]),\n  ('regression quota check #3',\n   [['.##', '.#.', '...', '~..', '~.~', '..#', '...'],\n    [[3, 0], [1, 6], [3, 0], [0, 0], [0, 6], [0, 5], [1, 3]],\n    2,\n    1],\n   [[1, 6], [0, 0]]),\n  ('regression quota check #4',\n   [['..~..~..', '...~.~.#', '~~..~~..', '.....~~~', '~..~~#..', '...#....', '.~~.~.#.', '#.......'],\n    [[6, 4], [7, 1], [8, 4], [7, 7], [6, 3], [4, 5], [8, 4], [1, 8], [0, 6], [8, 6]],\n    3,\n    1],\n   [[6, 4], [0, 6]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1',\n   [['~..~.', '.#...', '~..#.', '..~#.'], [[1, 2], [4, 3], [1, 2], [4, 3], [1, 1]], 2, 3],\n   [[1, 2], [4, 3]])],\n [('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['.##', '.#.', '...', '~..', '~.~', '..#', '...'],\n    [[3, 0], [1, 6], [3, 0], [0, 0], [0, 6], [0, 5], [1, 3]],\n    2,\n    1],\n   [[1, 6], [0, 0]]),\n  ('regression quota check #2',\n   [['..~..~..', '...~.~.#', '~~..~~..', '.....~~~', '~..~~#..', '...#....', '.~~.~.#.', '#.......'],\n    [[6, 4], [7, 1], [8, 4], [7, 7], [6, 3], [4, 5], [8, 4], [1, 8], [0, 6], [8, 6]],\n    3,\n    1],\n   [[6, 4], [0, 6]]),\n  ('regression quota check #3',\n   [['##', '#.', '#.', '##', '..', '.#', '..'], [[1, 4], [1, 6]], 1, 1],\n   [[1, 4]]),\n  ('regression quota check #4',\n   [['##......', '~#..#..#', '......~#', '.#~.~..#', '#.#...~#', '#..~..~~', '..~..##.', '.......~'],\n    [[8, 8], [0, 1], [3, 0], [8, 7], [5, 1], [0, 8], [6, 8], [3, 5], [1, 7], [1, 4], [2, 5], [4, 5]],\n    3,\n    1],\n   [[3, 0], [1, 7], [4, 5]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1',\n   [['~..~.', '.#...', '~..#.', '..~#.'], [[1, 2], [4, 3], [1, 2], [4, 3], [1, 1]], 2, 3],\n   [[1, 2], [4, 3]])],\n [('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['##', '#.', '#.', '##', '..', '.#', '..'], [[1, 4], [1, 6]], 1, 1],\n   [[1, 4]]),\n  ('regression quota check #2',\n   [['##......', '~#..#..#', '......~#', '.#~.~..#', '#.#...~#', '#..~..~~', '..~..##.', '.......~'],\n    [[8, 8], [0, 1], [3, 0], [8, 7], [5, 1], [0, 8], [6, 8], [3, 5], [1, 7], [1, 4], [2, 5], [4, 5]],\n    3,\n    1],\n   [[3, 0], [1, 7], [4, 5]]),\n  ('regression quota check #3',\n   [['.....', '.#.##', '.....', '#.~.#', '.~.#.'],\n    [[3, 1], [3, 2], [5, 4], [3, 5], [2, 1], [0, 0], [4, 1], [4, 0], [1, 1], [3, 2]],\n    2,\n    1],\n   [[3, 2], [0, 0]]),\n  ('regression quota check #4',\n   [['####..', '.~..##', '#.~~..', '.#...#', '...#~.'],\n    [[1, 3], [3, 3], [6, 0], [2, 0], [5, 4], [2, 5]],\n    1,\n    1],\n   [[3, 3]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1', [['#..', '..#'], [[1, 1]], 1, 1], [[1, 1]])],\n [('quadrant full #1', [['....', '....'], [[0, 0], [1, 0], [3, 0]], 1, 1], [[0, 0], [3, 0]]),\n  ('regression quota check #1',\n   [['.....', '.#.##', '.....', '#.~.#', '.~.#.'],\n    [[3, 1], [3, 2], [5, 4], [3, 5], [2, 1], [0, 0], [4, 1], [4, 0], [1, 1], [3, 2]],\n    2,\n    1],\n   [[3, 2], [0, 0]]),\n  ('regression quota check #2',\n   [['####..', '.~..##', '#.~~..', '.#...#', '...#~.'],\n    [[1, 3], [3, 3], [6, 0], [2, 0], [5, 4], [2, 5]],\n    1,\n    1],\n   [[3, 3]]),\n  ('regression quota check #3',\n   [['...~#~.', '~.~~...', '..~.##.', '......#', '#~.~~.#', '......#', '~#.....'],\n    [[0, 1], [0, 7], [2, 6], [2, 6], [6, 0], [7, 3], [6, 3], [0, 1], [7, 1], [3, 6], [6, 3], [1, 3]],\n    1,\n    1],\n   [[2, 6], [6, 0], [1, 3]]),\n  ('regression quota check #4',\n   [['......#', '#...#..'], [[2, 1], [3, 1], [7, 2], [6, 2], [7, 1], [1, 1], [5, 0], [3, 1]], 1, 2],\n   [[2, 1], [3, 1], [5, 0]]),\n  ('exact radius spacing #1', [['.....'], [[0, 0], [2, 0]], 2, 3], [[0, 0], [2, 0]]),\n  ('diagonal within radius #1', [['...', '...', '...'], [[0, 0], [1, 1]], 2, 3], [[0, 0]]),\n  ('control #1',\n   [['..', '~.'],\n    [[2, 1], [1, 2], [2, 0], [2, 0], [0, 1], [2, 1], [0, 0], [2, 2], [0, 0], [1, 1], [2, 0]],\n    3,\n    2],\n   [[0, 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-scatter-quota-quota-check","generated_at":"2026-09-29T14:50:51.908291+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 `if quota.get(q, 0) >= per_quadrant:` at the quota check step.","root_cause":"The quota comparison is strict.","sha256":"b1839e1d6f0184fb804af0b1c714d6510289a40cdef14d56d21163c66feccb3d","title":"Decoration scatter with quadrant quota: Quadrants take one extra prop · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.9,"exit_code":1,"observations":[{"actual":[[0,0],[1,0],[3,0]],"check":"quadrant full #1","expected":[[0,0],[3,0]],"passed":false},{"actual":[[3,1],[1,2],[3,0],[1,1]],"check":"regression quota check #1","expected":[[3,1],[1,2],[1,1]],"passed":false},{"actual":[[2,0],[2,1],[0,1]],"check":"regression quota check #2","expected":[[2,0],[2,1]],"passed":false},{"actual":[[1,1],[0,1],[0,0],[4,2]],"check":"regression quota check #3","expected":[[1,1],[0,1],[4,2]],"passed":false},{"actual":[[1,6],[0,0],[1,3]],"check":"regression quota check #4","expected":[[1,6],[0,0]],"passed":false},{"actual":[[0,0],[2,0]],"check":"exact radius spacing #1","expected":[[0,0],[2,0]],"passed":true},{"actual":[[0,0]],"check":"diagonal within radius #1","expected":[[0,0]],"passed":true},{"actual":[[1,2],[4,3]],"check":"control #1","expected":[[1,2],[4,3]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"quadrant full #1\", \"actual\": [[0, 0], [1, 0], [3, 0]], \"expected\": [[0, 0], [3, 0]], \"passed\": false}, {\"check\": \"regression quota check #1\", \"actual\": [[3, 1], [1, 2], [3, 0], [1, 1]], \"expected\": [[3, 1], [1, 2], [1, 1]], \"passed\": false}, {\"check\": \"regression quota check #2\", \"actual\": [[2, 0], [2, 1], [0, 1]], \"expected\": [[2, 0], [2, 1]], \"passed\": false}, {\"check\": \"regression quota check #3\", \"actual\": [[1, 1], [0, 1], [0, 0], [4, 2]], \"expected\": [[1, 1], [0, 1], [4, 2]], \"passed\": false}, {\"check\": \"regression quota check #4\", \"actual\": [[1, 6], [0, 0], [1, 3]], \"expected\": [[1, 6], [0, 0]], \"passed\": false}, {\"check\": \"exact radius spacing #1\", \"actual\": [[0, 0], [2, 0]], \"expected\": [[0, 0], [2, 0]], \"passed\": true}, {\"check\": \"diagonal within radius #1\", \"actual\": [[0, 0]], \"expected\": [[0, 0]], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [[1, 2], [4, 3]], \"expected\": [[1, 2], [4, 3]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.296,"exit_code":1,"observations":[{"actual":[[0,0],[1,0],[3,0]],"check":"quadrant full #1","expected":[[0,0],[3,0]],"passed":false},{"actual":[[3,1],[1,2],[3,0],[1,1],[0,1]],"check":"regression quota check #1","expected":[[3,1],[1,2],[1,1]],"passed":false},{"actual":[[2,0],[2,1],[0,1]],"check":"regression quota check #2","expected":[[2,0],[2,1]],"passed":false},{"actual":[[1,1],[0,1],[0,0],[4,2]],"check":"regression quota check #3","expected":[[1,1],[0,1],[4,2]],"passed":false},{"actual":[[1,6],[0,0],[1,3]],"check":"regression quota check #4","expected":[[1,6],[0,0]],"passed":false},{"actual":[[0,0],[2,0]],"check":"exact radius spacing #1","expected":[[0,0],[2,0]],"passed":true},{"actual":[[0,0]],"check":"diagonal within radius #1","expected":[[0,0]],"passed":true},{"actual":[[1,2],[4,3]],"check":"control #1","expected":[[1,2],[4,3]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"quadrant full #1\", \"actual\": [[0, 0], [1, 0], [3, 0]], \"expected\": [[0, 0], [3, 0]], \"passed\": false}, {\"check\": \"regression quota check #1\", \"actual\": [[3, 1], [1, 2], [3, 0], [1, 1], [0, 1]], \"expected\": [[3, 1], [1, 2], [1, 1]], \"passed\": false}, {\"check\": \"regression quota check #2\", \"actual\": [[2, 0], [2, 1], [0, 1]], \"expected\": [[2, 0], [2, 1]], \"passed\": false}, {\"check\": \"regression quota check #3\", \"actual\": [[1, 1], [0, 1], [0, 0], [4, 2]], \"expected\": [[1, 1], [0, 1], [4, 2]], \"passed\": false}, {\"check\": \"regression quota check #4\", \"actual\": [[1, 6], [0, 0], [1, 3]], \"expected\": [[1, 6], [0, 0]], \"passed\": false}, {\"check\": \"exact radius spacing #1\", \"actual\": [[0, 0], [2, 0]], \"expected\": [[0, 0], [2, 0]], \"passed\": true}, {\"check\": \"diagonal within radius #1\", \"actual\": [[0, 0]], \"expected\": [[0, 0]], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [[1, 2], [4, 3]], \"expected\": [[1, 2], [4, 3]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.348,"exit_code":0,"observations":[{"actual":[[0,0],[3,0]],"check":"quadrant full #1","expected":[[0,0],[3,0]],"passed":true},{"actual":[[3,1],[1,2],[1,1]],"check":"regression quota check #1","expected":[[3,1],[1,2],[1,1]],"passed":true},{"actual":[[2,0],[2,1]],"check":"regression quota check #2","expected":[[2,0],[2,1]],"passed":true},{"actual":[[1,1],[0,1],[4,2]],"check":"regression quota check #3","expected":[[1,1],[0,1],[4,2]],"passed":true},{"actual":[[1,6],[0,0]],"check":"regression quota check #4","expected":[[1,6],[0,0]],"passed":true},{"actual":[[0,0],[2,0]],"check":"exact radius spacing #1","expected":[[0,0],[2,0]],"passed":true},{"actual":[[0,0]],"check":"diagonal within radius #1","expected":[[0,0]],"passed":true},{"actual":[[1,2],[4,3]],"check":"control #1","expected":[[1,2],[4,3]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"quadrant full #1\", \"actual\": [[0, 0], [3, 0]], \"expected\": [[0, 0], [3, 0]], \"passed\": true}, {\"check\": \"regression quota check #1\", \"actual\": [[3, 1], [1, 2], [1, 1]], \"expected\": [[3, 1], [1, 2], [1, 1]], \"passed\": true}, {\"check\": \"regression quota check #2\", \"actual\": [[2, 0], [2, 1]], \"expected\": [[2, 0], [2, 1]], \"passed\": true}, {\"check\": \"regression quota check #3\", \"actual\": [[1, 1], [0, 1], [4, 2]], \"expected\": [[1, 1], [0, 1], [4, 2]], \"passed\": true}, {\"check\": \"regression quota check #4\", \"actual\": [[1, 6], [0, 0]], \"expected\": [[1, 6], [0, 0]], \"passed\": true}, {\"check\": \"exact radius spacing #1\", \"actual\": [[0, 0], [2, 0]], \"expected\": [[0, 0], [2, 0]], \"passed\": true}, {\"check\": \"diagonal within radius #1\", \"actual\": [[0, 0]], \"expected\": [[0, 0]], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [[1, 2], [4, 3]], \"expected\": [[1, 2], [4, 3]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}