FA-95231 / Warehouse slotting and bin packing / Open access

Pick sequence: top level picked first · case 01

Within a bay, pickers are sent to the highest level first.

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

ROOT CAUSE

The level component of the walk key is negated.

VERIFIED REPAIR

Sort levels ascending within each bay.

Unsuccessful approach: Dropping level from the key leaves levels in dictionary insertion order.

Case contract

codes "aisle-bay-level" with decimal parts and optional surrounding whitespace. Valid aisles 1-40, levels 1-6. Canonical form "AA-BB-L" (two-digit aisle and bay). Duplicates collapse. Sequence: aisles ascending; odd aisles walk bays ascending, even aisles descending; level ascending within a bay. Invalid codes are returned as given, sorted, duplicates kept. Return [sequence, invalid].

Why this case matters

Pick paths are sequenced from location codes in a serpentine walk.

1 / The failure

Exit 1

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

N = 1
observations = []
def solve(codes):
    seq = {}
    bad = []
    for code in codes:
        parts = code.strip().split('-')
        if len(parts) != 3 or not all(p.isdecimal() for p in parts):
            bad.append(code)
            continue
        a, b, l = (int(p) for p in parts)
        if not (1 <= a <= 40 and 1 <= l <= 6):
            bad.append(code)
            continue
        seq[(a, b, l)] = '%02d-%02d-%d' % (a, b, l)
    def walk(k):
        a, b, l = k
        return (a, b if a % 2 == 1 else -b, -l)
    return [[seq[k] for k in sorted(seq, key=walk)], sorted(bad)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['generated mix 8', [[' 3-05-2\n', '\t3-7-6\n', '03-05-1', '02-05-7\n']], [['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]], ['serpentine', [['2-01-1', '1-05-1', '2-09-1', '1-02-1']], [['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['generated mix 6', [['\t41-05-0\n', ' 3-12-0 ', ' 02-05-7 ']], [[], ['\t41-05-0\n', ' 02-05-7 ', ' 3-12-0 ']]], ['generated mix 15', [['\t41-12-2', ' 40-1-2 ', '\t2-7-1\n']], [['02-07-1', '40-01-2'], ['\t41-12-2']]]], [['generated mix 45', [[' 02-1-2 ', '02-1-7', '\t1-1-2', ' 01-1-6 ', ' 41-05-2\n', '\t40 -1-6']], [['01-01-2', '01-01-6', '02-01-2'], ['\t40 -1-6', ' 41-05-2\n', '02-1-7']]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['range limits', [['40-1-6', '41-1-1', '1-1-7', '0-1-1']], [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']]], ['dedupe canonical', [['01-01-1', '1-1-1']], [['01-01-1'], []]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['generated mix 9', [['2-7-1', '2-1-2', '1-12-2\n']], [['01-12-2', '02-07-1', '02-01-2'], []]], ['generated mix 17', [['\t02-7-1', ' 2-12-2', '03-12-2']], [['02-12-2', '02-07-1', '03-12-2'], []]], ['generated mix 25', [['\t02-1-2 ', ' 0-05-1\n', '\t3-7-2\n', '02-1-7\n', '\t41-05-6\n', ' 0 -1-7 ']], [['02-01-2', '03-07-2'], ['\t41-05-6\n', ' 0 -1-7 ', ' 0-05-1\n', '02-1-7\n']]]], [['generated mix 18', [['X03-1-1', 'X 40-05-2 ', '\t01-7-1 ', '40-7-6\n', '01-7-2 ']], [['01-07-1', '01-07-2', '40-07-6'], ['X 40-05-2 ', 'X03-1-1']]], ['generated mix 8', [[' 3-05-2\n', '\t3-7-6\n', '03-05-1', '02-05-7\n']], [['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]], ['dedupe canonical', [['01-01-1', '1-1-1']], [['01-01-1'], []]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['generated mix 22', [[' 0-12-1', '3-12-0 ', 'X 01-7-1\n', '\t3-7-6 ', '3-12-1', ' 40-12-6 ', '\t03-7-7']], [['03-07-6', '03-12-1', '40-12-6'], ['\t03-7-7', ' 0-12-1', '3-12-0 ', 'X 01-7-1\n']]], ['generated mix 30', [['\t41-05-0 ', '\t3-1-1', '0-7-0 ', '\t1-7-7 ', ' 02-1-0', ' 03 -12-1']], [['03-01-1'], ['\t1-7-7 ', '\t41-05-0 ', ' 02-1-0', ' 03 -12-1', '0-7-0 ']]]], [['generated mix 8', [[' 3-05-2\n', '\t3-7-6\n', '03-05-1', '02-05-7\n']], [['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['range limits', [['40-1-6', '41-1-1', '1-1-7', '0-1-1']], [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']]], ['dedupe canonical', [['01-01-1', '1-1-1']], [['01-01-1'], []]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['generated mix 32', [['\t41-7-2', 'X01-7-1', ' 0 -12-1\n', ' 0-1-6\n', 'X 3-1-7\n']], [[], ['\t41-7-2', ' 0 -12-1\n', ' 0-1-6\n', 'X 3-1-7\n', 'X01-7-1']]], ['generated mix 40', [['\t41-05-7', '\t1-12-6\n', ' 1-1-6', 'X\t0-7-7 ', '02-7-2\n']], [['01-01-6', '01-12-6', '02-07-2'], ['\t41-05-7', 'X\t0-7-7 ']]], ['generated mix 48', [['40-7-0 ', '0-12-7\n', '\t2-7-7', ' 2-7-7\n', '\t41-05-6 ', '\t3-05-1', '\t3-7-0']], [['03-05-1'], ['\t2-7-7', '\t3-7-0', '\t41-05-6 ', ' 2-7-7\n', '0-12-7\n', '40-7-0 ']]]], [['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['generated mix 8', [[' 3-05-2\n', '\t3-7-6\n', '03-05-1', '02-05-7\n']], [['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]], ['serpentine', [['2-01-1', '1-05-1', '2-09-1', '1-02-1']], [['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['generated mix 43', [[' 3-1-6\n', '03-1-7', '1 -12-6', ' 41-7-6']], [['03-01-6'], [' 41-7-6', '03-1-7', '1 -12-6']]], ['generated mix 51', [['\t01-7-2', ' 41-1-0 ', ' 01-1-6\n', ' 01 -12-0']], [['01-01-6', '01-07-2'], [' 01 -12-0', ' 41-1-0 ']]], ['generated mix 59', [['1-05-1', '\t40-1-1']], [['01-05-1', '40-01-1'], []]]]]
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 fixture	Actual	Expected	Outcome
levels ascend	`[['03-04-2', '03-04-1'], []]`	`[['03-04-1', '03-04-2'], []]`	Failed
generated mix 8	`[['03-05-2', '03-05-1', '03-07-6'], ['02-05-7\n']]`	`[['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]`	Failed
serpentine	`[['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]`	`[['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]`	Passed
inner space invalid	`[['01-01-1'], ['1 -1-1']]`	`[['01-01-1'], ['1 -1-1']]`	Passed
dup invalid kept	`[[], ['A', 'B', 'B']]`	`[[], ['A', 'B', 'B']]`	Passed
whitespace	`[['01-01-1', '01-02-1'], []]`	`[['01-01-1', '01-02-1'], []]`	Passed
generated mix 6	`[[], ['\t41-05-0\n', ' 02-05-7 ', ' 3-12-0 ']]`	`[[], ['\t41-05-0\n', ' 02-05-7 ', ' 3-12-0 ']]`	Passed
generated mix 15	`[['02-07-1', '40-01-2'], ['\t41-12-2']]`	`[['02-07-1', '40-01-2'], ['\t41-12-2']]`	Passed

SHA-256 / 05cf9803da2ac20cec8519c002fb91481fcc12926822853e9f31a4d4531a7d50

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(codes):
    seq = {}
    bad = []
    for code in codes:
        parts = code.strip().split('-')
        if len(parts) != 3 or not all(p.isdecimal() for p in parts):
            bad.append(code)
            continue
        a, b, l = (int(p) for p in parts)
        if not (1 <= a <= 40 and 1 <= l <= 6):
            bad.append(code)
            continue
        seq[(a, b, l)] = '%02d-%02d-%d' % (a, b, l)
    def walk(k):
        a, b, l = k
        return (a, b if a % 2 == 1 else -b)
    return [[seq[k] for k in sorted(seq, key=walk)], sorted(bad)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['generated mix 8', [[' 3-05-2\n', '\t3-7-6\n', '03-05-1', '02-05-7\n']], [['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]], ['serpentine', [['2-01-1', '1-05-1', '2-09-1', '1-02-1']], [['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['generated mix 6', [['\t41-05-0\n', ' 3-12-0 ', ' 02-05-7 ']], [[], ['\t41-05-0\n', ' 02-05-7 ', ' 3-12-0 ']]], ['generated mix 15', [['\t41-12-2', ' 40-1-2 ', '\t2-7-1\n']], [['02-07-1', '40-01-2'], ['\t41-12-2']]]], [['generated mix 45', [[' 02-1-2 ', '02-1-7', '\t1-1-2', ' 01-1-6 ', ' 41-05-2\n', '\t40 -1-6']], [['01-01-2', '01-01-6', '02-01-2'], ['\t40 -1-6', ' 41-05-2\n', '02-1-7']]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['range limits', [['40-1-6', '41-1-1', '1-1-7', '0-1-1']], [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']]], ['dedupe canonical', [['01-01-1', '1-1-1']], [['01-01-1'], []]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['generated mix 9', [['2-7-1', '2-1-2', '1-12-2\n']], [['01-12-2', '02-07-1', '02-01-2'], []]], ['generated mix 17', [['\t02-7-1', ' 2-12-2', '03-12-2']], [['02-12-2', '02-07-1', '03-12-2'], []]], ['generated mix 25', [['\t02-1-2 ', ' 0-05-1\n', '\t3-7-2\n', '02-1-7\n', '\t41-05-6\n', ' 0 -1-7 ']], [['02-01-2', '03-07-2'], ['\t41-05-6\n', ' 0 -1-7 ', ' 0-05-1\n', '02-1-7\n']]]], [['generated mix 18', [['X03-1-1', 'X 40-05-2 ', '\t01-7-1 ', '40-7-6\n', '01-7-2 ']], [['01-07-1', '01-07-2', '40-07-6'], ['X 40-05-2 ', 'X03-1-1']]], ['generated mix 8', [[' 3-05-2\n', '\t3-7-6\n', '03-05-1', '02-05-7\n']], [['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]], ['dedupe canonical', [['01-01-1', '1-1-1']], [['01-01-1'], []]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['generated mix 22', [[' 0-12-1', '3-12-0 ', 'X 01-7-1\n', '\t3-7-6 ', '3-12-1', ' 40-12-6 ', '\t03-7-7']], [['03-07-6', '03-12-1', '40-12-6'], ['\t03-7-7', ' 0-12-1', '3-12-0 ', 'X 01-7-1\n']]], ['generated mix 30', [['\t41-05-0 ', '\t3-1-1', '0-7-0 ', '\t1-7-7 ', ' 02-1-0', ' 03 -12-1']], [['03-01-1'], ['\t1-7-7 ', '\t41-05-0 ', ' 02-1-0', ' 03 -12-1', '0-7-0 ']]]], [['generated mix 8', [[' 3-05-2\n', '\t3-7-6\n', '03-05-1', '02-05-7\n']], [['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['range limits', [['40-1-6', '41-1-1', '1-1-7', '0-1-1']], [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']]], ['dedupe canonical', [['01-01-1', '1-1-1']], [['01-01-1'], []]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['generated mix 32', [['\t41-7-2', 'X01-7-1', ' 0 -12-1\n', ' 0-1-6\n', 'X 3-1-7\n']], [[], ['\t41-7-2', ' 0 -12-1\n', ' 0-1-6\n', 'X 3-1-7\n', 'X01-7-1']]], ['generated mix 40', [['\t41-05-7', '\t1-12-6\n', ' 1-1-6', 'X\t0-7-7 ', '02-7-2\n']], [['01-01-6', '01-12-6', '02-07-2'], ['\t41-05-7', 'X\t0-7-7 ']]], ['generated mix 48', [['40-7-0 ', '0-12-7\n', '\t2-7-7', ' 2-7-7\n', '\t41-05-6 ', '\t3-05-1', '\t3-7-0']], [['03-05-1'], ['\t2-7-7', '\t3-7-0', '\t41-05-6 ', ' 2-7-7\n', '0-12-7\n', '40-7-0 ']]]], [['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['generated mix 8', [[' 3-05-2\n', '\t3-7-6\n', '03-05-1', '02-05-7\n']], [['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]], ['serpentine', [['2-01-1', '1-05-1', '2-09-1', '1-02-1']], [['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['generated mix 43', [[' 3-1-6\n', '03-1-7', '1 -12-6', ' 41-7-6']], [['03-01-6'], [' 41-7-6', '03-1-7', '1 -12-6']]], ['generated mix 51', [['\t01-7-2', ' 41-1-0 ', ' 01-1-6\n', ' 01 -12-0']], [['01-01-6', '01-07-2'], [' 01 -12-0', ' 41-1-0 ']]], ['generated mix 59', [['1-05-1', '\t40-1-1']], [['01-05-1', '40-01-1'], []]]]]
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 fixture	Actual	Expected	Outcome
levels ascend	`[['03-04-2', '03-04-1'], []]`	`[['03-04-1', '03-04-2'], []]`	Failed
generated mix 8	`[['03-05-2', '03-05-1', '03-07-6'], ['02-05-7\n']]`	`[['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]`	Failed
serpentine	`[['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]`	`[['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]`	Passed
inner space invalid	`[['01-01-1'], ['1 -1-1']]`	`[['01-01-1'], ['1 -1-1']]`	Passed
dup invalid kept	`[[], ['A', 'B', 'B']]`	`[[], ['A', 'B', 'B']]`	Passed
whitespace	`[['01-01-1', '01-02-1'], []]`	`[['01-01-1', '01-02-1'], []]`	Passed
generated mix 6	`[[], ['\t41-05-0\n', ' 02-05-7 ', ' 3-12-0 ']]`	`[[], ['\t41-05-0\n', ' 02-05-7 ', ' 3-12-0 ']]`	Passed
generated mix 15	`[['02-07-1', '40-01-2'], ['\t41-12-2']]`	`[['02-07-1', '40-01-2'], ['\t41-12-2']]`	Passed

SHA-256 / 58beee74059ebed122c4db898a64555cf5d8bad3e1f96d1b25bd89e2affebfbe

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(codes):
    seq = {}
    bad = []
    for code in codes:
        parts = code.strip().split('-')
        if len(parts) != 3 or not all(p.isdecimal() for p in parts):
            bad.append(code)
            continue
        a, b, l = (int(p) for p in parts)
        if not (1 <= a <= 40 and 1 <= l <= 6):
            bad.append(code)
            continue
        seq[(a, b, l)] = '%02d-%02d-%d' % (a, b, l)
    def walk(k):
        a, b, l = k
        return (a, b if a % 2 == 1 else -b, l)
    return [[seq[k] for k in sorted(seq, key=walk)], sorted(bad)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['generated mix 8', [[' 3-05-2\n', '\t3-7-6\n', '03-05-1', '02-05-7\n']], [['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]], ['serpentine', [['2-01-1', '1-05-1', '2-09-1', '1-02-1']], [['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['generated mix 6', [['\t41-05-0\n', ' 3-12-0 ', ' 02-05-7 ']], [[], ['\t41-05-0\n', ' 02-05-7 ', ' 3-12-0 ']]], ['generated mix 15', [['\t41-12-2', ' 40-1-2 ', '\t2-7-1\n']], [['02-07-1', '40-01-2'], ['\t41-12-2']]]], [['generated mix 45', [[' 02-1-2 ', '02-1-7', '\t1-1-2', ' 01-1-6 ', ' 41-05-2\n', '\t40 -1-6']], [['01-01-2', '01-01-6', '02-01-2'], ['\t40 -1-6', ' 41-05-2\n', '02-1-7']]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['range limits', [['40-1-6', '41-1-1', '1-1-7', '0-1-1']], [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']]], ['dedupe canonical', [['01-01-1', '1-1-1']], [['01-01-1'], []]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['generated mix 9', [['2-7-1', '2-1-2', '1-12-2\n']], [['01-12-2', '02-07-1', '02-01-2'], []]], ['generated mix 17', [['\t02-7-1', ' 2-12-2', '03-12-2']], [['02-12-2', '02-07-1', '03-12-2'], []]], ['generated mix 25', [['\t02-1-2 ', ' 0-05-1\n', '\t3-7-2\n', '02-1-7\n', '\t41-05-6\n', ' 0 -1-7 ']], [['02-01-2', '03-07-2'], ['\t41-05-6\n', ' 0 -1-7 ', ' 0-05-1\n', '02-1-7\n']]]], [['generated mix 18', [['X03-1-1', 'X 40-05-2 ', '\t01-7-1 ', '40-7-6\n', '01-7-2 ']], [['01-07-1', '01-07-2', '40-07-6'], ['X 40-05-2 ', 'X03-1-1']]], ['generated mix 8', [[' 3-05-2\n', '\t3-7-6\n', '03-05-1', '02-05-7\n']], [['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]], ['dedupe canonical', [['01-01-1', '1-1-1']], [['01-01-1'], []]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['generated mix 22', [[' 0-12-1', '3-12-0 ', 'X 01-7-1\n', '\t3-7-6 ', '3-12-1', ' 40-12-6 ', '\t03-7-7']], [['03-07-6', '03-12-1', '40-12-6'], ['\t03-7-7', ' 0-12-1', '3-12-0 ', 'X 01-7-1\n']]], ['generated mix 30', [['\t41-05-0 ', '\t3-1-1', '0-7-0 ', '\t1-7-7 ', ' 02-1-0', ' 03 -12-1']], [['03-01-1'], ['\t1-7-7 ', '\t41-05-0 ', ' 02-1-0', ' 03 -12-1', '0-7-0 ']]]], [['generated mix 8', [[' 3-05-2\n', '\t3-7-6\n', '03-05-1', '02-05-7\n']], [['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['range limits', [['40-1-6', '41-1-1', '1-1-7', '0-1-1']], [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']]], ['dedupe canonical', [['01-01-1', '1-1-1']], [['01-01-1'], []]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['generated mix 32', [['\t41-7-2', 'X01-7-1', ' 0 -12-1\n', ' 0-1-6\n', 'X 3-1-7\n']], [[], ['\t41-7-2', ' 0 -12-1\n', ' 0-1-6\n', 'X 3-1-7\n', 'X01-7-1']]], ['generated mix 40', [['\t41-05-7', '\t1-12-6\n', ' 1-1-6', 'X\t0-7-7 ', '02-7-2\n']], [['01-01-6', '01-12-6', '02-07-2'], ['\t41-05-7', 'X\t0-7-7 ']]], ['generated mix 48', [['40-7-0 ', '0-12-7\n', '\t2-7-7', ' 2-7-7\n', '\t41-05-6 ', '\t3-05-1', '\t3-7-0']], [['03-05-1'], ['\t2-7-7', '\t3-7-0', '\t41-05-6 ', ' 2-7-7\n', '0-12-7\n', '40-7-0 ']]]], [['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['generated mix 8', [[' 3-05-2\n', '\t3-7-6\n', '03-05-1', '02-05-7\n']], [['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]], ['serpentine', [['2-01-1', '1-05-1', '2-09-1', '1-02-1']], [['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['generated mix 43', [[' 3-1-6\n', '03-1-7', '1 -12-6', ' 41-7-6']], [['03-01-6'], [' 41-7-6', '03-1-7', '1 -12-6']]], ['generated mix 51', [['\t01-7-2', ' 41-1-0 ', ' 01-1-6\n', ' 01 -12-0']], [['01-01-6', '01-07-2'], [' 01 -12-0', ' 41-1-0 ']]], ['generated mix 59', [['1-05-1', '\t40-1-1']], [['01-05-1', '40-01-1'], []]]]]
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 fixture	Actual	Expected	Outcome
levels ascend	`[['03-04-1', '03-04-2'], []]`	`[['03-04-1', '03-04-2'], []]`	Passed
generated mix 8	`[['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]`	`[['03-05-1', '03-05-2', '03-07-6'], ['02-05-7\n']]`	Passed
serpentine	`[['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]`	`[['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]`	Passed
inner space invalid	`[['01-01-1'], ['1 -1-1']]`	`[['01-01-1'], ['1 -1-1']]`	Passed
dup invalid kept	`[[], ['A', 'B', 'B']]`	`[[], ['A', 'B', 'B']]`	Passed
whitespace	`[['01-01-1', '01-02-1'], []]`	`[['01-01-1', '01-02-1'], []]`	Passed
generated mix 6	`[[], ['\t41-05-0\n', ' 02-05-7 ', ' 3-12-0 ']]`	`[[], ['\t41-05-0\n', ' 02-05-7 ', ' 3-12-0 ']]`	Passed
generated mix 15	`[['02-07-1', '40-01-2'], ['\t41-12-2']]`	`[['02-07-1', '40-01-2'], ['\t41-12-2']]`	Passed

SHA-256 / 4fa639ebe9bdbb1c59420ea45969f9c601063621c094da9cda1e032ba6ee72cc

Verification & scope

Stipulated code format and layout; no cross aisles or zone routing. 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:52:11.803261+00:00.

Case digest / e41ef71f5078c5b83b6a7917f1a6b3d7db6f16ba92e75cdad76a5aa47727ceb1