FAILURE MAP
← Case archive

FA-67416 / Elevator dispatch scheduling / Open access

Load weighing dispatch modes: bypass threshold · case 01

A car at exactly 80% keeps stopping for hall calls, or a lightly loaded car bypasses them.

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

ROOT CAUSE

The bypass comparison is strict.

VERIFIED REPAIR

Enter bypass at 80% of rating or more.

Unsuccessful approach: Comparing free capacity with 80% triggers bypass at only 20% load.

Case contract

Overload (load above 110% of rating) keeps the car at the floor: no departure, no hall service, no cancellation. Otherwise the car departs; at 80% or more it runs in bypass (ignores hall calls). Anti-nuisance cancels all car calls when the load is below 10% of rating and more than three car calls are registered. Percentages are exact integer comparisons.

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):
    r = x['rated_kg']
    w = x['load_kg']
    if w * 100 > r * 110:
        return {'mode': 'overload', 'depart': False, 'serve_hall': False, 'cancel_car_calls': False}
    full = w * 100 > r * 80
    nuisance = w * 100 < r * 10 and len(x['car_calls']) > 3
    return {'mode': 'bypass' if full else 'normal', 'depart': True, 'serve_hall': not full, 'cancel_car_calls': nuisance}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 24', {'rated_kg': 630, 'load_kg': 504, 'car_calls': [4, 9, 2, 7, 5, 6]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 3', {'rated_kg': 450, 'load_kg': 321, 'car_calls': [9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: exactly 110 percent', {'rated_kg': 1000, 'load_kg': 1100, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('sampled regression 1', {'rated_kg': 1000, 'load_kg': 800, 'car_calls': [0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 4', {'rated_kg': 1000, 'load_kg': 0, 'car_calls': [1, 6]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 7', {'rated_kg': 1000, 'load_kg': 1101, 'car_calls': [7, 6, 9, 4]}, {'mode': 'overload', 'depart': False, 'serve_hall': False, 'cancel_car_calls': False})], [('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 1', {'rated_kg': 1000, 'load_kg': 800, 'car_calls': [0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 30', {'rated_kg': 675, 'load_kg': 524, 'car_calls': [3, 6, 7, 2, 9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: empty car with four calls', {'rated_kg': 675, 'load_kg': 0, 'car_calls': [0, 1, 2, 3]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': True}), ('control 12', {'rated_kg': 1000, 'load_kg': 100, 'car_calls': [6, 7, 4, 3, 9, 0]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 15', {'rated_kg': 630, 'load_kg': 693, 'car_calls': [7, 4, 0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 18', {'rated_kg': 450, 'load_kg': 45, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False})], [('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 75', {'rated_kg': 450, 'load_kg': 360, 'car_calls': [2, 5]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 48', {'rated_kg': 675, 'load_kg': 153, 'car_calls': [1, 7, 4, 5, 6, 3]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: empty car with four calls', {'rated_kg': 675, 'load_kg': 0, 'car_calls': [0, 1, 2, 3]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': True}), ('control 23', {'rated_kg': 675, 'load_kg': 539, 'car_calls': [0, 7, 5, 9, 8, 4]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 26', {'rated_kg': 675, 'load_kg': 540, 'car_calls': [9, 6, 0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 29', {'rated_kg': 675, 'load_kg': 66, 'car_calls': [3, 5]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False})], [('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 64', {'rated_kg': 675, 'load_kg': 540, 'car_calls': [3, 7, 8, 4, 0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 3', {'rated_kg': 450, 'load_kg': 321, 'car_calls': [9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: fractional ten percent threshold', {'rated_kg': 675, 'load_kg': 67, 'car_calls': [0, 1, 2, 3, 4]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': True}), ('control 34', {'rated_kg': 1275, 'load_kg': 126, 'car_calls': [7, 3, 1, 0, 2, 4]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': True}), ('control 37', {'rated_kg': 1000, 'load_kg': 100, 'car_calls': [0]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 40', {'rated_kg': 450, 'load_kg': 30, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False})], [('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 26', {'rated_kg': 675, 'load_kg': 540, 'car_calls': [9, 6, 0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 30', {'rated_kg': 675, 'load_kg': 524, 'car_calls': [3, 6, 7, 2, 9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: exactly 110 percent', {'rated_kg': 1000, 'load_kg': 1100, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 45', {'rated_kg': 630, 'load_kg': 464, 'car_calls': [8, 7, 5, 9, 2]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 48', {'rated_kg': 675, 'load_kg': 153, 'car_calls': [1, 7, 4, 5, 6, 3]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 51', {'rated_kg': 450, 'load_kg': 330, 'car_calls': [6, 0, 7, 9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': 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: exactly 80 percent{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}Failed
boundary: just under 80 percent{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}Passed
sampled regression 24{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}Failed
control 3{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}Passed
boundary: exactly 110 percent{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}Passed
sampled regression 1{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}Failed
control 4{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}Passed
control 7{'cancel_car_calls': False, 'depart': False, 'mode': 'overload', 'serve_hall': False}{'cancel_car_calls': False, 'depart': False, 'mode': 'overload', 'serve_hall': False}Passed

SHA-256 / cadaf15e6d43e91c1b70fafdc5e4d8624a76c55fb82cf71709d0e577ad90ca7d

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(x):
    r = x['rated_kg']
    w = x['load_kg']
    if w * 100 > r * 110:
        return {'mode': 'overload', 'depart': False, 'serve_hall': False, 'cancel_car_calls': False}
    full = (r - w) * 100 <= r * 80
    nuisance = w * 100 < r * 10 and len(x['car_calls']) > 3
    return {'mode': 'bypass' if full else 'normal', 'depart': True, 'serve_hall': not full, 'cancel_car_calls': nuisance}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 24', {'rated_kg': 630, 'load_kg': 504, 'car_calls': [4, 9, 2, 7, 5, 6]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 3', {'rated_kg': 450, 'load_kg': 321, 'car_calls': [9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: exactly 110 percent', {'rated_kg': 1000, 'load_kg': 1100, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('sampled regression 1', {'rated_kg': 1000, 'load_kg': 800, 'car_calls': [0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 4', {'rated_kg': 1000, 'load_kg': 0, 'car_calls': [1, 6]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 7', {'rated_kg': 1000, 'load_kg': 1101, 'car_calls': [7, 6, 9, 4]}, {'mode': 'overload', 'depart': False, 'serve_hall': False, 'cancel_car_calls': False})], [('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 1', {'rated_kg': 1000, 'load_kg': 800, 'car_calls': [0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 30', {'rated_kg': 675, 'load_kg': 524, 'car_calls': [3, 6, 7, 2, 9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: empty car with four calls', {'rated_kg': 675, 'load_kg': 0, 'car_calls': [0, 1, 2, 3]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': True}), ('control 12', {'rated_kg': 1000, 'load_kg': 100, 'car_calls': [6, 7, 4, 3, 9, 0]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 15', {'rated_kg': 630, 'load_kg': 693, 'car_calls': [7, 4, 0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 18', {'rated_kg': 450, 'load_kg': 45, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False})], [('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 75', {'rated_kg': 450, 'load_kg': 360, 'car_calls': [2, 5]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 48', {'rated_kg': 675, 'load_kg': 153, 'car_calls': [1, 7, 4, 5, 6, 3]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: empty car with four calls', {'rated_kg': 675, 'load_kg': 0, 'car_calls': [0, 1, 2, 3]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': True}), ('control 23', {'rated_kg': 675, 'load_kg': 539, 'car_calls': [0, 7, 5, 9, 8, 4]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 26', {'rated_kg': 675, 'load_kg': 540, 'car_calls': [9, 6, 0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 29', {'rated_kg': 675, 'load_kg': 66, 'car_calls': [3, 5]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False})], [('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 64', {'rated_kg': 675, 'load_kg': 540, 'car_calls': [3, 7, 8, 4, 0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 3', {'rated_kg': 450, 'load_kg': 321, 'car_calls': [9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: fractional ten percent threshold', {'rated_kg': 675, 'load_kg': 67, 'car_calls': [0, 1, 2, 3, 4]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': True}), ('control 34', {'rated_kg': 1275, 'load_kg': 126, 'car_calls': [7, 3, 1, 0, 2, 4]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': True}), ('control 37', {'rated_kg': 1000, 'load_kg': 100, 'car_calls': [0]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 40', {'rated_kg': 450, 'load_kg': 30, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False})], [('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 26', {'rated_kg': 675, 'load_kg': 540, 'car_calls': [9, 6, 0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 30', {'rated_kg': 675, 'load_kg': 524, 'car_calls': [3, 6, 7, 2, 9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: exactly 110 percent', {'rated_kg': 1000, 'load_kg': 1100, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 45', {'rated_kg': 630, 'load_kg': 464, 'car_calls': [8, 7, 5, 9, 2]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 48', {'rated_kg': 675, 'load_kg': 153, 'car_calls': [1, 7, 4, 5, 6, 3]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 51', {'rated_kg': 450, 'load_kg': 330, 'car_calls': [6, 0, 7, 9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': 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: exactly 80 percent{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}Passed
boundary: just under 80 percent{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}Failed
sampled regression 24{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}Passed
control 3{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}Failed
boundary: exactly 110 percent{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}Passed
sampled regression 1{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}Passed
control 4{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}Passed
control 7{'cancel_car_calls': False, 'depart': False, 'mode': 'overload', 'serve_hall': False}{'cancel_car_calls': False, 'depart': False, 'mode': 'overload', 'serve_hall': False}Passed

SHA-256 / 2c2edf2975b1e8087bd9367c401223250da550b519cbcec998902deeac553463

3 / The verified repair

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

N = 1
observations = []
def solve(x):
    r = x['rated_kg']
    w = x['load_kg']
    if w * 100 > r * 110:
        return {'mode': 'overload', 'depart': False, 'serve_hall': False, 'cancel_car_calls': False}
    full = w * 100 >= r * 80
    nuisance = w * 100 < r * 10 and len(x['car_calls']) > 3
    return {'mode': 'bypass' if full else 'normal', 'depart': True, 'serve_hall': not full, 'cancel_car_calls': nuisance}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 24', {'rated_kg': 630, 'load_kg': 504, 'car_calls': [4, 9, 2, 7, 5, 6]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 3', {'rated_kg': 450, 'load_kg': 321, 'car_calls': [9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: exactly 110 percent', {'rated_kg': 1000, 'load_kg': 1100, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('sampled regression 1', {'rated_kg': 1000, 'load_kg': 800, 'car_calls': [0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 4', {'rated_kg': 1000, 'load_kg': 0, 'car_calls': [1, 6]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 7', {'rated_kg': 1000, 'load_kg': 1101, 'car_calls': [7, 6, 9, 4]}, {'mode': 'overload', 'depart': False, 'serve_hall': False, 'cancel_car_calls': False})], [('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 1', {'rated_kg': 1000, 'load_kg': 800, 'car_calls': [0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 30', {'rated_kg': 675, 'load_kg': 524, 'car_calls': [3, 6, 7, 2, 9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: empty car with four calls', {'rated_kg': 675, 'load_kg': 0, 'car_calls': [0, 1, 2, 3]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': True}), ('control 12', {'rated_kg': 1000, 'load_kg': 100, 'car_calls': [6, 7, 4, 3, 9, 0]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 15', {'rated_kg': 630, 'load_kg': 693, 'car_calls': [7, 4, 0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 18', {'rated_kg': 450, 'load_kg': 45, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False})], [('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 75', {'rated_kg': 450, 'load_kg': 360, 'car_calls': [2, 5]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 48', {'rated_kg': 675, 'load_kg': 153, 'car_calls': [1, 7, 4, 5, 6, 3]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: empty car with four calls', {'rated_kg': 675, 'load_kg': 0, 'car_calls': [0, 1, 2, 3]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': True}), ('control 23', {'rated_kg': 675, 'load_kg': 539, 'car_calls': [0, 7, 5, 9, 8, 4]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 26', {'rated_kg': 675, 'load_kg': 540, 'car_calls': [9, 6, 0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 29', {'rated_kg': 675, 'load_kg': 66, 'car_calls': [3, 5]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False})], [('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 64', {'rated_kg': 675, 'load_kg': 540, 'car_calls': [3, 7, 8, 4, 0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 3', {'rated_kg': 450, 'load_kg': 321, 'car_calls': [9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: fractional ten percent threshold', {'rated_kg': 675, 'load_kg': 67, 'car_calls': [0, 1, 2, 3, 4]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': True}), ('control 34', {'rated_kg': 1275, 'load_kg': 126, 'car_calls': [7, 3, 1, 0, 2, 4]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': True}), ('control 37', {'rated_kg': 1000, 'load_kg': 100, 'car_calls': [0]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 40', {'rated_kg': 450, 'load_kg': 30, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False})], [('regression: exactly 80 percent', {'rated_kg': 630, 'load_kg': 504, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('boundary: just under 80 percent', {'rated_kg': 630, 'load_kg': 503, 'car_calls': []}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('sampled regression 26', {'rated_kg': 675, 'load_kg': 540, 'car_calls': [9, 6, 0]}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 30', {'rated_kg': 675, 'load_kg': 524, 'car_calls': [3, 6, 7, 2, 9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('boundary: exactly 110 percent', {'rated_kg': 1000, 'load_kg': 1100, 'car_calls': []}, {'mode': 'bypass', 'depart': True, 'serve_hall': False, 'cancel_car_calls': False}), ('control 45', {'rated_kg': 630, 'load_kg': 464, 'car_calls': [8, 7, 5, 9, 2]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 48', {'rated_kg': 675, 'load_kg': 153, 'car_calls': [1, 7, 4, 5, 6, 3]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': False}), ('control 51', {'rated_kg': 450, 'load_kg': 330, 'car_calls': [6, 0, 7, 9]}, {'mode': 'normal', 'depart': True, 'serve_hall': True, 'cancel_car_calls': 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: exactly 80 percent{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}Passed
boundary: just under 80 percent{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}Passed
sampled regression 24{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}Passed
control 3{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}Passed
boundary: exactly 110 percent{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}Passed
sampled regression 1{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}{'cancel_car_calls': False, 'depart': True, 'mode': 'bypass', 'serve_hall': False}Passed
control 4{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}{'cancel_car_calls': False, 'depart': True, 'mode': 'normal', 'serve_hall': True}Passed
control 7{'cancel_car_calls': False, 'depart': False, 'mode': 'overload', 'serve_hall': False}{'cancel_car_calls': False, 'depart': False, 'mode': 'overload', 'serve_hall': False}Passed

SHA-256 / d1cc009717df5634e6b5c95abbb17efb2a4f70a604108521995cb3630c896513

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.621013+00:00.

Case digest / daad2b7f7ccbc1d489ceb8bdb6a0649925f9ac0eeee296ede1990c93679caac2