FAILURE MAP
← Case archive

FA-67381 / Elevator dispatch scheduling / Open access

Destination dispatch allocation: stop bookkeeping · case 01

Later passengers for the same floor are not recognised as coincident.

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

ROOT CAUSE

The allocated destination is never added to the car stops.

THE FAILURE

The allocated destination is never added to the car stops.

Unsuccessful approach: Replacing the stop set forgets previously allocated stops.

Case contract

Requests (destination, group size) are allocated one by one. A car is eligible if load + group size <= capacity. Cost = ready time + per_stop_s * existing stops + stop_penalty_s if the destination is not already a stop. The lowest cost wins, ties to the lowest car id. The chosen car adds the destination to its stops and the group to its load. None if no car is eligible.

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):
    cars = {c['id']: {'ready': c['ready_s'], 'stops': set(c['stops']), 'load': c['load'], 'cap': c['cap']} for c in x['cars']}
    out = []
    for req in x['requests']:
        best = None
        for cid in sorted(cars):
            c = cars[cid]
            if c['load'] + req['n'] > c['cap']:
                continue
            new_stop = 0 if req['dest'] in c['stops'] else 1
            cost = c['ready'] + x['per_stop_s'] * len(c['stops']) + x['stop_penalty_s'] * new_stop
            if best is None or cost < best[0]:
                best = (cost, cid)
        if best is None:
            out.append(None)
            continue
        c = cars[best[1]]
        c['load'] += req['n']
        out.append(best[1])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('sampled regression 5', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [3, 6, 5], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 0, 'stops': [2, 3], 'load': 8, 'cap': 12}, {'id': 'C', 'ready_s': 5, 'stops': [], 'load': 4, 'cap': 12}], 'requests': [{'dest': 2, 'n': 5}, {'dest': 9, 'n': 1}, {'dest': 3, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['C', 'B', 'B']), ('sampled regression 6', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [14, 11, 6], 'load': 11, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [13], 'load': 0, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [11], 'load': 4, 'cap': 13}], 'requests': [{'dest': 8, 'n': 5}, {'dest': 9, 'n': 3}, {'dest': 3, 'n': 1}, {'dest': 2, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['B', 'C', 'B', 'C']), ('sampled regression 9', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [3, 9], 'load': 4, 'cap': 13}, {'id': 'B', 'ready_s': 20, 'stops': [8, 6, 12], 'load': 11, 'cap': 13}], 'requests': [{'dest': 10, 'n': 3}, {'dest': 3, 'n': 3}, {'dest': 13, 'n': 1}, {'dest': 2, 'n': 1}, {'dest': 5, 'n': 5}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['A', 'A', 'A', 'B', None]), ('sampled regression 8', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [12], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [], 'load': 8, 'cap': 13}], 'requests': [{'dest': 6, 'n': 3}, {'dest': 4, 'n': 1}, {'dest': 7, 'n': 1}, {'dest': 6, 'n': 2}, {'dest': 14, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['A', 'A', 'B', 'A', 'A']), ('boundary: group exactly fills the car', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [], 'load': 10, 'cap': 12}, {'id': 'B', 'ready_s': 30, 'stops': [], 'load': 0, 'cap': 12}], 'requests': [{'dest': 5, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['A']), ('control 1', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [10, 11], 'load': 8, 'cap': 13}, {'id': 'B', 'ready_s': 20, 'stops': [9], 'load': 11, 'cap': 12}, {'id': 'C', 'ready_s': 0, 'stops': [13, 14, 2], 'load': 11, 'cap': 13}], 'requests': [{'dest': 10, 'n': 1}, {'dest': 9, 'n': 5}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['A', None]), ('control 4', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [], 'load': 11, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [3], 'load': 4, 'cap': 12}, {'id': 'C', 'ready_s': 5, 'stops': [], 'load': 11, 'cap': 13}], 'requests': [{'dest': 7, 'n': 2}, {'dest': 3, 'n': 1}, {'dest': 8, 'n': 1}, {'dest': 3, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['C', 'B', 'A', 'B']), ('control 7', {'cars': [{'id': 'A', 'ready_s': 5, 'stops': [11, 6], 'load': 8, 'cap': 13}, {'id': 'B', 'ready_s': 20, 'stops': [7], 'load': 8, 'cap': 12}, {'id': 'C', 'ready_s': 10, 'stops': [5], 'load': 0, 'cap': 12}], 'requests': [{'dest': 2, 'n': 1}, {'dest': 8, 'n': 5}, {'dest': 11, 'n': 3}, {'dest': 3, 'n': 1}], 'stop_penalty_s': 15, 'per_stop_s': 5}, ['A', 'C', 'A', 'A'])], [('sampled regression 6', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [14, 11, 6], 'load': 11, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [13], 'load': 0, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [11], 'load': 4, 'cap': 13}], 'requests': [{'dest': 8, 'n': 5}, {'dest': 9, 'n': 3}, {'dest': 3, 'n': 1}, {'dest': 2, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['B', 'C', 'B', 'C']), ('sampled regression 8', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [12], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [], 'load': 8, 'cap': 13}], 'requests': [{'dest': 6, 'n': 3}, {'dest': 4, 'n': 1}, {'dest': 7, 'n': 1}, {'dest': 6, 'n': 2}, {'dest': 14, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['A', 'A', 'B', 'A', 'A']), ('sampled regression 31', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [], 'load': 11, 'cap': 13}, {'id': 'B', 'ready_s': 0, 'stops': [], 'load': 8, 'cap': 12}, {'id': 'C', 'ready_s': 0, 'stops': [], 'load': 11, 'cap': 12}], 'requests': [{'dest': 3, 'n': 2}, {'dest': 14, 'n': 1}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['B', 'C']), ('sampled regression 30', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [2], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [], 'load': 0, 'cap': 13}], 'requests': [{'dest': 13, 'n': 1}, {'dest': 11, 'n': 1}, {'dest': 12, 'n': 5}, {'dest': 8, 'n': 1}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['B', 'A', 'B', 'A']), ('boundary: empty car earns no discount', {'cars': [{'id': 'A', 'ready_s': 4, 'stops': [], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 0, 'stops': [9], 'load': 0, 'cap': 12}], 'requests': [{'dest': 3, 'n': 1}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['A']), ('control 12', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [6, 3], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [], 'load': 4, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [10, 8], 'load': 11, 'cap': 13}], 'requests': [{'dest': 10, 'n': 1}, {'dest': 2, 'n': 1}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['A', 'A']), ('sampled regression 15', {'cars': [{'id': 'A', 'ready_s': 5, 'stops': [3], 'load': 0, 'cap': 13}, {'id': 'B', 'ready_s': 5, 'stops': [7, 2], 'load': 0, 'cap': 13}, {'id': 'C', 'ready_s': 5, 'stops': [12], 'load': 0, 'cap': 12}], 'requests': [{'dest': 2, 'n': 3}, {'dest': 13, 'n': 5}, {'dest': 11, 'n': 1}, {'dest': 2, 'n': 1}, {'dest': 12, 'n': 3}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['B', 'A', 'C', 'B', 'C']), ('control 18', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [], 'load': 4, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [2, 7, 5], 'load': 0, 'cap': 12}], 'requests': [{'dest': 10, 'n': 5}, {'dest': 2, 'n': 1}, {'dest': 6, 'n': 1}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['A', 'A', 'A'])], [('sampled regression 8', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [12], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [], 'load': 8, 'cap': 13}], 'requests': [{'dest': 6, 'n': 3}, {'dest': 4, 'n': 1}, {'dest': 7, 'n': 1}, {'dest': 6, 'n': 2}, {'dest': 14, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['A', 'A', 'B', 'A', 'A']), ('sampled regression 9', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [3, 9], 'load': 4, 'cap': 13}, {'id': 'B', 'ready_s': 20, 'stops': [8, 6, 12], 'load': 11, 'cap': 13}], 'requests': [{'dest': 10, 'n': 3}, {'dest': 3, 'n': 3}, {'dest': 13, 'n': 1}, {'dest': 2, 'n': 1}, {'dest': 5, 'n': 5}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['A', 'A', 'A', 'B', None]), ('sampled regression 49', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [11, 9, 3], 'load': 8, 'cap': 13}, {'id': 'B', 'ready_s': 10, 'stops': [6, 14], 'load': 4, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [5, 7, 9], 'load': 4, 'cap': 13}], 'requests': [{'dest': 5, 'n': 5}, {'dest': 4, 'n': 1}, {'dest': 8, 'n': 1}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['B', 'A', 'B']), ('sampled regression 46', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [], 'load': 0, 'cap': 13}, {'id': 'B', 'ready_s': 5, 'stops': [13], 'load': 4, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [7], 'load': 4, 'cap': 12}], 'requests': [{'dest': 3, 'n': 2}, {'dest': 14, 'n': 1}, {'dest': 2, 'n': 1}, {'dest': 5, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['B', 'A', 'B', 'A']), ('boundary: second group sees the first allocation', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 2, 'stops': [], 'load': 0, 'cap': 12}], 'requests': [{'dest': 6, 'n': 3}, {'dest': 6, 'n': 3}, {'dest': 6, 'n': 3}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['A', 'A', 'A']), ('sampled regression 23', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [2], 'load': 4, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [9, 8], 'load': 4, 'cap': 13}, {'id': 'C', 'ready_s': 10, 'stops': [], 'load': 0, 'cap': 13}], 'requests': [{'dest': 8, 'n': 3}, {'dest': 13, 'n': 1}, {'dest': 9, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['C', 'C', 'B']), ('control 26', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [9], 'load': 8, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [11, 14, 4], 'load': 8, 'cap': 13}], 'requests': [{'dest': 13, 'n': 1}, {'dest': 5, 'n': 1}, {'dest': 12, 'n': 1}, {'dest': 9, 'n': 1}, {'dest': 7, 'n': 3}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['A', 'A', 'A', 'A', 'B']), ('control 29', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [], 'load': 0, 'cap': 13}, {'id': 'B', 'ready_s': 10, 'stops': [2, 5, 7], 'load': 8, 'cap': 13}, {'id': 'C', 'ready_s': 20, 'stops': [2], 'load': 4, 'cap': 12}], 'requests': [{'dest': 6, 'n': 1}, {'dest': 3, 'n': 5}], 'stop_penalty_s': 15, 'per_stop_s': 5}, ['A', 'A'])], [('sampled regression 9', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [3, 9], 'load': 4, 'cap': 13}, {'id': 'B', 'ready_s': 20, 'stops': [8, 6, 12], 'load': 11, 'cap': 13}], 'requests': [{'dest': 10, 'n': 3}, {'dest': 3, 'n': 3}, {'dest': 13, 'n': 1}, {'dest': 2, 'n': 1}, {'dest': 5, 'n': 5}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['A', 'A', 'A', 'B', None]), ('sampled regression 15', {'cars': [{'id': 'A', 'ready_s': 5, 'stops': [3], 'load': 0, 'cap': 13}, {'id': 'B', 'ready_s': 5, 'stops': [7, 2], 'load': 0, 'cap': 13}, {'id': 'C', 'ready_s': 5, 'stops': [12], 'load': 0, 'cap': 12}], 'requests': [{'dest': 2, 'n': 3}, {'dest': 13, 'n': 5}, {'dest': 11, 'n': 1}, {'dest': 2, 'n': 1}, {'dest': 12, 'n': 3}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['B', 'A', 'C', 'B', 'C']), ('sampled regression 6', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [14, 11, 6], 'load': 11, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [13], 'load': 0, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [11], 'load': 4, 'cap': 13}], 'requests': [{'dest': 8, 'n': 5}, {'dest': 9, 'n': 3}, {'dest': 3, 'n': 1}, {'dest': 2, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['B', 'C', 'B', 'C']), ('control 60', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [13, 4, 8], 'load': 0, 'cap': 13}, {'id': 'B', 'ready_s': 10, 'stops': [7, 6], 'load': 4, 'cap': 13}, {'id': 'C', 'ready_s': 10, 'stops': [], 'load': 4, 'cap': 12}], 'requests': [{'dest': 4, 'n': 3}, {'dest': 12, 'n': 5}, {'dest': 7, 'n': 5}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['A', 'A', 'B']), ('boundary: no eligible car', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [], 'load': 11, 'cap': 12}], 'requests': [{'dest': 5, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, [None]), ('sampled regression 34', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [8], 'load': 8, 'cap': 13}, {'id': 'B', 'ready_s': 10, 'stops': [2], 'load': 0, 'cap': 12}], 'requests': [{'dest': 6, 'n': 1}, {'dest': 11, 'n': 3}, {'dest': 5, 'n': 1}, {'dest': 9, 'n': 1}, {'dest': 10, 'n': 1}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['B', 'B', 'A', 'B', 'A']), ('sampled regression 37', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [], 'load': 8, 'cap': 12}, {'id': 'B', 'ready_s': 5, 'stops': [9, 14, 8], 'load': 8, 'cap': 12}], 'requests': [{'dest': 5, 'n': 1}, {'dest': 8, 'n': 1}, {'dest': 2, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['A', 'B', 'A']), ('control 40', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [], 'load': 4, 'cap': 13}, {'id': 'B', 'ready_s': 0, 'stops': [10, 5, 7], 'load': 0, 'cap': 12}], 'requests': [{'dest': 5, 'n': 5}, {'dest': 5, 'n': 5}, {'dest': 7, 'n': 1}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['A', 'B', 'A'])], [('sampled regression 10', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [], 'load': 4, 'cap': 12}, {'id': 'B', 'ready_s': 5, 'stops': [5], 'load': 0, 'cap': 12}], 'requests': [{'dest': 12, 'n': 1}, {'dest': 8, 'n': 3}], 'stop_penalty_s': 15, 'per_stop_s': 5}, ['A', 'B']), ('sampled regression 23', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [2], 'load': 4, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [9, 8], 'load': 4, 'cap': 13}, {'id': 'C', 'ready_s': 10, 'stops': [], 'load': 0, 'cap': 13}], 'requests': [{'dest': 8, 'n': 3}, {'dest': 13, 'n': 1}, {'dest': 9, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['C', 'C', 'B']), ('sampled regression 27', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [12, 6, 13], 'load': 0, 'cap': 13}, {'id': 'B', 'ready_s': 10, 'stops': [6, 14, 5], 'load': 8, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [], 'load': 4, 'cap': 12}], 'requests': [{'dest': 12, 'n': 3}, {'dest': 2, 'n': 2}, {'dest': 8, 'n': 5}, {'dest': 11, 'n': 1}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['C', 'B', 'C', 'B']), ('sampled regression 8', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [12], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [], 'load': 8, 'cap': 13}], 'requests': [{'dest': 6, 'n': 3}, {'dest': 4, 'n': 1}, {'dest': 7, 'n': 1}, {'dest': 6, 'n': 2}, {'dest': 14, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['A', 'A', 'B', 'A', 'A']), ('boundary: coincident destination beats an idle car', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 0, 'stops': [7], 'load': 0, 'cap': 12}], 'requests': [{'dest': 7, 'n': 1}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['B']), ('sampled regression 45', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [5], 'load': 4, 'cap': 12}, {'id': 'B', 'ready_s': 0, 'stops': [], 'load': 0, 'cap': 12}], 'requests': [{'dest': 6, 'n': 5}, {'dest': 9, 'n': 5}, {'dest': 13, 'n': 1}, {'dest': 9, 'n': 2}, {'dest': 8, 'n': 1}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['B', 'A', 'B', 'A', 'A']), ('control 48', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [7], 'load': 11, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [2, 13], 'load': 11, 'cap': 13}, {'id': 'C', 'ready_s': 20, 'stops': [10, 12], 'load': 11, 'cap': 12}], 'requests': [{'dest': 6, 'n': 2}, {'dest': 14, 'n': 5}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['B', None]), ('control 51', {'cars': [{'id': 'A', 'ready_s': 5, 'stops': [3], 'load': 8, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [12, 8], 'load': 0, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [10], 'load': 0, 'cap': 13}], 'requests': [{'dest': 14, 'n': 1}, {'dest': 13, 'n': 2}, {'dest': 5, 'n': 1}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['A', 'A', 'A'])]]
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
sampled regression 5['C', 'C', 'B']['C', 'B', 'B']Failed
sampled regression 6['B', 'B', 'B', 'B']['B', 'C', 'B', 'C']Failed
sampled regression 9['A', 'A', 'A', 'A', None]['A', 'A', 'A', 'B', None]Failed
sampled regression 8['A', 'A', 'A', 'A', 'A']['A', 'A', 'B', 'A', 'A']Failed
boundary: group exactly fills the car['A']['A']Passed
control 1['A', None]['A', None]Passed
control 4['C', 'B', 'A', 'B']['C', 'B', 'A', 'B']Passed
control 7['A', 'C', 'A', 'A']['A', 'C', 'A', 'A']Passed

