FAILURE MAP
← Case archive

FA-67511 / Elevator dispatch scheduling / Open access

Car call registration and cancellation: nuisance limit · case 01

An empty car accepts a sixth call from a prankster, or legitimate calls are refused.

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

ROOT CAUSE

The nuisance limit allows one call too many.

VERIFIED REPAIR

Refuse new calls from a near-empty car once five are registered.

Unsuccessful approach: Counting presses instead of registered calls refuses calls after cancellations and invalid presses.

Case contract

Car buttons are processed in order. Pressing the current floor with doors open reopens the doors. Floors outside 0..floors-1 are invalid. Pressing an already registered floor cancels it, unless it is the only call (kept). With load under 20 kg, a new call is refused as nuisance once five calls are registered. Otherwise the call is registered. Return the sorted calls and the per-press log.

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):
    calls = []
    log = []
    for f in x['presses']:
        if f == x['floor'] and x['doors_open']:
            log.append('reopen')
        elif f < 0 or f >= x['floors']:
            log.append('invalid')
        elif f in calls:
            if len(calls) > 1:
                calls.remove(f)
                log.append('cancelled')
            else:
                log.append('kept')
        elif x['load_kg'] < 20 and len(calls) > 5:
            log.append('nuisance')
        else:
            calls.append(f)
            log.append('registered')
    return {'calls': sorted(calls), 'log': log}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 69', {'floors': 15, 'floor': 10, 'doors_open': False, 'load_kg': 15, 'presses': [3, 6, 0, -1, 12, 7, 10, 14, 6]}, {'calls': [0, 3, 7, 12], 'log': ['registered', 'registered', 'registered', 'invalid', 'registered', 'registered', 'nuisance', 'nuisance', 'cancelled']}), ('control 2', {'floors': 8, 'floor': 7, 'doors_open': False, 'load_kg': 19, 'presses': [4, 7, 0, 5, 6, -1, 4, 1]}, {'calls': [0, 1, 5, 6, 7], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'invalid', 'cancelled', 'registered']}), ('boundary: own floor with doors closed', {'floors': 10, 'floor': 4, 'doors_open': False, 'load_kg': 80, 'presses': [4, 6]}, {'calls': [4, 6], 'log': ['registered', 'registered']}), ('control 1', {'floors': 12, 'floor': 6, 'doors_open': True, 'load_kg': 19, 'presses': [7, 7, -1, 8, 7]}, {'calls': [8], 'log': ['registered', 'kept', 'invalid', 'registered', 'cancelled']}), ('control 4', {'floors': 7, 'floor': 6, 'doors_open': False, 'load_kg': 19, 'presses': [0, 6, 6, 6, 4, 6]}, {'calls': [0, 4], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'cancelled']}), ('control 7', {'floors': 7, 'floor': 1, 'doors_open': False, 'load_kg': 19, 'presses': [2, 0, 2, 5, 4, 6]}, {'calls': [0, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('control 34', {'floors': 11, 'floor': 9, 'doors_open': False, 'load_kg': 0, 'presses': [10, 0, 5, 6, 0, 5, 9, 10, 9]}, {'calls': [6], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'cancelled', 'registered', 'cancelled', 'cancelled']}), ('boundary: basement button that does not exist', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [-1, 3]}, {'calls': [3], 'log': ['invalid', 'registered']}), ('boundary: button one above the top', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [10, 9]}, {'calls': [9], 'log': ['invalid', 'registered']}), ('control 12', {'floors': 13, 'floor': 5, 'doors_open': True, 'load_kg': 21, 'presses': [2, 3, 11]}, {'calls': [2, 3, 11], 'log': ['registered', 'registered', 'registered']}), ('control 15', {'floors': 12, 'floor': 10, 'doors_open': False, 'load_kg': 21, 'presses': [10, 4, 1, 4, 5, 6]}, {'calls': [1, 5, 6, 10], 'log': ['registered', 'registered', 'registered', 'cancelled', 'registered', 'registered']}), ('control 18', {'floors': 9, 'floor': 4, 'doors_open': True, 'load_kg': 19, 'presses': [3, 0, 5, 2, 7, 7, -1, 0]}, {'calls': [2, 3, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'cancelled', 'invalid', 'cancelled']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 64', {'floors': 12, 'floor': 6, 'doors_open': False, 'load_kg': 15, 'presses': [0, 7, 1, 9, 6, 2]}, {'calls': [0, 1, 6, 7, 9], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance']}), ('control 56', {'floors': 11, 'floor': 6, 'doors_open': True, 'load_kg': 0, 'presses': [0, 6, 4, 11, 11, 6, 2, -1, 8]}, {'calls': [0, 2, 4, 8], 'log': ['registered', 'reopen', 'registered', 'invalid', 'invalid', 'reopen', 'registered', 'invalid', 'registered']}), ('boundary: double press cancels', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [3, 5, 3]}, {'calls': [5], 'log': ['registered', 'registered', 'cancelled']}), ('control 23', {'floors': 14, 'floor': 2, 'doors_open': False, 'load_kg': 15, 'presses': [2, 14, 1, 0, -1, 14, 5, 13]}, {'calls': [0, 1, 2, 5, 13], 'log': ['registered', 'invalid', 'registered', 'registered', 'invalid', 'invalid', 'registered', 'registered']}), ('sampled regression 26', {'floors': 10, 'floor': 9, 'doors_open': True, 'load_kg': 15, 'presses': [2, 4, 5, 9, 6, 1, 7, 9]}, {'calls': [1, 2, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'registered', 'nuisance', 'reopen']}), ('control 29', {'floors': 10, 'floor': 8, 'doors_open': False, 'load_kg': 20, 'presses': [10, 0, 1]}, {'calls': [0, 1], 'log': ['invalid', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 78', {'floors': 14, 'floor': 9, 'doors_open': True, 'load_kg': 0, 'presses': [8, 3, 2, 9, 13, 9, 5, 6, 0]}, {'calls': [2, 3, 5, 8, 13], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'reopen', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancel an earlier call', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [3, 5, 7, 5]}, {'calls': [3, 7], 'log': ['registered', 'registered', 'registered', 'cancelled']}), ('boundary: exactly twenty kilograms', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 20, 'presses': [1, 2, 3, 4, 5, 6]}, {'calls': [1, 2, 3, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'registered']}), ('control 34', {'floors': 11, 'floor': 9, 'doors_open': False, 'load_kg': 0, 'presses': [10, 0, 5, 6, 0, 5, 9, 10, 9]}, {'calls': [6], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'cancelled', 'registered', 'cancelled', 'cancelled']}), ('control 37', {'floors': 10, 'floor': 7, 'doors_open': True, 'load_kg': 80, 'presses': [10, 0, -1, -1, 5]}, {'calls': [0, 5], 'log': ['invalid', 'registered', 'invalid', 'invalid', 'registered']}), ('control 40', {'floors': 13, 'floor': 0, 'doors_open': True, 'load_kg': 15, 'presses': [0, -1, 8, 3]}, {'calls': [3, 8], 'log': ['reopen', 'invalid', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 26', {'floors': 10, 'floor': 9, 'doors_open': True, 'load_kg': 15, 'presses': [2, 4, 5, 9, 6, 1, 7, 9]}, {'calls': [1, 2, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'registered', 'nuisance', 'reopen']}), ('control 33', {'floors': 11, 'floor': 8, 'doors_open': True, 'load_kg': 15, 'presses': [9, 10, 6, 5, 10, 10, 8, 2, 9]}, {'calls': [2, 5, 6, 10], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'registered', 'reopen', 'registered', 'cancelled']}), ('boundary: exactly twenty kilograms', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 20, 'presses': [1, 2, 3, 4, 5, 6]}, {'calls': [1, 2, 3, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'registered']}), ('control 45', {'floors': 10, 'floor': 6, 'doors_open': False, 'load_kg': 20, 'presses': [10, 9, 0, 0, 5, 7, 2, 3, 3]}, {'calls': [2, 5, 7, 9], 'log': ['invalid', 'registered', 'registered', 'cancelled', 'registered', 'registered', 'registered', 'registered', 'cancelled']}), ('control 48', {'floors': 10, 'floor': 2, 'doors_open': False, 'load_kg': 0, 'presses': [6, 10, 7, 2, 7, 4, 9]}, {'calls': [2, 4, 6, 9], 'log': ['registered', 'invalid', 'registered', 'registered', 'cancelled', 'registered', 'registered']}), ('control 51', {'floors': 15, 'floor': 9, 'doors_open': True, 'load_kg': 21, 'presses': [13, 6, 9, 10, 9]}, {'calls': [6, 10, 13], 'log': ['registered', 'registered', 'reopen', 'registered', 'reopen']})]]
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: child presses every button{'calls': [1, 2, 3, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'registered', 'nuisance']}{'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}Failed
boundary: cancelled presses do not count{'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}{'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}Passed
sampled regression 69{'calls': [0, 3, 7, 10, 12], 'log': ['registered', 'registered', 'registered', 'invalid', 'registered', 'registered', 'registered', 'nuisance', 'cancelled']}{'calls': [0, 3, 7, 12], 'log': ['registered', 'registered', 'registered', 'invalid', 'registered', 'registered', 'nuisance', 'nuisance', 'cancelled']}Failed
control 2{'calls': [0, 1, 5, 6, 7], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'invalid', 'cancelled', 'registered']}{'calls': [0, 1, 5, 6, 7], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'invalid', 'cancelled', 'registered']}Passed
boundary: own floor with doors closed{'calls': [4, 6], 'log': ['registered', 'registered']}{'calls': [4, 6], 'log': ['registered', 'registered']}Passed
control 1{'calls': [8], 'log': ['registered', 'kept', 'invalid', 'registered', 'cancelled']}{'calls': [8], 'log': ['registered', 'kept', 'invalid', 'registered', 'cancelled']}Passed
control 4{'calls': [0, 4], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'cancelled']}{'calls': [0, 4], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'cancelled']}Passed
control 7{'calls': [0, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'registered']}{'calls': [0, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'registered']}Passed

