{"abstract":"A stop serving both hall and car calls closes its doors too quickly.","category":"Elevator dispatch scheduling","checks":8,"contract":"Dwell time in deciseconds: base 40 for a hall call stop (or a stop with both hall and car calls), 25 for a car-call-only stop. Accessible mode extends the base by half (integer). Every passenger beyond the first adds 10. The result is capped at 150. From the third reopen onward the door nudges with a fixed dwell of 20.","contract_signature":"x","evaluation_group":"w2-elevator_dispatch_scheduling-door-dwell-time","failed_approach":"Averaging the two bases for mixed stops still shortens the hall-call dwell.","family":"w2-elevator_dispatch_scheduling-door-dwell-time-stop-type-base","id":"FA-67386","implementations":{"attempt":{"sha256":"c650853da088ab69668901d6ad26d05fd46afd1ca7ffa91e321d12df5a434bc3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    base = 40 if x['call_type'] == 'hall' else 25 if x['call_type'] == 'car' else 32\n    if x['accessible']:\n        base = base * 3 // 2\n    pax = x['boarding'] + x['alighting']\n    dwell = base + 10 * max(pax - 1, 0)\n    dwell = min(dwell, 150)\n    nudge = x['reopen_count'] >= 3\n    if nudge:\n        dwell = 20\n    return {'dwell_ds': dwell, 'nudge': nudge}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, 'nudge': False}), ('sampled regression 19', {'call_type': 'both', 'boarding': 1, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 90, 'nudge': False}), ('sampled regression 3', {'call_type': 'both', 'boarding': 4, 'alighting': 4, 'reopen_count': 2, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('boundary: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('boundary: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('control 1', {'call_type': 'both', 'boarding': 6, 'alighting': 3, 'reopen_count': 4, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('control 4', {'call_type': 'hall', 'boarding': 5, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 100, 'nudge': False}), ('control 7', {'call_type': 'both', 'boarding': 5, 'alighting': 1, 'reopen_count': 4, 'accessible': True}, {'dwell_ds': 20, 'nudge': True})], [('regression: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, 'nudge': False}), ('sampled regression 67', {'call_type': 'both', 'boarding': 6, 'alighting': 1, 'reopen_count': 1, 'accessible': False}, {'dwell_ds': 100, 'nudge': False}), ('sampled regression 38', {'call_type': 'both', 'boarding': 5, 'alighting': 3, 'reopen_count': 1, 'accessible': False}, {'dwell_ds': 110, 'nudge': False}), ('boundary: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('boundary: nobody boards or alights', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 25, 'nudge': False}), ('control 12', {'call_type': 'car', 'boarding': 0, 'alighting': 4, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('control 15', {'call_type': 'hall', 'boarding': 2, 'alighting': 5, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 100, 'nudge': False}), ('control 18', {'call_type': 'car', 'boarding': 8, 'alighting': 7, 'reopen_count': 2, 'accessible': False}, {'dwell_ds': 150, 'nudge': False})], [('regression: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, 'nudge': False}), ('sampled regression 19', {'call_type': 'both', 'boarding': 1, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 90, 'nudge': False}), ('sampled regression 77', {'call_type': 'both', 'boarding': 3, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 110, 'nudge': False}), ('boundary: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('boundary: third reopen', {'call_type': 'hall', 'boarding': 2, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('control 23', {'call_type': 'hall', 'boarding': 7, 'alighting': 3, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 130, 'nudge': False}), ('sampled regression 26', {'call_type': 'both', 'boarding': 3, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 110, 'nudge': False}), ('control 29', {'call_type': 'both', 'boarding': 1, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True})], [('regression: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, 'nudge': False}), ('sampled regression 67', {'call_type': 'both', 'boarding': 6, 'alighting': 1, 'reopen_count': 1, 'accessible': False}, {'dwell_ds': 100, 'nudge': False}), ('sampled regression 19', {'call_type': 'both', 'boarding': 1, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 90, 'nudge': False}), ('boundary: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('boundary: single passenger', {'call_type': 'hall', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 40, 'nudge': False}), ('control 34', {'call_type': 'hall', 'boarding': 3, 'alighting': 5, 'reopen_count': 1, 'accessible': False}, {'dwell_ds': 110, 'nudge': False}), ('control 37', {'call_type': 'hall', 'boarding': 4, 'alighting': 0, 'reopen_count': 4, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('control 40', {'call_type': 'car', 'boarding': 1, 'alighting': 8, 'reopen_count': 4, 'accessible': False}, {'dwell_ds': 20, 'nudge': True})], [('regression: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, 'nudge': False}), ('sampled regression 19', {'call_type': 'both', 'boarding': 1, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 90, 'nudge': False}), ('sampled regression 65', {'call_type': 'both', 'boarding': 2, 'alighting': 6, 'reopen_count': 2, 'accessible': False}, {'dwell_ds': 110, 'nudge': False}), ('boundary: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('boundary: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('control 45', {'call_type': 'both', 'boarding': 6, 'alighting': 0, 'reopen_count': 4, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('control 48', {'call_type': 'hall', 'boarding': 3, 'alighting': 8, 'reopen_count': 2, 'accessible': False}, {'dwell_ds': 140, 'nudge': False}), ('control 51', {'call_type': 'hall', 'boarding': 2, 'alighting': 4, 'reopen_count': 1, 'accessible': False}, {'dwell_ds': 90, 'nudge': False})]]\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":"76cc1db3e30df4d3a5ce9a8feec3c900c1906a156006f3bd90af2788ed6a74bf","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    base = 40 if x['call_type'] == 'hall' else 25\n    if x['accessible']:\n        base = base * 3 // 2\n    pax = x['boarding'] + x['alighting']\n    dwell = base + 10 * max(pax - 1, 0)\n    dwell = min(dwell, 150)\n    nudge = x['reopen_count'] >= 3\n    if nudge:\n        dwell = 20\n    return {'dwell_ds': dwell, 'nudge': nudge}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, 'nudge': False}), ('sampled regression 19', {'call_type': 'both', 'boarding': 1, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 90, 'nudge': False}), ('sampled regression 3', {'call_type': 'both', 'boarding': 4, 'alighting': 4, 'reopen_count': 2, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('boundary: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('boundary: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('control 1', {'call_type': 'both', 'boarding': 6, 'alighting': 3, 'reopen_count': 4, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('control 4', {'call_type': 'hall', 'boarding': 5, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 100, 'nudge': False}), ('control 7', {'call_type': 'both', 'boarding': 5, 'alighting': 1, 'reopen_count': 4, 'accessible': True}, {'dwell_ds': 20, 'nudge': True})], [('regression: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, 'nudge': False}), ('sampled regression 67', {'call_type': 'both', 'boarding': 6, 'alighting': 1, 'reopen_count': 1, 'accessible': False}, {'dwell_ds': 100, 'nudge': False}), ('sampled regression 38', {'call_type': 'both', 'boarding': 5, 'alighting': 3, 'reopen_count': 1, 'accessible': False}, {'dwell_ds': 110, 'nudge': False}), ('boundary: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('boundary: nobody boards or alights', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 25, 'nudge': False}), ('control 12', {'call_type': 'car', 'boarding': 0, 'alighting': 4, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('control 15', {'call_type': 'hall', 'boarding': 2, 'alighting': 5, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 100, 'nudge': False}), ('control 18', {'call_type': 'car', 'boarding': 8, 'alighting': 7, 'reopen_count': 2, 'accessible': False}, {'dwell_ds': 150, 'nudge': False})], [('regression: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, 'nudge': False}), ('sampled regression 19', {'call_type': 'both', 'boarding': 1, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 90, 'nudge': False}), ('sampled regression 77', {'call_type': 'both', 'boarding': 3, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 110, 'nudge': False}), ('boundary: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('boundary: third reopen', {'call_type': 'hall', 'boarding': 2, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('control 23', {'call_type': 'hall', 'boarding': 7, 'alighting': 3, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 130, 'nudge': False}), ('sampled regression 26', {'call_type': 'both', 'boarding': 3, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 110, 'nudge': False}), ('control 29', {'call_type': 'both', 'boarding': 1, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True})], [('regression: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, 'nudge': False}), ('sampled regression 67', {'call_type': 'both', 'boarding': 6, 'alighting': 1, 'reopen_count': 1, 'accessible': False}, {'dwell_ds': 100, 'nudge': False}), ('sampled regression 19', {'call_type': 'both', 'boarding': 1, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 90, 'nudge': False}), ('boundary: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('boundary: single passenger', {'call_type': 'hall', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 40, 'nudge': False}), ('control 34', {'call_type': 'hall', 'boarding': 3, 'alighting': 5, 'reopen_count': 1, 'accessible': False}, {'dwell_ds': 110, 'nudge': False}), ('control 37', {'call_type': 'hall', 'boarding': 4, 'alighting': 0, 'reopen_count': 4, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('control 40', {'call_type': 'car', 'boarding': 1, 'alighting': 8, 'reopen_count': 4, 'accessible': False}, {'dwell_ds': 20, 'nudge': True})], [('regression: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, 'nudge': False}), ('sampled regression 19', {'call_type': 'both', 'boarding': 1, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 90, 'nudge': False}), ('sampled regression 65', {'call_type': 'both', 'boarding': 2, 'alighting': 6, 'reopen_count': 2, 'accessible': False}, {'dwell_ds': 110, 'nudge': False}), ('boundary: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('boundary: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('control 45', {'call_type': 'both', 'boarding': 6, 'alighting': 0, 'reopen_count': 4, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('control 48', {'call_type': 'hall', 'boarding': 3, 'alighting': 8, 'reopen_count': 2, 'accessible': False}, {'dwell_ds': 140, 'nudge': False}), ('control 51', {'call_type': 'hall', 'boarding': 2, 'alighting': 4, 'reopen_count': 1, 'accessible': False}, {'dwell_ds': 90, 'nudge': False})]]\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-door-dwell-time-stop-type-base","generated_at":"2026-09-29T14:47:52.418061+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Lift group controllers make these decisions many times per minute; a wrong answer strands passengers, wastes trips or overrides a safety rule.","root_cause":"Only pure hall-call stops get the hall-call base time.","sha256":"53fcea83a5c8794e27b08207519566f8324e5d5a8d92f19317a38034901c1b88","title":"Door dwell time calculation: stop type base · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":38.718,"exit_code":1,"observations":[{"actual":{"dwell_ds":42,"nudge":false},"check":"regression: stop with hall and car calls","expected":{"dwell_ds":50,"nudge":false},"passed":false},{"actual":{"dwell_ds":78,"nudge":false},"check":"sampled regression 19","expected":{"dwell_ds":90,"nudge":false},"passed":false},{"actual":{"dwell_ds":118,"nudge":false},"check":"sampled regression 3","expected":{"dwell_ds":130,"nudge":false},"passed":false},{"actual":{"dwell_ds":37,"nudge":false},"check":"boundary: accessible car call stop","expected":{"dwell_ds":37,"nudge":false},"passed":true},{"actual":{"dwell_ds":130,"nudge":false},"check":"boundary: accessible busy hall stop","expected":{"dwell_ds":130,"nudge":false},"passed":true},{"actual":{"dwell_ds":20,"nudge":true},"check":"control 1","expected":{"dwell_ds":20,"nudge":true},"passed":true},{"actual":{"dwell_ds":100,"nudge":false},"check":"control 4","expected":{"dwell_ds":100,"nudge":false},"passed":true},{"actual":{"dwell_ds":20,"nudge":true},"check":"control 7","expected":{"dwell_ds":20,"nudge":true},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: stop with hall and car calls\", \"actual\": {\"dwell_ds\": 42, \"nudge\": false}, \"expected\": {\"dwell_ds\": 50, \"nudge\": false}, \"passed\": false}, {\"check\": \"sampled regression 19\", \"actual\": {\"dwell_ds\": 78, \"nudge\": false}, \"expected\": {\"dwell_ds\": 90, \"nudge\": false}, \"passed\": false}, {\"check\": \"sampled regression 3\", \"actual\": {\"dwell_ds\": 118, \"nudge\": false}, \"expected\": {\"dwell_ds\": 130, \"nudge\": false}, \"passed\": false}, {\"check\": \"boundary: accessible car call stop\", \"actual\": {\"dwell_ds\": 37, \"nudge\": false}, \"expected\": {\"dwell_ds\": 37, \"nudge\": false}, \"passed\": true}, {\"check\": \"boundary: accessible busy hall stop\", \"actual\": {\"dwell_ds\": 130, \"nudge\": false}, \"expected\": {\"dwell_ds\": 130, \"nudge\": false}, \"passed\": true}, {\"check\": \"control 1\", \"actual\": {\"dwell_ds\": 20, \"nudge\": true}, \"expected\": {\"dwell_ds\": 20, \"nudge\": true}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"dwell_ds\": 100, \"nudge\": false}, \"expected\": {\"dwell_ds\": 100, \"nudge\": false}, \"passed\": true}, {\"check\": \"control 7\", \"actual\": {\"dwell_ds\": 20, \"nudge\": true}, \"expected\": {\"dwell_ds\": 20, \"nudge\": true}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.188,"exit_code":1,"observations":[{"actual":{"dwell_ds":35,"nudge":false},"check":"regression: stop with hall and car calls","expected":{"dwell_ds":50,"nudge":false},"passed":false},{"actual":{"dwell_ds":67,"nudge":false},"check":"sampled regression 19","expected":{"dwell_ds":90,"nudge":false},"passed":false},{"actual":{"dwell_ds":107,"nudge":false},"check":"sampled regression 3","expected":{"dwell_ds":130,"nudge":false},"passed":false},{"actual":{"dwell_ds":37,"nudge":false},"check":"boundary: accessible car call stop","expected":{"dwell_ds":37,"nudge":false},"passed":true},{"actual":{"dwell_ds":130,"nudge":false},"check":"boundary: accessible busy hall stop","expected":{"dwell_ds":130,"nudge":false},"passed":true},{"actual":{"dwell_ds":20,"nudge":true},"check":"control 1","expected":{"dwell_ds":20,"nudge":true},"passed":true},{"actual":{"dwell_ds":100,"nudge":false},"check":"control 4","expected":{"dwell_ds":100,"nudge":false},"passed":true},{"actual":{"dwell_ds":20,"nudge":true},"check":"control 7","expected":{"dwell_ds":20,"nudge":true},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: stop with hall and car calls\", \"actual\": {\"dwell_ds\": 35, \"nudge\": false}, \"expected\": {\"dwell_ds\": 50, \"nudge\": false}, \"passed\": false}, {\"check\": \"sampled regression 19\", \"actual\": {\"dwell_ds\": 67, \"nudge\": false}, \"expected\": {\"dwell_ds\": 90, \"nudge\": false}, \"passed\": false}, {\"check\": \"sampled regression 3\", \"actual\": {\"dwell_ds\": 107, \"nudge\": false}, \"expected\": {\"dwell_ds\": 130, \"nudge\": false}, \"passed\": false}, {\"check\": \"boundary: accessible car call stop\", \"actual\": {\"dwell_ds\": 37, \"nudge\": false}, \"expected\": {\"dwell_ds\": 37, \"nudge\": false}, \"passed\": true}, {\"check\": \"boundary: accessible busy hall stop\", \"actual\": {\"dwell_ds\": 130, \"nudge\": false}, \"expected\": {\"dwell_ds\": 130, \"nudge\": false}, \"passed\": true}, {\"check\": \"control 1\", \"actual\": {\"dwell_ds\": 20, \"nudge\": true}, \"expected\": {\"dwell_ds\": 20, \"nudge\": true}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"dwell_ds\": 100, \"nudge\": false}, \"expected\": {\"dwell_ds\": 100, \"nudge\": false}, \"passed\": true}, {\"check\": \"control 7\", \"actual\": {\"dwell_ds\": 20, \"nudge\": true}, \"expected\": {\"dwell_ds\": 20, \"nudge\": true}, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}