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

Re-slot plan: moves that add travel accepted · case 01

Moves into slots farther from the dock are proposed as savings.

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

ROOT CAUSE

The benefit uses the absolute travel difference, so longer travel also counts as a gain.

VERIFIED REPAIR

Compute benefit as picks times (travel_from - travel_to), keeping the sign.

Unsuccessful approach: Multiplying only the old travel by picks mixes per-pick and weekly units.

Case contract

cands [[sku, from_slot, to_slot, weekly_picks, travel_from, travel_to]]. Weekly benefit = picks*(travel_from - travel_to); keep candidates with benefit >= move_cost; rank by benefit desc, sku, from, to. Greedily accept up to max_moves: each SKU moves once, each target is used once, and a target that is the from_slot of any candidate is occupied unless that slot was already vacated by an accepted move. Return [[sku, to_slot, benefit]].

Why this case matters

Periodic re-slotting moves SKUs whose velocity changed toward better locations.

1 / The failure

Exit 1

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

N = 1
observations = []
def solve(cands, move_cost, max_moves):
    occupied = {c[1] for c in cands}
    ranked = []
    for sku, frm, to, picks, tf, tt in cands:
        benefit = picks * abs(tf - tt)
        if benefit >= move_cost:
            ranked.append((-benefit, sku, frm, to))
    ranked.sort()
    plan = []
    moved = set()
    targets = set()
    vacated = set()
    for nb, sku, frm, to in ranked:
        if len(plan) >= max_moves:
            break
        if sku in moved or to in targets:
            continue
        if to in occupied and to not in vacated:
            continue
        plan.append([sku, to, -nb])
        moved.add(sku)
        targets.add(to)
        vacated.add(frm)
    return plan
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['threshold equal kept', [[['A', 'S1', 'S9', 10, 30, 20]], 100, 5], [['A', 'S9', 100]]], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 400]]], ['generated mix 6', [[['K3', 'S1', 'S3', 20, 50, 10], ['K3', 'S4', 'S7', 40, 50, 40]], 400, 2], [['K3', 'S3', 800]]], ['generated mix 14', [[['K3', 'S7', 'S4', 10, 10, 30], ['K4', 'S6', 'S3', 10, 50, 5], ['K2', 'S5', 'S6', 5, 30, 10]], 200, 3], [['K4', 'S3', 450]]], ['generated mix 22', [[['K1', 'S2', 'S1', 20, 30, 40]], 400, 1], []]], [['generated mix 14', [[['K3', 'S7', 'S4', 10, 10, 30], ['K4', 'S6', 'S3', 10, 50, 5], ['K2', 'S5', 'S6', 5, 30, 10]], 200, 3], [['K4', 'S3', 450]]], ['sku once', [[['A', 'S1', 'S8', 10, 50, 10], ['A', 'S1', 'S9', 10, 50, 20]], 0, 5], [['A', 'S8', 400]]], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['generated mix 18', [[['K1', 'S4', 'S3', 5, 50, 30], ['K3', 'S7', 'S3', 10, 20, 5]], 400, 2], []], ['generated mix 26', [[['K3', 'S2', 'S7', 10, 20, 40], ['K4', 'S2', 'S3', 5, 50, 20], ['K1', 'S4', 'S1', 5, 30, 20]], 100, 2], [['K4', 'S3', 150]]]], [['generated mix 47', [[['K2', 'S2', 'S5', 40, 30, 40]], 100, 2], []], ['generated mix 6', [[['K3', 'S1', 'S3', 20, 50, 10], ['K3', 'S4', 'S7', 40, 50, 40]], 400, 2], [['K3', 'S3', 800]]], ['sku once', [[['A', 'S1', 'S8', 10, 50, 10], ['A', 'S1', 'S9', 10, 50, 20]], 0, 5], [['A', 'S8', 400]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 21', [[['K2', 'S6', 'S5', 5, 20, 10], ['K1', 'S3', 'S4', 40, 30, 20], ['K2', 'S4', 'S7', 40, 30, 20], ['K3', 'S1', 'S5', 10, 20, 10], ['K3', 'S5', 'S3', 40, 10, 5]], 200, 1], [['K2', 'S7', 400]]], ['generated mix 29', [[['K4', 'S6', 'S5', 40, 50, 20], ['K3', 'S6', 'S3', 20, 50, 40], ['K4', 'S6', 'S2', 20, 10, 40]], 200, 1], [['K4', 'S5', 1200]]]], [['generated mix 64', [[['K4', 'S1', 'S3', 20, 20, 40], ['K3', 'S6', 'S1', 40, 50, 10], ['K4', 'S3', 'S4', 5, 10, 40], ['K1', 'S3', 'S2', 10, 10, 5]], 100, 1], []], ['generated mix 12', [[['K1', 'S1', 'S7', 5, 10, 30], ['K4', 'S7', 'S4', 40, 20, 40], ['K1', 'S6', 'S3', 5, 10, 40], ['K4', 'S3', 'S2', 10, 50, 20]], 0, 1], [['K4', 'S2', 300]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 400]]], ['chain into vacated', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 400], ['B', 'S1', 300]]], ['sku once', [[['A', 'S1', 'S8', 10, 50, 10], ['A', 'S1', 'S9', 10, 50, 20]], 0, 5], [['A', 'S8', 400]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 32', [[['K2', 'S5', 'S1', 10, 30, 5], ['K2', 'S1', 'S3', 5, 10, 40], ['K3', 'S5', 'S4', 20, 10, 10], ['K4', 'S3', 'S5', 10, 50, 40], ['K2', 'S4', 'S6', 40, 10, 40]], 0, 3], []], ['generated mix 40', [[['K3', 'S5', 'S2', 40, 10, 10]], 200, 3], []]], [['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 17', [[['K1', 'S2', 'S6', 5, 20, 20], ['K2', 'S7', 'S1', 10, 50, 30]], 50, 3], [['K2', 'S1', 200]]], ['threshold equal kept', [[['A', 'S1', 'S9', 10, 30, 20]], 100, 5], [['A', 'S9', 100]]], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 43', [[['K2', 'S6', 'S5', 10, 20, 30]], 200, 2], []], ['generated mix 51', [[['K4', 'S4', 'S5', 10, 50, 5], ['K3', 'S4', 'S7', 10, 50, 40], ['K3', 'S5', 'S3', 10, 50, 40], ['K1', 'S6', 'S1', 40, 20, 30]], 200, 1], []], ['generated mix 59', [[['K1', 'S3', 'S7', 40, 10, 30], ['K1', 'S2', 'S5', 40, 20, 20], ['K4', 'S2', 'S3', 10, 20, 10], ['K4', 'S3', 'S2', 10, 20, 40], ['K4', 'S5', 'S1', 40, 50, 30]], 0, 2], [['K4', 'S1', 800], ['K1', 'S5', 0]]]]]
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
negative benefit	`[['A', 'S9', 100]]`	`[]`	Failed
threshold equal kept	`[['A', 'S9', 100]]`	`[['A', 'S9', 100]]`	Passed
shared target	`[['A', 'S9', 400]]`	`[['A', 'S9', 400]]`	Passed
occupied target	`[['A', 'S9', 200]]`	`[['A', 'S9', 200]]`	Passed
limit	`[['A', 'S8', 400]]`	`[['A', 'S8', 400]]`	Passed
generated mix 6	`[['K3', 'S3', 800]]`	`[['K3', 'S3', 800]]`	Passed
generated mix 14	`[['K4', 'S3', 450], ['K3', 'S4', 200]]`	`[['K4', 'S3', 450]]`	Failed
generated mix 22	`[]`	`[]`	Passed

SHA-256 / 19692a44d4e48fc54d7c57e58dd8600aa573c14fdf9ccfdb8273bcd80e957d63

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(cands, move_cost, max_moves):
    occupied = {c[1] for c in cands}
    ranked = []
    for sku, frm, to, picks, tf, tt in cands:
        benefit = picks * tf - tt
        if benefit >= move_cost:
            ranked.append((-benefit, sku, frm, to))
    ranked.sort()
    plan = []
    moved = set()
    targets = set()
    vacated = set()
    for nb, sku, frm, to in ranked:
        if len(plan) >= max_moves:
            break
        if sku in moved or to in targets:
            continue
        if to in occupied and to not in vacated:
            continue
        plan.append([sku, to, -nb])
        moved.add(sku)
        targets.add(to)
        vacated.add(frm)
    return plan
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['threshold equal kept', [[['A', 'S1', 'S9', 10, 30, 20]], 100, 5], [['A', 'S9', 100]]], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 400]]], ['generated mix 6', [[['K3', 'S1', 'S3', 20, 50, 10], ['K3', 'S4', 'S7', 40, 50, 40]], 400, 2], [['K3', 'S3', 800]]], ['generated mix 14', [[['K3', 'S7', 'S4', 10, 10, 30], ['K4', 'S6', 'S3', 10, 50, 5], ['K2', 'S5', 'S6', 5, 30, 10]], 200, 3], [['K4', 'S3', 450]]], ['generated mix 22', [[['K1', 'S2', 'S1', 20, 30, 40]], 400, 1], []]], [['generated mix 14', [[['K3', 'S7', 'S4', 10, 10, 30], ['K4', 'S6', 'S3', 10, 50, 5], ['K2', 'S5', 'S6', 5, 30, 10]], 200, 3], [['K4', 'S3', 450]]], ['sku once', [[['A', 'S1', 'S8', 10, 50, 10], ['A', 'S1', 'S9', 10, 50, 20]], 0, 5], [['A', 'S8', 400]]], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['generated mix 18', [[['K1', 'S4', 'S3', 5, 50, 30], ['K3', 'S7', 'S3', 10, 20, 5]], 400, 2], []], ['generated mix 26', [[['K3', 'S2', 'S7', 10, 20, 40], ['K4', 'S2', 'S3', 5, 50, 20], ['K1', 'S4', 'S1', 5, 30, 20]], 100, 2], [['K4', 'S3', 150]]]], [['generated mix 47', [[['K2', 'S2', 'S5', 40, 30, 40]], 100, 2], []], ['generated mix 6', [[['K3', 'S1', 'S3', 20, 50, 10], ['K3', 'S4', 'S7', 40, 50, 40]], 400, 2], [['K3', 'S3', 800]]], ['sku once', [[['A', 'S1', 'S8', 10, 50, 10], ['A', 'S1', 'S9', 10, 50, 20]], 0, 5], [['A', 'S8', 400]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 21', [[['K2', 'S6', 'S5', 5, 20, 10], ['K1', 'S3', 'S4', 40, 30, 20], ['K2', 'S4', 'S7', 40, 30, 20], ['K3', 'S1', 'S5', 10, 20, 10], ['K3', 'S5', 'S3', 40, 10, 5]], 200, 1], [['K2', 'S7', 400]]], ['generated mix 29', [[['K4', 'S6', 'S5', 40, 50, 20], ['K3', 'S6', 'S3', 20, 50, 40], ['K4', 'S6', 'S2', 20, 10, 40]], 200, 1], [['K4', 'S5', 1200]]]], [['generated mix 64', [[['K4', 'S1', 'S3', 20, 20, 40], ['K3', 'S6', 'S1', 40, 50, 10], ['K4', 'S3', 'S4', 5, 10, 40], ['K1', 'S3', 'S2', 10, 10, 5]], 100, 1], []], ['generated mix 12', [[['K1', 'S1', 'S7', 5, 10, 30], ['K4', 'S7', 'S4', 40, 20, 40], ['K1', 'S6', 'S3', 5, 10, 40], ['K4', 'S3', 'S2', 10, 50, 20]], 0, 1], [['K4', 'S2', 300]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 400]]], ['chain into vacated', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 400], ['B', 'S1', 300]]], ['sku once', [[['A', 'S1', 'S8', 10, 50, 10], ['A', 'S1', 'S9', 10, 50, 20]], 0, 5], [['A', 'S8', 400]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 32', [[['K2', 'S5', 'S1', 10, 30, 5], ['K2', 'S1', 'S3', 5, 10, 40], ['K3', 'S5', 'S4', 20, 10, 10], ['K4', 'S3', 'S5', 10, 50, 40], ['K2', 'S4', 'S6', 40, 10, 40]], 0, 3], []], ['generated mix 40', [[['K3', 'S5', 'S2', 40, 10, 10]], 200, 3], []]], [['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 17', [[['K1', 'S2', 'S6', 5, 20, 20], ['K2', 'S7', 'S1', 10, 50, 30]], 50, 3], [['K2', 'S1', 200]]], ['threshold equal kept', [[['A', 'S1', 'S9', 10, 30, 20]], 100, 5], [['A', 'S9', 100]]], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 43', [[['K2', 'S6', 'S5', 10, 20, 30]], 200, 2], []], ['generated mix 51', [[['K4', 'S4', 'S5', 10, 50, 5], ['K3', 'S4', 'S7', 10, 50, 40], ['K3', 'S5', 'S3', 10, 50, 40], ['K1', 'S6', 'S1', 40, 20, 30]], 200, 1], []], ['generated mix 59', [[['K1', 'S3', 'S7', 40, 10, 30], ['K1', 'S2', 'S5', 40, 20, 20], ['K4', 'S2', 'S3', 10, 20, 10], ['K4', 'S3', 'S2', 10, 20, 40], ['K4', 'S5', 'S1', 40, 50, 30]], 0, 2], [['K4', 'S1', 800], ['K1', 'S5', 0]]]]]
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
negative benefit	`[['A', 'S9', 170]]`	`[]`	Failed
threshold equal kept	`[['A', 'S9', 280]]`	`[['A', 'S9', 100]]`	Failed
shared target	`[['A', 'S9', 490]]`	`[['A', 'S9', 400]]`	Failed
occupied target	`[['A', 'S9', 290]]`	`[['A', 'S9', 200]]`	Failed
limit	`[['A', 'S8', 490]]`	`[['A', 'S8', 400]]`	Failed
generated mix 6	`[['K3', 'S7', 1960]]`	`[['K3', 'S3', 800]]`	Failed
generated mix 14	`[['K4', 'S3', 495]]`	`[['K4', 'S3', 450]]`	Failed
generated mix 22	`[['K1', 'S1', 560]]`	`[]`	Failed

SHA-256 / 20ace28bb13f05e16d594864918a29b37f797987c97c4b402b6ead5af500dd47

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(cands, move_cost, max_moves):
    occupied = {c[1] for c in cands}
    ranked = []
    for sku, frm, to, picks, tf, tt in cands:
        benefit = picks * (tf - tt)
        if benefit >= move_cost:
            ranked.append((-benefit, sku, frm, to))
    ranked.sort()
    plan = []
    moved = set()
    targets = set()
    vacated = set()
    for nb, sku, frm, to in ranked:
        if len(plan) >= max_moves:
            break
        if sku in moved or to in targets:
            continue
        if to in occupied and to not in vacated:
            continue
        plan.append([sku, to, -nb])
        moved.add(sku)
        targets.add(to)
        vacated.add(frm)
    return plan
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['threshold equal kept', [[['A', 'S1', 'S9', 10, 30, 20]], 100, 5], [['A', 'S9', 100]]], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 400]]], ['generated mix 6', [[['K3', 'S1', 'S3', 20, 50, 10], ['K3', 'S4', 'S7', 40, 50, 40]], 400, 2], [['K3', 'S3', 800]]], ['generated mix 14', [[['K3', 'S7', 'S4', 10, 10, 30], ['K4', 'S6', 'S3', 10, 50, 5], ['K2', 'S5', 'S6', 5, 30, 10]], 200, 3], [['K4', 'S3', 450]]], ['generated mix 22', [[['K1', 'S2', 'S1', 20, 30, 40]], 400, 1], []]], [['generated mix 14', [[['K3', 'S7', 'S4', 10, 10, 30], ['K4', 'S6', 'S3', 10, 50, 5], ['K2', 'S5', 'S6', 5, 30, 10]], 200, 3], [['K4', 'S3', 450]]], ['sku once', [[['A', 'S1', 'S8', 10, 50, 10], ['A', 'S1', 'S9', 10, 50, 20]], 0, 5], [['A', 'S8', 400]]], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['generated mix 18', [[['K1', 'S4', 'S3', 5, 50, 30], ['K3', 'S7', 'S3', 10, 20, 5]], 400, 2], []], ['generated mix 26', [[['K3', 'S2', 'S7', 10, 20, 40], ['K4', 'S2', 'S3', 5, 50, 20], ['K1', 'S4', 'S1', 5, 30, 20]], 100, 2], [['K4', 'S3', 150]]]], [['generated mix 47', [[['K2', 'S2', 'S5', 40, 30, 40]], 100, 2], []], ['generated mix 6', [[['K3', 'S1', 'S3', 20, 50, 10], ['K3', 'S4', 'S7', 40, 50, 40]], 400, 2], [['K3', 'S3', 800]]], ['sku once', [[['A', 'S1', 'S8', 10, 50, 10], ['A', 'S1', 'S9', 10, 50, 20]], 0, 5], [['A', 'S8', 400]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 21', [[['K2', 'S6', 'S5', 5, 20, 10], ['K1', 'S3', 'S4', 40, 30, 20], ['K2', 'S4', 'S7', 40, 30, 20], ['K3', 'S1', 'S5', 10, 20, 10], ['K3', 'S5', 'S3', 40, 10, 5]], 200, 1], [['K2', 'S7', 400]]], ['generated mix 29', [[['K4', 'S6', 'S5', 40, 50, 20], ['K3', 'S6', 'S3', 20, 50, 40], ['K4', 'S6', 'S2', 20, 10, 40]], 200, 1], [['K4', 'S5', 1200]]]], [['generated mix 64', [[['K4', 'S1', 'S3', 20, 20, 40], ['K3', 'S6', 'S1', 40, 50, 10], ['K4', 'S3', 'S4', 5, 10, 40], ['K1', 'S3', 'S2', 10, 10, 5]], 100, 1], []], ['generated mix 12', [[['K1', 'S1', 'S7', 5, 10, 30], ['K4', 'S7', 'S4', 40, 20, 40], ['K1', 'S6', 'S3', 5, 10, 40], ['K4', 'S3', 'S2', 10, 50, 20]], 0, 1], [['K4', 'S2', 300]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 400]]], ['chain into vacated', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 400], ['B', 'S1', 300]]], ['sku once', [[['A', 'S1', 'S8', 10, 50, 10], ['A', 'S1', 'S9', 10, 50, 20]], 0, 5], [['A', 'S8', 400]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 32', [[['K2', 'S5', 'S1', 10, 30, 5], ['K2', 'S1', 'S3', 5, 10, 40], ['K3', 'S5', 'S4', 20, 10, 10], ['K4', 'S3', 'S5', 10, 50, 40], ['K2', 'S4', 'S6', 40, 10, 40]], 0, 3], []], ['generated mix 40', [[['K3', 'S5', 'S2', 40, 10, 10]], 200, 3], []]], [['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 17', [[['K1', 'S2', 'S6', 5, 20, 20], ['K2', 'S7', 'S1', 10, 50, 30]], 50, 3], [['K2', 'S1', 200]]], ['threshold equal kept', [[['A', 'S1', 'S9', 10, 30, 20]], 100, 5], [['A', 'S9', 100]]], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 43', [[['K2', 'S6', 'S5', 10, 20, 30]], 200, 2], []], ['generated mix 51', [[['K4', 'S4', 'S5', 10, 50, 5], ['K3', 'S4', 'S7', 10, 50, 40], ['K3', 'S5', 'S3', 10, 50, 40], ['K1', 'S6', 'S1', 40, 20, 30]], 200, 1], []], ['generated mix 59', [[['K1', 'S3', 'S7', 40, 10, 30], ['K1', 'S2', 'S5', 40, 20, 20], ['K4', 'S2', 'S3', 10, 20, 10], ['K4', 'S3', 'S2', 10, 20, 40], ['K4', 'S5', 'S1', 40, 50, 30]], 0, 2], [['K4', 'S1', 800], ['K1', 'S5', 0]]]]]
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
negative benefit	`[]`	`[]`	Passed
threshold equal kept	`[['A', 'S9', 100]]`	`[['A', 'S9', 100]]`	Passed
shared target	`[['A', 'S9', 400]]`	`[['A', 'S9', 400]]`	Passed
occupied target	`[['A', 'S9', 200]]`	`[['A', 'S9', 200]]`	Passed
limit	`[['A', 'S8', 400]]`	`[['A', 'S8', 400]]`	Passed
generated mix 6	`[['K3', 'S3', 800]]`	`[['K3', 'S3', 800]]`	Passed
generated mix 14	`[['K4', 'S3', 450]]`	`[['K4', 'S3', 450]]`	Passed
generated mix 22	`[]`	`[]`	Passed

SHA-256 / 2f06f30e360ff5bc626042bd32ff33c464e90dd60b90fac844dba9f2950c581e

Verification & scope

Greedy stipulated planner; no swap sequencing or labour scheduling. 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:10.780056+00:00.

Case digest / 522b7d65a6255feb70a7698770726b8cff6161e31f82d050e9cf31d357d16d18