{"abstract":"Every stop is ten deciseconds longer than stipulated, or shorter when nobody moves.","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":"Without the floor at zero an empty stop is shortened below the base.","family":"w2-elevator_dispatch_scheduling-door-dwell-time-first-passenger-allowance","id":"FA-67396","implementations":{"attempt":{"sha256":"c2443c743c342087b57ab47411ee834c3aa38f5581c1593a2a7e32974e885871","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 * (pax - 1)\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}), ('boundary: nobody boards or alights', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 25, 'nudge': False}), ('regression: single passenger', {'call_type': 'hall', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 40, 'nudge': False}), ('control 69', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('regression: 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}), ('sampled regression 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: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('boundary: nobody boards or alights', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 25, 'nudge': False}), ('sampled regression 11', {'call_type': 'car', 'boarding': 0, 'alighting': 3, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 45, 'nudge': False}), ('regression: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('boundary: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('control 12', {'call_type': 'car', 'boarding': 0, 'alighting': 4, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('sampled regression 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: 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}), ('sampled regression 23', {'call_type': 'hall', 'boarding': 7, 'alighting': 3, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 130, 'nudge': False}), ('control 69', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 37, '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 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}), ('control 32', {'call_type': 'both', 'boarding': 8, 'alighting': 0, 'reopen_count': 4, 'accessible': False}, {'dwell_ds': 20, 'nudge': True})], [('regression: single passenger', {'call_type': 'hall', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 40, 'nudge': False}), ('boundary: nobody boards or alights', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 25, 'nudge': False}), ('sampled regression 41', {'call_type': 'hall', 'boarding': 0, 'alighting': 5, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 80, '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}), ('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 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}), ('boundary: nobody boards or alights', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 25, 'nudge': False}), ('sampled regression 58', {'call_type': 'both', 'boarding': 7, 'alighting': 1, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('control 69', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('regression: 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}), ('sampled regression 48', {'call_type': 'hall', 'boarding': 3, 'alighting': 8, 'reopen_count': 2, 'accessible': False}, {'dwell_ds': 140, 'nudge': False}), ('sampled regression 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":"45d062a6efe2369e86f1da6ad19255ac398f7b6477419a6f37bccf864cc73ce2","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 * pax\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}), ('boundary: nobody boards or alights', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 25, 'nudge': False}), ('regression: single passenger', {'call_type': 'hall', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 40, 'nudge': False}), ('control 69', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('regression: 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}), ('sampled regression 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: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('boundary: nobody boards or alights', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 25, 'nudge': False}), ('sampled regression 11', {'call_type': 'car', 'boarding': 0, 'alighting': 3, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 45, 'nudge': False}), ('regression: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('boundary: crowd exceeds the cap', {'call_type': 'hall', 'boarding': 8, 'alighting': 8, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 150, 'nudge': False}), ('control 12', {'call_type': 'car', 'boarding': 0, 'alighting': 4, 'reopen_count': 3, 'accessible': False}, {'dwell_ds': 20, 'nudge': True}), ('sampled regression 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: 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}), ('sampled regression 23', {'call_type': 'hall', 'boarding': 7, 'alighting': 3, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 130, 'nudge': False}), ('control 69', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 37, '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 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}), ('control 32', {'call_type': 'both', 'boarding': 8, 'alighting': 0, 'reopen_count': 4, 'accessible': False}, {'dwell_ds': 20, 'nudge': True})], [('regression: single passenger', {'call_type': 'hall', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 40, 'nudge': False}), ('boundary: nobody boards or alights', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 25, 'nudge': False}), ('sampled regression 41', {'call_type': 'hall', 'boarding': 0, 'alighting': 5, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 80, '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}), ('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 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}), ('boundary: nobody boards or alights', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 0, 'accessible': False}, {'dwell_ds': 25, 'nudge': False}), ('sampled regression 58', {'call_type': 'both', 'boarding': 7, 'alighting': 1, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('control 69', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('regression: 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}), ('sampled regression 48', {'call_type': 'hall', 'boarding': 3, 'alighting': 8, 'reopen_count': 2, 'accessible': False}, {'dwell_ds': 140, 'nudge': False}), ('sampled regression 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-first-passenger-allowance","generated_at":"2026-09-29T14:47:52.501383+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 first passenger is charged transfer time too.","sha256":"c40fda395b4516f3c3436f0a5857d415a790f9bb34c88cfae3768ecb201a8602","title":"Door dwell time calculation: first passenger allowance · 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":40.857,"exit_code":1,"observations":[{"actual":{"dwell_ds":50,"nudge":false},"check":"regression: stop with hall and car calls","expected":{"dwell_ds":50,"nudge":false},"passed":true},{"actual":{"dwell_ds":15,"nudge":false},"check":"boundary: nobody boards or alights","expected":{"dwell_ds":25,"nudge":false},"passed":false},{"actual":{"dwell_ds":40,"nudge":false},"check":"regression: single passenger","expected":{"dwell_ds":40,"nudge":false},"passed":true},{"actual":{"dwell_ds":27,"nudge":false},"check":"control 69","expected":{"dwell_ds":37,"nudge":false},"passed":false},{"actual":{"dwell_ds":37,"nudge":false},"check":"regression: 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":"sampled regression 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\": 50, \"nudge\": false}, \"expected\": {\"dwell_ds\": 50, \"nudge\": false}, \"passed\": true}, {\"check\": \"boundary: nobody boards or alights\", \"actual\": {\"dwell_ds\": 15, \"nudge\": false}, \"expected\": {\"dwell_ds\": 25, \"nudge\": false}, \"passed\": false}, {\"check\": \"regression: single passenger\", \"actual\": {\"dwell_ds\": 40, \"nudge\": false}, \"expected\": {\"dwell_ds\": 40, \"nudge\": false}, \"passed\": true}, {\"check\": \"control 69\", \"actual\": {\"dwell_ds\": 27, \"nudge\": false}, \"expected\": {\"dwell_ds\": 37, \"nudge\": false}, \"passed\": false}, {\"check\": \"regression: 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\": \"sampled regression 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":39.703,"exit_code":1,"observations":[{"actual":{"dwell_ds":60,"nudge":false},"check":"regression: stop with hall and car calls","expected":{"dwell_ds":50,"nudge":false},"passed":false},{"actual":{"dwell_ds":25,"nudge":false},"check":"boundary: nobody boards or alights","expected":{"dwell_ds":25,"nudge":false},"passed":true},{"actual":{"dwell_ds":50,"nudge":false},"check":"regression: single passenger","expected":{"dwell_ds":40,"nudge":false},"passed":false},{"actual":{"dwell_ds":37,"nudge":false},"check":"control 69","expected":{"dwell_ds":37,"nudge":false},"passed":true},{"actual":{"dwell_ds":47,"nudge":false},"check":"regression: accessible car call stop","expected":{"dwell_ds":37,"nudge":false},"passed":false},{"actual":{"dwell_ds":20,"nudge":true},"check":"control 1","expected":{"dwell_ds":20,"nudge":true},"passed":true},{"actual":{"dwell_ds":110,"nudge":false},"check":"sampled regression 4","expected":{"dwell_ds":100,"nudge":false},"passed":false},{"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\": 60, \"nudge\": false}, \"expected\": {\"dwell_ds\": 50, \"nudge\": false}, \"passed\": false}, {\"check\": \"boundary: nobody boards or alights\", \"actual\": {\"dwell_ds\": 25, \"nudge\": false}, \"expected\": {\"dwell_ds\": 25, \"nudge\": false}, \"passed\": true}, {\"check\": \"regression: single passenger\", \"actual\": {\"dwell_ds\": 50, \"nudge\": false}, \"expected\": {\"dwell_ds\": 40, \"nudge\": false}, \"passed\": false}, {\"check\": \"control 69\", \"actual\": {\"dwell_ds\": 37, \"nudge\": false}, \"expected\": {\"dwell_ds\": 37, \"nudge\": false}, \"passed\": true}, {\"check\": \"regression: accessible car call stop\", \"actual\": {\"dwell_ds\": 47, \"nudge\": false}, \"expected\": {\"dwell_ds\": 37, \"nudge\": false}, \"passed\": false}, {\"check\": \"control 1\", \"actual\": {\"dwell_ds\": 20, \"nudge\": true}, \"expected\": {\"dwell_ds\": 20, \"nudge\": true}, \"passed\": true}, {\"check\": \"sampled regression 4\", \"actual\": {\"dwell_ds\": 110, \"nudge\": false}, \"expected\": {\"dwell_ds\": 100, \"nudge\": false}, \"passed\": false}, {\"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."}}