FA-95246 / Warehouse slotting and bin packing / Open access
Pick sequence: invalid list unsorted · case 01
Exception reports list invalid codes in scan order.
ROOT CAUSE
Invalid codes are returned in input order.
VERIFIED REPAIR
Return invalid codes sorted, keeping duplicates.
Unsuccessful approach: De-duplicating invalid codes hides repeated bad scans that must be counted.
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)], bad]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['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']]], ['generated mix 14', [['1-1-1 ', ' 1-1-7\n', '\t40-12-6', '\t2-1-1', ' 1-1-7\n', '40-05-2 ', '01-1-7 ']], [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']]], ['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'], []]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['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 7', [['\t2-05-0', '\t3-7-2\n', 'X 0-7-0', ' 01-05-7', 'X 2-7-0 ', '\t01-12-2', '1-12-7 ']], [['01-12-2', '03-07-2'], ['\t2-05-0', ' 01-05-7', '1-12-7 ', 'X 0-7-0', 'X 2-7-0 ']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['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'], []]], ['generated mix 10', [['\t40 -05-1', '40-7-7', '0-1-0', '\t03-05-1 ', '3-1-0', '3-1-7 ']], [['03-05-1'], ['\t40 -05-1', '0-1-0', '3-1-0', '3-1-7 ', '40-7-7']]], ['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 26', [[' 01-12-0 ', '\t03-12-2 ', '\t41-05-7', 'X2 -1-0 ', '3-1-2\n', ' 03-12-7', '1-7-1\n']], [['01-07-1', '03-01-2', '03-12-2'], ['\t41-05-7', ' 01-12-0 ', ' 03-12-7', 'X2 -1-0 ']]]], [['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 14', [['1-1-1 ', ' 1-1-7\n', '\t40-12-6', '\t2-1-1', ' 1-1-7\n', '40-05-2 ', '01-1-7 ']], [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']]], ['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 21', [['2-12-2\n', '\t1-05-1\n', '1-12-1', ' 3-05-2 ', '02-05-2', '1 -12-7\n', '40-7-0 ']], [['01-05-1', '01-12-1', '02-12-2', '02-05-2', '03-05-2'], ['1 -12-7\n', '40-7-0 ']]], ['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 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']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['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'], []]], ['generated mix 31', [['3-05-0 ', '2-05-1 ', '\t03-7-2\n', '3-05-6 ']], [['02-05-1', '03-05-6', '03-07-2'], ['3-05-0 ']]], ['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 ']]]], [['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']]], ['generated mix 14', [['1-1-1 ', ' 1-1-7\n', '\t40-12-6', '\t2-1-1', ' 1-1-7\n', '40-05-2 ', '01-1-7 ']], [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['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'], []]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['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']]], ['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 52', [['1-1-7', '1-05-6', '03-7-2', '\t1-12-2 ', 'X\t0-7-2 ', '40-1-7', '\t1 -05-1 ']], [['01-05-6', '01-12-2', '03-07-2'], ['\t1 -05-1 ', '1-1-7', '40-1-7', 'X\t0-7-2 ']]]]]
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 |
|---|---|---|---|
| range limits | [['40-01-6'], ['41-1-1', '1-1-7', '0-1-1']] | [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']] | Failed |
| generated mix 14 | [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']] | [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']] | 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 |
| whitespace | [['01-01-1', '01-02-1'], []] | [['01-01-1', '01-02-1'], []] | Passed |
| dup invalid kept | [[], ['B', 'A', 'B']] | [[], ['A', 'B', 'B']] | Failed |
| levels ascend | [['03-04-1', '03-04-2'], []] | [['03-04-1', '03-04-2'], []] | Passed |
| generated mix 6 | [[], ['\t41-05-0\n', ' 3-12-0 ', ' 02-05-7 ']] | [[], ['\t41-05-0\n', ' 02-05-7 ', ' 3-12-0 ']] | Failed |
| generated mix 15 | [['02-07-1', '40-01-2'], ['\t41-12-2']] | [['02-07-1', '40-01-2'], ['\t41-12-2']] | Passed |
SHA-256 / 1d9755496423a8b0d0b8c2c8c5c9ff0e659f1f31875f27e2b9c39182495edb15
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, l)
return [[seq[k] for k in sorted(seq, key=walk)], sorted(set(bad))]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['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']]], ['generated mix 14', [['1-1-1 ', ' 1-1-7\n', '\t40-12-6', '\t2-1-1', ' 1-1-7\n', '40-05-2 ', '01-1-7 ']], [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']]], ['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'], []]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['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 7', [['\t2-05-0', '\t3-7-2\n', 'X 0-7-0', ' 01-05-7', 'X 2-7-0 ', '\t01-12-2', '1-12-7 ']], [['01-12-2', '03-07-2'], ['\t2-05-0', ' 01-05-7', '1-12-7 ', 'X 0-7-0', 'X 2-7-0 ']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['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'], []]], ['generated mix 10', [['\t40 -05-1', '40-7-7', '0-1-0', '\t03-05-1 ', '3-1-0', '3-1-7 ']], [['03-05-1'], ['\t40 -05-1', '0-1-0', '3-1-0', '3-1-7 ', '40-7-7']]], ['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 26', [[' 01-12-0 ', '\t03-12-2 ', '\t41-05-7', 'X2 -1-0 ', '3-1-2\n', ' 03-12-7', '1-7-1\n']], [['01-07-1', '03-01-2', '03-12-2'], ['\t41-05-7', ' 01-12-0 ', ' 03-12-7', 'X2 -1-0 ']]]], [['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 14', [['1-1-1 ', ' 1-1-7\n', '\t40-12-6', '\t2-1-1', ' 1-1-7\n', '40-05-2 ', '01-1-7 ']], [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']]], ['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 21', [['2-12-2\n', '\t1-05-1\n', '1-12-1', ' 3-05-2 ', '02-05-2', '1 -12-7\n', '40-7-0 ']], [['01-05-1', '01-12-1', '02-12-2', '02-05-2', '03-05-2'], ['1 -12-7\n', '40-7-0 ']]], ['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 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']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['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'], []]], ['generated mix 31', [['3-05-0 ', '2-05-1 ', '\t03-7-2\n', '3-05-6 ']], [['02-05-1', '03-05-6', '03-07-2'], ['3-05-0 ']]], ['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 ']]]], [['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']]], ['generated mix 14', [['1-1-1 ', ' 1-1-7\n', '\t40-12-6', '\t2-1-1', ' 1-1-7\n', '40-05-2 ', '01-1-7 ']], [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['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'], []]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['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']]], ['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 52', [['1-1-7', '1-05-6', '03-7-2', '\t1-12-2 ', 'X\t0-7-2 ', '40-1-7', '\t1 -05-1 ']], [['01-05-6', '01-12-2', '03-07-2'], ['\t1 -05-1 ', '1-1-7', '40-1-7', 'X\t0-7-2 ']]]]]
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 |
|---|---|---|---|
| range limits | [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']] | [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']] | Passed |
| generated mix 14 | [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', '01-1-7 ']] | [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']] | 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 |
| whitespace | [['01-01-1', '01-02-1'], []] | [['01-01-1', '01-02-1'], []] | Passed |
| dup invalid kept | [[], ['A', 'B']] | [[], ['A', 'B', 'B']] | Failed |
| levels ascend | [['03-04-1', '03-04-2'], []] | [['03-04-1', '03-04-2'], []] | 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 / 1ea87ac6aa5b0f56e67472082b72d693319f47658aecf5b9d57d770350a28196
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 = [[['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']]], ['generated mix 14', [['1-1-1 ', ' 1-1-7\n', '\t40-12-6', '\t2-1-1', ' 1-1-7\n', '40-05-2 ', '01-1-7 ']], [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']]], ['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'], []]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['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 7', [['\t2-05-0', '\t3-7-2\n', 'X 0-7-0', ' 01-05-7', 'X 2-7-0 ', '\t01-12-2', '1-12-7 ']], [['01-12-2', '03-07-2'], ['\t2-05-0', ' 01-05-7', '1-12-7 ', 'X 0-7-0', 'X 2-7-0 ']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['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'], []]], ['generated mix 10', [['\t40 -05-1', '40-7-7', '0-1-0', '\t03-05-1 ', '3-1-0', '3-1-7 ']], [['03-05-1'], ['\t40 -05-1', '0-1-0', '3-1-0', '3-1-7 ', '40-7-7']]], ['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 26', [[' 01-12-0 ', '\t03-12-2 ', '\t41-05-7', 'X2 -1-0 ', '3-1-2\n', ' 03-12-7', '1-7-1\n']], [['01-07-1', '03-01-2', '03-12-2'], ['\t41-05-7', ' 01-12-0 ', ' 03-12-7', 'X2 -1-0 ']]]], [['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 14', [['1-1-1 ', ' 1-1-7\n', '\t40-12-6', '\t2-1-1', ' 1-1-7\n', '40-05-2 ', '01-1-7 ']], [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']]], ['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 21', [['2-12-2\n', '\t1-05-1\n', '1-12-1', ' 3-05-2 ', '02-05-2', '1 -12-7\n', '40-7-0 ']], [['01-05-1', '01-12-1', '02-12-2', '02-05-2', '03-05-2'], ['1 -12-7\n', '40-7-0 ']]], ['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 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']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['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'], []]], ['generated mix 31', [['3-05-0 ', '2-05-1 ', '\t03-7-2\n', '3-05-6 ']], [['02-05-1', '03-05-6', '03-07-2'], ['3-05-0 ']]], ['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 ']]]], [['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']]], ['generated mix 14', [['1-1-1 ', ' 1-1-7\n', '\t40-12-6', '\t2-1-1', ' 1-1-7\n', '40-05-2 ', '01-1-7 ']], [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['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'], []]], ['whitespace', [[' 1-1-1\n', '\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['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']]], ['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 52', [['1-1-7', '1-05-6', '03-7-2', '\t1-12-2 ', 'X\t0-7-2 ', '40-1-7', '\t1 -05-1 ']], [['01-05-6', '01-12-2', '03-07-2'], ['\t1 -05-1 ', '1-1-7', '40-1-7', 'X\t0-7-2 ']]]]]
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 |
|---|---|---|---|
| range limits | [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']] | [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']] | Passed |
| generated mix 14 | [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']] | [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\n', ' 1-1-7\n', '01-1-7 ']] | 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 |
| whitespace | [['01-01-1', '01-02-1'], []] | [['01-01-1', '01-02-1'], []] | Passed |
| dup invalid kept | [[], ['A', 'B', 'B']] | [[], ['A', 'B', 'B']] | Passed |
| levels ascend | [['03-04-1', '03-04-2'], []] | [['03-04-1', '03-04-2'], []] | 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 / b1183b428f57e9bb3496bad01fb7aa5bbce6160449c97d18707be20c9f5a4a60
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.899319+00:00.
Case digest / d1e16c61ea3c7025bf7f1e9ee50b6789f4f67f7d32daccfa27de2f96538497ee