{"abstract":"An empty car accepts a sixth call from a prankster, or legitimate calls are refused.","category":"Elevator dispatch scheduling","checks":8,"contract":"Car buttons are processed in order. Pressing the current floor with doors open reopens the doors. Floors outside 0..floors-1 are invalid. Pressing an already registered floor cancels it, unless it is the only call (kept). With load under 20 kg, a new call is refused as nuisance once five calls are registered. Otherwise the call is registered. Return the sorted calls and the per-press log.","evaluation_group":"w2-elevator_dispatch_scheduling-car-call-registration","failed_approach":"Counting presses instead of registered calls refuses calls after cancellations and invalid presses.","family":"w2-elevator_dispatch_scheduling-car-call-registration-nuisance-limit","id":"FA-67511","implementations":{"attempt":{"sha256":"a939c9c1cef42c0500f66c0effb4be97ceec302c2eef31ca22143ccbe276c76c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    calls = []\n    log = []\n    for f in x['presses']:\n        if f == x['floor'] and x['doors_open']:\n            log.append('reopen')\n        elif f < 0 or f >= x['floors']:\n            log.append('invalid')\n        elif f in calls:\n            if len(calls) > 1:\n                calls.remove(f)\n                log.append('cancelled')\n            else:\n                log.append('kept')\n        elif x['load_kg'] < 20 and len(log) >= 5:\n            log.append('nuisance')\n        else:\n            calls.append(f)\n            log.append('registered')\n    return {'calls': sorted(calls), 'log': log}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 69', {'floors': 15, 'floor': 10, 'doors_open': False, 'load_kg': 15, 'presses': [3, 6, 0, -1, 12, 7, 10, 14, 6]}, {'calls': [0, 3, 7, 12], 'log': ['registered', 'registered', 'registered', 'invalid', 'registered', 'registered', 'nuisance', 'nuisance', 'cancelled']}), ('control 2', {'floors': 8, 'floor': 7, 'doors_open': False, 'load_kg': 19, 'presses': [4, 7, 0, 5, 6, -1, 4, 1]}, {'calls': [0, 1, 5, 6, 7], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'invalid', 'cancelled', 'registered']}), ('boundary: own floor with doors closed', {'floors': 10, 'floor': 4, 'doors_open': False, 'load_kg': 80, 'presses': [4, 6]}, {'calls': [4, 6], 'log': ['registered', 'registered']}), ('control 1', {'floors': 12, 'floor': 6, 'doors_open': True, 'load_kg': 19, 'presses': [7, 7, -1, 8, 7]}, {'calls': [8], 'log': ['registered', 'kept', 'invalid', 'registered', 'cancelled']}), ('control 4', {'floors': 7, 'floor': 6, 'doors_open': False, 'load_kg': 19, 'presses': [0, 6, 6, 6, 4, 6]}, {'calls': [0, 4], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'cancelled']}), ('control 7', {'floors': 7, 'floor': 1, 'doors_open': False, 'load_kg': 19, 'presses': [2, 0, 2, 5, 4, 6]}, {'calls': [0, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('control 34', {'floors': 11, 'floor': 9, 'doors_open': False, 'load_kg': 0, 'presses': [10, 0, 5, 6, 0, 5, 9, 10, 9]}, {'calls': [6], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'cancelled', 'registered', 'cancelled', 'cancelled']}), ('boundary: basement button that does not exist', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [-1, 3]}, {'calls': [3], 'log': ['invalid', 'registered']}), ('boundary: button one above the top', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [10, 9]}, {'calls': [9], 'log': ['invalid', 'registered']}), ('control 12', {'floors': 13, 'floor': 5, 'doors_open': True, 'load_kg': 21, 'presses': [2, 3, 11]}, {'calls': [2, 3, 11], 'log': ['registered', 'registered', 'registered']}), ('control 15', {'floors': 12, 'floor': 10, 'doors_open': False, 'load_kg': 21, 'presses': [10, 4, 1, 4, 5, 6]}, {'calls': [1, 5, 6, 10], 'log': ['registered', 'registered', 'registered', 'cancelled', 'registered', 'registered']}), ('control 18', {'floors': 9, 'floor': 4, 'doors_open': True, 'load_kg': 19, 'presses': [3, 0, 5, 2, 7, 7, -1, 0]}, {'calls': [2, 3, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'cancelled', 'invalid', 'cancelled']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 64', {'floors': 12, 'floor': 6, 'doors_open': False, 'load_kg': 15, 'presses': [0, 7, 1, 9, 6, 2]}, {'calls': [0, 1, 6, 7, 9], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance']}), ('control 56', {'floors': 11, 'floor': 6, 'doors_open': True, 'load_kg': 0, 'presses': [0, 6, 4, 11, 11, 6, 2, -1, 8]}, {'calls': [0, 2, 4, 8], 'log': ['registered', 'reopen', 'registered', 'invalid', 'invalid', 'reopen', 'registered', 'invalid', 'registered']}), ('boundary: double press cancels', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [3, 5, 3]}, {'calls': [5], 'log': ['registered', 'registered', 'cancelled']}), ('control 23', {'floors': 14, 'floor': 2, 'doors_open': False, 'load_kg': 15, 'presses': [2, 14, 1, 0, -1, 14, 5, 13]}, {'calls': [0, 1, 2, 5, 13], 'log': ['registered', 'invalid', 'registered', 'registered', 'invalid', 'invalid', 'registered', 'registered']}), ('sampled regression 26', {'floors': 10, 'floor': 9, 'doors_open': True, 'load_kg': 15, 'presses': [2, 4, 5, 9, 6, 1, 7, 9]}, {'calls': [1, 2, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'registered', 'nuisance', 'reopen']}), ('control 29', {'floors': 10, 'floor': 8, 'doors_open': False, 'load_kg': 20, 'presses': [10, 0, 1]}, {'calls': [0, 1], 'log': ['invalid', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 78', {'floors': 14, 'floor': 9, 'doors_open': True, 'load_kg': 0, 'presses': [8, 3, 2, 9, 13, 9, 5, 6, 0]}, {'calls': [2, 3, 5, 8, 13], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'reopen', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancel an earlier call', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [3, 5, 7, 5]}, {'calls': [3, 7], 'log': ['registered', 'registered', 'registered', 'cancelled']}), ('boundary: exactly twenty kilograms', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 20, 'presses': [1, 2, 3, 4, 5, 6]}, {'calls': [1, 2, 3, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'registered']}), ('control 34', {'floors': 11, 'floor': 9, 'doors_open': False, 'load_kg': 0, 'presses': [10, 0, 5, 6, 0, 5, 9, 10, 9]}, {'calls': [6], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'cancelled', 'registered', 'cancelled', 'cancelled']}), ('control 37', {'floors': 10, 'floor': 7, 'doors_open': True, 'load_kg': 80, 'presses': [10, 0, -1, -1, 5]}, {'calls': [0, 5], 'log': ['invalid', 'registered', 'invalid', 'invalid', 'registered']}), ('control 40', {'floors': 13, 'floor': 0, 'doors_open': True, 'load_kg': 15, 'presses': [0, -1, 8, 3]}, {'calls': [3, 8], 'log': ['reopen', 'invalid', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 26', {'floors': 10, 'floor': 9, 'doors_open': True, 'load_kg': 15, 'presses': [2, 4, 5, 9, 6, 1, 7, 9]}, {'calls': [1, 2, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'registered', 'nuisance', 'reopen']}), ('control 33', {'floors': 11, 'floor': 8, 'doors_open': True, 'load_kg': 15, 'presses': [9, 10, 6, 5, 10, 10, 8, 2, 9]}, {'calls': [2, 5, 6, 10], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'registered', 'reopen', 'registered', 'cancelled']}), ('boundary: exactly twenty kilograms', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 20, 'presses': [1, 2, 3, 4, 5, 6]}, {'calls': [1, 2, 3, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'registered']}), ('control 45', {'floors': 10, 'floor': 6, 'doors_open': False, 'load_kg': 20, 'presses': [10, 9, 0, 0, 5, 7, 2, 3, 3]}, {'calls': [2, 5, 7, 9], 'log': ['invalid', 'registered', 'registered', 'cancelled', 'registered', 'registered', 'registered', 'registered', 'cancelled']}), ('control 48', {'floors': 10, 'floor': 2, 'doors_open': False, 'load_kg': 0, 'presses': [6, 10, 7, 2, 7, 4, 9]}, {'calls': [2, 4, 6, 9], 'log': ['registered', 'invalid', 'registered', 'registered', 'cancelled', 'registered', 'registered']}), ('control 51', {'floors': 15, 'floor': 9, 'doors_open': True, 'load_kg': 21, 'presses': [13, 6, 9, 10, 9]}, {'calls': [6, 10, 13], 'log': ['registered', 'registered', 'reopen', 'registered', 'reopen']})]]\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":"64090adbdea627a547ea63a2ad87e850b797a7cbd8fa1c9607554c5b9a73c80e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    calls = []\n    log = []\n    for f in x['presses']:\n        if f == x['floor'] and x['doors_open']:\n            log.append('reopen')\n        elif f < 0 or f >= x['floors']:\n            log.append('invalid')\n        elif f in calls:\n            if len(calls) > 1:\n                calls.remove(f)\n                log.append('cancelled')\n            else:\n                log.append('kept')\n        elif x['load_kg'] < 20 and len(calls) > 5:\n            log.append('nuisance')\n        else:\n            calls.append(f)\n            log.append('registered')\n    return {'calls': sorted(calls), 'log': log}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 69', {'floors': 15, 'floor': 10, 'doors_open': False, 'load_kg': 15, 'presses': [3, 6, 0, -1, 12, 7, 10, 14, 6]}, {'calls': [0, 3, 7, 12], 'log': ['registered', 'registered', 'registered', 'invalid', 'registered', 'registered', 'nuisance', 'nuisance', 'cancelled']}), ('control 2', {'floors': 8, 'floor': 7, 'doors_open': False, 'load_kg': 19, 'presses': [4, 7, 0, 5, 6, -1, 4, 1]}, {'calls': [0, 1, 5, 6, 7], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'invalid', 'cancelled', 'registered']}), ('boundary: own floor with doors closed', {'floors': 10, 'floor': 4, 'doors_open': False, 'load_kg': 80, 'presses': [4, 6]}, {'calls': [4, 6], 'log': ['registered', 'registered']}), ('control 1', {'floors': 12, 'floor': 6, 'doors_open': True, 'load_kg': 19, 'presses': [7, 7, -1, 8, 7]}, {'calls': [8], 'log': ['registered', 'kept', 'invalid', 'registered', 'cancelled']}), ('control 4', {'floors': 7, 'floor': 6, 'doors_open': False, 'load_kg': 19, 'presses': [0, 6, 6, 6, 4, 6]}, {'calls': [0, 4], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'cancelled']}), ('control 7', {'floors': 7, 'floor': 1, 'doors_open': False, 'load_kg': 19, 'presses': [2, 0, 2, 5, 4, 6]}, {'calls': [0, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('control 34', {'floors': 11, 'floor': 9, 'doors_open': False, 'load_kg': 0, 'presses': [10, 0, 5, 6, 0, 5, 9, 10, 9]}, {'calls': [6], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'cancelled', 'registered', 'cancelled', 'cancelled']}), ('boundary: basement button that does not exist', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [-1, 3]}, {'calls': [3], 'log': ['invalid', 'registered']}), ('boundary: button one above the top', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [10, 9]}, {'calls': [9], 'log': ['invalid', 'registered']}), ('control 12', {'floors': 13, 'floor': 5, 'doors_open': True, 'load_kg': 21, 'presses': [2, 3, 11]}, {'calls': [2, 3, 11], 'log': ['registered', 'registered', 'registered']}), ('control 15', {'floors': 12, 'floor': 10, 'doors_open': False, 'load_kg': 21, 'presses': [10, 4, 1, 4, 5, 6]}, {'calls': [1, 5, 6, 10], 'log': ['registered', 'registered', 'registered', 'cancelled', 'registered', 'registered']}), ('control 18', {'floors': 9, 'floor': 4, 'doors_open': True, 'load_kg': 19, 'presses': [3, 0, 5, 2, 7, 7, -1, 0]}, {'calls': [2, 3, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'cancelled', 'invalid', 'cancelled']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 64', {'floors': 12, 'floor': 6, 'doors_open': False, 'load_kg': 15, 'presses': [0, 7, 1, 9, 6, 2]}, {'calls': [0, 1, 6, 7, 9], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance']}), ('control 56', {'floors': 11, 'floor': 6, 'doors_open': True, 'load_kg': 0, 'presses': [0, 6, 4, 11, 11, 6, 2, -1, 8]}, {'calls': [0, 2, 4, 8], 'log': ['registered', 'reopen', 'registered', 'invalid', 'invalid', 'reopen', 'registered', 'invalid', 'registered']}), ('boundary: double press cancels', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [3, 5, 3]}, {'calls': [5], 'log': ['registered', 'registered', 'cancelled']}), ('control 23', {'floors': 14, 'floor': 2, 'doors_open': False, 'load_kg': 15, 'presses': [2, 14, 1, 0, -1, 14, 5, 13]}, {'calls': [0, 1, 2, 5, 13], 'log': ['registered', 'invalid', 'registered', 'registered', 'invalid', 'invalid', 'registered', 'registered']}), ('sampled regression 26', {'floors': 10, 'floor': 9, 'doors_open': True, 'load_kg': 15, 'presses': [2, 4, 5, 9, 6, 1, 7, 9]}, {'calls': [1, 2, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'registered', 'nuisance', 'reopen']}), ('control 29', {'floors': 10, 'floor': 8, 'doors_open': False, 'load_kg': 20, 'presses': [10, 0, 1]}, {'calls': [0, 1], 'log': ['invalid', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 78', {'floors': 14, 'floor': 9, 'doors_open': True, 'load_kg': 0, 'presses': [8, 3, 2, 9, 13, 9, 5, 6, 0]}, {'calls': [2, 3, 5, 8, 13], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'reopen', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancel an earlier call', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [3, 5, 7, 5]}, {'calls': [3, 7], 'log': ['registered', 'registered', 'registered', 'cancelled']}), ('boundary: exactly twenty kilograms', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 20, 'presses': [1, 2, 3, 4, 5, 6]}, {'calls': [1, 2, 3, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'registered']}), ('control 34', {'floors': 11, 'floor': 9, 'doors_open': False, 'load_kg': 0, 'presses': [10, 0, 5, 6, 0, 5, 9, 10, 9]}, {'calls': [6], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'cancelled', 'registered', 'cancelled', 'cancelled']}), ('control 37', {'floors': 10, 'floor': 7, 'doors_open': True, 'load_kg': 80, 'presses': [10, 0, -1, -1, 5]}, {'calls': [0, 5], 'log': ['invalid', 'registered', 'invalid', 'invalid', 'registered']}), ('control 40', {'floors': 13, 'floor': 0, 'doors_open': True, 'load_kg': 15, 'presses': [0, -1, 8, 3]}, {'calls': [3, 8], 'log': ['reopen', 'invalid', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 26', {'floors': 10, 'floor': 9, 'doors_open': True, 'load_kg': 15, 'presses': [2, 4, 5, 9, 6, 1, 7, 9]}, {'calls': [1, 2, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'registered', 'nuisance', 'reopen']}), ('control 33', {'floors': 11, 'floor': 8, 'doors_open': True, 'load_kg': 15, 'presses': [9, 10, 6, 5, 10, 10, 8, 2, 9]}, {'calls': [2, 5, 6, 10], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'registered', 'reopen', 'registered', 'cancelled']}), ('boundary: exactly twenty kilograms', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 20, 'presses': [1, 2, 3, 4, 5, 6]}, {'calls': [1, 2, 3, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'registered']}), ('control 45', {'floors': 10, 'floor': 6, 'doors_open': False, 'load_kg': 20, 'presses': [10, 9, 0, 0, 5, 7, 2, 3, 3]}, {'calls': [2, 5, 7, 9], 'log': ['invalid', 'registered', 'registered', 'cancelled', 'registered', 'registered', 'registered', 'registered', 'cancelled']}), ('control 48', {'floors': 10, 'floor': 2, 'doors_open': False, 'load_kg': 0, 'presses': [6, 10, 7, 2, 7, 4, 9]}, {'calls': [2, 4, 6, 9], 'log': ['registered', 'invalid', 'registered', 'registered', 'cancelled', 'registered', 'registered']}), ('control 51', {'floors': 15, 'floor': 9, 'doors_open': True, 'load_kg': 21, 'presses': [13, 6, 9, 10, 9]}, {'calls': [6, 10, 13], 'log': ['registered', 'registered', 'reopen', 'registered', 'reopen']})]]\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":"960032498c87ba3bff0954f98d55a3baef0b2d619a68a930c0ce6e266d0ab35f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    calls = []\n    log = []\n    for f in x['presses']:\n        if f == x['floor'] and x['doors_open']:\n            log.append('reopen')\n        elif f < 0 or f >= x['floors']:\n            log.append('invalid')\n        elif f in calls:\n            if len(calls) > 1:\n                calls.remove(f)\n                log.append('cancelled')\n            else:\n                log.append('kept')\n        elif x['load_kg'] < 20 and len(calls) >= 5:\n            log.append('nuisance')\n        else:\n            calls.append(f)\n            log.append('registered')\n    return {'calls': sorted(calls), 'log': log}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 69', {'floors': 15, 'floor': 10, 'doors_open': False, 'load_kg': 15, 'presses': [3, 6, 0, -1, 12, 7, 10, 14, 6]}, {'calls': [0, 3, 7, 12], 'log': ['registered', 'registered', 'registered', 'invalid', 'registered', 'registered', 'nuisance', 'nuisance', 'cancelled']}), ('control 2', {'floors': 8, 'floor': 7, 'doors_open': False, 'load_kg': 19, 'presses': [4, 7, 0, 5, 6, -1, 4, 1]}, {'calls': [0, 1, 5, 6, 7], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'invalid', 'cancelled', 'registered']}), ('boundary: own floor with doors closed', {'floors': 10, 'floor': 4, 'doors_open': False, 'load_kg': 80, 'presses': [4, 6]}, {'calls': [4, 6], 'log': ['registered', 'registered']}), ('control 1', {'floors': 12, 'floor': 6, 'doors_open': True, 'load_kg': 19, 'presses': [7, 7, -1, 8, 7]}, {'calls': [8], 'log': ['registered', 'kept', 'invalid', 'registered', 'cancelled']}), ('control 4', {'floors': 7, 'floor': 6, 'doors_open': False, 'load_kg': 19, 'presses': [0, 6, 6, 6, 4, 6]}, {'calls': [0, 4], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'cancelled']}), ('control 7', {'floors': 7, 'floor': 1, 'doors_open': False, 'load_kg': 19, 'presses': [2, 0, 2, 5, 4, 6]}, {'calls': [0, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('control 34', {'floors': 11, 'floor': 9, 'doors_open': False, 'load_kg': 0, 'presses': [10, 0, 5, 6, 0, 5, 9, 10, 9]}, {'calls': [6], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'cancelled', 'registered', 'cancelled', 'cancelled']}), ('boundary: basement button that does not exist', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [-1, 3]}, {'calls': [3], 'log': ['invalid', 'registered']}), ('boundary: button one above the top', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [10, 9]}, {'calls': [9], 'log': ['invalid', 'registered']}), ('control 12', {'floors': 13, 'floor': 5, 'doors_open': True, 'load_kg': 21, 'presses': [2, 3, 11]}, {'calls': [2, 3, 11], 'log': ['registered', 'registered', 'registered']}), ('control 15', {'floors': 12, 'floor': 10, 'doors_open': False, 'load_kg': 21, 'presses': [10, 4, 1, 4, 5, 6]}, {'calls': [1, 5, 6, 10], 'log': ['registered', 'registered', 'registered', 'cancelled', 'registered', 'registered']}), ('control 18', {'floors': 9, 'floor': 4, 'doors_open': True, 'load_kg': 19, 'presses': [3, 0, 5, 2, 7, 7, -1, 0]}, {'calls': [2, 3, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'cancelled', 'invalid', 'cancelled']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 64', {'floors': 12, 'floor': 6, 'doors_open': False, 'load_kg': 15, 'presses': [0, 7, 1, 9, 6, 2]}, {'calls': [0, 1, 6, 7, 9], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance']}), ('control 56', {'floors': 11, 'floor': 6, 'doors_open': True, 'load_kg': 0, 'presses': [0, 6, 4, 11, 11, 6, 2, -1, 8]}, {'calls': [0, 2, 4, 8], 'log': ['registered', 'reopen', 'registered', 'invalid', 'invalid', 'reopen', 'registered', 'invalid', 'registered']}), ('boundary: double press cancels', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [3, 5, 3]}, {'calls': [5], 'log': ['registered', 'registered', 'cancelled']}), ('control 23', {'floors': 14, 'floor': 2, 'doors_open': False, 'load_kg': 15, 'presses': [2, 14, 1, 0, -1, 14, 5, 13]}, {'calls': [0, 1, 2, 5, 13], 'log': ['registered', 'invalid', 'registered', 'registered', 'invalid', 'invalid', 'registered', 'registered']}), ('sampled regression 26', {'floors': 10, 'floor': 9, 'doors_open': True, 'load_kg': 15, 'presses': [2, 4, 5, 9, 6, 1, 7, 9]}, {'calls': [1, 2, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'registered', 'nuisance', 'reopen']}), ('control 29', {'floors': 10, 'floor': 8, 'doors_open': False, 'load_kg': 20, 'presses': [10, 0, 1]}, {'calls': [0, 1], 'log': ['invalid', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 78', {'floors': 14, 'floor': 9, 'doors_open': True, 'load_kg': 0, 'presses': [8, 3, 2, 9, 13, 9, 5, 6, 0]}, {'calls': [2, 3, 5, 8, 13], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'reopen', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancel an earlier call', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [3, 5, 7, 5]}, {'calls': [3, 7], 'log': ['registered', 'registered', 'registered', 'cancelled']}), ('boundary: exactly twenty kilograms', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 20, 'presses': [1, 2, 3, 4, 5, 6]}, {'calls': [1, 2, 3, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'registered']}), ('control 34', {'floors': 11, 'floor': 9, 'doors_open': False, 'load_kg': 0, 'presses': [10, 0, 5, 6, 0, 5, 9, 10, 9]}, {'calls': [6], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'cancelled', 'registered', 'cancelled', 'cancelled']}), ('control 37', {'floors': 10, 'floor': 7, 'doors_open': True, 'load_kg': 80, 'presses': [10, 0, -1, -1, 5]}, {'calls': [0, 5], 'log': ['invalid', 'registered', 'invalid', 'invalid', 'registered']}), ('control 40', {'floors': 13, 'floor': 0, 'doors_open': True, 'load_kg': 15, 'presses': [0, -1, 8, 3]}, {'calls': [3, 8], 'log': ['reopen', 'invalid', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 26', {'floors': 10, 'floor': 9, 'doors_open': True, 'load_kg': 15, 'presses': [2, 4, 5, 9, 6, 1, 7, 9]}, {'calls': [1, 2, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'registered', 'nuisance', 'reopen']}), ('control 33', {'floors': 11, 'floor': 8, 'doors_open': True, 'load_kg': 15, 'presses': [9, 10, 6, 5, 10, 10, 8, 2, 9]}, {'calls': [2, 5, 6, 10], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'registered', 'reopen', 'registered', 'cancelled']}), ('boundary: exactly twenty kilograms', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 20, 'presses': [1, 2, 3, 4, 5, 6]}, {'calls': [1, 2, 3, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'registered']}), ('control 45', {'floors': 10, 'floor': 6, 'doors_open': False, 'load_kg': 20, 'presses': [10, 9, 0, 0, 5, 7, 2, 3, 3]}, {'calls': [2, 5, 7, 9], 'log': ['invalid', 'registered', 'registered', 'cancelled', 'registered', 'registered', 'registered', 'registered', 'cancelled']}), ('control 48', {'floors': 10, 'floor': 2, 'doors_open': False, 'load_kg': 0, 'presses': [6, 10, 7, 2, 7, 4, 9]}, {'calls': [2, 4, 6, 9], 'log': ['registered', 'invalid', 'registered', 'registered', 'cancelled', 'registered', 'registered']}), ('control 51', {'floors': 15, 'floor': 9, 'doors_open': True, 'load_kg': 21, 'presses': [13, 6, 9, 10, 9]}, {'calls': [6, 10, 13], 'log': ['registered', 'registered', 'reopen', 'registered', 'reopen']})]]\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-car-call-registration-nuisance-limit","generated_at":"2026-09-29T14:47:53.583318+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":"Refuse new calls from a near-empty car once five are registered.","root_cause":"The nuisance limit allows one call too many.","sha256":"6ec992aabcdb646052f211f04328e4be93a019192b40681582affea698af0ff3","title":"Car call registration and cancellation: nuisance limit · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.365,"exit_code":1,"observations":[{"actual":{"calls":[1,2,3,4,5],"log":["registered","registered","registered","registered","registered","nuisance","nuisance"]},"check":"regression: child presses every button","expected":{"calls":[1,2,3,4,5],"log":["registered","registered","registered","registered","registered","nuisance","nuisance"]},"passed":true},{"actual":{"calls":[1],"log":["registered","registered","cancelled","registered","cancelled","nuisance","nuisance","nuisance"]},"check":"boundary: cancelled presses do not count","expected":{"calls":[1,4,5,6],"log":["registered","registered","cancelled","registered","cancelled","registered","registered","registered"]},"passed":false},{"actual":{"calls":[0,3,12],"log":["registered","registered","registered","invalid","registered","nuisance","nuisance","nuisance","cancelled"]},"check":"sampled regression 69","expected":{"calls":[0,3,7,12],"log":["registered","registered","registered","invalid","registered","registered","nuisance","nuisance","cancelled"]},"passed":false},{"actual":{"calls":[0,5,6,7],"log":["registered","registered","registered","registered","registered","invalid","cancelled","nuisance"]},"check":"control 2","expected":{"calls":[0,1,5,6,7],"log":["registered","registered","registered","registered","registered","invalid","cancelled","registered"]},"passed":false},{"actual":{"calls":[4,6],"log":["registered","registered"]},"check":"boundary: own floor with doors closed","expected":{"calls":[4,6],"log":["registered","registered"]},"passed":true},{"actual":{"calls":[8],"log":["registered","kept","invalid","registered","cancelled"]},"check":"control 1","expected":{"calls":[8],"log":["registered","kept","invalid","registered","cancelled"]},"passed":true},{"actual":{"calls":[0,4],"log":["registered","registered","cancelled","registered","registered","cancelled"]},"check":"control 4","expected":{"calls":[0,4],"log":["registered","registered","cancelled","registered","registered","cancelled"]},"passed":true},{"actual":{"calls":[0,4,5],"log":["registered","registered","cancelled","registered","registered","nuisance"]},"check":"control 7","expected":{"calls":[0,4,5,6],"log":["registered","registered","cancelled","registered","registered","registered"]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: child presses every button\", \"actual\": {\"calls\": [1, 2, 3, 4, 5], \"log\": [\"registered\", \"registered\", \"registered\", \"registered\", \"registered\", \"nuisance\", \"nuisance\"]}, \"expected\": {\"calls\": [1, 2, 3, 4, 5], \"log\": [\"registered\", \"registered\", \"registered\", \"registered\", \"registered\", \"nuisance\", \"nuisance\"]}, \"passed\": true}, {\"check\": \"boundary: cancelled presses do not count\", \"actual\": {\"calls\": [1], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"cancelled\", \"nuisance\", \"nuisance\", \"nuisance\"]}, \"expected\": {\"calls\": [1, 4, 5, 6], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"registered\"]}, \"passed\": false}, {\"check\": \"sampled regression 69\", \"actual\": {\"calls\": [0, 3, 12], \"log\": [\"registered\", \"registered\", \"registered\", \"invalid\", \"registered\", \"nuisance\", \"nuisance\", \"nuisance\", \"cancelled\"]}, \"expected\": {\"calls\": [0, 3, 7, 12], \"log\": [\"registered\", \"registered\", \"registered\", \"invalid\", \"registered\", \"registered\", \"nuisance\", \"nuisance\", \"cancelled\"]}, \"passed\": false}, {\"check\": \"control 2\", \"actual\": {\"calls\": [0, 5, 6, 7], \"log\": [\"registered\", \"registered\", \"registered\", \"registered\", \"registered\", \"invalid\", \"cancelled\", \"nuisance\"]}, \"expected\": {\"calls\": [0, 1, 5, 6, 7], \"log\": [\"registered\", \"registered\", \"registered\", \"registered\", \"registered\", \"invalid\", \"cancelled\", \"registered\"]}, \"passed\": false}, {\"check\": \"boundary: own floor with doors closed\", \"actual\": {\"calls\": [4, 6], \"log\": [\"registered\", \"registered\"]}, \"expected\": {\"calls\": [4, 6], \"log\": [\"registered\", \"registered\"]}, \"passed\": true}, {\"check\": \"control 1\", \"actual\": {\"calls\": [8], \"log\": [\"registered\", \"kept\", \"invalid\", \"registered\", \"cancelled\"]}, \"expected\": {\"calls\": [8], \"log\": [\"registered\", \"kept\", \"invalid\", \"registered\", \"cancelled\"]}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"calls\": [0, 4], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"cancelled\"]}, \"expected\": {\"calls\": [0, 4], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"cancelled\"]}, \"passed\": true}, {\"check\": \"control 7\", \"actual\": {\"calls\": [0, 4, 5], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"nuisance\"]}, \"expected\": {\"calls\": [0, 4, 5, 6], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"registered\"]}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.816,"exit_code":1,"observations":[{"actual":{"calls":[1,2,3,4,5,6],"log":["registered","registered","registered","registered","registered","registered","nuisance"]},"check":"regression: child presses every button","expected":{"calls":[1,2,3,4,5],"log":["registered","registered","registered","registered","registered","nuisance","nuisance"]},"passed":false},{"actual":{"calls":[1,4,5,6],"log":["registered","registered","cancelled","registered","cancelled","registered","registered","registered"]},"check":"boundary: cancelled presses do not count","expected":{"calls":[1,4,5,6],"log":["registered","registered","cancelled","registered","cancelled","registered","registered","registered"]},"passed":true},{"actual":{"calls":[0,3,7,10,12],"log":["registered","registered","registered","invalid","registered","registered","registered","nuisance","cancelled"]},"check":"sampled regression 69","expected":{"calls":[0,3,7,12],"log":["registered","registered","registered","invalid","registered","registered","nuisance","nuisance","cancelled"]},"passed":false},{"actual":{"calls":[0,1,5,6,7],"log":["registered","registered","registered","registered","registered","invalid","cancelled","registered"]},"check":"control 2","expected":{"calls":[0,1,5,6,7],"log":["registered","registered","registered","registered","registered","invalid","cancelled","registered"]},"passed":true},{"actual":{"calls":[4,6],"log":["registered","registered"]},"check":"boundary: own floor with doors closed","expected":{"calls":[4,6],"log":["registered","registered"]},"passed":true},{"actual":{"calls":[8],"log":["registered","kept","invalid","registered","cancelled"]},"check":"control 1","expected":{"calls":[8],"log":["registered","kept","invalid","registered","cancelled"]},"passed":true},{"actual":{"calls":[0,4],"log":["registered","registered","cancelled","registered","registered","cancelled"]},"check":"control 4","expected":{"calls":[0,4],"log":["registered","registered","cancelled","registered","registered","cancelled"]},"passed":true},{"actual":{"calls":[0,4,5,6],"log":["registered","registered","cancelled","registered","registered","registered"]},"check":"control 7","expected":{"calls":[0,4,5,6],"log":["registered","registered","cancelled","registered","registered","registered"]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: child presses every button\", \"actual\": {\"calls\": [1, 2, 3, 4, 5, 6], \"log\": [\"registered\", \"registered\", \"registered\", \"registered\", \"registered\", \"registered\", \"nuisance\"]}, \"expected\": {\"calls\": [1, 2, 3, 4, 5], \"log\": [\"registered\", \"registered\", \"registered\", \"registered\", \"registered\", \"nuisance\", \"nuisance\"]}, \"passed\": false}, {\"check\": \"boundary: cancelled presses do not count\", \"actual\": {\"calls\": [1, 4, 5, 6], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"registered\"]}, \"expected\": {\"calls\": [1, 4, 5, 6], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"registered\"]}, \"passed\": true}, {\"check\": \"sampled regression 69\", \"actual\": {\"calls\": [0, 3, 7, 10, 12], \"log\": [\"registered\", \"registered\", \"registered\", \"invalid\", \"registered\", \"registered\", \"registered\", \"nuisance\", \"cancelled\"]}, \"expected\": {\"calls\": [0, 3, 7, 12], \"log\": [\"registered\", \"registered\", \"registered\", \"invalid\", \"registered\", \"registered\", \"nuisance\", \"nuisance\", \"cancelled\"]}, \"passed\": false}, {\"check\": \"control 2\", \"actual\": {\"calls\": [0, 1, 5, 6, 7], \"log\": [\"registered\", \"registered\", \"registered\", \"registered\", \"registered\", \"invalid\", \"cancelled\", \"registered\"]}, \"expected\": {\"calls\": [0, 1, 5, 6, 7], \"log\": [\"registered\", \"registered\", \"registered\", \"registered\", \"registered\", \"invalid\", \"cancelled\", \"registered\"]}, \"passed\": true}, {\"check\": \"boundary: own floor with doors closed\", \"actual\": {\"calls\": [4, 6], \"log\": [\"registered\", \"registered\"]}, \"expected\": {\"calls\": [4, 6], \"log\": [\"registered\", \"registered\"]}, \"passed\": true}, {\"check\": \"control 1\", \"actual\": {\"calls\": [8], \"log\": [\"registered\", \"kept\", \"invalid\", \"registered\", \"cancelled\"]}, \"expected\": {\"calls\": [8], \"log\": [\"registered\", \"kept\", \"invalid\", \"registered\", \"cancelled\"]}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"calls\": [0, 4], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"cancelled\"]}, \"expected\": {\"calls\": [0, 4], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"cancelled\"]}, \"passed\": true}, {\"check\": \"control 7\", \"actual\": {\"calls\": [0, 4, 5, 6], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"registered\"]}, \"expected\": {\"calls\": [0, 4, 5, 6], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"registered\"]}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.025,"exit_code":0,"observations":[{"actual":{"calls":[1,2,3,4,5],"log":["registered","registered","registered","registered","registered","nuisance","nuisance"]},"check":"regression: child presses every button","expected":{"calls":[1,2,3,4,5],"log":["registered","registered","registered","registered","registered","nuisance","nuisance"]},"passed":true},{"actual":{"calls":[1,4,5,6],"log":["registered","registered","cancelled","registered","cancelled","registered","registered","registered"]},"check":"boundary: cancelled presses do not count","expected":{"calls":[1,4,5,6],"log":["registered","registered","cancelled","registered","cancelled","registered","registered","registered"]},"passed":true},{"actual":{"calls":[0,3,7,12],"log":["registered","registered","registered","invalid","registered","registered","nuisance","nuisance","cancelled"]},"check":"sampled regression 69","expected":{"calls":[0,3,7,12],"log":["registered","registered","registered","invalid","registered","registered","nuisance","nuisance","cancelled"]},"passed":true},{"actual":{"calls":[0,1,5,6,7],"log":["registered","registered","registered","registered","registered","invalid","cancelled","registered"]},"check":"control 2","expected":{"calls":[0,1,5,6,7],"log":["registered","registered","registered","registered","registered","invalid","cancelled","registered"]},"passed":true},{"actual":{"calls":[4,6],"log":["registered","registered"]},"check":"boundary: own floor with doors closed","expected":{"calls":[4,6],"log":["registered","registered"]},"passed":true},{"actual":{"calls":[8],"log":["registered","kept","invalid","registered","cancelled"]},"check":"control 1","expected":{"calls":[8],"log":["registered","kept","invalid","registered","cancelled"]},"passed":true},{"actual":{"calls":[0,4],"log":["registered","registered","cancelled","registered","registered","cancelled"]},"check":"control 4","expected":{"calls":[0,4],"log":["registered","registered","cancelled","registered","registered","cancelled"]},"passed":true},{"actual":{"calls":[0,4,5,6],"log":["registered","registered","cancelled","registered","registered","registered"]},"check":"control 7","expected":{"calls":[0,4,5,6],"log":["registered","registered","cancelled","registered","registered","registered"]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: child presses every button\", \"actual\": {\"calls\": [1, 2, 3, 4, 5], \"log\": [\"registered\", \"registered\", \"registered\", \"registered\", \"registered\", \"nuisance\", \"nuisance\"]}, \"expected\": {\"calls\": [1, 2, 3, 4, 5], \"log\": [\"registered\", \"registered\", \"registered\", \"registered\", \"registered\", \"nuisance\", \"nuisance\"]}, \"passed\": true}, {\"check\": \"boundary: cancelled presses do not count\", \"actual\": {\"calls\": [1, 4, 5, 6], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"registered\"]}, \"expected\": {\"calls\": [1, 4, 5, 6], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"registered\"]}, \"passed\": true}, {\"check\": \"sampled regression 69\", \"actual\": {\"calls\": [0, 3, 7, 12], \"log\": [\"registered\", \"registered\", \"registered\", \"invalid\", \"registered\", \"registered\", \"nuisance\", \"nuisance\", \"cancelled\"]}, \"expected\": {\"calls\": [0, 3, 7, 12], \"log\": [\"registered\", \"registered\", \"registered\", \"invalid\", \"registered\", \"registered\", \"nuisance\", \"nuisance\", \"cancelled\"]}, \"passed\": true}, {\"check\": \"control 2\", \"actual\": {\"calls\": [0, 1, 5, 6, 7], \"log\": [\"registered\", \"registered\", \"registered\", \"registered\", \"registered\", \"invalid\", \"cancelled\", \"registered\"]}, \"expected\": {\"calls\": [0, 1, 5, 6, 7], \"log\": [\"registered\", \"registered\", \"registered\", \"registered\", \"registered\", \"invalid\", \"cancelled\", \"registered\"]}, \"passed\": true}, {\"check\": \"boundary: own floor with doors closed\", \"actual\": {\"calls\": [4, 6], \"log\": [\"registered\", \"registered\"]}, \"expected\": {\"calls\": [4, 6], \"log\": [\"registered\", \"registered\"]}, \"passed\": true}, {\"check\": \"control 1\", \"actual\": {\"calls\": [8], \"log\": [\"registered\", \"kept\", \"invalid\", \"registered\", \"cancelled\"]}, \"expected\": {\"calls\": [8], \"log\": [\"registered\", \"kept\", \"invalid\", \"registered\", \"cancelled\"]}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"calls\": [0, 4], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"cancelled\"]}, \"expected\": {\"calls\": [0, 4], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"cancelled\"]}, \"passed\": true}, {\"check\": \"control 7\", \"actual\": {\"calls\": [0, 4, 5, 6], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"registered\"]}, \"expected\": {\"calls\": [0, 4, 5, 6], \"log\": [\"registered\", \"registered\", \"cancelled\", \"registered\", \"registered\", \"registered\"]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}