FAILURE MAP
← Case archive

FA-67391 / Elevator dispatch scheduling / Open access

Door dwell time calculation: accessible extension rounding · case 01

Accessible mode has no effect or yields fractional deciseconds.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The extended base is computed into an unused variable.

VERIFIED REPAIR

Extend the base by half with integer arithmetic before adding passenger time.

Unsuccessful approach: True division produces half deciseconds for a 25 ds base.

Case 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.

Why this case matters

Lift group controllers make these decisions many times per minute; a wrong answer strands passengers, wastes trips or overrides a safety rule.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    base = 40 if x['call_type'] in ('hall', 'both') else 25
    if x['accessible']:
        dwell_ext = base * 3 // 2
    pax = x['boarding'] + x['alighting']
    dwell = base + 10 * max(pax - 1, 0)
    dwell = min(dwell, 150)
    nudge = x['reopen_count'] >= 3
    if nudge:
        dwell = 20
    return {'dwell_ds': dwell, 'nudge': nudge}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 4', {'call_type': 'hall', 'boarding': 5, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 100, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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}), ('regression: 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 7', {'call_type': 'both', 'boarding': 5, 'alighting': 1, 'reopen_count': 4, 'accessible': True}, {'dwell_ds': 20, 'nudge': True}), ('control 10', {'call_type': 'car', 'boarding': 6, 'alighting': 5, 'reopen_count': 3, 'accessible': True}, {'dwell_ds': 20, 'nudge': True})], [('regression: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('regression: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 69', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 19', {'call_type': 'both', 'boarding': 1, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 90, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('regression: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 77', {'call_type': 'both', 'boarding': 3, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 110, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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}), ('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: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 26', {'call_type': 'both', 'boarding': 3, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 110, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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}), ('regression: 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})]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
regression: accessible car call stop{'dwell_ds': 25, 'nudge': False}{'dwell_ds': 37, 'nudge': False}Failed
sampled regression 4{'dwell_ds': 80, 'nudge': False}{'dwell_ds': 100, 'nudge': False}Failed
sampled regression 47{'dwell_ds': 75, 'nudge': False}{'dwell_ds': 87, 'nudge': False}Failed
boundary: stop with hall and car calls{'dwell_ds': 50, 'nudge': False}{'dwell_ds': 50, 'nudge': False}Passed
regression: accessible busy hall stop{'dwell_ds': 110, 'nudge': False}{'dwell_ds': 130, 'nudge': False}Failed
control 1{'dwell_ds': 20, 'nudge': True}{'dwell_ds': 20, 'nudge': True}Passed
control 7{'dwell_ds': 20, 'nudge': True}{'dwell_ds': 20, 'nudge': True}Passed
control 10{'dwell_ds': 20, 'nudge': True}{'dwell_ds': 20, 'nudge': True}Passed

SHA-256 / a48849b26bd637b7d1480ebfe99b0ab613b84d8b403c082a5b5404aea27edd5f

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    base = 40 if x['call_type'] in ('hall', 'both') else 25
    if x['accessible']:
        base = base * 3 / 2
    pax = x['boarding'] + x['alighting']
    dwell = base + 10 * max(pax - 1, 0)
    dwell = min(dwell, 150)
    nudge = x['reopen_count'] >= 3
    if nudge:
        dwell = 20
    return {'dwell_ds': dwell, 'nudge': nudge}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 4', {'call_type': 'hall', 'boarding': 5, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 100, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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}), ('regression: 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 7', {'call_type': 'both', 'boarding': 5, 'alighting': 1, 'reopen_count': 4, 'accessible': True}, {'dwell_ds': 20, 'nudge': True}), ('control 10', {'call_type': 'car', 'boarding': 6, 'alighting': 5, 'reopen_count': 3, 'accessible': True}, {'dwell_ds': 20, 'nudge': True})], [('regression: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('regression: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 69', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 19', {'call_type': 'both', 'boarding': 1, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 90, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('regression: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 77', {'call_type': 'both', 'boarding': 3, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 110, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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}), ('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: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 26', {'call_type': 'both', 'boarding': 3, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 110, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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}), ('regression: 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})]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