SHA-256 / eb8f1db5fe869c4402a0dbc791c0665e338f9d3b572feef065dbbe556d3060f5

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(x):
    cars = {c['id']: {'ready': c['ready_s'], 'stops': set(c['stops']), 'load': c['load'], 'cap': c['cap']} for c in x['cars']}
    out = []
    for req in x['requests']:
        best = None
        for cid in sorted(cars):
            c = cars[cid]
            if c['load'] + req['n'] > c['cap']:
                continue
            new_stop = 0 if req['dest'] in c['stops'] else 1
            cost = c['ready'] + x['per_stop_s'] * len(c['stops']) + x['stop_penalty_s'] * new_stop
            if best is None or cost < best[0]:
                best = (cost, cid)
        if best is None:
            out.append(None)
            continue
        c = cars[best[1]]
        c['stops'] = {req['dest']}
        c['load'] += req['n']
        out.append(best[1])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('sampled regression 5', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [3, 6, 5], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 0, 'stops': [2, 3], 'load': 8, 'cap': 12}, {'id': 'C', 'ready_s': 5, 'stops': [], 'load': 4, 'cap': 12}], 'requests': [{'dest': 2, 'n': 5}, {'dest': 9, 'n': 1}, {'dest': 3, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['C', 'B', 'B']), ('sampled regression 6', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [14, 11, 6], 'load': 11, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [13], 'load': 0, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [11], 'load': 4, 'cap': 13}], 'requests': [{'dest': 8, 'n': 5}, {'dest': 9, 'n': 3}, {'dest': 3, 'n': 1}, {'dest': 2, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['B', 'C', 'B', 'C']), ('sampled regression 9', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [3, 9], 'load': 4, 'cap': 13}, {'id': 'B', 'ready_s': 20, 'stops': [8, 6, 12], 'load': 11, 'cap': 13}], 'requests': [{'dest': 10, 'n': 3}, {'dest': 3, 'n': 3}, {'dest': 13, 'n': 1}, {'dest': 2, 'n': 1}, {'dest': 5, 'n': 5}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['A', 'A', 'A', 'B', None]), ('sampled regression 8', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [12], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [], 'load': 8, 'cap': 13}], 'requests': [{'dest': 6, 'n': 3}, {'dest': 4, 'n': 1}, {'dest': 7, 'n': 1}, {'dest': 6, 'n': 2}, {'dest': 14, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['A', 'A', 'B', 'A', 'A']), ('boundary: group exactly fills the car', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [], 'load': 10, 'cap': 12}, {'id': 'B', 'ready_s': 30, 'stops': [], 'load': 0, 'cap': 12}], 'requests': [{'dest': 5, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['A']), ('control 1', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [10, 11], 'load': 8, 'cap': 13}, {'id': 'B', 'ready_s': 20, 'stops': [9], 'load': 11, 'cap': 12}, {'id': 'C', 'ready_s': 0, 'stops': [13, 14, 2], 'load': 11, 'cap': 13}], 'requests': [{'dest': 10, 'n': 1}, {'dest': 9, 'n': 5}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['A', None]), ('control 4', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [], 'load': 11, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [3], 'load': 4, 'cap': 12}, {'id': 'C', 'ready_s': 5, 'stops': [], 'load': 11, 'cap': 13}], 'requests': [{'dest': 7, 'n': 2}, {'dest': 3, 'n': 1}, {'dest': 8, 'n': 1}, {'dest': 3, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['C', 'B', 'A', 'B']), ('control 7', {'cars': [{'id': 'A', 'ready_s': 5, 'stops': [11, 6], 'load': 8, 'cap': 13}, {'id': 'B', 'ready_s': 20, 'stops': [7], 'load': 8, 'cap': 12}, {'id': 'C', 'ready_s': 10, 'stops': [5], 'load': 0, 'cap': 12}], 'requests': [{'dest': 2, 'n': 1}, {'dest': 8, 'n': 5}, {'dest': 11, 'n': 3}, {'dest': 3, 'n': 1}], 'stop_penalty_s': 15, 'per_stop_s': 5}, ['A', 'C', 'A', 'A'])], [('sampled regression 6', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [14, 11, 6], 'load': 11, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [13], 'load': 0, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [11], 'load': 4, 'cap': 13}], 'requests': [{'dest': 8, 'n': 5}, {'dest': 9, 'n': 3}, {'dest': 3, 'n': 1}, {'dest': 2, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['B', 'C', 'B', 'C']), ('sampled regression 8', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [12], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [], 'load': 8, 'cap': 13}], 'requests': [{'dest': 6, 'n': 3}, {'dest': 4, 'n': 1}, {'dest': 7, 'n': 1}, {'dest': 6, 'n': 2}, {'dest': 14, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['A', 'A', 'B', 'A', 'A']), ('sampled regression 31', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [], 'load': 11, 'cap': 13}, {'id': 'B', 'ready_s': 0, 'stops': [], 'load': 8, 'cap': 12}, {'id': 'C', 'ready_s': 0, 'stops': [], 'load': 11, 'cap': 12}], 'requests': [{'dest': 3, 'n': 2}, {'dest': 14, 'n': 1}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['B', 'C']), ('sampled regression 30', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [2], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [], 'load': 0, 'cap': 13}], 'requests': [{'dest': 13, 'n': 1}, {'dest': 11, 'n': 1}, {'dest': 12, 'n': 5}, {'dest': 8, 'n': 1}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['B', 'A', 'B', 'A']), ('boundary: empty car earns no discount', {'cars': [{'id': 'A', 'ready_s': 4, 'stops': [], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 0, 'stops': [9], 'load': 0, 'cap': 12}], 'requests': [{'dest': 3, 'n': 1}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['A']), ('control 12', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [6, 3], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [], 'load': 4, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [10, 8], 'load': 11, 'cap': 13}], 'requests': [{'dest': 10, 'n': 1}, {'dest': 2, 'n': 1}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['A', 'A']), ('sampled regression 15', {'cars': [{'id': 'A', 'ready_s': 5, 'stops': [3], 'load': 0, 'cap': 13}, {'id': 'B', 'ready_s': 5, 'stops': [7, 2], 'load': 0, 'cap': 13}, {'id': 'C', 'ready_s': 5, 'stops': [12], 'load': 0, 'cap': 12}], 'requests': [{'dest': 2, 'n': 3}, {'dest': 13, 'n': 5}, {'dest': 11, 'n': 1}, {'dest': 2, 'n': 1}, {'dest': 12, 'n': 3}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['B', 'A', 'C', 'B', 'C']), ('control 18', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [], 'load': 4, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [2, 7, 5], 'load': 0, 'cap': 12}], 'requests': [{'dest': 10, 'n': 5}, {'dest': 2, 'n': 1}, {'dest': 6, 'n': 1}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['A', 'A', 'A'])], [('sampled regression 8', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [12], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [], 'load': 8, 'cap': 13}], 'requests': [{'dest': 6, 'n': 3}, {'dest': 4, 'n': 1}, {'dest': 7, 'n': 1}, {'dest': 6, 'n': 2}, {'dest': 14, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['A', 'A', 'B', 'A', 'A']), ('sampled regression 9', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [3, 9], 'load': 4, 'cap': 13}, {'id': 'B', 'ready_s': 20, 'stops': [8, 6, 12], 'load': 11, 'cap': 13}], 'requests': [{'dest': 10, 'n': 3}, {'dest': 3, 'n': 3}, {'dest': 13, 'n': 1}, {'dest': 2, 'n': 1}, {'dest': 5, 'n': 5}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['A', 'A', 'A', 'B', None]), ('sampled regression 49', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [11, 9, 3], 'load': 8, 'cap': 13}, {'id': 'B', 'ready_s': 10, 'stops': [6, 14], 'load': 4, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [5, 7, 9], 'load': 4, 'cap': 13}], 'requests': [{'dest': 5, 'n': 5}, {'dest': 4, 'n': 1}, {'dest': 8, 'n': 1}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['B', 'A', 'B']), ('sampled regression 46', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [], 'load': 0, 'cap': 13}, {'id': 'B', 'ready_s': 5, 'stops': [13], 'load': 4, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [7], 'load': 4, 'cap': 12}], 'requests': [{'dest': 3, 'n': 2}, {'dest': 14, 'n': 1}, {'dest': 2, 'n': 1}, {'dest': 5, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['B', 'A', 'B', 'A']), ('boundary: second group sees the first allocation', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 2, 'stops': [], 'load': 0, 'cap': 12}], 'requests': [{'dest': 6, 'n': 3}, {'dest': 6, 'n': 3}, {'dest': 6, 'n': 3}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['A', 'A', 'A']), ('sampled regression 23', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [2], 'load': 4, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [9, 8], 'load': 4, 'cap': 13}, {'id': 'C', 'ready_s': 10, 'stops': [], 'load': 0, 'cap': 13}], 'requests': [{'dest': 8, 'n': 3}, {'dest': 13, 'n': 1}, {'dest': 9, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['C', 'C', 'B']), ('control 26', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [9], 'load': 8, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [11, 14, 4], 'load': 8, 'cap': 13}], 'requests': [{'dest': 13, 'n': 1}, {'dest': 5, 'n': 1}, {'dest': 12, 'n': 1}, {'dest': 9, 'n': 1}, {'dest': 7, 'n': 3}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['A', 'A', 'A', 'A', 'B']), ('control 29', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [], 'load': 0, 'cap': 13}, {'id': 'B', 'ready_s': 10, 'stops': [2, 5, 7], 'load': 8, 'cap': 13}, {'id': 'C', 'ready_s': 20, 'stops': [2], 'load': 4, 'cap': 12}], 'requests': [{'dest': 6, 'n': 1}, {'dest': 3, 'n': 5}], 'stop_penalty_s': 15, 'per_stop_s': 5}, ['A', 'A'])], [('sampled regression 9', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [3, 9], 'load': 4, 'cap': 13}, {'id': 'B', 'ready_s': 20, 'stops': [8, 6, 12], 'load': 11, 'cap': 13}], 'requests': [{'dest': 10, 'n': 3}, {'dest': 3, 'n': 3}, {'dest': 13, 'n': 1}, {'dest': 2, 'n': 1}, {'dest': 5, 'n': 5}], 'stop_penalty_s': 10, 'per_stop_s': 3}, ['A', 'A', 'A', 'B', None]), ('sampled regression 15', {'cars': [{'id': 'A', 'ready_s': 5, 'stops': [3], 'load': 0, 'cap': 13}, {'id': 'B', 'ready_s': 5, 'stops': [7, 2], 'load': 0, 'cap': 13}, {'id': 'C', 'ready_s': 5, 'stops': [12], 'load': 0, 'cap': 12}], 'requests': [{'dest': 2, 'n': 3}, {'dest': 13, 'n': 5}, {'dest': 11, 'n': 1}, {'dest': 2, 'n': 1}, {'dest': 12, 'n': 3}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['B', 'A', 'C', 'B', 'C']), ('sampled regression 6', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [14, 11, 6], 'load': 11, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [13], 'load': 0, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [11], 'load': 4, 'cap': 13}], 'requests': [{'dest': 8, 'n': 5}, {'dest': 9, 'n': 3}, {'dest': 3, 'n': 1}, {'dest': 2, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['B', 'C', 'B', 'C']), ('control 60', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [13, 4, 8], 'load': 0, 'cap': 13}, {'id': 'B', 'ready_s': 10, 'stops': [7, 6], 'load': 4, 'cap': 13}, {'id': 'C', 'ready_s': 10, 'stops': [], 'load': 4, 'cap': 12}], 'requests': [{'dest': 4, 'n': 3}, {'dest': 12, 'n': 5}, {'dest': 7, 'n': 5}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['A', 'A', 'B']), ('boundary: no eligible car', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [], 'load': 11, 'cap': 12}], 'requests': [{'dest': 5, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, [None]), ('sampled regression 34', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [8], 'load': 8, 'cap': 13}, {'id': 'B', 'ready_s': 10, 'stops': [2], 'load': 0, 'cap': 12}], 'requests': [{'dest': 6, 'n': 1}, {'dest': 11, 'n': 3}, {'dest': 5, 'n': 1}, {'dest': 9, 'n': 1}, {'dest': 10, 'n': 1}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['B', 'B', 'A', 'B', 'A']), ('sampled regression 37', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [], 'load': 8, 'cap': 12}, {'id': 'B', 'ready_s': 5, 'stops': [9, 14, 8], 'load': 8, 'cap': 12}], 'requests': [{'dest': 5, 'n': 1}, {'dest': 8, 'n': 1}, {'dest': 2, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['A', 'B', 'A']), ('control 40', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [], 'load': 4, 'cap': 13}, {'id': 'B', 'ready_s': 0, 'stops': [10, 5, 7], 'load': 0, 'cap': 12}], 'requests': [{'dest': 5, 'n': 5}, {'dest': 5, 'n': 5}, {'dest': 7, 'n': 1}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['A', 'B', 'A'])], [('sampled regression 10', {'cars': [{'id': 'A', 'ready_s': 10, 'stops': [], 'load': 4, 'cap': 12}, {'id': 'B', 'ready_s': 5, 'stops': [5], 'load': 0, 'cap': 12}], 'requests': [{'dest': 12, 'n': 1}, {'dest': 8, 'n': 3}], 'stop_penalty_s': 15, 'per_stop_s': 5}, ['A', 'B']), ('sampled regression 23', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [2], 'load': 4, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [9, 8], 'load': 4, 'cap': 13}, {'id': 'C', 'ready_s': 10, 'stops': [], 'load': 0, 'cap': 13}], 'requests': [{'dest': 8, 'n': 3}, {'dest': 13, 'n': 1}, {'dest': 9, 'n': 2}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['C', 'C', 'B']), ('sampled regression 27', {'cars': [{'id': 'A', 'ready_s': 20, 'stops': [12, 6, 13], 'load': 0, 'cap': 13}, {'id': 'B', 'ready_s': 10, 'stops': [6, 14, 5], 'load': 8, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [], 'load': 4, 'cap': 12}], 'requests': [{'dest': 12, 'n': 3}, {'dest': 2, 'n': 2}, {'dest': 8, 'n': 5}, {'dest': 11, 'n': 1}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['C', 'B', 'C', 'B']), ('sampled regression 8', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [12], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [], 'load': 8, 'cap': 13}], 'requests': [{'dest': 6, 'n': 3}, {'dest': 4, 'n': 1}, {'dest': 7, 'n': 1}, {'dest': 6, 'n': 2}, {'dest': 14, 'n': 2}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['A', 'A', 'B', 'A', 'A']), ('boundary: coincident destination beats an idle car', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [], 'load': 0, 'cap': 12}, {'id': 'B', 'ready_s': 0, 'stops': [7], 'load': 0, 'cap': 12}], 'requests': [{'dest': 7, 'n': 1}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['B']), ('sampled regression 45', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [5], 'load': 4, 'cap': 12}, {'id': 'B', 'ready_s': 0, 'stops': [], 'load': 0, 'cap': 12}], 'requests': [{'dest': 6, 'n': 5}, {'dest': 9, 'n': 5}, {'dest': 13, 'n': 1}, {'dest': 9, 'n': 2}, {'dest': 8, 'n': 1}], 'stop_penalty_s': 8, 'per_stop_s': 3}, ['B', 'A', 'B', 'A', 'A']), ('control 48', {'cars': [{'id': 'A', 'ready_s': 0, 'stops': [7], 'load': 11, 'cap': 12}, {'id': 'B', 'ready_s': 20, 'stops': [2, 13], 'load': 11, 'cap': 13}, {'id': 'C', 'ready_s': 20, 'stops': [10, 12], 'load': 11, 'cap': 12}], 'requests': [{'dest': 6, 'n': 2}, {'dest': 14, 'n': 5}], 'stop_penalty_s': 10, 'per_stop_s': 5}, ['B', None]), ('control 51', {'cars': [{'id': 'A', 'ready_s': 5, 'stops': [3], 'load': 8, 'cap': 12}, {'id': 'B', 'ready_s': 10, 'stops': [12, 8], 'load': 0, 'cap': 12}, {'id': 'C', 'ready_s': 20, 'stops': [10], 'load': 0, 'cap': 13}], 'requests': [{'dest': 14, 'n': 1}, {'dest': 13, 'n': 2}, {'dest': 5, 'n': 1}], 'stop_penalty_s': 8, 'per_stop_s': 5}, ['A', 'A', 'A'])]]
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
sampled regression 5['C', 'B', 'B']['C', 'B', 'B']Passed
sampled regression 6['B', 'B', 'B', 'B']['B', 'C', 'B', 'C']Failed
sampled regression 9['A', 'A', 'A', 'A', None]['A', 'A', 'A', 'B', None]Failed
sampled regression 8['A', 'A', 'A', 'A', 'A']['A', 'A', 'B', 'A', 'A']Failed
boundary: group exactly fills the car['A']['A']Passed
control 1['A', None]['A', None]Passed
control 4['C', 'B', 'A', 'B']['C', 'B', 'A', 'B']Passed
control 7['A', 'C', 'A', 'A']['A', 'C', 'A', 'A']Passed

SHA-256 / aa480ae725031d92a5a4e89e994e25443975dcda0f5895c993a2943e1176c6d5

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 8 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

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

Case digest / f182d37578848a905296f346478695a415769653ca4e39542a69021bc53985aa