{"abstract":"A car under fire service or independent service is sent to the code blue.","category":"Elevator dispatch scheduling","checks":8,"contract":"Only cars in normal mode can answer a code blue at floor call. An idle car or one moving towards (or at) the call floor costs the floor distance. A car moving away first runs to its turn floor (the extreme of its calls and its floor in its direction) and back: |turn-floor| + |turn-call|. Lowest cost wins, ties to the lowest id. The winner cancels its car calls (reported sorted) and announces if it carries passengers.","contract_signature":"x","evaluation_group":"w2-elevator_dispatch_scheduling-code-blue-priority","failed_approach":"Excluding only fire service still dispatches an independent-service car.","family":"w2-elevator_dispatch_scheduling-code-blue-priority-service-mode-filter","id":"FA-67731","implementations":{"attempt":{"sha256":"78950117553c95d141a3af7d92f9a22713b79499ec08b0a96d18164647acdef0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    best = None\n    for c in sorted(x['cars'], key=lambda c: c['id']):\n        if c['mode'] == 'fire':\n            continue\n        f = c['floor']\n        if c['dir'] == 'idle' or (c['dir'] == 'up' and x['call'] >= f) or (c['dir'] == 'down' and x['call'] <= f):\n            cost = abs(x['call'] - f)\n        else:\n            turn = max(c['calls'] + [f]) if c['dir'] == 'up' else min(c['calls'] + [f])\n            cost = abs(turn - f) + abs(turn - x['call'])\n        if best is None or cost < best[0]:\n            best = (cost, c)\n    if best is None:\n        return {'car': None, 'cancelled_calls': [], 'announce': False}\n    c = best[1]\n    return {'car': c['id'], 'cancelled_calls': sorted(c['calls']), 'announce': c['load'] > 0}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: car on independent service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'independent', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 2', {'call': 13, 'cars': [{'id': 'H2', 'floor': 5, 'dir': 'down', 'calls': [14], 'mode': 'normal', 'load': 0}, {'id': 'H1', 'floor': 12, 'dir': 'up', 'calls': [4, 14, 5], 'mode': 'normal', 'load': 0}, {'id': 'H4', 'floor': 1, 'dir': 'idle', 'calls': [10, 5], 'mode': 'normal', 'load': 0}, {'id': 'H3', 'floor': 13, 'dir': 'down', 'calls': [8, 11], 'mode': 'fire', 'load': 0}]}, {'car': 'H1', 'cancelled_calls': [4, 5, 14], 'announce': False}), ('sampled regression 8', {'call': 13, 'cars': [{'id': 'H2', 'floor': 12, 'dir': 'down', 'calls': [7, 2, 0], 'mode': 'normal', 'load': 0}, {'id': 'H3', 'floor': 14, 'dir': 'up', 'calls': [6], 'mode': 'fire', 'load': 80}, {'id': 'H4', 'floor': 9, 'dir': 'idle', 'calls': [12, 7], 'mode': 'independent', 'load': 80}]}, {'car': 'H2', 'cancelled_calls': [0, 2, 7], 'announce': False}), ('regression: car on fire service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'fire', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('boundary: car moving away with a far call', {'call': 4, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'up', 'calls': [12], 'mode': 'normal', 'load': 80}, {'id': 'H2', 'floor': 11, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 1', {'call': 6, 'cars': [{'id': 'H2', 'floor': 3, 'dir': 'up', 'calls': [3], 'mode': 'fire', 'load': 0}, {'id': 'H3', 'floor': 12, 'dir': 'idle', 'calls': [6, 10], 'mode': 'normal', 'load': 0}, {'id': 'H4', 'floor': 3, 'dir': 'idle', 'calls': [11], 'mode': 'normal', 'load': 80}]}, {'car': 'H4', 'cancelled_calls': [11], 'announce': True}), ('control 4', {'call': 3, 'cars': [{'id': 'H4', 'floor': 10, 'dir': 'down', 'calls': [], 'mode': 'normal', 'load': 80}, {'id': 'H1', 'floor': 6, 'dir': 'idle', 'calls': [2], 'mode': 'independent', 'load': 80}, {'id': 'H3', 'floor': 0, 'dir': 'up', 'calls': [11, 6], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 3, 'dir': 'up', 'calls': [3, 6, 4], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [3, 4, 6], 'announce': False}), ('control 7', {'call': 3, 'cars': [{'id': 'H1', 'floor': 2, 'dir': 'down', 'calls': [], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 2, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 80}, {'id': 'H4', 'floor': 13, 'dir': 'up', 'calls': [12, 1, 9], 'mode': 'normal', 'load': 0}, {'id': 'H3', 'floor': 9, 'dir': 'idle', 'calls': [7], 'mode': 'normal', 'load': 80}]}, {'car': 'H1', 'cancelled_calls': [], 'announce': False})], [('regression: car on fire service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'fire', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('regression: car on independent service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'independent', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 20', {'call': 6, 'cars': [{'id': 'H4', 'floor': 14, 'dir': 'up', 'calls': [13, 11], 'mode': 'independent', 'load': 80}]}, {'car': None, 'cancelled_calls': [], 'announce': False}), ('sampled regression 21', {'call': 4, 'cars': [{'id': 'H1', 'floor': 3, 'dir': 'idle', 'calls': [9, 14], 'mode': 'independent', 'load': 80}, {'id': 'H2', 'floor': 3, 'dir': 'idle', 'calls': [10, 4, 8], 'mode': 'normal', 'load': 80}, {'id': 'H3', 'floor': 9, 'dir': 'up', 'calls': [10], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [4, 8, 10], 'announce': True}), ('boundary: car moving away with a far call', {'call': 4, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'up', 'calls': [12], 'mode': 'normal', 'load': 80}, {'id': 'H2', 'floor': 11, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('control 12', {'call': 8, 'cars': [{'id': 'H1', 'floor': 6, 'dir': 'idle', 'calls': [4, 9], 'mode': 'normal', 'load': 0}, {'id': 'H4', 'floor': 10, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 80}, {'id': 'H2', 'floor': 4, 'dir': 'idle', 'calls': [6, 3], 'mode': 'normal', 'load': 0}, {'id': 'H3', 'floor': 14, 'dir': 'up', 'calls': [5, 2], 'mode': 'normal', 'load': 0}]}, {'car': 'H1', 'cancelled_calls': [4, 9], 'announce': False}), ('control 15', {'call': 12, 'cars': [{'id': 'H3', 'floor': 1, 'dir': 'down', 'calls': [], 'mode': 'normal', 'load': 80}, {'id': 'H1', 'floor': 14, 'dir': 'down', 'calls': [5, 3, 9], 'mode': 'normal', 'load': 80}]}, {'car': 'H1', 'cancelled_calls': [3, 5, 9], 'announce': True}), ('sampled regression 18', {'call': 14, 'cars': [{'id': 'H2', 'floor': 8, 'dir': 'idle', 'calls': [10, 6, 7], 'mode': 'independent', 'load': 0}, {'id': 'H4', 'floor': 8, 'dir': 'down', 'calls': [11, 14, 6], 'mode': 'normal', 'load': 0}, {'id': 'H1', 'floor': 1, 'dir': 'up', 'calls': [6, 7, 8], 'mode': 'fire', 'load': 80}]}, {'car': 'H4', 'cancelled_calls': [6, 11, 14], 'announce': False})], [('regression: car on independent service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'independent', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 33', {'call': 8, 'cars': [{'id': 'H1', 'floor': 8, 'dir': 'idle', 'calls': [1], 'mode': 'fire', 'load': 80}, {'id': 'H4', 'floor': 11, 'dir': 'down', 'calls': [6, 8], 'mode': 'independent', 'load': 80}, {'id': 'H3', 'floor': 13, 'dir': 'up', 'calls': [0], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 13, 'dir': 'up', 'calls': [9], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [9], 'announce': False}), ('boundary: car moving away without calls', {'call': 2, 'cars': [{'id': 'H1', 'floor': 6, 'dir': 'up', 'calls': [], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H1', 'cancelled_calls': [], 'announce': False}), ('regression: car on fire service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'fire', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('boundary: car moving away with a far call', {'call': 4, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'up', 'calls': [12], 'mode': 'normal', 'load': 80}, {'id': 'H2', 'floor': 11, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 23', {'call': 2, 'cars': [{'id': 'H1', 'floor': 6, 'dir': 'up', 'calls': [], 'mode': 'independent', 'load': 0}, {'id': 'H3', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}, {'id': 'H4', 'floor': 4, 'dir': 'up', 'calls': [11], 'mode': 'fire', 'load': 0}]}, {'car': 'H3', 'cancelled_calls': [], 'announce': False}), ('sampled regression 26', {'call': 5, 'cars': [{'id': 'H3', 'floor': 6, 'dir': 'up', 'calls': [5, 12], 'mode': 'normal', 'load': 80}, {'id': 'H4', 'floor': 8, 'dir': 'up', 'calls': [14], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 14, 'dir': 'up', 'calls': [], 'mode': 'normal', 'load': 80}, {'id': 'H1', 'floor': 1, 'dir': 'down', 'calls': [13, 0], 'mode': 'independent', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': True}), ('control 29', {'call': 1, 'cars': [{'id': 'H3', 'floor': 9, 'dir': 'down', 'calls': [5], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 8, 'dir': 'down', 'calls': [2, 11, 14], 'mode': 'normal', 'load': 80}]}, {'car': 'H2', 'cancelled_calls': [2, 11, 14], 'announce': True})], [('regression: car on fire service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'fire', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('regression: car on independent service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'independent', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 57', {'call': 10, 'cars': [{'id': 'H3', 'floor': 7, 'dir': 'down', 'calls': [7], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 12, 'dir': 'idle', 'calls': [3, 10], 'mode': 'fire', 'load': 80}, {'id': 'H1', 'floor': 4, 'dir': 'up', 'calls': [12], 'mode': 'normal', 'load': 80}]}, {'car': 'H3', 'cancelled_calls': [7], 'announce': False}), ('sampled regression 64', {'call': 8, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'down', 'calls': [9, 5], 'mode': 'normal', 'load': 80}, {'id': 'H4', 'floor': 9, 'dir': 'down', 'calls': [0, 1], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 8, 'dir': 'idle', 'calls': [13], 'mode': 'independent', 'load': 80}, {'id': 'H3', 'floor': 5, 'dir': 'up', 'calls': [4, 9, 1], 'mode': 'normal', 'load': 0}]}, {'car': 'H4', 'cancelled_calls': [0, 1], 'announce': False}), ('boundary: car moving away with a far call', {'call': 4, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'up', 'calls': [12], 'mode': 'normal', 'load': 80}, {'id': 'H2', 'floor': 11, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 34', {'call': 9, 'cars': [{'id': 'H1', 'floor': 8, 'dir': 'down', 'calls': [14, 5], 'mode': 'independent', 'load': 80}]}, {'car': None, 'cancelled_calls': [], 'announce': False}), ('control 37', {'call': 2, 'cars': [{'id': 'H3', 'floor': 0, 'dir': 'up', 'calls': [2, 7, 11], 'mode': 'normal', 'load': 0}, {'id': 'H4', 'floor': 11, 'dir': 'down', 'calls': [8], 'mode': 'fire', 'load': 0}]}, {'car': 'H3', 'cancelled_calls': [2, 7, 11], 'announce': False}), ('sampled regression 40', {'call': 6, 'cars': [{'id': 'H3', 'floor': 10, 'dir': 'up', 'calls': [14, 13, 4], 'mode': 'normal', 'load': 80}, {'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [2, 1], 'mode': 'fire', 'load': 0}, {'id': 'H2', 'floor': 1, 'dir': 'down', 'calls': [2, 10, 14], 'mode': 'independent', 'load': 80}, {'id': 'H4', 'floor': 3, 'dir': 'up', 'calls': [12], 'mode': 'normal', 'load': 80}]}, {'car': 'H4', 'cancelled_calls': [12], 'announce': True})], [('regression: car on independent service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'independent', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 72', {'call': 8, 'cars': [{'id': 'H2', 'floor': 8, 'dir': 'idle', 'calls': [12, 5, 6], 'mode': 'fire', 'load': 80}, {'id': 'H3', 'floor': 2, 'dir': 'idle', 'calls': [], 'mode': 'independent', 'load': 80}]}, {'car': None, 'cancelled_calls': [], 'announce': False}), ('boundary: car moving down away', {'call': 10, 'cars': [{'id': 'H1', 'floor': 8, 'dir': 'down', 'calls': [1, 6], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 14, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('boundary: car moving away without calls', {'call': 2, 'cars': [{'id': 'H1', 'floor': 6, 'dir': 'up', 'calls': [], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H1', 'cancelled_calls': [], 'announce': False}), ('regression: car on fire service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'fire', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 45', {'call': 0, 'cars': [{'id': 'H2', 'floor': 14, 'dir': 'idle', 'calls': [14], 'mode': 'normal', 'load': 0}, {'id': 'H4', 'floor': 10, 'dir': 'down', 'calls': [], 'mode': 'fire', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [14], 'announce': False}), ('control 48', {'call': 8, 'cars': [{'id': 'H4', 'floor': 14, 'dir': 'up', 'calls': [12, 2], 'mode': 'normal', 'load': 0}, {'id': 'H3', 'floor': 5, 'dir': 'up', 'calls': [], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 0, 'dir': 'idle', 'calls': [12], 'mode': 'fire', 'load': 0}, {'id': 'H1', 'floor': 3, 'dir': 'up', 'calls': [3], 'mode': 'normal', 'load': 80}]}, {'car': 'H3', 'cancelled_calls': [], 'announce': False}), ('control 51', {'call': 11, 'cars': [{'id': 'H3', 'floor': 2, 'dir': 'down', 'calls': [11], 'mode': 'independent', 'load': 0}, {'id': 'H4', 'floor': 7, 'dir': 'idle', 'calls': [14, 7], 'mode': 'independent', 'load': 80}, {'id': 'H2', 'floor': 12, 'dir': 'up', 'calls': [10, 9, 13], 'mode': 'normal', 'load': 80}, {'id': 'H1', 'floor': 11, 'dir': 'idle', 'calls': [0, 9], 'mode': 'normal', 'load': 80}]}, {'car': 'H1', 'cancelled_calls': [0, 9], 'announce': True})]]\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":"7f60d36d124791485346654da89272d593b659db8c4878bda56b7cff2285220d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    best = None\n    for c in sorted(x['cars'], key=lambda c: c['id']):\n        if False:\n            continue\n        f = c['floor']\n        if c['dir'] == 'idle' or (c['dir'] == 'up' and x['call'] >= f) or (c['dir'] == 'down' and x['call'] <= f):\n            cost = abs(x['call'] - f)\n        else:\n            turn = max(c['calls'] + [f]) if c['dir'] == 'up' else min(c['calls'] + [f])\n            cost = abs(turn - f) + abs(turn - x['call'])\n        if best is None or cost < best[0]:\n            best = (cost, c)\n    if best is None:\n        return {'car': None, 'cancelled_calls': [], 'announce': False}\n    c = best[1]\n    return {'car': c['id'], 'cancelled_calls': sorted(c['calls']), 'announce': c['load'] > 0}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: car on independent service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'independent', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 2', {'call': 13, 'cars': [{'id': 'H2', 'floor': 5, 'dir': 'down', 'calls': [14], 'mode': 'normal', 'load': 0}, {'id': 'H1', 'floor': 12, 'dir': 'up', 'calls': [4, 14, 5], 'mode': 'normal', 'load': 0}, {'id': 'H4', 'floor': 1, 'dir': 'idle', 'calls': [10, 5], 'mode': 'normal', 'load': 0}, {'id': 'H3', 'floor': 13, 'dir': 'down', 'calls': [8, 11], 'mode': 'fire', 'load': 0}]}, {'car': 'H1', 'cancelled_calls': [4, 5, 14], 'announce': False}), ('sampled regression 8', {'call': 13, 'cars': [{'id': 'H2', 'floor': 12, 'dir': 'down', 'calls': [7, 2, 0], 'mode': 'normal', 'load': 0}, {'id': 'H3', 'floor': 14, 'dir': 'up', 'calls': [6], 'mode': 'fire', 'load': 80}, {'id': 'H4', 'floor': 9, 'dir': 'idle', 'calls': [12, 7], 'mode': 'independent', 'load': 80}]}, {'car': 'H2', 'cancelled_calls': [0, 2, 7], 'announce': False}), ('regression: car on fire service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'fire', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('boundary: car moving away with a far call', {'call': 4, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'up', 'calls': [12], 'mode': 'normal', 'load': 80}, {'id': 'H2', 'floor': 11, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 1', {'call': 6, 'cars': [{'id': 'H2', 'floor': 3, 'dir': 'up', 'calls': [3], 'mode': 'fire', 'load': 0}, {'id': 'H3', 'floor': 12, 'dir': 'idle', 'calls': [6, 10], 'mode': 'normal', 'load': 0}, {'id': 'H4', 'floor': 3, 'dir': 'idle', 'calls': [11], 'mode': 'normal', 'load': 80}]}, {'car': 'H4', 'cancelled_calls': [11], 'announce': True}), ('control 4', {'call': 3, 'cars': [{'id': 'H4', 'floor': 10, 'dir': 'down', 'calls': [], 'mode': 'normal', 'load': 80}, {'id': 'H1', 'floor': 6, 'dir': 'idle', 'calls': [2], 'mode': 'independent', 'load': 80}, {'id': 'H3', 'floor': 0, 'dir': 'up', 'calls': [11, 6], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 3, 'dir': 'up', 'calls': [3, 6, 4], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [3, 4, 6], 'announce': False}), ('control 7', {'call': 3, 'cars': [{'id': 'H1', 'floor': 2, 'dir': 'down', 'calls': [], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 2, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 80}, {'id': 'H4', 'floor': 13, 'dir': 'up', 'calls': [12, 1, 9], 'mode': 'normal', 'load': 0}, {'id': 'H3', 'floor': 9, 'dir': 'idle', 'calls': [7], 'mode': 'normal', 'load': 80}]}, {'car': 'H1', 'cancelled_calls': [], 'announce': False})], [('regression: car on fire service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'fire', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('regression: car on independent service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'independent', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 20', {'call': 6, 'cars': [{'id': 'H4', 'floor': 14, 'dir': 'up', 'calls': [13, 11], 'mode': 'independent', 'load': 80}]}, {'car': None, 'cancelled_calls': [], 'announce': False}), ('sampled regression 21', {'call': 4, 'cars': [{'id': 'H1', 'floor': 3, 'dir': 'idle', 'calls': [9, 14], 'mode': 'independent', 'load': 80}, {'id': 'H2', 'floor': 3, 'dir': 'idle', 'calls': [10, 4, 8], 'mode': 'normal', 'load': 80}, {'id': 'H3', 'floor': 9, 'dir': 'up', 'calls': [10], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [4, 8, 10], 'announce': True}), ('boundary: car moving away with a far call', {'call': 4, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'up', 'calls': [12], 'mode': 'normal', 'load': 80}, {'id': 'H2', 'floor': 11, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('control 12', {'call': 8, 'cars': [{'id': 'H1', 'floor': 6, 'dir': 'idle', 'calls': [4, 9], 'mode': 'normal', 'load': 0}, {'id': 'H4', 'floor': 10, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 80}, {'id': 'H2', 'floor': 4, 'dir': 'idle', 'calls': [6, 3], 'mode': 'normal', 'load': 0}, {'id': 'H3', 'floor': 14, 'dir': 'up', 'calls': [5, 2], 'mode': 'normal', 'load': 0}]}, {'car': 'H1', 'cancelled_calls': [4, 9], 'announce': False}), ('control 15', {'call': 12, 'cars': [{'id': 'H3', 'floor': 1, 'dir': 'down', 'calls': [], 'mode': 'normal', 'load': 80}, {'id': 'H1', 'floor': 14, 'dir': 'down', 'calls': [5, 3, 9], 'mode': 'normal', 'load': 80}]}, {'car': 'H1', 'cancelled_calls': [3, 5, 9], 'announce': True}), ('sampled regression 18', {'call': 14, 'cars': [{'id': 'H2', 'floor': 8, 'dir': 'idle', 'calls': [10, 6, 7], 'mode': 'independent', 'load': 0}, {'id': 'H4', 'floor': 8, 'dir': 'down', 'calls': [11, 14, 6], 'mode': 'normal', 'load': 0}, {'id': 'H1', 'floor': 1, 'dir': 'up', 'calls': [6, 7, 8], 'mode': 'fire', 'load': 80}]}, {'car': 'H4', 'cancelled_calls': [6, 11, 14], 'announce': False})], [('regression: car on independent service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'independent', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 33', {'call': 8, 'cars': [{'id': 'H1', 'floor': 8, 'dir': 'idle', 'calls': [1], 'mode': 'fire', 'load': 80}, {'id': 'H4', 'floor': 11, 'dir': 'down', 'calls': [6, 8], 'mode': 'independent', 'load': 80}, {'id': 'H3', 'floor': 13, 'dir': 'up', 'calls': [0], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 13, 'dir': 'up', 'calls': [9], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [9], 'announce': False}), ('boundary: car moving away without calls', {'call': 2, 'cars': [{'id': 'H1', 'floor': 6, 'dir': 'up', 'calls': [], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H1', 'cancelled_calls': [], 'announce': False}), ('regression: car on fire service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'fire', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('boundary: car moving away with a far call', {'call': 4, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'up', 'calls': [12], 'mode': 'normal', 'load': 80}, {'id': 'H2', 'floor': 11, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 23', {'call': 2, 'cars': [{'id': 'H1', 'floor': 6, 'dir': 'up', 'calls': [], 'mode': 'independent', 'load': 0}, {'id': 'H3', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}, {'id': 'H4', 'floor': 4, 'dir': 'up', 'calls': [11], 'mode': 'fire', 'load': 0}]}, {'car': 'H3', 'cancelled_calls': [], 'announce': False}), ('sampled regression 26', {'call': 5, 'cars': [{'id': 'H3', 'floor': 6, 'dir': 'up', 'calls': [5, 12], 'mode': 'normal', 'load': 80}, {'id': 'H4', 'floor': 8, 'dir': 'up', 'calls': [14], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 14, 'dir': 'up', 'calls': [], 'mode': 'normal', 'load': 80}, {'id': 'H1', 'floor': 1, 'dir': 'down', 'calls': [13, 0], 'mode': 'independent', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': True}), ('control 29', {'call': 1, 'cars': [{'id': 'H3', 'floor': 9, 'dir': 'down', 'calls': [5], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 8, 'dir': 'down', 'calls': [2, 11, 14], 'mode': 'normal', 'load': 80}]}, {'car': 'H2', 'cancelled_calls': [2, 11, 14], 'announce': True})], [('regression: car on fire service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'fire', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('regression: car on independent service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'independent', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 57', {'call': 10, 'cars': [{'id': 'H3', 'floor': 7, 'dir': 'down', 'calls': [7], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 12, 'dir': 'idle', 'calls': [3, 10], 'mode': 'fire', 'load': 80}, {'id': 'H1', 'floor': 4, 'dir': 'up', 'calls': [12], 'mode': 'normal', 'load': 80}]}, {'car': 'H3', 'cancelled_calls': [7], 'announce': False}), ('sampled regression 64', {'call': 8, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'down', 'calls': [9, 5], 'mode': 'normal', 'load': 80}, {'id': 'H4', 'floor': 9, 'dir': 'down', 'calls': [0, 1], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 8, 'dir': 'idle', 'calls': [13], 'mode': 'independent', 'load': 80}, {'id': 'H3', 'floor': 5, 'dir': 'up', 'calls': [4, 9, 1], 'mode': 'normal', 'load': 0}]}, {'car': 'H4', 'cancelled_calls': [0, 1], 'announce': False}), ('boundary: car moving away with a far call', {'call': 4, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'up', 'calls': [12], 'mode': 'normal', 'load': 80}, {'id': 'H2', 'floor': 11, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 34', {'call': 9, 'cars': [{'id': 'H1', 'floor': 8, 'dir': 'down', 'calls': [14, 5], 'mode': 'independent', 'load': 80}]}, {'car': None, 'cancelled_calls': [], 'announce': False}), ('control 37', {'call': 2, 'cars': [{'id': 'H3', 'floor': 0, 'dir': 'up', 'calls': [2, 7, 11], 'mode': 'normal', 'load': 0}, {'id': 'H4', 'floor': 11, 'dir': 'down', 'calls': [8], 'mode': 'fire', 'load': 0}]}, {'car': 'H3', 'cancelled_calls': [2, 7, 11], 'announce': False}), ('sampled regression 40', {'call': 6, 'cars': [{'id': 'H3', 'floor': 10, 'dir': 'up', 'calls': [14, 13, 4], 'mode': 'normal', 'load': 80}, {'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [2, 1], 'mode': 'fire', 'load': 0}, {'id': 'H2', 'floor': 1, 'dir': 'down', 'calls': [2, 10, 14], 'mode': 'independent', 'load': 80}, {'id': 'H4', 'floor': 3, 'dir': 'up', 'calls': [12], 'mode': 'normal', 'load': 80}]}, {'car': 'H4', 'cancelled_calls': [12], 'announce': True})], [('regression: car on independent service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'independent', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 72', {'call': 8, 'cars': [{'id': 'H2', 'floor': 8, 'dir': 'idle', 'calls': [12, 5, 6], 'mode': 'fire', 'load': 80}, {'id': 'H3', 'floor': 2, 'dir': 'idle', 'calls': [], 'mode': 'independent', 'load': 80}]}, {'car': None, 'cancelled_calls': [], 'announce': False}), ('boundary: car moving down away', {'call': 10, 'cars': [{'id': 'H1', 'floor': 8, 'dir': 'down', 'calls': [1, 6], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 14, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('boundary: car moving away without calls', {'call': 2, 'cars': [{'id': 'H1', 'floor': 6, 'dir': 'up', 'calls': [], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H1', 'cancelled_calls': [], 'announce': False}), ('regression: car on fire service nearby', {'call': 5, 'cars': [{'id': 'H1', 'floor': 5, 'dir': 'idle', 'calls': [], 'mode': 'fire', 'load': 0}, {'id': 'H2', 'floor': 9, 'dir': 'idle', 'calls': [], 'mode': 'normal', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [], 'announce': False}), ('sampled regression 45', {'call': 0, 'cars': [{'id': 'H2', 'floor': 14, 'dir': 'idle', 'calls': [14], 'mode': 'normal', 'load': 0}, {'id': 'H4', 'floor': 10, 'dir': 'down', 'calls': [], 'mode': 'fire', 'load': 0}]}, {'car': 'H2', 'cancelled_calls': [14], 'announce': False}), ('control 48', {'call': 8, 'cars': [{'id': 'H4', 'floor': 14, 'dir': 'up', 'calls': [12, 2], 'mode': 'normal', 'load': 0}, {'id': 'H3', 'floor': 5, 'dir': 'up', 'calls': [], 'mode': 'normal', 'load': 0}, {'id': 'H2', 'floor': 0, 'dir': 'idle', 'calls': [12], 'mode': 'fire', 'load': 0}, {'id': 'H1', 'floor': 3, 'dir': 'up', 'calls': [3], 'mode': 'normal', 'load': 80}]}, {'car': 'H3', 'cancelled_calls': [], 'announce': False}), ('control 51', {'call': 11, 'cars': [{'id': 'H3', 'floor': 2, 'dir': 'down', 'calls': [11], 'mode': 'independent', 'load': 0}, {'id': 'H4', 'floor': 7, 'dir': 'idle', 'calls': [14, 7], 'mode': 'independent', 'load': 80}, {'id': 'H2', 'floor': 12, 'dir': 'up', 'calls': [10, 9, 13], 'mode': 'normal', 'load': 80}, {'id': 'H1', 'floor': 11, 'dir': 'idle', 'calls': [0, 9], 'mode': 'normal', 'load': 80}]}, {'car': 'H1', 'cancelled_calls': [0, 9], 'announce': True})]]\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-code-blue-priority-service-mode-filter","generated_at":"2026-09-29T14:47:55.672007+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.","root_cause":"Car modes are not checked.","sha256":"635bbaabf3bf82ac54658521708a30e8c41f655edc79bc3991ca0574db18e68d","title":"Hospital code blue car selection: service mode filter · 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":40.961,"exit_code":1,"observations":[{"actual":{"announce":false,"cancelled_calls":[],"car":"H1"},"check":"regression: car on independent service nearby","expected":{"announce":false,"cancelled_calls":[],"car":"H2"},"passed":false},{"actual":{"announce":false,"cancelled_calls":[4,5,14],"car":"H1"},"check":"sampled regression 2","expected":{"announce":false,"cancelled_calls":[4,5,14],"car":"H1"},"passed":true},{"actual":{"announce":true,"cancelled_calls":[7,12],"car":"H4"},"check":"sampled regression 8","expected":{"announce":false,"cancelled_calls":[0,2,7],"car":"H2"},"passed":false},{"actual":{"announce":false,"cancelled_calls":[],"car":"H2"},"check":"regression: car on fire service nearby","expected":{"announce":false,"cancelled_calls":[],"car":"H2"},"passed":true},{"actual":{"announce":false,"cancelled_calls":[],"car":"H2"},"check":"boundary: car moving away with a far call","expected":{"announce":false,"cancelled_calls":[],"car":"H2"},"passed":true},{"actual":{"announce":true,"cancelled_calls":[11],"car":"H4"},"check":"sampled regression 1","expected":{"announce":true,"cancelled_calls":[11],"car":"H4"},"passed":true},{"actual":{"announce":false,"cancelled_calls":[3,4,6],"car":"H2"},"check":"control 4","expected":{"announce":false,"cancelled_calls":[3,4,6],"car":"H2"},"passed":true},{"actual":{"announce":false,"cancelled_calls":[],"car":"H1"},"check":"control 7","expected":{"announce":false,"cancelled_calls":[],"car":"H1"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: car on independent service nearby\", \"actual\": {\"car\": \"H1\", \"cancelled_calls\": [], \"announce\": false}, \"expected\": {\"car\": \"H2\", \"cancelled_calls\": [], \"announce\": false}, \"passed\": false}, {\"check\": \"sampled regression 2\", \"actual\": {\"car\": \"H1\", \"cancelled_calls\": [4, 5, 14], \"announce\": false}, \"expected\": {\"car\": \"H1\", \"cancelled_calls\": [4, 5, 14], \"announce\": false}, \"passed\": true}, {\"check\": \"sampled regression 8\", \"actual\": {\"car\": \"H4\", \"cancelled_calls\": [7, 12], \"announce\": true}, \"expected\": {\"car\": \"H2\", \"cancelled_calls\": [0, 2, 7], \"announce\": false}, \"passed\": false}, {\"check\": \"regression: car on fire service nearby\", \"actual\": {\"car\": \"H2\", \"cancelled_calls\": [], \"announce\": false}, \"expected\": {\"car\": \"H2\", \"cancelled_calls\": [], \"announce\": false}, \"passed\": true}, {\"check\": \"boundary: car moving away with a far call\", \"actual\": {\"car\": \"H2\", \"cancelled_calls\": [], \"announce\": false}, \"expected\": {\"car\": \"H2\", \"cancelled_calls\": [], \"announce\": false}, \"passed\": true}, {\"check\": \"sampled regression 1\", \"actual\": {\"car\": \"H4\", \"cancelled_calls\": [11], \"announce\": true}, \"expected\": {\"car\": \"H4\", \"cancelled_calls\": [11], \"announce\": true}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"car\": \"H2\", \"cancelled_calls\": [3, 4, 6], \"announce\": false}, \"expected\": {\"car\": \"H2\", \"cancelled_calls\": [3, 4, 6], \"announce\": false}, \"passed\": true}, {\"check\": \"control 7\", \"actual\": {\"car\": \"H1\", \"cancelled_calls\": [], \"announce\": false}, \"expected\": {\"car\": \"H1\", \"cancelled_calls\": [], \"announce\": false}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.23,"exit_code":1,"observations":[{"actual":{"announce":false,"cancelled_calls":[],"car":"H1"},"check":"regression: car on independent service nearby","expected":{"announce":false,"cancelled_calls":[],"car":"H2"},"passed":false},{"actual":{"announce":false,"cancelled_calls":[8,11],"car":"H3"},"check":"sampled regression 2","expected":{"announce":false,"cancelled_calls":[4,5,14],"car":"H1"},"passed":false},{"actual":{"announce":true,"cancelled_calls":[6],"car":"H3"},"check":"sampled regression 8","expected":{"announce":false,"cancelled_calls":[0,2,7],"car":"H2"},"passed":false},{"actual":{"announce":false,"cancelled_calls":[],"car":"H1"},"check":"regression: car on fire service nearby","expected":{"announce":false,"cancelled_calls":[],"car":"H2"},"passed":false},{"actual":{"announce":false,"cancelled_calls":[],"car":"H2"},"check":"boundary: car moving away with a far call","expected":{"announce":false,"cancelled_calls":[],"car":"H2"},"passed":true},{"actual":{"announce":false,"cancelled_calls":[3],"car":"H2"},"check":"sampled regression 1","expected":{"announce":true,"cancelled_calls":[11],"car":"H4"},"passed":false},{"actual":{"announce":false,"cancelled_calls":[3,4,6],"car":"H2"},"check":"control 4","expected":{"announce":false,"cancelled_calls":[3,4,6],"car":"H2"},"passed":true},{"actual":{"announce":false,"cancelled_calls":[],"car":"H1"},"check":"control 7","expected":{"announce":false,"cancelled_calls":[],"car":"H1"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: car on independent service nearby\", \"actual\": {\"car\": \"H1\", \"cancelled_calls\": [], \"announce\": false}, \"expected\": {\"car\": \"H2\", \"cancelled_calls\": [], \"announce\": false}, \"passed\": false}, {\"check\": \"sampled regression 2\", \"actual\": {\"car\": \"H3\", \"cancelled_calls\": [8, 11], \"announce\": false}, \"expected\": {\"car\": \"H1\", \"cancelled_calls\": [4, 5, 14], \"announce\": false}, \"passed\": false}, {\"check\": \"sampled regression 8\", \"actual\": {\"car\": \"H3\", \"cancelled_calls\": [6], \"announce\": true}, \"expected\": {\"car\": \"H2\", \"cancelled_calls\": [0, 2, 7], \"announce\": false}, \"passed\": false}, {\"check\": \"regression: car on fire service nearby\", \"actual\": {\"car\": \"H1\", \"cancelled_calls\": [], \"announce\": false}, \"expected\": {\"car\": \"H2\", \"cancelled_calls\": [], \"announce\": false}, \"passed\": false}, {\"check\": \"boundary: car moving away with a far call\", \"actual\": {\"car\": \"H2\", \"cancelled_calls\": [], \"announce\": false}, \"expected\": {\"car\": \"H2\", \"cancelled_calls\": [], \"announce\": false}, \"passed\": true}, {\"check\": \"sampled regression 1\", \"actual\": {\"car\": \"H2\", \"cancelled_calls\": [3], \"announce\": false}, \"expected\": {\"car\": \"H4\", \"cancelled_calls\": [11], \"announce\": true}, \"passed\": false}, {\"check\": \"control 4\", \"actual\": {\"car\": \"H2\", \"cancelled_calls\": [3, 4, 6], \"announce\": false}, \"expected\": {\"car\": \"H2\", \"cancelled_calls\": [3, 4, 6], \"announce\": false}, \"passed\": true}, {\"check\": \"control 7\", \"actual\": {\"car\": \"H1\", \"cancelled_calls\": [], \"announce\": false}, \"expected\": {\"car\": \"H1\", \"cancelled_calls\": [], \"announce\": false}, \"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."}}