{"abstract":"Crowded stops hold the car far beyond the maximum dwell.","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":"Capping only the base leaves the passenger time uncapped.","family":"w2-elevator_dispatch_scheduling-door-dwell-time-dwell-cap","id":"FA-67401","implementations":{"attempt":{"sha256":"b327718d272168fcffa46b341aa85e2fd28124c29ab7180c5388cac6b6de48f9","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'] in ('hall', 'both') 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(base, 150) + 10 * max(pax - 1, 0)\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: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 56', {'call_type': 'car', 'boarding': 6, 'alighting': 8, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 18', {'call_type': 'car', 'boarding': 8, 'alighting': 7, 'reopen_count': 2, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('boundary: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, 'nudge': False}), ('boundary: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, '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: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 56', {'call_type': 'car', 'boarding': 6, 'alighting': 8, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 80', {'call_type': 'both', 'boarding': 7, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, '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}), ('sampled regression 18', {'call_type': 'car', 'boarding': 8, 'alighting': 7, 'reopen_count': 2, 'accessible': False}, {'dwell_ds': 150, 'nudge': False})], [('regression: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 56', {'call_type': 'car', 'boarding': 6, 'alighting': 8, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 59', {'call_type': 'both', 'boarding': 4, 'alighting': 8, 'reopen_count': 0, 'accessible': True}, {'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}), ('boundary: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, '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}), ('control 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: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 56', {'call_type': 'car', 'boarding': 6, 'alighting': 8, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 33', {'call_type': 'hall', 'boarding': 6, 'alighting': 5, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 150, '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: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 56', {'call_type': 'car', 'boarding': 6, 'alighting': 8, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 150, 'nudge': False}), ('boundary: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, '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":"043599ebe068153f6e5a3d17265e9922fde9f10b25ca94ad56c42ae582efd627","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'] in ('hall', 'both') 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 = dwell\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: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 56', {'call_type': 'car', 'boarding': 6, 'alighting': 8, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 18', {'call_type': 'car', 'boarding': 8, 'alighting': 7, 'reopen_count': 2, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('boundary: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, 'nudge': False}), ('boundary: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, '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: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 56', {'call_type': 'car', 'boarding': 6, 'alighting': 8, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 80', {'call_type': 'both', 'boarding': 7, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, '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}), ('sampled regression 18', {'call_type': 'car', 'boarding': 8, 'alighting': 7, 'reopen_count': 2, 'accessible': False}, {'dwell_ds': 150, 'nudge': False})], [('regression: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 56', {'call_type': 'car', 'boarding': 6, 'alighting': 8, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 59', {'call_type': 'both', 'boarding': 4, 'alighting': 8, 'reopen_count': 0, 'accessible': True}, {'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}), ('boundary: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, '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}), ('control 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: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 56', {'call_type': 'car', 'boarding': 6, 'alighting': 8, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 33', {'call_type': 'hall', 'boarding': 6, 'alighting': 5, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 150, '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: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 56', {'call_type': 'car', 'boarding': 6, 'alighting': 8, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 150, 'nudge': False}), ('boundary: stop with hall and car calls', {'call_type': 'both', 'boarding': 1, 'alighting': 1, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 50, '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-dwell-cap","generated_at":"2026-09-29T14:47:52.578598+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":"The maximum dwell is never applied.","sha256":"eb74c22fc48a91b65f15b376e92c82ddd176e0566ad297aeea207d2a913a7d11","title":"Door dwell time calculation: dwell cap · 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":39.919,"exit_code":1,"observations":[{"actual":{"dwell_ds":190,"nudge":false},"check":"regression: crowd exceeds the cap","expected":{"dwell_ds":150,"nudge":false},"passed":false},{"actual":{"dwell_ds":167,"nudge":false},"check":"sampled regression 56","expected":{"dwell_ds":150,"nudge":false},"passed":false},{"actual":{"dwell_ds":165,"nudge":false},"check":"sampled regression 18","expected":{"dwell_ds":150,"nudge":false},"passed":false},{"actual":{"dwell_ds":50,"nudge":false},"check":"boundary: stop with hall and car calls","expected":{"dwell_ds":50,"nudge":false},"passed":true},{"actual":{"dwell_ds":37,"nudge":false},"check":"boundary: accessible car call stop","expected":{"dwell_ds":37,"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: crowd exceeds the cap\", \"actual\": {\"dwell_ds\": 190, \"nudge\": false}, \"expected\": {\"dwell_ds\": 150, \"nudge\": false}, \"passed\": false}, {\"check\": \"sampled regression 56\", \"actual\": {\"dwell_ds\": 167, \"nudge\": false}, \"expected\": {\"dwell_ds\": 150, \"nudge\": false}, \"passed\": false}, {\"check\": \"sampled regression 18\", \"actual\": {\"dwell_ds\": 165, \"nudge\": false}, \"expected\": {\"dwell_ds\": 150, \"nudge\": false}, \"passed\": false}, {\"check\": \"boundary: stop with hall and car calls\", \"actual\": {\"dwell_ds\": 50, \"nudge\": false}, \"expected\": {\"dwell_ds\": 50, \"nudge\": false}, \"passed\": true}, {\"check\": \"boundary: accessible car call stop\", \"actual\": {\"dwell_ds\": 37, \"nudge\": false}, \"expected\": {\"dwell_ds\": 37, \"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":38.654,"exit_code":1,"observations":[{"actual":{"dwell_ds":190,"nudge":false},"check":"regression: crowd exceeds the cap","expected":{"dwell_ds":150,"nudge":false},"passed":false},{"actual":{"dwell_ds":167,"nudge":false},"check":"sampled regression 56","expected":{"dwell_ds":150,"nudge":false},"passed":false},{"actual":{"dwell_ds":165,"nudge":false},"check":"sampled regression 18","expected":{"dwell_ds":150,"nudge":false},"passed":false},{"actual":{"dwell_ds":50,"nudge":false},"check":"boundary: stop with hall and car calls","expected":{"dwell_ds":50,"nudge":false},"passed":true},{"actual":{"dwell_ds":37,"nudge":false},"check":"boundary: accessible car call stop","expected":{"dwell_ds":37,"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: crowd exceeds the cap\", \"actual\": {\"dwell_ds\": 190, \"nudge\": false}, \"expected\": {\"dwell_ds\": 150, \"nudge\": false}, \"passed\": false}, {\"check\": \"sampled regression 56\", \"actual\": {\"dwell_ds\": 167, \"nudge\": false}, \"expected\": {\"dwell_ds\": 150, \"nudge\": false}, \"passed\": false}, {\"check\": \"sampled regression 18\", \"actual\": {\"dwell_ds\": 165, \"nudge\": false}, \"expected\": {\"dwell_ds\": 150, \"nudge\": false}, \"passed\": false}, {\"check\": \"boundary: stop with hall and car calls\", \"actual\": {\"dwell_ds\": 50, \"nudge\": false}, \"expected\": {\"dwell_ds\": 50, \"nudge\": false}, \"passed\": true}, {\"check\": \"boundary: accessible car call stop\", \"actual\": {\"dwell_ds\": 37, \"nudge\": false}, \"expected\": {\"dwell_ds\": 37, \"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."}}