{"abstract":"A car reaching a terminal floor leaves the reversing call lit.","category":"Elevator dispatch scheduling","checks":8,"contract":"Hall buttons exist on floors 0..floors-1, except no up button at the top floor and no down button at the bottom floor; other presses are ignored. A registered call lights. A car arriving at a floor serves calls matching its direction; an idle car or a car arriving at a terminal floor (where it must reverse) serves both directions. Log lit/ignored and served:<dirs> (sorted), and list pending calls sorted.","evaluation_group":"w2-elevator_dispatch_scheduling-hall-button-lamps","failed_approach":"Handling only the top floor misses the reversal at the lobby.","family":"w2-elevator_dispatch_scheduling-hall-button-lamps-terminal-reversal-service","id":"FA-67791","implementations":{"attempt":{"sha256":"3149eeaf2b2f9996c65f10629dcaf54a7479c6e07942138ce534ce6934a9d190","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    top = x['floors'] - 1\n    calls = set()\n    out = []\n    for kind, f, d in x['events']:\n        if kind == 'press':\n            if not (0 <= f <= top) or (f == top and d == 'up') or (f == 0 and d == 'down'):\n                out.append('ignored')\n                continue\n            calls.add((f, d))\n            out.append('lit')\n        else:\n            both = d == 'idle' or f == top\n            served = sorted(c for c in calls if c[0] == f and (both or c[1] == d))\n            for c in served:\n                calls.discard(c)\n            out.append('served:' + ','.join(c[1] for c in served))\n    return {'log': out, 'pending': sorted([list(c) for c in calls])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: up car at the top floor reverses', {'floors': 6, 'events': [['press', 5, 'down'], ['arrive', 5, 'up']]}, {'log': ['lit', 'served:down'], 'pending': []}), ('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: up button at the top floor', {'floors': 6, 'events': [['press', 5, 'up'], ['press', 5, 'down']]}, {'log': ['ignored', 'lit'], 'pending': [[5, 'down']]}), ('boundary: down button at the lobby', {'floors': 6, 'events': [['press', 0, 'down'], ['press', 0, 'up']]}, {'log': ['ignored', 'lit'], 'pending': [[0, 'up']]}), ('sampled regression 1', {'floors': 5, 'events': [['press', -1, 'down'], ['press', 4, 'down'], ['press', 4, 'down'], ['arrive', 3, 'idle'], ['press', 0, 'up'], ['press', 1, 'down'], ['press', 2, 'up'], ['arrive', 4, 'up']]}, {'log': ['ignored', 'lit', 'lit', 'served:', 'lit', 'lit', 'lit', 'served:down'], 'pending': [[0, 'up'], [1, 'down'], [2, 'up']]}), ('control 4', {'floors': 6, 'events': [['arrive', 2, 'up'], ['press', 1, 'up'], ['press', 5, 'down'], ['press', 1, 'down'], ['arrive', 4, 'up'], ['arrive', 3, 'up'], ['arrive', 0, 'idle'], ['arrive', 0, 'idle'], ['arrive', 5, 'down'], ['press', 0, 'down']]}, {'log': ['served:', 'lit', 'lit', 'lit', 'served:', 'served:', 'served:', 'served:', 'served:down', 'ignored'], 'pending': [[1, 'down'], [1, 'up']]}), ('control 7', {'floors': 5, 'events': [['arrive', 4, 'idle'], ['press', 3, 'down'], ['arrive', 2, 'down'], ['arrive', 3, 'idle'], ['arrive', 3, 'up'], ['press', 1, 'down']]}, {'log': ['served:', 'lit', 'served:', 'served:down', 'served:', 'lit'], 'pending': [[1, 'down']]})], [('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: idle car serves both lamps', {'floors': 6, 'events': [['press', 3, 'up'], ['press', 3, 'down'], ['arrive', 3, 'idle']]}, {'log': ['lit', 'lit', 'served:down,up'], 'pending': []}), ('regression: up car at the top floor reverses', {'floors': 6, 'events': [['press', 5, 'down'], ['arrive', 5, 'up']]}, {'log': ['lit', 'served:down'], 'pending': []}), ('boundary: floor above the shaft', {'floors': 6, 'events': [['press', 6, 'down'], ['press', -1, 'up']]}, {'log': ['ignored', 'ignored'], 'pending': []}), ('control 12', {'floors': 7, 'events': [['press', 5, 'up'], ['press', 6, 'down'], ['arrive', 2, 'idle'], ['arrive', 5, 'down'], ['press', 6, 'up']]}, {'log': ['lit', 'lit', 'served:', 'served:', 'ignored'], 'pending': [[5, 'up'], [6, 'down']]}), ('control 15', {'floors': 10, 'events': [['press', 9, 'up'], ['arrive', 5, 'down'], ['arrive', 9, 'up'], ['press', 0, 'down'], ['press', 10, 'down'], ['press', 2, 'down']]}, {'log': ['ignored', 'served:', 'served:', 'ignored', 'ignored', 'lit'], 'pending': [[2, 'down']]}), ('control 18', {'floors': 9, 'events': [['press', 5, 'down'], ['press', 1, 'down'], ['press', 7, 'down'], ['arrive', 0, 'up'], ['arrive', 3, 'up'], ['press', 7, 'up'], ['press', 5, 'up'], ['press', 8, 'up'], ['arrive', 8, 'up']]}, {'log': ['lit', 'lit', 'lit', 'served:', 'served:', 'lit', 'lit', 'ignored', 'served:'], 'pending': [[1, 'down'], [5, 'down'], [5, 'up'], [7, 'down'], [7, 'up']]})], [('regression: up car at the top floor reverses', {'floors': 6, 'events': [['press', 5, 'down'], ['arrive', 5, 'up']]}, {'log': ['lit', 'served:down'], 'pending': []}), ('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 77', {'floors': 6, 'events': [['press', 0, 'up'], ['press', -1, 'up'], ['arrive', 0, 'down'], ['arrive', 5, 'idle'], ['press', 3, 'up'], ['press', 5, 'up'], ['arrive', 5, 'up']]}, {'log': ['lit', 'ignored', 'served:up', 'served:', 'lit', 'ignored', 'served:'], 'pending': [[3, 'up']]}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: floor above the shaft', {'floors': 6, 'events': [['press', 6, 'down'], ['press', -1, 'up']]}, {'log': ['ignored', 'ignored'], 'pending': []}), ('control 23', {'floors': 10, 'events': [['press', 5, 'up'], ['press', 1, 'up'], ['arrive', 9, 'up'], ['arrive', 9, 'idle'], ['press', 9, 'up'], ['press', 9, 'up'], ['arrive', 1, 'down'], ['arrive', 9, 'up'], ['press', 4, 'up'], ['press', 4, 'down']]}, {'log': ['lit', 'lit', 'served:', 'served:', 'ignored', 'ignored', 'served:', 'served:', 'lit', 'lit'], 'pending': [[1, 'up'], [4, 'down'], [4, 'up'], [5, 'up']]}), ('control 29', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'idle'], ['press', 5, 'up'], ['press', 6, 'down'], ['press', 0, 'up'], ['arrive', 5, 'down']]}, {'log': ['lit', 'served:up', 'ignored', 'ignored', 'lit', 'served:'], 'pending': [[0, 'up']]}), ('control 32', {'floors': 5, 'events': [['press', -1, 'up'], ['arrive', 4, 'idle'], ['press', 2, 'up'], ['press', -1, 'up']]}, {'log': ['ignored', 'served:', 'lit', 'ignored'], 'pending': [[2, 'up']]})], [('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 60', {'floors': 8, 'events': [['press', 0, 'up'], ['arrive', 0, 'down'], ['arrive', 1, 'idle'], ['press', 7, 'down'], ['press', 4, 'down'], ['arrive', 5, 'idle'], ['arrive', 5, 'idle'], ['press', 7, 'up']]}, {'log': ['lit', 'served:up', 'served:', 'lit', 'lit', 'served:', 'served:', 'ignored'], 'pending': [[4, 'down'], [7, 'down']]}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: passing car in the other direction', {'floors': 6, 'events': [['press', 2, 'down'], ['arrive', 2, 'up']]}, {'log': ['lit', 'served:'], 'pending': [[2, 'down']]}), ('boundary: up button at the top floor', {'floors': 6, 'events': [['press', 5, 'up'], ['press', 5, 'down']]}, {'log': ['ignored', 'lit'], 'pending': [[5, 'down']]}), ('control 34', {'floors': 5, 'events': [['arrive', 3, 'up'], ['arrive', 0, 'idle'], ['arrive', 3, 'idle'], ['arrive', 1, 'idle'], ['arrive', 0, 'down'], ['arrive', 2, 'down'], ['arrive', 1, 'down'], ['press', 1, 'down'], ['press', 4, 'up'], ['arrive', 3, 'down']]}, {'log': ['served:', 'served:', 'served:', 'served:', 'served:', 'served:', 'served:', 'lit', 'ignored', 'served:'], 'pending': [[1, 'down']]}), ('control 37', {'floors': 7, 'events': [['arrive', 4, 'up'], ['press', 1, 'up'], ['arrive', 2, 'down'], ['press', 4, 'down'], ['arrive', 0, 'idle'], ['press', 4, 'down']]}, {'log': ['served:', 'lit', 'served:', 'lit', 'served:', 'lit'], 'pending': [[1, 'up'], [4, 'down']]}), ('control 40', {'floors': 9, 'events': [['arrive', 1, 'idle'], ['press', 7, 'down'], ['arrive', 0, 'down'], ['press', -1, 'up']]}, {'log': ['served:', 'lit', 'served:', 'ignored'], 'pending': [[7, 'down']]})], [('regression: up car at the top floor reverses', {'floors': 6, 'events': [['press', 5, 'down'], ['arrive', 5, 'up']]}, {'log': ['lit', 'served:down'], 'pending': []}), ('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 39', {'floors': 7, 'events': [['press', 4, 'down'], ['press', 1, 'up'], ['press', 6, 'down'], ['arrive', 6, 'up'], ['arrive', 0, 'up'], ['press', 6, 'down'], ['arrive', 1, 'idle'], ['press', 2, 'down']]}, {'log': ['lit', 'lit', 'lit', 'served:down', 'served:', 'lit', 'served:up', 'lit'], 'pending': [[2, 'down'], [4, 'down'], [6, 'down']]}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: down button at the lobby', {'floors': 6, 'events': [['press', 0, 'down'], ['press', 0, 'up']]}, {'log': ['ignored', 'lit'], 'pending': [[0, 'up']]}), ('control 45', {'floors': 5, 'events': [['arrive', 4, 'up'], ['arrive', 2, 'up'], ['press', -1, 'up'], ['press', 4, 'down'], ['press', 3, 'up'], ['press', 4, 'down'], ['arrive', 2, 'up']]}, {'log': ['served:', 'served:', 'ignored', 'lit', 'lit', 'lit', 'served:'], 'pending': [[3, 'up'], [4, 'down']]}), ('control 48', {'floors': 9, 'events': [['arrive', 8, 'idle'], ['press', 2, 'down'], ['press', 2, 'down'], ['press', 9, 'down'], ['press', -1, 'up'], ['arrive', 0, 'idle'], ['press', 8, 'down']]}, {'log': ['served:', 'lit', 'lit', 'ignored', 'ignored', 'served:', 'lit'], 'pending': [[2, 'down'], [8, 'down']]}), ('control 51', {'floors': 7, 'events': [['press', 7, 'down'], ['press', 4, 'down'], ['press', 6, 'down']]}, {'log': ['ignored', 'lit', 'lit'], 'pending': [[4, 'down'], [6, 'down']]})]]\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":"f7dade92c61f34e6fb2ef491383f83853855422f3459799661b6d19db5276d96","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    top = x['floors'] - 1\n    calls = set()\n    out = []\n    for kind, f, d in x['events']:\n        if kind == 'press':\n            if not (0 <= f <= top) or (f == top and d == 'up') or (f == 0 and d == 'down'):\n                out.append('ignored')\n                continue\n            calls.add((f, d))\n            out.append('lit')\n        else:\n            both = d == 'idle'\n            served = sorted(c for c in calls if c[0] == f and (both or c[1] == d))\n            for c in served:\n                calls.discard(c)\n            out.append('served:' + ','.join(c[1] for c in served))\n    return {'log': out, 'pending': sorted([list(c) for c in calls])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: up car at the top floor reverses', {'floors': 6, 'events': [['press', 5, 'down'], ['arrive', 5, 'up']]}, {'log': ['lit', 'served:down'], 'pending': []}), ('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: up button at the top floor', {'floors': 6, 'events': [['press', 5, 'up'], ['press', 5, 'down']]}, {'log': ['ignored', 'lit'], 'pending': [[5, 'down']]}), ('boundary: down button at the lobby', {'floors': 6, 'events': [['press', 0, 'down'], ['press', 0, 'up']]}, {'log': ['ignored', 'lit'], 'pending': [[0, 'up']]}), ('sampled regression 1', {'floors': 5, 'events': [['press', -1, 'down'], ['press', 4, 'down'], ['press', 4, 'down'], ['arrive', 3, 'idle'], ['press', 0, 'up'], ['press', 1, 'down'], ['press', 2, 'up'], ['arrive', 4, 'up']]}, {'log': ['ignored', 'lit', 'lit', 'served:', 'lit', 'lit', 'lit', 'served:down'], 'pending': [[0, 'up'], [1, 'down'], [2, 'up']]}), ('control 4', {'floors': 6, 'events': [['arrive', 2, 'up'], ['press', 1, 'up'], ['press', 5, 'down'], ['press', 1, 'down'], ['arrive', 4, 'up'], ['arrive', 3, 'up'], ['arrive', 0, 'idle'], ['arrive', 0, 'idle'], ['arrive', 5, 'down'], ['press', 0, 'down']]}, {'log': ['served:', 'lit', 'lit', 'lit', 'served:', 'served:', 'served:', 'served:', 'served:down', 'ignored'], 'pending': [[1, 'down'], [1, 'up']]}), ('control 7', {'floors': 5, 'events': [['arrive', 4, 'idle'], ['press', 3, 'down'], ['arrive', 2, 'down'], ['arrive', 3, 'idle'], ['arrive', 3, 'up'], ['press', 1, 'down']]}, {'log': ['served:', 'lit', 'served:', 'served:down', 'served:', 'lit'], 'pending': [[1, 'down']]})], [('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: idle car serves both lamps', {'floors': 6, 'events': [['press', 3, 'up'], ['press', 3, 'down'], ['arrive', 3, 'idle']]}, {'log': ['lit', 'lit', 'served:down,up'], 'pending': []}), ('regression: up car at the top floor reverses', {'floors': 6, 'events': [['press', 5, 'down'], ['arrive', 5, 'up']]}, {'log': ['lit', 'served:down'], 'pending': []}), ('boundary: floor above the shaft', {'floors': 6, 'events': [['press', 6, 'down'], ['press', -1, 'up']]}, {'log': ['ignored', 'ignored'], 'pending': []}), ('control 12', {'floors': 7, 'events': [['press', 5, 'up'], ['press', 6, 'down'], ['arrive', 2, 'idle'], ['arrive', 5, 'down'], ['press', 6, 'up']]}, {'log': ['lit', 'lit', 'served:', 'served:', 'ignored'], 'pending': [[5, 'up'], [6, 'down']]}), ('control 15', {'floors': 10, 'events': [['press', 9, 'up'], ['arrive', 5, 'down'], ['arrive', 9, 'up'], ['press', 0, 'down'], ['press', 10, 'down'], ['press', 2, 'down']]}, {'log': ['ignored', 'served:', 'served:', 'ignored', 'ignored', 'lit'], 'pending': [[2, 'down']]}), ('control 18', {'floors': 9, 'events': [['press', 5, 'down'], ['press', 1, 'down'], ['press', 7, 'down'], ['arrive', 0, 'up'], ['arrive', 3, 'up'], ['press', 7, 'up'], ['press', 5, 'up'], ['press', 8, 'up'], ['arrive', 8, 'up']]}, {'log': ['lit', 'lit', 'lit', 'served:', 'served:', 'lit', 'lit', 'ignored', 'served:'], 'pending': [[1, 'down'], [5, 'down'], [5, 'up'], [7, 'down'], [7, 'up']]})], [('regression: up car at the top floor reverses', {'floors': 6, 'events': [['press', 5, 'down'], ['arrive', 5, 'up']]}, {'log': ['lit', 'served:down'], 'pending': []}), ('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 77', {'floors': 6, 'events': [['press', 0, 'up'], ['press', -1, 'up'], ['arrive', 0, 'down'], ['arrive', 5, 'idle'], ['press', 3, 'up'], ['press', 5, 'up'], ['arrive', 5, 'up']]}, {'log': ['lit', 'ignored', 'served:up', 'served:', 'lit', 'ignored', 'served:'], 'pending': [[3, 'up']]}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: floor above the shaft', {'floors': 6, 'events': [['press', 6, 'down'], ['press', -1, 'up']]}, {'log': ['ignored', 'ignored'], 'pending': []}), ('control 23', {'floors': 10, 'events': [['press', 5, 'up'], ['press', 1, 'up'], ['arrive', 9, 'up'], ['arrive', 9, 'idle'], ['press', 9, 'up'], ['press', 9, 'up'], ['arrive', 1, 'down'], ['arrive', 9, 'up'], ['press', 4, 'up'], ['press', 4, 'down']]}, {'log': ['lit', 'lit', 'served:', 'served:', 'ignored', 'ignored', 'served:', 'served:', 'lit', 'lit'], 'pending': [[1, 'up'], [4, 'down'], [4, 'up'], [5, 'up']]}), ('control 29', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'idle'], ['press', 5, 'up'], ['press', 6, 'down'], ['press', 0, 'up'], ['arrive', 5, 'down']]}, {'log': ['lit', 'served:up', 'ignored', 'ignored', 'lit', 'served:'], 'pending': [[0, 'up']]}), ('control 32', {'floors': 5, 'events': [['press', -1, 'up'], ['arrive', 4, 'idle'], ['press', 2, 'up'], ['press', -1, 'up']]}, {'log': ['ignored', 'served:', 'lit', 'ignored'], 'pending': [[2, 'up']]})], [('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 60', {'floors': 8, 'events': [['press', 0, 'up'], ['arrive', 0, 'down'], ['arrive', 1, 'idle'], ['press', 7, 'down'], ['press', 4, 'down'], ['arrive', 5, 'idle'], ['arrive', 5, 'idle'], ['press', 7, 'up']]}, {'log': ['lit', 'served:up', 'served:', 'lit', 'lit', 'served:', 'served:', 'ignored'], 'pending': [[4, 'down'], [7, 'down']]}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: passing car in the other direction', {'floors': 6, 'events': [['press', 2, 'down'], ['arrive', 2, 'up']]}, {'log': ['lit', 'served:'], 'pending': [[2, 'down']]}), ('boundary: up button at the top floor', {'floors': 6, 'events': [['press', 5, 'up'], ['press', 5, 'down']]}, {'log': ['ignored', 'lit'], 'pending': [[5, 'down']]}), ('control 34', {'floors': 5, 'events': [['arrive', 3, 'up'], ['arrive', 0, 'idle'], ['arrive', 3, 'idle'], ['arrive', 1, 'idle'], ['arrive', 0, 'down'], ['arrive', 2, 'down'], ['arrive', 1, 'down'], ['press', 1, 'down'], ['press', 4, 'up'], ['arrive', 3, 'down']]}, {'log': ['served:', 'served:', 'served:', 'served:', 'served:', 'served:', 'served:', 'lit', 'ignored', 'served:'], 'pending': [[1, 'down']]}), ('control 37', {'floors': 7, 'events': [['arrive', 4, 'up'], ['press', 1, 'up'], ['arrive', 2, 'down'], ['press', 4, 'down'], ['arrive', 0, 'idle'], ['press', 4, 'down']]}, {'log': ['served:', 'lit', 'served:', 'lit', 'served:', 'lit'], 'pending': [[1, 'up'], [4, 'down']]}), ('control 40', {'floors': 9, 'events': [['arrive', 1, 'idle'], ['press', 7, 'down'], ['arrive', 0, 'down'], ['press', -1, 'up']]}, {'log': ['served:', 'lit', 'served:', 'ignored'], 'pending': [[7, 'down']]})], [('regression: up car at the top floor reverses', {'floors': 6, 'events': [['press', 5, 'down'], ['arrive', 5, 'up']]}, {'log': ['lit', 'served:down'], 'pending': []}), ('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 39', {'floors': 7, 'events': [['press', 4, 'down'], ['press', 1, 'up'], ['press', 6, 'down'], ['arrive', 6, 'up'], ['arrive', 0, 'up'], ['press', 6, 'down'], ['arrive', 1, 'idle'], ['press', 2, 'down']]}, {'log': ['lit', 'lit', 'lit', 'served:down', 'served:', 'lit', 'served:up', 'lit'], 'pending': [[2, 'down'], [4, 'down'], [6, 'down']]}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: down button at the lobby', {'floors': 6, 'events': [['press', 0, 'down'], ['press', 0, 'up']]}, {'log': ['ignored', 'lit'], 'pending': [[0, 'up']]}), ('control 45', {'floors': 5, 'events': [['arrive', 4, 'up'], ['arrive', 2, 'up'], ['press', -1, 'up'], ['press', 4, 'down'], ['press', 3, 'up'], ['press', 4, 'down'], ['arrive', 2, 'up']]}, {'log': ['served:', 'served:', 'ignored', 'lit', 'lit', 'lit', 'served:'], 'pending': [[3, 'up'], [4, 'down']]}), ('control 48', {'floors': 9, 'events': [['arrive', 8, 'idle'], ['press', 2, 'down'], ['press', 2, 'down'], ['press', 9, 'down'], ['press', -1, 'up'], ['arrive', 0, 'idle'], ['press', 8, 'down']]}, {'log': ['served:', 'lit', 'lit', 'ignored', 'ignored', 'served:', 'lit'], 'pending': [[2, 'down'], [8, 'down']]}), ('control 51', {'floors': 7, 'events': [['press', 7, 'down'], ['press', 4, 'down'], ['press', 6, 'down']]}, {'log': ['ignored', 'lit', 'lit'], 'pending': [[4, 'down'], [6, 'down']]})]]\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":"f55684a733bd4f6b5bbd46e2cb005978998589115ad8065fac16ba5ed3b57373","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    top = x['floors'] - 1\n    calls = set()\n    out = []\n    for kind, f, d in x['events']:\n        if kind == 'press':\n            if not (0 <= f <= top) or (f == top and d == 'up') or (f == 0 and d == 'down'):\n                out.append('ignored')\n                continue\n            calls.add((f, d))\n            out.append('lit')\n        else:\n            both = d == 'idle' or f in (0, top)\n            served = sorted(c for c in calls if c[0] == f and (both or c[1] == d))\n            for c in served:\n                calls.discard(c)\n            out.append('served:' + ','.join(c[1] for c in served))\n    return {'log': out, 'pending': sorted([list(c) for c in calls])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: up car at the top floor reverses', {'floors': 6, 'events': [['press', 5, 'down'], ['arrive', 5, 'up']]}, {'log': ['lit', 'served:down'], 'pending': []}), ('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: up button at the top floor', {'floors': 6, 'events': [['press', 5, 'up'], ['press', 5, 'down']]}, {'log': ['ignored', 'lit'], 'pending': [[5, 'down']]}), ('boundary: down button at the lobby', {'floors': 6, 'events': [['press', 0, 'down'], ['press', 0, 'up']]}, {'log': ['ignored', 'lit'], 'pending': [[0, 'up']]}), ('sampled regression 1', {'floors': 5, 'events': [['press', -1, 'down'], ['press', 4, 'down'], ['press', 4, 'down'], ['arrive', 3, 'idle'], ['press', 0, 'up'], ['press', 1, 'down'], ['press', 2, 'up'], ['arrive', 4, 'up']]}, {'log': ['ignored', 'lit', 'lit', 'served:', 'lit', 'lit', 'lit', 'served:down'], 'pending': [[0, 'up'], [1, 'down'], [2, 'up']]}), ('control 4', {'floors': 6, 'events': [['arrive', 2, 'up'], ['press', 1, 'up'], ['press', 5, 'down'], ['press', 1, 'down'], ['arrive', 4, 'up'], ['arrive', 3, 'up'], ['arrive', 0, 'idle'], ['arrive', 0, 'idle'], ['arrive', 5, 'down'], ['press', 0, 'down']]}, {'log': ['served:', 'lit', 'lit', 'lit', 'served:', 'served:', 'served:', 'served:', 'served:down', 'ignored'], 'pending': [[1, 'down'], [1, 'up']]}), ('control 7', {'floors': 5, 'events': [['arrive', 4, 'idle'], ['press', 3, 'down'], ['arrive', 2, 'down'], ['arrive', 3, 'idle'], ['arrive', 3, 'up'], ['press', 1, 'down']]}, {'log': ['served:', 'lit', 'served:', 'served:down', 'served:', 'lit'], 'pending': [[1, 'down']]})], [('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: idle car serves both lamps', {'floors': 6, 'events': [['press', 3, 'up'], ['press', 3, 'down'], ['arrive', 3, 'idle']]}, {'log': ['lit', 'lit', 'served:down,up'], 'pending': []}), ('regression: up car at the top floor reverses', {'floors': 6, 'events': [['press', 5, 'down'], ['arrive', 5, 'up']]}, {'log': ['lit', 'served:down'], 'pending': []}), ('boundary: floor above the shaft', {'floors': 6, 'events': [['press', 6, 'down'], ['press', -1, 'up']]}, {'log': ['ignored', 'ignored'], 'pending': []}), ('control 12', {'floors': 7, 'events': [['press', 5, 'up'], ['press', 6, 'down'], ['arrive', 2, 'idle'], ['arrive', 5, 'down'], ['press', 6, 'up']]}, {'log': ['lit', 'lit', 'served:', 'served:', 'ignored'], 'pending': [[5, 'up'], [6, 'down']]}), ('control 15', {'floors': 10, 'events': [['press', 9, 'up'], ['arrive', 5, 'down'], ['arrive', 9, 'up'], ['press', 0, 'down'], ['press', 10, 'down'], ['press', 2, 'down']]}, {'log': ['ignored', 'served:', 'served:', 'ignored', 'ignored', 'lit'], 'pending': [[2, 'down']]}), ('control 18', {'floors': 9, 'events': [['press', 5, 'down'], ['press', 1, 'down'], ['press', 7, 'down'], ['arrive', 0, 'up'], ['arrive', 3, 'up'], ['press', 7, 'up'], ['press', 5, 'up'], ['press', 8, 'up'], ['arrive', 8, 'up']]}, {'log': ['lit', 'lit', 'lit', 'served:', 'served:', 'lit', 'lit', 'ignored', 'served:'], 'pending': [[1, 'down'], [5, 'down'], [5, 'up'], [7, 'down'], [7, 'up']]})], [('regression: up car at the top floor reverses', {'floors': 6, 'events': [['press', 5, 'down'], ['arrive', 5, 'up']]}, {'log': ['lit', 'served:down'], 'pending': []}), ('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 77', {'floors': 6, 'events': [['press', 0, 'up'], ['press', -1, 'up'], ['arrive', 0, 'down'], ['arrive', 5, 'idle'], ['press', 3, 'up'], ['press', 5, 'up'], ['arrive', 5, 'up']]}, {'log': ['lit', 'ignored', 'served:up', 'served:', 'lit', 'ignored', 'served:'], 'pending': [[3, 'up']]}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: floor above the shaft', {'floors': 6, 'events': [['press', 6, 'down'], ['press', -1, 'up']]}, {'log': ['ignored', 'ignored'], 'pending': []}), ('control 23', {'floors': 10, 'events': [['press', 5, 'up'], ['press', 1, 'up'], ['arrive', 9, 'up'], ['arrive', 9, 'idle'], ['press', 9, 'up'], ['press', 9, 'up'], ['arrive', 1, 'down'], ['arrive', 9, 'up'], ['press', 4, 'up'], ['press', 4, 'down']]}, {'log': ['lit', 'lit', 'served:', 'served:', 'ignored', 'ignored', 'served:', 'served:', 'lit', 'lit'], 'pending': [[1, 'up'], [4, 'down'], [4, 'up'], [5, 'up']]}), ('control 29', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'idle'], ['press', 5, 'up'], ['press', 6, 'down'], ['press', 0, 'up'], ['arrive', 5, 'down']]}, {'log': ['lit', 'served:up', 'ignored', 'ignored', 'lit', 'served:'], 'pending': [[0, 'up']]}), ('control 32', {'floors': 5, 'events': [['press', -1, 'up'], ['arrive', 4, 'idle'], ['press', 2, 'up'], ['press', -1, 'up']]}, {'log': ['ignored', 'served:', 'lit', 'ignored'], 'pending': [[2, 'up']]})], [('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 60', {'floors': 8, 'events': [['press', 0, 'up'], ['arrive', 0, 'down'], ['arrive', 1, 'idle'], ['press', 7, 'down'], ['press', 4, 'down'], ['arrive', 5, 'idle'], ['arrive', 5, 'idle'], ['press', 7, 'up']]}, {'log': ['lit', 'served:up', 'served:', 'lit', 'lit', 'served:', 'served:', 'ignored'], 'pending': [[4, 'down'], [7, 'down']]}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: passing car in the other direction', {'floors': 6, 'events': [['press', 2, 'down'], ['arrive', 2, 'up']]}, {'log': ['lit', 'served:'], 'pending': [[2, 'down']]}), ('boundary: up button at the top floor', {'floors': 6, 'events': [['press', 5, 'up'], ['press', 5, 'down']]}, {'log': ['ignored', 'lit'], 'pending': [[5, 'down']]}), ('control 34', {'floors': 5, 'events': [['arrive', 3, 'up'], ['arrive', 0, 'idle'], ['arrive', 3, 'idle'], ['arrive', 1, 'idle'], ['arrive', 0, 'down'], ['arrive', 2, 'down'], ['arrive', 1, 'down'], ['press', 1, 'down'], ['press', 4, 'up'], ['arrive', 3, 'down']]}, {'log': ['served:', 'served:', 'served:', 'served:', 'served:', 'served:', 'served:', 'lit', 'ignored', 'served:'], 'pending': [[1, 'down']]}), ('control 37', {'floors': 7, 'events': [['arrive', 4, 'up'], ['press', 1, 'up'], ['arrive', 2, 'down'], ['press', 4, 'down'], ['arrive', 0, 'idle'], ['press', 4, 'down']]}, {'log': ['served:', 'lit', 'served:', 'lit', 'served:', 'lit'], 'pending': [[1, 'up'], [4, 'down']]}), ('control 40', {'floors': 9, 'events': [['arrive', 1, 'idle'], ['press', 7, 'down'], ['arrive', 0, 'down'], ['press', -1, 'up']]}, {'log': ['served:', 'lit', 'served:', 'ignored'], 'pending': [[7, 'down']]})], [('regression: up car at the top floor reverses', {'floors': 6, 'events': [['press', 5, 'down'], ['arrive', 5, 'up']]}, {'log': ['lit', 'served:down'], 'pending': []}), ('regression: down car at the lobby reverses', {'floors': 6, 'events': [['press', 0, 'up'], ['arrive', 0, 'down']]}, {'log': ['lit', 'served:up'], 'pending': []}), ('sampled regression 39', {'floors': 7, 'events': [['press', 4, 'down'], ['press', 1, 'up'], ['press', 6, 'down'], ['arrive', 6, 'up'], ['arrive', 0, 'up'], ['press', 6, 'down'], ['arrive', 1, 'idle'], ['press', 2, 'down']]}, {'log': ['lit', 'lit', 'lit', 'served:down', 'served:', 'lit', 'served:up', 'lit'], 'pending': [[2, 'down'], [4, 'down'], [6, 'down']]}), ('sampled regression 26', {'floors': 5, 'events': [['press', 4, 'down'], ['press', 0, 'down'], ['arrive', 0, 'up'], ['press', 3, 'up'], ['press', 3, 'up'], ['press', 0, 'up'], ['arrive', 4, 'idle'], ['arrive', 0, 'down'], ['press', 4, 'down']]}, {'log': ['lit', 'ignored', 'served:', 'lit', 'lit', 'lit', 'served:down', 'served:up', 'lit'], 'pending': [[3, 'up'], [4, 'down']]}), ('boundary: down button at the lobby', {'floors': 6, 'events': [['press', 0, 'down'], ['press', 0, 'up']]}, {'log': ['ignored', 'lit'], 'pending': [[0, 'up']]}), ('control 45', {'floors': 5, 'events': [['arrive', 4, 'up'], ['arrive', 2, 'up'], ['press', -1, 'up'], ['press', 4, 'down'], ['press', 3, 'up'], ['press', 4, 'down'], ['arrive', 2, 'up']]}, {'log': ['served:', 'served:', 'ignored', 'lit', 'lit', 'lit', 'served:'], 'pending': [[3, 'up'], [4, 'down']]}), ('control 48', {'floors': 9, 'events': [['arrive', 8, 'idle'], ['press', 2, 'down'], ['press', 2, 'down'], ['press', 9, 'down'], ['press', -1, 'up'], ['arrive', 0, 'idle'], ['press', 8, 'down']]}, {'log': ['served:', 'lit', 'lit', 'ignored', 'ignored', 'served:', 'lit'], 'pending': [[2, 'down'], [8, 'down']]}), ('control 51', {'floors': 7, 'events': [['press', 7, 'down'], ['press', 4, 'down'], ['press', 6, 'down']]}, {'log': ['ignored', 'lit', 'lit'], 'pending': [[4, 'down'], [6, 'down']]})]]\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-hall-button-lamps-terminal-reversal-service","generated_at":"2026-09-29T14:47:56.196170+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":"Serve both directions at terminal floors.","root_cause":"Terminal floors do not serve the opposite direction.","sha256":"c59659dfc44bb1dd8f7c8d03706cee81610286a998851fc6f8010cc38685ea5a","title":"Hall button registration and cancellation: terminal reversal service · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.906,"exit_code":1,"observations":[{"actual":{"log":["lit","served:down"],"pending":[]},"check":"regression: up car at the top floor reverses","expected":{"log":["lit","served:down"],"pending":[]},"passed":true},{"actual":{"log":["lit","served:"],"pending":[[0,"up"]]},"check":"regression: down car at the lobby reverses","expected":{"log":["lit","served:up"],"pending":[]},"passed":false},{"actual":{"log":["lit","ignored","served:","lit","lit","lit","served:down","served:","lit"],"pending":[[0,"up"],[3,"up"],[4,"down"]]},"check":"sampled regression 26","expected":{"log":["lit","ignored","served:","lit","lit","lit","served:down","served:up","lit"],"pending":[[3,"up"],[4,"down"]]},"passed":false},{"actual":{"log":["ignored","lit"],"pending":[[5,"down"]]},"check":"boundary: up button at the top floor","expected":{"log":["ignored","lit"],"pending":[[5,"down"]]},"passed":true},{"actual":{"log":["ignored","lit"],"pending":[[0,"up"]]},"check":"boundary: down button at the lobby","expected":{"log":["ignored","lit"],"pending":[[0,"up"]]},"passed":true},{"actual":{"log":["ignored","lit","lit","served:","lit","lit","lit","served:down"],"pending":[[0,"up"],[1,"down"],[2,"up"]]},"check":"sampled regression 1","expected":{"log":["ignored","lit","lit","served:","lit","lit","lit","served:down"],"pending":[[0,"up"],[1,"down"],[2,"up"]]},"passed":true},{"actual":{"log":["served:","lit","lit","lit","served:","served:","served:","served:","served:down","ignored"],"pending":[[1,"down"],[1,"up"]]},"check":"control 4","expected":{"log":["served:","lit","lit","lit","served:","served:","served:","served:","served:down","ignored"],"pending":[[1,"down"],[1,"up"]]},"passed":true},{"actual":{"log":["served:","lit","served:","served:down","served:","lit"],"pending":[[1,"down"]]},"check":"control 7","expected":{"log":["served:","lit","served:","served:down","served:","lit"],"pending":[[1,"down"]]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: up car at the top floor reverses\", \"actual\": {\"log\": [\"lit\", \"served:down\"], \"pending\": []}, \"expected\": {\"log\": [\"lit\", \"served:down\"], \"pending\": []}, \"passed\": true}, {\"check\": \"regression: down car at the lobby reverses\", \"actual\": {\"log\": [\"lit\", \"served:\"], \"pending\": [[0, \"up\"]]}, \"expected\": {\"log\": [\"lit\", \"served:up\"], \"pending\": []}, \"passed\": false}, {\"check\": \"sampled regression 26\", \"actual\": {\"log\": [\"lit\", \"ignored\", \"served:\", \"lit\", \"lit\", \"lit\", \"served:down\", \"served:\", \"lit\"], \"pending\": [[0, \"up\"], [3, \"up\"], [4, \"down\"]]}, \"expected\": {\"log\": [\"lit\", \"ignored\", \"served:\", \"lit\", \"lit\", \"lit\", \"served:down\", \"served:up\", \"lit\"], \"pending\": [[3, \"up\"], [4, \"down\"]]}, \"passed\": false}, {\"check\": \"boundary: up button at the top floor\", \"actual\": {\"log\": [\"ignored\", \"lit\"], \"pending\": [[5, \"down\"]]}, \"expected\": {\"log\": [\"ignored\", \"lit\"], \"pending\": [[5, \"down\"]]}, \"passed\": true}, {\"check\": \"boundary: down button at the lobby\", \"actual\": {\"log\": [\"ignored\", \"lit\"], \"pending\": [[0, \"up\"]]}, \"expected\": {\"log\": [\"ignored\", \"lit\"], \"pending\": [[0, \"up\"]]}, \"passed\": true}, {\"check\": \"sampled regression 1\", \"actual\": {\"log\": [\"ignored\", \"lit\", \"lit\", \"served:\", \"lit\", \"lit\", \"lit\", \"served:down\"], \"pending\": [[0, \"up\"], [1, \"down\"], [2, \"up\"]]}, \"expected\": {\"log\": [\"ignored\", \"lit\", \"lit\", \"served:\", \"lit\", \"lit\", \"lit\", \"served:down\"], \"pending\": [[0, \"up\"], [1, \"down\"], [2, \"up\"]]}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"log\": [\"served:\", \"lit\", \"lit\", \"lit\", \"served:\", \"served:\", \"served:\", \"served:\", \"served:down\", \"ignored\"], \"pending\": [[1, \"down\"], [1, \"up\"]]}, \"expected\": {\"log\": [\"served:\", \"lit\", \"lit\", \"lit\", \"served:\", \"served:\", \"served:\", \"served:\", \"served:down\", \"ignored\"], \"pending\": [[1, \"down\"], [1, \"up\"]]}, \"passed\": true}, {\"check\": \"control 7\", \"actual\": {\"log\": [\"served:\", \"lit\", \"served:\", \"served:down\", \"served:\", \"lit\"], \"pending\": [[1, \"down\"]]}, \"expected\": {\"log\": [\"served:\", \"lit\", \"served:\", \"served:down\", \"served:\", \"lit\"], \"pending\": [[1, \"down\"]]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.116,"exit_code":1,"observations":[{"actual":{"log":["lit","served:"],"pending":[[5,"down"]]},"check":"regression: up car at the top floor reverses","expected":{"log":["lit","served:down"],"pending":[]},"passed":false},{"actual":{"log":["lit","served:"],"pending":[[0,"up"]]},"check":"regression: down car at the lobby reverses","expected":{"log":["lit","served:up"],"pending":[]},"passed":false},{"actual":{"log":["lit","ignored","served:","lit","lit","lit","served:down","served:","lit"],"pending":[[0,"up"],[3,"up"],[4,"down"]]},"check":"sampled regression 26","expected":{"log":["lit","ignored","served:","lit","lit","lit","served:down","served:up","lit"],"pending":[[3,"up"],[4,"down"]]},"passed":false},{"actual":{"log":["ignored","lit"],"pending":[[5,"down"]]},"check":"boundary: up button at the top floor","expected":{"log":["ignored","lit"],"pending":[[5,"down"]]},"passed":true},{"actual":{"log":["ignored","lit"],"pending":[[0,"up"]]},"check":"boundary: down button at the lobby","expected":{"log":["ignored","lit"],"pending":[[0,"up"]]},"passed":true},{"actual":{"log":["ignored","lit","lit","served:","lit","lit","lit","served:"],"pending":[[0,"up"],[1,"down"],[2,"up"],[4,"down"]]},"check":"sampled regression 1","expected":{"log":["ignored","lit","lit","served:","lit","lit","lit","served:down"],"pending":[[0,"up"],[1,"down"],[2,"up"]]},"passed":false},{"actual":{"log":["served:","lit","lit","lit","served:","served:","served:","served:","served:down","ignored"],"pending":[[1,"down"],[1,"up"]]},"check":"control 4","expected":{"log":["served:","lit","lit","lit","served:","served:","served:","served:","served:down","ignored"],"pending":[[1,"down"],[1,"up"]]},"passed":true},{"actual":{"log":["served:","lit","served:","served:down","served:","lit"],"pending":[[1,"down"]]},"check":"control 7","expected":{"log":["served:","lit","served:","served:down","served:","lit"],"pending":[[1,"down"]]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: up car at the top floor reverses\", \"actual\": {\"log\": [\"lit\", \"served:\"], \"pending\": [[5, \"down\"]]}, \"expected\": {\"log\": [\"lit\", \"served:down\"], \"pending\": []}, \"passed\": false}, {\"check\": \"regression: down car at the lobby reverses\", \"actual\": {\"log\": [\"lit\", \"served:\"], \"pending\": [[0, \"up\"]]}, \"expected\": {\"log\": [\"lit\", \"served:up\"], \"pending\": []}, \"passed\": false}, {\"check\": \"sampled regression 26\", \"actual\": {\"log\": [\"lit\", \"ignored\", \"served:\", \"lit\", \"lit\", \"lit\", \"served:down\", \"served:\", \"lit\"], \"pending\": [[0, \"up\"], [3, \"up\"], [4, \"down\"]]}, \"expected\": {\"log\": [\"lit\", \"ignored\", \"served:\", \"lit\", \"lit\", \"lit\", \"served:down\", \"served:up\", \"lit\"], \"pending\": [[3, \"up\"], [4, \"down\"]]}, \"passed\": false}, {\"check\": \"boundary: up button at the top floor\", \"actual\": {\"log\": [\"ignored\", \"lit\"], \"pending\": [[5, \"down\"]]}, \"expected\": {\"log\": [\"ignored\", \"lit\"], \"pending\": [[5, \"down\"]]}, \"passed\": true}, {\"check\": \"boundary: down button at the lobby\", \"actual\": {\"log\": [\"ignored\", \"lit\"], \"pending\": [[0, \"up\"]]}, \"expected\": {\"log\": [\"ignored\", \"lit\"], \"pending\": [[0, \"up\"]]}, \"passed\": true}, {\"check\": \"sampled regression 1\", \"actual\": {\"log\": [\"ignored\", \"lit\", \"lit\", \"served:\", \"lit\", \"lit\", \"lit\", \"served:\"], \"pending\": [[0, \"up\"], [1, \"down\"], [2, \"up\"], [4, \"down\"]]}, \"expected\": {\"log\": [\"ignored\", \"lit\", \"lit\", \"served:\", \"lit\", \"lit\", \"lit\", \"served:down\"], \"pending\": [[0, \"up\"], [1, \"down\"], [2, \"up\"]]}, \"passed\": false}, {\"check\": \"control 4\", \"actual\": {\"log\": [\"served:\", \"lit\", \"lit\", \"lit\", \"served:\", \"served:\", \"served:\", \"served:\", \"served:down\", \"ignored\"], \"pending\": [[1, \"down\"], [1, \"up\"]]}, \"expected\": {\"log\": [\"served:\", \"lit\", \"lit\", \"lit\", \"served:\", \"served:\", \"served:\", \"served:\", \"served:down\", \"ignored\"], \"pending\": [[1, \"down\"], [1, \"up\"]]}, \"passed\": true}, {\"check\": \"control 7\", \"actual\": {\"log\": [\"served:\", \"lit\", \"served:\", \"served:down\", \"served:\", \"lit\"], \"pending\": [[1, \"down\"]]}, \"expected\": {\"log\": [\"served:\", \"lit\", \"served:\", \"served:down\", \"served:\", \"lit\"], \"pending\": [[1, \"down\"]]}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.029,"exit_code":0,"observations":[{"actual":{"log":["lit","served:down"],"pending":[]},"check":"regression: up car at the top floor reverses","expected":{"log":["lit","served:down"],"pending":[]},"passed":true},{"actual":{"log":["lit","served:up"],"pending":[]},"check":"regression: down car at the lobby reverses","expected":{"log":["lit","served:up"],"pending":[]},"passed":true},{"actual":{"log":["lit","ignored","served:","lit","lit","lit","served:down","served:up","lit"],"pending":[[3,"up"],[4,"down"]]},"check":"sampled regression 26","expected":{"log":["lit","ignored","served:","lit","lit","lit","served:down","served:up","lit"],"pending":[[3,"up"],[4,"down"]]},"passed":true},{"actual":{"log":["ignored","lit"],"pending":[[5,"down"]]},"check":"boundary: up button at the top floor","expected":{"log":["ignored","lit"],"pending":[[5,"down"]]},"passed":true},{"actual":{"log":["ignored","lit"],"pending":[[0,"up"]]},"check":"boundary: down button at the lobby","expected":{"log":["ignored","lit"],"pending":[[0,"up"]]},"passed":true},{"actual":{"log":["ignored","lit","lit","served:","lit","lit","lit","served:down"],"pending":[[0,"up"],[1,"down"],[2,"up"]]},"check":"sampled regression 1","expected":{"log":["ignored","lit","lit","served:","lit","lit","lit","served:down"],"pending":[[0,"up"],[1,"down"],[2,"up"]]},"passed":true},{"actual":{"log":["served:","lit","lit","lit","served:","served:","served:","served:","served:down","ignored"],"pending":[[1,"down"],[1,"up"]]},"check":"control 4","expected":{"log":["served:","lit","lit","lit","served:","served:","served:","served:","served:down","ignored"],"pending":[[1,"down"],[1,"up"]]},"passed":true},{"actual":{"log":["served:","lit","served:","served:down","served:","lit"],"pending":[[1,"down"]]},"check":"control 7","expected":{"log":["served:","lit","served:","served:down","served:","lit"],"pending":[[1,"down"]]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: up car at the top floor reverses\", \"actual\": {\"log\": [\"lit\", \"served:down\"], \"pending\": []}, \"expected\": {\"log\": [\"lit\", \"served:down\"], \"pending\": []}, \"passed\": true}, {\"check\": \"regression: down car at the lobby reverses\", \"actual\": {\"log\": [\"lit\", \"served:up\"], \"pending\": []}, \"expected\": {\"log\": [\"lit\", \"served:up\"], \"pending\": []}, \"passed\": true}, {\"check\": \"sampled regression 26\", \"actual\": {\"log\": [\"lit\", \"ignored\", \"served:\", \"lit\", \"lit\", \"lit\", \"served:down\", \"served:up\", \"lit\"], \"pending\": [[3, \"up\"], [4, \"down\"]]}, \"expected\": {\"log\": [\"lit\", \"ignored\", \"served:\", \"lit\", \"lit\", \"lit\", \"served:down\", \"served:up\", \"lit\"], \"pending\": [[3, \"up\"], [4, \"down\"]]}, \"passed\": true}, {\"check\": \"boundary: up button at the top floor\", \"actual\": {\"log\": [\"ignored\", \"lit\"], \"pending\": [[5, \"down\"]]}, \"expected\": {\"log\": [\"ignored\", \"lit\"], \"pending\": [[5, \"down\"]]}, \"passed\": true}, {\"check\": \"boundary: down button at the lobby\", \"actual\": {\"log\": [\"ignored\", \"lit\"], \"pending\": [[0, \"up\"]]}, \"expected\": {\"log\": [\"ignored\", \"lit\"], \"pending\": [[0, \"up\"]]}, \"passed\": true}, {\"check\": \"sampled regression 1\", \"actual\": {\"log\": [\"ignored\", \"lit\", \"lit\", \"served:\", \"lit\", \"lit\", \"lit\", \"served:down\"], \"pending\": [[0, \"up\"], [1, \"down\"], [2, \"up\"]]}, \"expected\": {\"log\": [\"ignored\", \"lit\", \"lit\", \"served:\", \"lit\", \"lit\", \"lit\", \"served:down\"], \"pending\": [[0, \"up\"], [1, \"down\"], [2, \"up\"]]}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"log\": [\"served:\", \"lit\", \"lit\", \"lit\", \"served:\", \"served:\", \"served:\", \"served:\", \"served:down\", \"ignored\"], \"pending\": [[1, \"down\"], [1, \"up\"]]}, \"expected\": {\"log\": [\"served:\", \"lit\", \"lit\", \"lit\", \"served:\", \"served:\", \"served:\", \"served:\", \"served:down\", \"ignored\"], \"pending\": [[1, \"down\"], [1, \"up\"]]}, \"passed\": true}, {\"check\": \"control 7\", \"actual\": {\"log\": [\"served:\", \"lit\", \"served:\", \"served:down\", \"served:\", \"lit\"], \"pending\": [[1, \"down\"]]}, \"expected\": {\"log\": [\"served:\", \"lit\", \"served:\", \"served:down\", \"served:\", \"lit\"], \"pending\": [[1, \"down\"]]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}