SHA-256 / 64090adbdea627a547ea63a2ad87e850b797a7cbd8fa1c9607554c5b9a73c80e

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(x):
    calls = []
    log = []
    for f in x['presses']:
        if f == x['floor'] and x['doors_open']:
            log.append('reopen')
        elif f < 0 or f >= x['floors']:
            log.append('invalid')
        elif f in calls:
            if len(calls) > 1:
                calls.remove(f)
                log.append('cancelled')
            else:
                log.append('kept')
        elif x['load_kg'] < 20 and len(log) >= 5:
            log.append('nuisance')
        else:
            calls.append(f)
            log.append('registered')
    return {'calls': sorted(calls), 'log': log}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 69', {'floors': 15, 'floor': 10, 'doors_open': False, 'load_kg': 15, 'presses': [3, 6, 0, -1, 12, 7, 10, 14, 6]}, {'calls': [0, 3, 7, 12], 'log': ['registered', 'registered', 'registered', 'invalid', 'registered', 'registered', 'nuisance', 'nuisance', 'cancelled']}), ('control 2', {'floors': 8, 'floor': 7, 'doors_open': False, 'load_kg': 19, 'presses': [4, 7, 0, 5, 6, -1, 4, 1]}, {'calls': [0, 1, 5, 6, 7], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'invalid', 'cancelled', 'registered']}), ('boundary: own floor with doors closed', {'floors': 10, 'floor': 4, 'doors_open': False, 'load_kg': 80, 'presses': [4, 6]}, {'calls': [4, 6], 'log': ['registered', 'registered']}), ('control 1', {'floors': 12, 'floor': 6, 'doors_open': True, 'load_kg': 19, 'presses': [7, 7, -1, 8, 7]}, {'calls': [8], 'log': ['registered', 'kept', 'invalid', 'registered', 'cancelled']}), ('control 4', {'floors': 7, 'floor': 6, 'doors_open': False, 'load_kg': 19, 'presses': [0, 6, 6, 6, 4, 6]}, {'calls': [0, 4], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'cancelled']}), ('control 7', {'floors': 7, 'floor': 1, 'doors_open': False, 'load_kg': 19, 'presses': [2, 0, 2, 5, 4, 6]}, {'calls': [0, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('control 34', {'floors': 11, 'floor': 9, 'doors_open': False, 'load_kg': 0, 'presses': [10, 0, 5, 6, 0, 5, 9, 10, 9]}, {'calls': [6], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'cancelled', 'registered', 'cancelled', 'cancelled']}), ('boundary: basement button that does not exist', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [-1, 3]}, {'calls': [3], 'log': ['invalid', 'registered']}), ('boundary: button one above the top', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [10, 9]}, {'calls': [9], 'log': ['invalid', 'registered']}), ('control 12', {'floors': 13, 'floor': 5, 'doors_open': True, 'load_kg': 21, 'presses': [2, 3, 11]}, {'calls': [2, 3, 11], 'log': ['registered', 'registered', 'registered']}), ('control 15', {'floors': 12, 'floor': 10, 'doors_open': False, 'load_kg': 21, 'presses': [10, 4, 1, 4, 5, 6]}, {'calls': [1, 5, 6, 10], 'log': ['registered', 'registered', 'registered', 'cancelled', 'registered', 'registered']}), ('control 18', {'floors': 9, 'floor': 4, 'doors_open': True, 'load_kg': 19, 'presses': [3, 0, 5, 2, 7, 7, -1, 0]}, {'calls': [2, 3, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'cancelled', 'invalid', 'cancelled']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 64', {'floors': 12, 'floor': 6, 'doors_open': False, 'load_kg': 15, 'presses': [0, 7, 1, 9, 6, 2]}, {'calls': [0, 1, 6, 7, 9], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance']}), ('control 56', {'floors': 11, 'floor': 6, 'doors_open': True, 'load_kg': 0, 'presses': [0, 6, 4, 11, 11, 6, 2, -1, 8]}, {'calls': [0, 2, 4, 8], 'log': ['registered', 'reopen', 'registered', 'invalid', 'invalid', 'reopen', 'registered', 'invalid', 'registered']}), ('boundary: double press cancels', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [3, 5, 3]}, {'calls': [5], 'log': ['registered', 'registered', 'cancelled']}), ('control 23', {'floors': 14, 'floor': 2, 'doors_open': False, 'load_kg': 15, 'presses': [2, 14, 1, 0, -1, 14, 5, 13]}, {'calls': [0, 1, 2, 5, 13], 'log': ['registered', 'invalid', 'registered', 'registered', 'invalid', 'invalid', 'registered', 'registered']}), ('sampled regression 26', {'floors': 10, 'floor': 9, 'doors_open': True, 'load_kg': 15, 'presses': [2, 4, 5, 9, 6, 1, 7, 9]}, {'calls': [1, 2, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'registered', 'nuisance', 'reopen']}), ('control 29', {'floors': 10, 'floor': 8, 'doors_open': False, 'load_kg': 20, 'presses': [10, 0, 1]}, {'calls': [0, 1], 'log': ['invalid', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 78', {'floors': 14, 'floor': 9, 'doors_open': True, 'load_kg': 0, 'presses': [8, 3, 2, 9, 13, 9, 5, 6, 0]}, {'calls': [2, 3, 5, 8, 13], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'reopen', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancel an earlier call', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [3, 5, 7, 5]}, {'calls': [3, 7], 'log': ['registered', 'registered', 'registered', 'cancelled']}), ('boundary: exactly twenty kilograms', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 20, 'presses': [1, 2, 3, 4, 5, 6]}, {'calls': [1, 2, 3, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'registered']}), ('control 34', {'floors': 11, 'floor': 9, 'doors_open': False, 'load_kg': 0, 'presses': [10, 0, 5, 6, 0, 5, 9, 10, 9]}, {'calls': [6], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'cancelled', 'registered', 'cancelled', 'cancelled']}), ('control 37', {'floors': 10, 'floor': 7, 'doors_open': True, 'load_kg': 80, 'presses': [10, 0, -1, -1, 5]}, {'calls': [0, 5], 'log': ['invalid', 'registered', 'invalid', 'invalid', 'registered']}), ('control 40', {'floors': 13, 'floor': 0, 'doors_open': True, 'load_kg': 15, 'presses': [0, -1, 8, 3]}, {'calls': [3, 8], 'log': ['reopen', 'invalid', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 26', {'floors': 10, 'floor': 9, 'doors_open': True, 'load_kg': 15, 'presses': [2, 4, 5, 9, 6, 1, 7, 9]}, {'calls': [1, 2, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'registered', 'nuisance', 'reopen']}), ('control 33', {'floors': 11, 'floor': 8, 'doors_open': True, 'load_kg': 15, 'presses': [9, 10, 6, 5, 10, 10, 8, 2, 9]}, {'calls': [2, 5, 6, 10], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'registered', 'reopen', 'registered', 'cancelled']}), ('boundary: exactly twenty kilograms', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 20, 'presses': [1, 2, 3, 4, 5, 6]}, {'calls': [1, 2, 3, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'registered']}), ('control 45', {'floors': 10, 'floor': 6, 'doors_open': False, 'load_kg': 20, 'presses': [10, 9, 0, 0, 5, 7, 2, 3, 3]}, {'calls': [2, 5, 7, 9], 'log': ['invalid', 'registered', 'registered', 'cancelled', 'registered', 'registered', 'registered', 'registered', 'cancelled']}), ('control 48', {'floors': 10, 'floor': 2, 'doors_open': False, 'load_kg': 0, 'presses': [6, 10, 7, 2, 7, 4, 9]}, {'calls': [2, 4, 6, 9], 'log': ['registered', 'invalid', 'registered', 'registered', 'cancelled', 'registered', 'registered']}), ('control 51', {'floors': 15, 'floor': 9, 'doors_open': True, 'load_kg': 21, 'presses': [13, 6, 9, 10, 9]}, {'calls': [6, 10, 13], 'log': ['registered', 'registered', 'reopen', 'registered', 'reopen']})]]
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: child presses every button{'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}{'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}Passed
boundary: cancelled presses do not count{'calls': [1], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'nuisance', 'nuisance', 'nuisance']}{'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}Failed
sampled regression 69{'calls': [0, 3, 12], 'log': ['registered', 'registered', 'registered', 'invalid', 'registered', 'nuisance', 'nuisance', 'nuisance', 'cancelled']}{'calls': [0, 3, 7, 12], 'log': ['registered', 'registered', 'registered', 'invalid', 'registered', 'registered', 'nuisance', 'nuisance', 'cancelled']}Failed
control 2{'calls': [0, 5, 6, 7], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'invalid', 'cancelled', 'nuisance']}{'calls': [0, 1, 5, 6, 7], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'invalid', 'cancelled', 'registered']}Failed
boundary: own floor with doors closed{'calls': [4, 6], 'log': ['registered', 'registered']}{'calls': [4, 6], 'log': ['registered', 'registered']}Passed
control 1{'calls': [8], 'log': ['registered', 'kept', 'invalid', 'registered', 'cancelled']}{'calls': [8], 'log': ['registered', 'kept', 'invalid', 'registered', 'cancelled']}Passed
control 4{'calls': [0, 4], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'cancelled']}{'calls': [0, 4], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'cancelled']}Passed
control 7{'calls': [0, 4, 5], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'nuisance']}{'calls': [0, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'registered']}Failed

