{"abstract":"Equidistant suggestions point downwards.","category":"Elevator dispatch scheduling","checks":8,"contract":"A zoned express car serves the lobby (0), the inclusive zone [lo, hi] and its sky lobbies, all within 0..floors-1. Each requested floor is accepted ([True, f]) or rejected with the nearest served floor as a suggestion, ties to the higher floor ([False, suggestion]).","evaluation_group":"w2-elevator_dispatch_scheduling-zoned-express-service","failed_approach":"Preferring floors above ignores a much nearer served floor below.","family":"w2-elevator_dispatch_scheduling-zoned-express-service-suggestion-tie-break","id":"FA-67591","implementations":{"attempt":{"sha256":"2ebc34799ab58c3f3a5627aa18e9d966edac958d4bd18e6461286bfa610c5de8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    lo, hi = x['zone']\n    served = {0} | set(range(lo, hi + 1)) | set(x['sky_lobbies'])\n    cand = sorted(s for s in served if 0 <= s < x['floors'])\n    res = []\n    for f in x['requests']:\n        if f in cand:\n            res.append([True, f])\n        else:\n            best = min(cand, key=lambda s: (s < f, abs(s - f)))\n            res.append([False, best])\n    return res\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('sampled regression 50', {'floors': 40, 'zone': [15, 27], 'sky_lobbies': [25, 9], 'requests': [27, 24, 9, 5, 12, 14]}, [[True, 27], [True, 24], [True, 9], [False, 9], [False, 15], [False, 15]]), ('control 3', {'floors': 40, 'zone': [20, 32], 'sky_lobbies': [25, 30], 'requests': [6, 8, 22]}, [[False, 0], [False, 0], [True, 22]]), ('boundary: top of the zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [19, 20]}, [[True, 19], [False, 19]]), ('control 1', {'floors': 40, 'zone': [10, 15], 'sky_lobbies': [9, 30], 'requests': [28, 30, 24]}, [[False, 30], [True, 30], [False, 30]]), ('control 4', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [39, 4]}, [[False, 19], [False, 0]]), ('control 7', {'floors': 40, 'zone': [10, 22], 'sky_lobbies': [], 'requests': [33, 3, 3, 19, 14]}, [[False, 22], [False, 0], [False, 0], [True, 19], [True, 14]])], [('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('sampled regression 13', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [30], 'requests': [14, 16, 0, 5, 11, 37]}, [[True, 14], [True, 16], [True, 0], [False, 10], [True, 11], [False, 30]]), ('control 15', {'floors': 40, 'zone': [15, 20], 'sky_lobbies': [30, 5], 'requests': [20, 16, 37, 2]}, [[True, 20], [True, 16], [False, 30], [False, 0]]), ('boundary: sky lobby transfer', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [9], 'requests': [9, 8]}, [[True, 9], [False, 9]]), ('control 12', {'floors': 40, 'zone': [15, 27], 'sky_lobbies': [5, 25], 'requests': [31, 15, 26, 21, 33]}, [[False, 27], [True, 15], [True, 26], [True, 21], [False, 27]]), ('control 18', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [32, 19]}, [[False, 19], [True, 19]]), ('control 21', {'floors': 40, 'zone': [15, 20], 'sky_lobbies': [5], 'requests': [25, 20, 29, 29, 31, 32]}, [[False, 20], [True, 20], [False, 20], [False, 20], [False, 20], [False, 20]])], [('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('sampled regression 6', {'floors': 40, 'zone': [20, 25], 'sky_lobbies': [], 'requests': [23, 24, 8, 10, 36, 7]}, [[True, 23], [True, 24], [False, 0], [False, 20], [False, 25], [False, 0]]), ('control 24', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [], 'requests': [27, 4, 24]}, [[False, 24], [False, 0], [True, 24]]), ('boundary: top of the zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [19, 20]}, [[True, 19], [False, 19]]), ('control 23', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [25, 9], 'requests': [27, 0, 11, 21, 32, 14]}, [[False, 25], [True, 0], [False, 9], [True, 21], [False, 25], [False, 15]]), ('control 26', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [5, 25], 'requests': [22, 21, 11]}, [[True, 22], [True, 21], [False, 15]]), ('control 29', {'floors': 40, 'zone': [15, 27], 'sky_lobbies': [25, 5], 'requests': [2, 33, 31, 2, 7]}, [[False, 0], [False, 27], [False, 27], [False, 0], [False, 5]])], [('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('control 32', {'floors': 40, 'zone': [15, 20], 'sky_lobbies': [30], 'requests': [2, 20, 28]}, [[False, 0], [True, 20], [False, 30]]), ('boundary: bottom of the zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [10, 9]}, [[True, 10], [False, 10]]), ('boundary: sky lobby transfer', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [9], 'requests': [9, 8]}, [[True, 9], [False, 9]]), ('control 34', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [9, 30], 'requests': [31, 3, 34, 24]}, [[False, 30], [False, 0], [False, 30], [True, 24]]), ('control 37', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [5, 30], 'requests': [39, 22, 18, 9, 40]}, [[False, 30], [True, 22], [False, 20], [False, 5], [False, 30]]), ('control 40', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [], 'requests': [36, 23, 1, 39, 21, 26]}, [[False, 24], [True, 23], [False, 0], [False, 24], [True, 21], [False, 24]])], [('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('sampled regression 50', {'floors': 40, 'zone': [15, 27], 'sky_lobbies': [25, 9], 'requests': [27, 24, 9, 5, 12, 14]}, [[True, 27], [True, 24], [True, 9], [False, 9], [False, 15], [False, 15]]), ('control 40', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [], 'requests': [36, 23, 1, 39, 21, 26]}, [[False, 24], [True, 23], [False, 0], [False, 24], [True, 21], [False, 24]]), ('boundary: sky lobby transfer', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [9], 'requests': [9, 8]}, [[True, 9], [False, 9]]), ('control 45', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [11, 35, 34, 2, 19, 25]}, [[True, 11], [False, 19], [False, 19], [False, 0], [True, 19], [False, 19]]), ('control 48', {'floors': 40, 'zone': [20, 32], 'sky_lobbies': [25], 'requests': [26, 30, 33, 4, 17, 40]}, [[True, 26], [True, 30], [False, 32], [False, 0], [False, 20], [False, 32]]), ('control 51', {'floors': 40, 'zone': [20, 32], 'sky_lobbies': [5], 'requests': [30, 40]}, [[True, 30], [False, 32]])]]\nfor label, args, expected in fixtures[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":"0b09763efefd1d8255c7d24165d6d323b3da33fa9887f9ff3e95d1bd31ad1fcf","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    lo, hi = x['zone']\n    served = {0} | set(range(lo, hi + 1)) | set(x['sky_lobbies'])\n    cand = sorted(s for s in served if 0 <= s < x['floors'])\n    res = []\n    for f in x['requests']:\n        if f in cand:\n            res.append([True, f])\n        else:\n            best = min(cand, key=lambda s: (abs(s - f), s))\n            res.append([False, best])\n    return res\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('sampled regression 50', {'floors': 40, 'zone': [15, 27], 'sky_lobbies': [25, 9], 'requests': [27, 24, 9, 5, 12, 14]}, [[True, 27], [True, 24], [True, 9], [False, 9], [False, 15], [False, 15]]), ('control 3', {'floors': 40, 'zone': [20, 32], 'sky_lobbies': [25, 30], 'requests': [6, 8, 22]}, [[False, 0], [False, 0], [True, 22]]), ('boundary: top of the zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [19, 20]}, [[True, 19], [False, 19]]), ('control 1', {'floors': 40, 'zone': [10, 15], 'sky_lobbies': [9, 30], 'requests': [28, 30, 24]}, [[False, 30], [True, 30], [False, 30]]), ('control 4', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [39, 4]}, [[False, 19], [False, 0]]), ('control 7', {'floors': 40, 'zone': [10, 22], 'sky_lobbies': [], 'requests': [33, 3, 3, 19, 14]}, [[False, 22], [False, 0], [False, 0], [True, 19], [True, 14]])], [('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('sampled regression 13', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [30], 'requests': [14, 16, 0, 5, 11, 37]}, [[True, 14], [True, 16], [True, 0], [False, 10], [True, 11], [False, 30]]), ('control 15', {'floors': 40, 'zone': [15, 20], 'sky_lobbies': [30, 5], 'requests': [20, 16, 37, 2]}, [[True, 20], [True, 16], [False, 30], [False, 0]]), ('boundary: sky lobby transfer', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [9], 'requests': [9, 8]}, [[True, 9], [False, 9]]), ('control 12', {'floors': 40, 'zone': [15, 27], 'sky_lobbies': [5, 25], 'requests': [31, 15, 26, 21, 33]}, [[False, 27], [True, 15], [True, 26], [True, 21], [False, 27]]), ('control 18', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [32, 19]}, [[False, 19], [True, 19]]), ('control 21', {'floors': 40, 'zone': [15, 20], 'sky_lobbies': [5], 'requests': [25, 20, 29, 29, 31, 32]}, [[False, 20], [True, 20], [False, 20], [False, 20], [False, 20], [False, 20]])], [('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('sampled regression 6', {'floors': 40, 'zone': [20, 25], 'sky_lobbies': [], 'requests': [23, 24, 8, 10, 36, 7]}, [[True, 23], [True, 24], [False, 0], [False, 20], [False, 25], [False, 0]]), ('control 24', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [], 'requests': [27, 4, 24]}, [[False, 24], [False, 0], [True, 24]]), ('boundary: top of the zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [19, 20]}, [[True, 19], [False, 19]]), ('control 23', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [25, 9], 'requests': [27, 0, 11, 21, 32, 14]}, [[False, 25], [True, 0], [False, 9], [True, 21], [False, 25], [False, 15]]), ('control 26', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [5, 25], 'requests': [22, 21, 11]}, [[True, 22], [True, 21], [False, 15]]), ('control 29', {'floors': 40, 'zone': [15, 27], 'sky_lobbies': [25, 5], 'requests': [2, 33, 31, 2, 7]}, [[False, 0], [False, 27], [False, 27], [False, 0], [False, 5]])], [('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('control 32', {'floors': 40, 'zone': [15, 20], 'sky_lobbies': [30], 'requests': [2, 20, 28]}, [[False, 0], [True, 20], [False, 30]]), ('boundary: bottom of the zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [10, 9]}, [[True, 10], [False, 10]]), ('boundary: sky lobby transfer', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [9], 'requests': [9, 8]}, [[True, 9], [False, 9]]), ('control 34', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [9, 30], 'requests': [31, 3, 34, 24]}, [[False, 30], [False, 0], [False, 30], [True, 24]]), ('control 37', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [5, 30], 'requests': [39, 22, 18, 9, 40]}, [[False, 30], [True, 22], [False, 20], [False, 5], [False, 30]]), ('control 40', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [], 'requests': [36, 23, 1, 39, 21, 26]}, [[False, 24], [True, 23], [False, 0], [False, 24], [True, 21], [False, 24]])], [('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('sampled regression 50', {'floors': 40, 'zone': [15, 27], 'sky_lobbies': [25, 9], 'requests': [27, 24, 9, 5, 12, 14]}, [[True, 27], [True, 24], [True, 9], [False, 9], [False, 15], [False, 15]]), ('control 40', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [], 'requests': [36, 23, 1, 39, 21, 26]}, [[False, 24], [True, 23], [False, 0], [False, 24], [True, 21], [False, 24]]), ('boundary: sky lobby transfer', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [9], 'requests': [9, 8]}, [[True, 9], [False, 9]]), ('control 45', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [11, 35, 34, 2, 19, 25]}, [[True, 11], [False, 19], [False, 19], [False, 0], [True, 19], [False, 19]]), ('control 48', {'floors': 40, 'zone': [20, 32], 'sky_lobbies': [25], 'requests': [26, 30, 33, 4, 17, 40]}, [[True, 26], [True, 30], [False, 32], [False, 0], [False, 20], [False, 32]]), ('control 51', {'floors': 40, 'zone': [20, 32], 'sky_lobbies': [5], 'requests': [30, 40]}, [[True, 30], [False, 32]])]]\nfor label, args, expected in fixtures[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":"4e4fcfe2dd4ef8436a35abeecc1f8a2a498f48f7ea32088765feaf2223f13f91","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    lo, hi = x['zone']\n    served = {0} | set(range(lo, hi + 1)) | set(x['sky_lobbies'])\n    cand = sorted(s for s in served if 0 <= s < x['floors'])\n    res = []\n    for f in x['requests']:\n        if f in cand:\n            res.append([True, f])\n        else:\n            best = min(cand, key=lambda s: (abs(s - f), -s))\n            res.append([False, best])\n    return res\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('sampled regression 50', {'floors': 40, 'zone': [15, 27], 'sky_lobbies': [25, 9], 'requests': [27, 24, 9, 5, 12, 14]}, [[True, 27], [True, 24], [True, 9], [False, 9], [False, 15], [False, 15]]), ('control 3', {'floors': 40, 'zone': [20, 32], 'sky_lobbies': [25, 30], 'requests': [6, 8, 22]}, [[False, 0], [False, 0], [True, 22]]), ('boundary: top of the zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [19, 20]}, [[True, 19], [False, 19]]), ('control 1', {'floors': 40, 'zone': [10, 15], 'sky_lobbies': [9, 30], 'requests': [28, 30, 24]}, [[False, 30], [True, 30], [False, 30]]), ('control 4', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [39, 4]}, [[False, 19], [False, 0]]), ('control 7', {'floors': 40, 'zone': [10, 22], 'sky_lobbies': [], 'requests': [33, 3, 3, 19, 14]}, [[False, 22], [False, 0], [False, 0], [True, 19], [True, 14]])], [('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('sampled regression 13', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [30], 'requests': [14, 16, 0, 5, 11, 37]}, [[True, 14], [True, 16], [True, 0], [False, 10], [True, 11], [False, 30]]), ('control 15', {'floors': 40, 'zone': [15, 20], 'sky_lobbies': [30, 5], 'requests': [20, 16, 37, 2]}, [[True, 20], [True, 16], [False, 30], [False, 0]]), ('boundary: sky lobby transfer', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [9], 'requests': [9, 8]}, [[True, 9], [False, 9]]), ('control 12', {'floors': 40, 'zone': [15, 27], 'sky_lobbies': [5, 25], 'requests': [31, 15, 26, 21, 33]}, [[False, 27], [True, 15], [True, 26], [True, 21], [False, 27]]), ('control 18', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [32, 19]}, [[False, 19], [True, 19]]), ('control 21', {'floors': 40, 'zone': [15, 20], 'sky_lobbies': [5], 'requests': [25, 20, 29, 29, 31, 32]}, [[False, 20], [True, 20], [False, 20], [False, 20], [False, 20], [False, 20]])], [('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('sampled regression 6', {'floors': 40, 'zone': [20, 25], 'sky_lobbies': [], 'requests': [23, 24, 8, 10, 36, 7]}, [[True, 23], [True, 24], [False, 0], [False, 20], [False, 25], [False, 0]]), ('control 24', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [], 'requests': [27, 4, 24]}, [[False, 24], [False, 0], [True, 24]]), ('boundary: top of the zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [19, 20]}, [[True, 19], [False, 19]]), ('control 23', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [25, 9], 'requests': [27, 0, 11, 21, 32, 14]}, [[False, 25], [True, 0], [False, 9], [True, 21], [False, 25], [False, 15]]), ('control 26', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [5, 25], 'requests': [22, 21, 11]}, [[True, 22], [True, 21], [False, 15]]), ('control 29', {'floors': 40, 'zone': [15, 27], 'sky_lobbies': [25, 5], 'requests': [2, 33, 31, 2, 7]}, [[False, 0], [False, 27], [False, 27], [False, 0], [False, 5]])], [('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('control 32', {'floors': 40, 'zone': [15, 20], 'sky_lobbies': [30], 'requests': [2, 20, 28]}, [[False, 0], [True, 20], [False, 30]]), ('boundary: bottom of the zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [10, 9]}, [[True, 10], [False, 10]]), ('boundary: sky lobby transfer', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [9], 'requests': [9, 8]}, [[True, 9], [False, 9]]), ('control 34', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [9, 30], 'requests': [31, 3, 34, 24]}, [[False, 30], [False, 0], [False, 30], [True, 24]]), ('control 37', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [5, 30], 'requests': [39, 22, 18, 9, 40]}, [[False, 30], [True, 22], [False, 20], [False, 5], [False, 30]]), ('control 40', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [], 'requests': [36, 23, 1, 39, 21, 26]}, [[False, 24], [True, 23], [False, 0], [False, 24], [True, 21], [False, 24]])], [('regression: midway between lobby and zone', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [5]}, [[False, 10]]), ('boundary: floor just below the sky lobby', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [15], 'requests': [14, 17]}, [[False, 15], [False, 15]]), ('sampled regression 50', {'floors': 40, 'zone': [15, 27], 'sky_lobbies': [25, 9], 'requests': [27, 24, 9, 5, 12, 14]}, [[True, 27], [True, 24], [True, 9], [False, 9], [False, 15], [False, 15]]), ('control 40', {'floors': 40, 'zone': [15, 24], 'sky_lobbies': [], 'requests': [36, 23, 1, 39, 21, 26]}, [[False, 24], [True, 23], [False, 0], [False, 24], [True, 21], [False, 24]]), ('boundary: sky lobby transfer', {'floors': 40, 'zone': [20, 29], 'sky_lobbies': [9], 'requests': [9, 8]}, [[True, 9], [False, 9]]), ('control 45', {'floors': 40, 'zone': [10, 19], 'sky_lobbies': [], 'requests': [11, 35, 34, 2, 19, 25]}, [[True, 11], [False, 19], [False, 19], [False, 0], [True, 19], [False, 19]]), ('control 48', {'floors': 40, 'zone': [20, 32], 'sky_lobbies': [25], 'requests': [26, 30, 33, 4, 17, 40]}, [[True, 26], [True, 30], [False, 32], [False, 0], [False, 20], [False, 32]]), ('control 51', {'floors': 40, 'zone': [20, 32], 'sky_lobbies': [5], 'requests': [30, 40]}, [[True, 30], [False, 32]])]]\nfor label, args, expected in fixtures[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":"Stipulated toy lift-control contract for a bounded teaching model; it makes no claim of conformance to any lift code or vendor dispatcher and omits real safety cases. 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-elevator_dispatch_scheduling-zoned-express-service-suggestion-tie-break","generated_at":"2026-09-29T14:47:54.411405+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Lift group controllers make these decisions many times per minute; a wrong answer strands passengers, wastes trips or overrides a safety rule.","repair":"Break ties towards the higher floor.","root_cause":"Ties go to the lower floor.","sha256":"dcef896fbebc4d1e2e3158bfbb8d99ddc87f87429a03af66c18211ea7a965ed3","title":"Zoned express car call acceptance: suggestion tie-break · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.031,"exit_code":1,"observations":[{"actual":[[false,10]],"check":"regression: midway between lobby and zone","expected":[[false,10]],"passed":true},{"actual":[[false,15],[false,20]],"check":"boundary: floor just below the sky lobby","expected":[[false,15],[false,15]],"passed":false},{"actual":[[true,27],[true,24],[true,9],[false,9],[false,15],[false,15]],"check":"sampled regression 50","expected":[[true,27],[true,24],[true,9],[false,9],[false,15],[false,15]],"passed":true},{"actual":[[false,20],[false,20],[true,22]],"check":"control 3","expected":[[false,0],[false,0],[true,22]],"passed":false},{"actual":[[true,19],[false,19]],"check":"boundary: top of the zone","expected":[[true,19],[false,19]],"passed":true},{"actual":[[false,30],[true,30],[false,30]],"check":"control 1","expected":[[false,30],[true,30],[false,30]],"passed":true},{"actual":[[false,19],[false,10]],"check":"control 4","expected":[[false,19],[false,0]],"passed":false},{"actual":[[false,22],[false,10],[false,10],[true,19],[true,14]],"check":"control 7","expected":[[false,22],[false,0],[false,0],[true,19],[true,14]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: midway between lobby and zone\", \"actual\": [[false, 10]], \"expected\": [[false, 10]], \"passed\": true}, {\"check\": \"boundary: floor just below the sky lobby\", \"actual\": [[false, 15], [false, 20]], \"expected\": [[false, 15], [false, 15]], \"passed\": false}, {\"check\": \"sampled regression 50\", \"actual\": [[true, 27], [true, 24], [true, 9], [false, 9], [false, 15], [false, 15]], \"expected\": [[true, 27], [true, 24], [true, 9], [false, 9], [false, 15], [false, 15]], \"passed\": true}, {\"check\": \"control 3\", \"actual\": [[false, 20], [false, 20], [true, 22]], \"expected\": [[false, 0], [false, 0], [true, 22]], \"passed\": false}, {\"check\": \"boundary: top of the zone\", \"actual\": [[true, 19], [false, 19]], \"expected\": [[true, 19], [false, 19]], \"passed\": true}, {\"check\": \"control 1\", \"actual\": [[false, 30], [true, 30], [false, 30]], \"expected\": [[false, 30], [true, 30], [false, 30]], \"passed\": true}, {\"check\": \"control 4\", \"actual\": [[false, 19], [false, 10]], \"expected\": [[false, 19], [false, 0]], \"passed\": false}, {\"check\": \"control 7\", \"actual\": [[false, 22], [false, 10], [false, 10], [true, 19], [true, 14]], \"expected\": [[false, 22], [false, 0], [false, 0], [true, 19], [true, 14]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.002,"exit_code":1,"observations":[{"actual":[[false,0]],"check":"regression: midway between lobby and zone","expected":[[false,10]],"passed":false},{"actual":[[false,15],[false,15]],"check":"boundary: floor just below the sky lobby","expected":[[false,15],[false,15]],"passed":true},{"actual":[[true,27],[true,24],[true,9],[false,9],[false,9],[false,15]],"check":"sampled regression 50","expected":[[true,27],[true,24],[true,9],[false,9],[false,15],[false,15]],"passed":false},{"actual":[[false,0],[false,0],[true,22]],"check":"control 3","expected":[[false,0],[false,0],[true,22]],"passed":true},{"actual":[[true,19],[false,19]],"check":"boundary: top of the zone","expected":[[true,19],[false,19]],"passed":true},{"actual":[[false,30],[true,30],[false,30]],"check":"control 1","expected":[[false,30],[true,30],[false,30]],"passed":true},{"actual":[[false,19],[false,0]],"check":"control 4","expected":[[false,19],[false,0]],"passed":true},{"actual":[[false,22],[false,0],[false,0],[true,19],[true,14]],"check":"control 7","expected":[[false,22],[false,0],[false,0],[true,19],[true,14]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: midway between lobby and zone\", \"actual\": [[false, 0]], \"expected\": [[false, 10]], \"passed\": false}, {\"check\": \"boundary: floor just below the sky lobby\", \"actual\": [[false, 15], [false, 15]], \"expected\": [[false, 15], [false, 15]], \"passed\": true}, {\"check\": \"sampled regression 50\", \"actual\": [[true, 27], [true, 24], [true, 9], [false, 9], [false, 9], [false, 15]], \"expected\": [[true, 27], [true, 24], [true, 9], [false, 9], [false, 15], [false, 15]], \"passed\": false}, {\"check\": \"control 3\", \"actual\": [[false, 0], [false, 0], [true, 22]], \"expected\": [[false, 0], [false, 0], [true, 22]], \"passed\": true}, {\"check\": \"boundary: top of the zone\", \"actual\": [[true, 19], [false, 19]], \"expected\": [[true, 19], [false, 19]], \"passed\": true}, {\"check\": \"control 1\", \"actual\": [[false, 30], [true, 30], [false, 30]], \"expected\": [[false, 30], [true, 30], [false, 30]], \"passed\": true}, {\"check\": \"control 4\", \"actual\": [[false, 19], [false, 0]], \"expected\": [[false, 19], [false, 0]], \"passed\": true}, {\"check\": \"control 7\", \"actual\": [[false, 22], [false, 0], [false, 0], [true, 19], [true, 14]], \"expected\": [[false, 22], [false, 0], [false, 0], [true, 19], [true, 14]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.764,"exit_code":0,"observations":[{"actual":[[false,10]],"check":"regression: midway between lobby and zone","expected":[[false,10]],"passed":true},{"actual":[[false,15],[false,15]],"check":"boundary: floor just below the sky lobby","expected":[[false,15],[false,15]],"passed":true},{"actual":[[true,27],[true,24],[true,9],[false,9],[false,15],[false,15]],"check":"sampled regression 50","expected":[[true,27],[true,24],[true,9],[false,9],[false,15],[false,15]],"passed":true},{"actual":[[false,0],[false,0],[true,22]],"check":"control 3","expected":[[false,0],[false,0],[true,22]],"passed":true},{"actual":[[true,19],[false,19]],"check":"boundary: top of the zone","expected":[[true,19],[false,19]],"passed":true},{"actual":[[false,30],[true,30],[false,30]],"check":"control 1","expected":[[false,30],[true,30],[false,30]],"passed":true},{"actual":[[false,19],[false,0]],"check":"control 4","expected":[[false,19],[false,0]],"passed":true},{"actual":[[false,22],[false,0],[false,0],[true,19],[true,14]],"check":"control 7","expected":[[false,22],[false,0],[false,0],[true,19],[true,14]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: midway between lobby and zone\", \"actual\": [[false, 10]], \"expected\": [[false, 10]], \"passed\": true}, {\"check\": \"boundary: floor just below the sky lobby\", \"actual\": [[false, 15], [false, 15]], \"expected\": [[false, 15], [false, 15]], \"passed\": true}, {\"check\": \"sampled regression 50\", \"actual\": [[true, 27], [true, 24], [true, 9], [false, 9], [false, 15], [false, 15]], \"expected\": [[true, 27], [true, 24], [true, 9], [false, 9], [false, 15], [false, 15]], \"passed\": true}, {\"check\": \"control 3\", \"actual\": [[false, 0], [false, 0], [true, 22]], \"expected\": [[false, 0], [false, 0], [true, 22]], \"passed\": true}, {\"check\": \"boundary: top of the zone\", \"actual\": [[true, 19], [false, 19]], \"expected\": [[true, 19], [false, 19]], \"passed\": true}, {\"check\": \"control 1\", \"actual\": [[false, 30], [true, 30], [false, 30]], \"expected\": [[false, 30], [true, 30], [false, 30]], \"passed\": true}, {\"check\": \"control 4\", \"actual\": [[false, 19], [false, 0]], \"expected\": [[false, 19], [false, 0]], \"passed\": true}, {\"check\": \"control 7\", \"actual\": [[false, 22], [false, 0], [false, 0], [true, 19], [true, 14]], \"expected\": [[false, 22], [false, 0], [false, 0], [true, 19], [true, 14]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}