regression: accessible car call stop{'dwell_ds': 37.5, 'nudge': False}{'dwell_ds': 37, 'nudge': False}Failed
sampled regression 4{'dwell_ds': 100.0, 'nudge': False}{'dwell_ds': 100, 'nudge': False}Passed
sampled regression 47{'dwell_ds': 87.5, 'nudge': False}{'dwell_ds': 87, 'nudge': False}Failed
boundary: stop with hall and car calls{'dwell_ds': 50, 'nudge': False}{'dwell_ds': 50, 'nudge': False}Passed
regression: accessible busy hall stop{'dwell_ds': 130.0, 'nudge': False}{'dwell_ds': 130, 'nudge': False}Passed
control 1{'dwell_ds': 20, 'nudge': True}{'dwell_ds': 20, 'nudge': True}Passed
control 7{'dwell_ds': 20, 'nudge': True}{'dwell_ds': 20, 'nudge': True}Passed
control 10{'dwell_ds': 20, 'nudge': True}{'dwell_ds': 20, 'nudge': True}Passed

SHA-256 / caf5300b09c6a452e2ab2a01b478fefdcfcb8536ab0d01dbb632d1925a2918ac

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    base = 40 if x['call_type'] in ('hall', 'both') else 25
    if x['accessible']:
        base = base * 3 // 2
    pax = x['boarding'] + x['alighting']
    dwell = base + 10 * max(pax - 1, 0)
    dwell = min(dwell, 150)
    nudge = x['reopen_count'] >= 3
    if nudge:
        dwell = 20
    return {'dwell_ds': dwell, 'nudge': nudge}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 4', {'call_type': 'hall', 'boarding': 5, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 100, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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}), ('regression: 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 7', {'call_type': 'both', 'boarding': 5, 'alighting': 1, 'reopen_count': 4, 'accessible': True}, {'dwell_ds': 20, 'nudge': True}), ('control 10', {'call_type': 'car', 'boarding': 6, 'alighting': 5, 'reopen_count': 3, 'accessible': True}, {'dwell_ds': 20, 'nudge': True})], [('regression: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('regression: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 69', {'call_type': 'car', 'boarding': 0, 'alighting': 0, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 19', {'call_type': 'both', 'boarding': 1, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 90, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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: accessible busy hall stop', {'call_type': 'hall', 'boarding': 5, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 130, 'nudge': False}), ('regression: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 77', {'call_type': 'both', 'boarding': 3, 'alighting': 3, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 110, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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}), ('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: accessible car call stop', {'call_type': 'car', 'boarding': 1, 'alighting': 0, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 37, 'nudge': False}), ('sampled regression 26', {'call_type': 'both', 'boarding': 3, 'alighting': 3, 'reopen_count': 0, 'accessible': True}, {'dwell_ds': 110, 'nudge': False}), ('sampled regression 47', {'call_type': 'car', 'boarding': 1, 'alighting': 5, 'reopen_count': 1, 'accessible': True}, {'dwell_ds': 87, '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}), ('regression: 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})]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
regression: accessible car call stop{'dwell_ds': 37, 'nudge': False}{'dwell_ds': 37, 'nudge': False}Passed
sampled regression 4{'dwell_ds': 100, 'nudge': False}{'dwell_ds': 100, 'nudge': False}Passed
sampled regression 47{'dwell_ds': 87, 'nudge': False}{'dwell_ds': 87, 'nudge': False}Passed
boundary: stop with hall and car calls{'dwell_ds': 50, 'nudge': False}{'dwell_ds': 50, 'nudge': False}Passed
regression: accessible busy hall stop{'dwell_ds': 130, 'nudge': False}{'dwell_ds': 130, 'nudge': False}Passed
control 1{'dwell_ds': 20, 'nudge': True}{'dwell_ds': 20, 'nudge': True}Passed
control 7{'dwell_ds': 20, 'nudge': True}{'dwell_ds': 20, 'nudge': True}Passed
control 10{'dwell_ds': 20, 'nudge': True}{'dwell_ds': 20, 'nudge': True}Passed

SHA-256 / a6c5e282739e452aacd77702081e0addb8e033dfefd15724e8e5665266af6a69

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:47:52.492565+00:00.

Case digest / a8545e4e7aa6e19b933cbf24b40041a2409d3d25e4ae948d720eb12f84b21caf