SHA-256 / a939c9c1cef42c0500f66c0effb4be97ceec302c2eef31ca22143ccbe276c76c

3 / The verified repair

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

N = 1
observations = []
def solve(x):
    calls = []
    log = []
    for f in x['presses']:
        if f == x['floor'] and x['doors_open']:
            log.append('reopen')
        elif f < 0 or f >= x['floors']:
            log.append('invalid')
        elif f in calls:
            if len(calls) > 1:
                calls.remove(f)
                log.append('cancelled')
            else:
                log.append('kept')
        elif x['load_kg'] < 20 and len(calls) >= 5:
            log.append('nuisance')
        else:
            calls.append(f)
            log.append('registered')
    return {'calls': sorted(calls), 'log': log}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 69', {'floors': 15, 'floor': 10, 'doors_open': False, 'load_kg': 15, 'presses': [3, 6, 0, -1, 12, 7, 10, 14, 6]}, {'calls': [0, 3, 7, 12], 'log': ['registered', 'registered', 'registered', 'invalid', 'registered', 'registered', 'nuisance', 'nuisance', 'cancelled']}), ('control 2', {'floors': 8, 'floor': 7, 'doors_open': False, 'load_kg': 19, 'presses': [4, 7, 0, 5, 6, -1, 4, 1]}, {'calls': [0, 1, 5, 6, 7], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'invalid', 'cancelled', 'registered']}), ('boundary: own floor with doors closed', {'floors': 10, 'floor': 4, 'doors_open': False, 'load_kg': 80, 'presses': [4, 6]}, {'calls': [4, 6], 'log': ['registered', 'registered']}), ('control 1', {'floors': 12, 'floor': 6, 'doors_open': True, 'load_kg': 19, 'presses': [7, 7, -1, 8, 7]}, {'calls': [8], 'log': ['registered', 'kept', 'invalid', 'registered', 'cancelled']}), ('control 4', {'floors': 7, 'floor': 6, 'doors_open': False, 'load_kg': 19, 'presses': [0, 6, 6, 6, 4, 6]}, {'calls': [0, 4], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'cancelled']}), ('control 7', {'floors': 7, 'floor': 1, 'doors_open': False, 'load_kg': 19, 'presses': [2, 0, 2, 5, 4, 6]}, {'calls': [0, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('control 34', {'floors': 11, 'floor': 9, 'doors_open': False, 'load_kg': 0, 'presses': [10, 0, 5, 6, 0, 5, 9, 10, 9]}, {'calls': [6], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'cancelled', 'registered', 'cancelled', 'cancelled']}), ('boundary: basement button that does not exist', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [-1, 3]}, {'calls': [3], 'log': ['invalid', 'registered']}), ('boundary: button one above the top', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [10, 9]}, {'calls': [9], 'log': ['invalid', 'registered']}), ('control 12', {'floors': 13, 'floor': 5, 'doors_open': True, 'load_kg': 21, 'presses': [2, 3, 11]}, {'calls': [2, 3, 11], 'log': ['registered', 'registered', 'registered']}), ('control 15', {'floors': 12, 'floor': 10, 'doors_open': False, 'load_kg': 21, 'presses': [10, 4, 1, 4, 5, 6]}, {'calls': [1, 5, 6, 10], 'log': ['registered', 'registered', 'registered', 'cancelled', 'registered', 'registered']}), ('control 18', {'floors': 9, 'floor': 4, 'doors_open': True, 'load_kg': 19, 'presses': [3, 0, 5, 2, 7, 7, -1, 0]}, {'calls': [2, 3, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'cancelled', 'invalid', 'cancelled']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 64', {'floors': 12, 'floor': 6, 'doors_open': False, 'load_kg': 15, 'presses': [0, 7, 1, 9, 6, 2]}, {'calls': [0, 1, 6, 7, 9], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance']}), ('control 56', {'floors': 11, 'floor': 6, 'doors_open': True, 'load_kg': 0, 'presses': [0, 6, 4, 11, 11, 6, 2, -1, 8]}, {'calls': [0, 2, 4, 8], 'log': ['registered', 'reopen', 'registered', 'invalid', 'invalid', 'reopen', 'registered', 'invalid', 'registered']}), ('boundary: double press cancels', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [3, 5, 3]}, {'calls': [5], 'log': ['registered', 'registered', 'cancelled']}), ('control 23', {'floors': 14, 'floor': 2, 'doors_open': False, 'load_kg': 15, 'presses': [2, 14, 1, 0, -1, 14, 5, 13]}, {'calls': [0, 1, 2, 5, 13], 'log': ['registered', 'invalid', 'registered', 'registered', 'invalid', 'invalid', 'registered', 'registered']}), ('sampled regression 26', {'floors': 10, 'floor': 9, 'doors_open': True, 'load_kg': 15, 'presses': [2, 4, 5, 9, 6, 1, 7, 9]}, {'calls': [1, 2, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'registered', 'nuisance', 'reopen']}), ('control 29', {'floors': 10, 'floor': 8, 'doors_open': False, 'load_kg': 20, 'presses': [10, 0, 1]}, {'calls': [0, 1], 'log': ['invalid', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 78', {'floors': 14, 'floor': 9, 'doors_open': True, 'load_kg': 0, 'presses': [8, 3, 2, 9, 13, 9, 5, 6, 0]}, {'calls': [2, 3, 5, 8, 13], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'reopen', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancel an earlier call', {'floors': 10, 'floor': 0, 'doors_open': False, 'load_kg': 80, 'presses': [3, 5, 7, 5]}, {'calls': [3, 7], 'log': ['registered', 'registered', 'registered', 'cancelled']}), ('boundary: exactly twenty kilograms', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 20, 'presses': [1, 2, 3, 4, 5, 6]}, {'calls': [1, 2, 3, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'registered']}), ('control 34', {'floors': 11, 'floor': 9, 'doors_open': False, 'load_kg': 0, 'presses': [10, 0, 5, 6, 0, 5, 9, 10, 9]}, {'calls': [6], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'cancelled', 'registered', 'cancelled', 'cancelled']}), ('control 37', {'floors': 10, 'floor': 7, 'doors_open': True, 'load_kg': 80, 'presses': [10, 0, -1, -1, 5]}, {'calls': [0, 5], 'log': ['invalid', 'registered', 'invalid', 'invalid', 'registered']}), ('control 40', {'floors': 13, 'floor': 0, 'doors_open': True, 'load_kg': 15, 'presses': [0, -1, 8, 3]}, {'calls': [3, 8], 'log': ['reopen', 'invalid', 'registered', 'registered']})], [('regression: child presses every button', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 3, 4, 5, 6, 7]}, {'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}), ('boundary: cancelled presses do not count', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 15, 'presses': [1, 2, 2, 3, 3, 4, 5, 6]}, {'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}), ('sampled regression 26', {'floors': 10, 'floor': 9, 'doors_open': True, 'load_kg': 15, 'presses': [2, 4, 5, 9, 6, 1, 7, 9]}, {'calls': [1, 2, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'reopen', 'registered', 'registered', 'nuisance', 'reopen']}), ('control 33', {'floors': 11, 'floor': 8, 'doors_open': True, 'load_kg': 15, 'presses': [9, 10, 6, 5, 10, 10, 8, 2, 9]}, {'calls': [2, 5, 6, 10], 'log': ['registered', 'registered', 'registered', 'registered', 'cancelled', 'registered', 'reopen', 'registered', 'cancelled']}), ('boundary: exactly twenty kilograms', {'floors': 12, 'floor': 0, 'doors_open': False, 'load_kg': 20, 'presses': [1, 2, 3, 4, 5, 6]}, {'calls': [1, 2, 3, 4, 5, 6], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'registered']}), ('control 45', {'floors': 10, 'floor': 6, 'doors_open': False, 'load_kg': 20, 'presses': [10, 9, 0, 0, 5, 7, 2, 3, 3]}, {'calls': [2, 5, 7, 9], 'log': ['invalid', 'registered', 'registered', 'cancelled', 'registered', 'registered', 'registered', 'registered', 'cancelled']}), ('control 48', {'floors': 10, 'floor': 2, 'doors_open': False, 'load_kg': 0, 'presses': [6, 10, 7, 2, 7, 4, 9]}, {'calls': [2, 4, 6, 9], 'log': ['registered', 'invalid', 'registered', 'registered', 'cancelled', 'registered', 'registered']}), ('control 51', {'floors': 15, 'floor': 9, 'doors_open': True, 'load_kg': 21, 'presses': [13, 6, 9, 10, 9]}, {'calls': [6, 10, 13], 'log': ['registered', 'registered', 'reopen', 'registered', 'reopen']})]]
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: child presses every button{'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}{'calls': [1, 2, 3, 4, 5], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'nuisance', 'nuisance']}Passed
boundary: cancelled presses do not count{'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}{'calls': [1, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'cancelled', 'registered', 'registered', 'registered']}Passed
sampled regression 69{'calls': [0, 3, 7, 12], 'log': ['registered', 'registered', 'registered', 'invalid', 'registered', 'registered', 'nuisance', 'nuisance', 'cancelled']}{'calls': [0, 3, 7, 12], 'log': ['registered', 'registered', 'registered', 'invalid', 'registered', 'registered', 'nuisance', 'nuisance', 'cancelled']}Passed
control 2{'calls': [0, 1, 5, 6, 7], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'invalid', 'cancelled', 'registered']}{'calls': [0, 1, 5, 6, 7], 'log': ['registered', 'registered', 'registered', 'registered', 'registered', 'invalid', 'cancelled', 'registered']}Passed
boundary: own floor with doors closed{'calls': [4, 6], 'log': ['registered', 'registered']}{'calls': [4, 6], 'log': ['registered', 'registered']}Passed
control 1{'calls': [8], 'log': ['registered', 'kept', 'invalid', 'registered', 'cancelled']}{'calls': [8], 'log': ['registered', 'kept', 'invalid', 'registered', 'cancelled']}Passed
control 4{'calls': [0, 4], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'cancelled']}{'calls': [0, 4], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'cancelled']}Passed
control 7{'calls': [0, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'registered']}{'calls': [0, 4, 5, 6], 'log': ['registered', 'registered', 'cancelled', 'registered', 'registered', 'registered']}Passed

SHA-256 / 960032498c87ba3bff0954f98d55a3baef0b2d619a68a930c0ce6e266d0ab35f

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

Case digest / 6ec992aabcdb646052f211f04328e4be93a019192b40681582affea698af0ff3