{"abstract":"The door keeps reopening on the third obstruction instead of nudging.","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":"Suppressing nudging when nobody is counted keeps a nuisance obstruction reopening the door.","family":"w2-elevator_dispatch_scheduling-door-dwell-time-nudging-onset","id":"FA-67406","implementations":{"attempt":{"sha256":"10b7400f2300d667670be7d23d02c7c06e11707a86d6c334684c8b9f9d0ebb1c","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(dwell, 150)\n    nudge = x['reopen_count'] >= 3 and pax > 0\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: third reopen', {'call_type': 'hall', 'boarding': 2, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('regression: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('sampled regression 12', {'call_type': 'car', 'boarding': 0, 'alighting': 4, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('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: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('sampled regression 39', {'call_type': 'car', 'boarding': 3, 'alighting': 3, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('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}), ('boundary: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 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: third reopen', {'call_type': 'hall', 'boarding': 2, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('regression: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('boundary: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('boundary: single passenger', {'call_type': 'hall', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 40, '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}), ('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}), ('sampled regression 29', {'call_type': 'both', 'boarding': 1, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True})], [('regression: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('sampled regression 28', {'call_type': 'car', 'boarding': 1, 'alighting': 3, '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}), ('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 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: third reopen', {'call_type': 'hall', 'boarding': 2, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('regression: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('sampled regression 54', {'call_type': 'both', 'boarding': 2, 'alighting': 7, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('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 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":"93a0cdbc5f647259d8edabe8f758eb3b54abfe5a0e20b5c967d9365fd6fffa4c","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(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: third reopen', {'call_type': 'hall', 'boarding': 2, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('regression: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('sampled regression 12', {'call_type': 'car', 'boarding': 0, 'alighting': 4, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('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: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('sampled regression 39', {'call_type': 'car', 'boarding': 3, 'alighting': 3, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('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}), ('boundary: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('sampled regression 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: third reopen', {'call_type': 'hall', 'boarding': 2, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('regression: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('boundary: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('boundary: single passenger', {'call_type': 'hall', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 40, '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}), ('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}), ('sampled regression 29', {'call_type': 'both', 'boarding': 1, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True})], [('regression: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('sampled regression 28', {'call_type': 'car', 'boarding': 1, 'alighting': 3, '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}), ('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 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: third reopen', {'call_type': 'hall', 'boarding': 2, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('regression: third reopen with nobody moving', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('sampled regression 54', {'call_type': 'both', 'boarding': 2, 'alighting': 7, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('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 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-nudging-onset","generated_at":"2026-09-29T14:47:52.622107+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":"Nudging starts one reopen too late.","sha256":"a57e560055396e38a22db7bbf1efeef5ea2d5b145f748e5ea6706df1454b70ed","title":"Door dwell time calculation: nudging onset · 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":41.323,"exit_code":1,"observations":[{"actual":{"dwell_ds":20,"nudge":true},"check":"regression: third reopen","expected":{"dwell_ds":20,"nudge":true},"passed":true},{"actual":{"dwell_ds":25,"nudge":false},"check":"regression: third reopen with nobody moving","expected":{"dwell_ds":20,"nudge":true},"passed":false},{"actual":{"dwell_ds":20,"nudge":true},"check":"sampled regression 12","expected":{"dwell_ds":20,"nudge":true},"passed":true},{"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: third reopen\", \"actual\": {\"dwell_ds\": 20, \"nudge\": true}, \"expected\": {\"dwell_ds\": 20, \"nudge\": true}, \"passed\": true}, {\"check\": \"regression: third reopen with nobody moving\", \"actual\": {\"dwell_ds\": 25, \"nudge\": false}, \"expected\": {\"dwell_ds\": 20, \"nudge\": true}, \"passed\": false}, {\"check\": \"sampled regression 12\", \"actual\": {\"dwell_ds\": 20, \"nudge\": true}, \"expected\": {\"dwell_ds\": 20, \"nudge\": true}, \"passed\": true}, {\"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":41.113,"exit_code":1,"observations":[{"actual":{"dwell_ds":50,"nudge":false},"check":"regression: third reopen","expected":{"dwell_ds":20,"nudge":true},"passed":false},{"actual":{"dwell_ds":25,"nudge":false},"check":"regression: third reopen with nobody moving","expected":{"dwell_ds":20,"nudge":true},"passed":false},{"actual":{"dwell_ds":55,"nudge":false},"check":"sampled regression 12","expected":{"dwell_ds":20,"nudge":true},"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: third reopen\", \"actual\": {\"dwell_ds\": 50, \"nudge\": false}, \"expected\": {\"dwell_ds\": 20, \"nudge\": true}, \"passed\": false}, {\"check\": \"regression: third reopen with nobody moving\", \"actual\": {\"dwell_ds\": 25, \"nudge\": false}, \"expected\": {\"dwell_ds\": 20, \"nudge\": true}, \"passed\": false}, {\"check\": \"sampled regression 12\", \"actual\": {\"dwell_ds\": 55, \"nudge\": false}, \"expected\": {\"dwell_ds\": 20, \"nudge\": true}, \"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."}}