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

Reserve allocation: cleaned pallet picked again · case 01

A pallet already moved whole in pass 1 is allocated a second time in pass 2.

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

ROOT CAUSE

Pass 2 does not skip pallets taken in pass 1.

VERIFIED REPAIR

Skip plates already allocated whole in pass 1.

Unsuccessful approach: Excluding pallets by matching quantity skips untouched pallets that happen to have the same quantity.

Case contract

pallets [[license_plate, received_day, qty]]; need units. Order pallets by received_day then plate. Pass 1 takes whole pallets (qty > 0) whose qty fits the remaining need, oldest first, skipping ones that are too large. Pass 2 takes partial quantity from remaining pallets oldest first. Return [[[plate, qty] in pick order], shortfall].

Why this case matters

Reserve allocation decides which pallets feed replenishment and order picks.

1 / The failure

Exit 1

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

N = 1
observations = []
def solve(pallets, need):
    order = sorted(pallets, key=lambda p: (p[1], p[0]))
    rem = need
    alloc = []
    taken = set()
    for lp, day, q in order:
        if 0 < q <= rem:
            alloc.append([lp, q])
            taken.add(lp)
            rem -= q
    for lp, day, q in order:
        if rem == 0:
            break
        t = min(q, rem)
        if t > 0:
            alloc.append([lp, t])
            rem -= t
    return [alloc, rem]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['shortfall', [[['A', 1, 10]], 25], [[['A', 10]], 15]], ['generated mix 30', [[['P0', 1, 20], ['P1', 5, 40], ['P2', 3, 48], ['P3', 2, 10], ['P4', 1, 48], ['P5', 2, 20]], 90], [[['P0', 20], ['P4', 48], ['P3', 10], ['P5', 12]], 0]], ['clean-out skip big', [[['A', 1, 50], ['B', 2, 20], ['C', 3, 10]], 30], [[['B', 20], ['C', 10]], 0]], ['partial oldest', [[['A', 1, 50], ['B', 2, 60]], 30], [[['A', 30]], 0]], ['zero need', [[['A', 1, 10]], 0], [[], 0]], ['exact whole', [[['A', 1, 30]], 30], [[['A', 30]], 0]], ['equal qty pallets', [[['A', 1, 20], ['B', 2, 20], ['C', 3, 40]], 50], [[['A', 20], ['B', 20], ['C', 10]], 0]], ['generated mix 8', [[['P0', 3, 10], ['P1', 3, 48], ['P2', 2, 20], ['P3', 5, 48]], 50], [[['P2', 20], ['P0', 10], ['P1', 20]], 0]]], [['generated mix 18', [[['P0', 3, 0], ['P1', 3, 40]], 90], [[['P1', 40]], 50]], ['generated mix 45', [[['P0', 3, 10], ['P1', 8, 0], ['P2', 3, 30], ['P3', 3, 48], ['P4', 1, 48], ['P5', 3, 30]], 90], [[['P4', 48], ['P0', 10], ['P2', 30], ['P3', 2]], 0]], ['shortfall', [[['A', 1, 10]], 25], [[['A', 10]], 15]], ['zero need', [[['A', 1, 10]], 0], [[], 0]], ['exact whole', [[['A', 1, 30]], 30], [[['A', 30]], 0]], ['generated mix 9', [[['P0', 1, 20], ['P1', 2, 48], ['P2', 2, 20]], 20], [[['P0', 20]], 0]], ['generated mix 17', [[['P0', 3, 0]], 50], [[], 50]], ['generated mix 26', [[['P0', 1, 40], ['P1', 8, 20]], 0], [[], 0]]], [['generated mix 37', [[['P0', 2, 48], ['P1', 3, 10], ['P2', 3, 30], ['P3', 3, 20], ['P4', 5, 48], ['P5', 2, 20]], 90], [[['P0', 48], ['P5', 20], ['P1', 10], ['P2', 12]], 0]], ['generated mix 60', [[['P0', 3, 20], ['P1', 5, 20], ['P2', 3, 20], ['P3', 3, 30]], 30], [[['P0', 20], ['P2', 10]], 0]], ['clean-out skip big', [[['A', 1, 50], ['B', 2, 20], ['C', 3, 10]], 30], [[['B', 20], ['C', 10]], 0]], ['partial oldest', [[['A', 1, 50], ['B', 2, 60]], 30], [[['A', 30]], 0]], ['equal qty pallets', [[['A', 1, 20], ['B', 2, 20], ['C', 3, 40]], 50], [[['A', 20], ['B', 20], ['C', 10]], 0]], ['generated mix 20', [[['P0', 2, 0], ['P1', 3, 48], ['P2', 2, 30]], 60], [[['P2', 30], ['P1', 30]], 0]], ['generated mix 28', [[['P0', 3, 40]], 90], [[['P0', 40]], 50]], ['generated mix 36', [[['P0', 5, 40], ['P1', 2, 10], ['P2', 1, 40], ['P3', 8, 10]], 90], [[['P2', 40], ['P1', 10], ['P0', 40]], 0]]], [['generated mix 60', [[['P0', 3, 20], ['P1', 5, 20], ['P2', 3, 20], ['P3', 3, 30]], 30], [[['P0', 20], ['P2', 10]], 0]], ['generated mix 10', [[['P0', 3, 10], ['P1', 2, 10], ['P2', 1, 30], ['P3', 3, 30]], 60], [[['P2', 30], ['P1', 10], ['P0', 10], ['P3', 10]], 0]], ['shortfall', [[['A', 1, 10]], 25], [[['A', 10]], 15]], ['zero need', [[['A', 1, 10]], 0], [[], 0]], ['exact whole', [[['A', 1, 30]], 30], [[['A', 30]], 0]], ['generated mix 32', [[['P0', 8, 40], ['P1', 2, 48]], 200], [[['P1', 48], ['P0', 40]], 112]], ['generated mix 40', [[['P0', 5, 0], ['P1', 3, 48], ['P2', 2, 40], ['P3', 3, 20], ['P4', 5, 40], ['P5', 3, 30]], 20], [[['P3', 20]], 0]], ['generated mix 48', [[['P0', 5, 0]], 20], [[], 20]]], [['generated mix 70', [[['P0', 1, 48], ['P1', 8, 0]], 60], [[['P0', 48]], 12]], ['generated mix 30', [[['P0', 1, 20], ['P1', 5, 40], ['P2', 3, 48], ['P3', 2, 10], ['P4', 1, 48], ['P5', 2, 20]], 90], [[['P0', 20], ['P4', 48], ['P3', 10], ['P5', 12]], 0]], ['clean-out skip big', [[['A', 1, 50], ['B', 2, 20], ['C', 3, 10]], 30], [[['B', 20], ['C', 10]], 0]], ['partial oldest', [[['A', 1, 50], ['B', 2, 60]], 30], [[['A', 30]], 0]], ['equal qty pallets', [[['A', 1, 20], ['B', 2, 20], ['C', 3, 40]], 50], [[['A', 20], ['B', 20], ['C', 10]], 0]], ['generated mix 43', [[['P0', 8, 10]], 25], [[['P0', 10]], 15]], ['generated mix 51', [[['P0', 5, 30], ['P1', 1, 40], ['P2', 2, 48], ['P3', 3, 10]], 10], [[['P3', 10]], 0]], ['generated mix 59', [[['P0', 3, 20], ['P1', 2, 40], ['P2', 3, 0], ['P3', 3, 20], ['P4', 5, 40]], 10], [[['P1', 10]], 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
shortfall	`[[['A', 10], ['A', 10]], 5]`	`[[['A', 10]], 15]`	Failed
generated mix 30	`[[['P0', 20], ['P4', 48], ['P3', 10], ['P0', 12]], 0]`	`[[['P0', 20], ['P4', 48], ['P3', 10], ['P5', 12]], 0]`	Failed
clean-out skip big	`[[['B', 20], ['C', 10]], 0]`	`[[['B', 20], ['C', 10]], 0]`	Passed
partial oldest	`[[['A', 30]], 0]`	`[[['A', 30]], 0]`	Passed
zero need	`[[], 0]`	`[[], 0]`	Passed
exact whole	`[[['A', 30]], 0]`	`[[['A', 30]], 0]`	Passed
equal qty pallets	`[[['A', 20], ['B', 20], ['A', 10]], 0]`	`[[['A', 20], ['B', 20], ['C', 10]], 0]`	Failed
generated mix 8	`[[['P2', 20], ['P0', 10], ['P2', 20]], 0]`	`[[['P2', 20], ['P0', 10], ['P1', 20]], 0]`	Failed

SHA-256 / 10cea7647f03f55c69c3cc61dda862eb3ae2311a74ac61df95e9bb17dd5f1882

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(pallets, need):
    order = sorted(pallets, key=lambda p: (p[1], p[0]))
    rem = need
    alloc = []
    taken = set()
    for lp, day, q in order:
        if 0 < q <= rem:
            alloc.append([lp, q])
            taken.add(lp)
            rem -= q
    for lp, day, q in order:
        if rem == 0:
            break
        if q in [a[1] for a in alloc]:
            continue
        t = min(q, rem)
        if t > 0:
            alloc.append([lp, t])
            rem -= t
    return [alloc, rem]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['shortfall', [[['A', 1, 10]], 25], [[['A', 10]], 15]], ['generated mix 30', [[['P0', 1, 20], ['P1', 5, 40], ['P2', 3, 48], ['P3', 2, 10], ['P4', 1, 48], ['P5', 2, 20]], 90], [[['P0', 20], ['P4', 48], ['P3', 10], ['P5', 12]], 0]], ['clean-out skip big', [[['A', 1, 50], ['B', 2, 20], ['C', 3, 10]], 30], [[['B', 20], ['C', 10]], 0]], ['partial oldest', [[['A', 1, 50], ['B', 2, 60]], 30], [[['A', 30]], 0]], ['zero need', [[['A', 1, 10]], 0], [[], 0]], ['exact whole', [[['A', 1, 30]], 30], [[['A', 30]], 0]], ['equal qty pallets', [[['A', 1, 20], ['B', 2, 20], ['C', 3, 40]], 50], [[['A', 20], ['B', 20], ['C', 10]], 0]], ['generated mix 8', [[['P0', 3, 10], ['P1', 3, 48], ['P2', 2, 20], ['P3', 5, 48]], 50], [[['P2', 20], ['P0', 10], ['P1', 20]], 0]]], [['generated mix 18', [[['P0', 3, 0], ['P1', 3, 40]], 90], [[['P1', 40]], 50]], ['generated mix 45', [[['P0', 3, 10], ['P1', 8, 0], ['P2', 3, 30], ['P3', 3, 48], ['P4', 1, 48], ['P5', 3, 30]], 90], [[['P4', 48], ['P0', 10], ['P2', 30], ['P3', 2]], 0]], ['shortfall', [[['A', 1, 10]], 25], [[['A', 10]], 15]], ['zero need', [[['A', 1, 10]], 0], [[], 0]], ['exact whole', [[['A', 1, 30]], 30], [[['A', 30]], 0]], ['generated mix 9', [[['P0', 1, 20], ['P1', 2, 48], ['P2', 2, 20]], 20], [[['P0', 20]], 0]], ['generated mix 17', [[['P0', 3, 0]], 50], [[], 50]], ['generated mix 26', [[['P0', 1, 40], ['P1', 8, 20]], 0], [[], 0]]], [['generated mix 37', [[['P0', 2, 48], ['P1', 3, 10], ['P2', 3, 30], ['P3', 3, 20], ['P4', 5, 48], ['P5', 2, 20]], 90], [[['P0', 48], ['P5', 20], ['P1', 10], ['P2', 12]], 0]], ['generated mix 60', [[['P0', 3, 20], ['P1', 5, 20], ['P2', 3, 20], ['P3', 3, 30]], 30], [[['P0', 20], ['P2', 10]], 0]], ['clean-out skip big', [[['A', 1, 50], ['B', 2, 20], ['C', 3, 10]], 30], [[['B', 20], ['C', 10]], 0]], ['partial oldest', [[['A', 1, 50], ['B', 2, 60]], 30], [[['A', 30]], 0]], ['equal qty pallets', [[['A', 1, 20], ['B', 2, 20], ['C', 3, 40]], 50], [[['A', 20], ['B', 20], ['C', 10]], 0]], ['generated mix 20', [[['P0', 2, 0], ['P1', 3, 48], ['P2', 2, 30]], 60], [[['P2', 30], ['P1', 30]], 0]], ['generated mix 28', [[['P0', 3, 40]], 90], [[['P0', 40]], 50]], ['generated mix 36', [[['P0', 5, 40], ['P1', 2, 10], ['P2', 1, 40], ['P3', 8, 10]], 90], [[['P2', 40], ['P1', 10], ['P0', 40]], 0]]], [['generated mix 60', [[['P0', 3, 20], ['P1', 5, 20], ['P2', 3, 20], ['P3', 3, 30]], 30], [[['P0', 20], ['P2', 10]], 0]], ['generated mix 10', [[['P0', 3, 10], ['P1', 2, 10], ['P2', 1, 30], ['P3', 3, 30]], 60], [[['P2', 30], ['P1', 10], ['P0', 10], ['P3', 10]], 0]], ['shortfall', [[['A', 1, 10]], 25], [[['A', 10]], 15]], ['zero need', [[['A', 1, 10]], 0], [[], 0]], ['exact whole', [[['A', 1, 30]], 30], [[['A', 30]], 0]], ['generated mix 32', [[['P0', 8, 40], ['P1', 2, 48]], 200], [[['P1', 48], ['P0', 40]], 112]], ['generated mix 40', [[['P0', 5, 0], ['P1', 3, 48], ['P2', 2, 40], ['P3', 3, 20], ['P4', 5, 40], ['P5', 3, 30]], 20], [[['P3', 20]], 0]], ['generated mix 48', [[['P0', 5, 0]], 20], [[], 20]]], [['generated mix 70', [[['P0', 1, 48], ['P1', 8, 0]], 60], [[['P0', 48]], 12]], ['generated mix 30', [[['P0', 1, 20], ['P1', 5, 40], ['P2', 3, 48], ['P3', 2, 10], ['P4', 1, 48], ['P5', 2, 20]], 90], [[['P0', 20], ['P4', 48], ['P3', 10], ['P5', 12]], 0]], ['clean-out skip big', [[['A', 1, 50], ['B', 2, 20], ['C', 3, 10]], 30], [[['B', 20], ['C', 10]], 0]], ['partial oldest', [[['A', 1, 50], ['B', 2, 60]], 30], [[['A', 30]], 0]], ['equal qty pallets', [[['A', 1, 20], ['B', 2, 20], ['C', 3, 40]], 50], [[['A', 20], ['B', 20], ['C', 10]], 0]], ['generated mix 43', [[['P0', 8, 10]], 25], [[['P0', 10]], 15]], ['generated mix 51', [[['P0', 5, 30], ['P1', 1, 40], ['P2', 2, 48], ['P3', 3, 10]], 10], [[['P3', 10]], 0]], ['generated mix 59', [[['P0', 3, 20], ['P1', 2, 40], ['P2', 3, 0], ['P3', 3, 20], ['P4', 5, 40]], 10], [[['P1', 10]], 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
shortfall	`[[['A', 10]], 15]`	`[[['A', 10]], 15]`	Passed
generated mix 30	`[[['P0', 20], ['P4', 48], ['P3', 10], ['P1', 12]], 0]`	`[[['P0', 20], ['P4', 48], ['P3', 10], ['P5', 12]], 0]`	Failed
clean-out skip big	`[[['B', 20], ['C', 10]], 0]`	`[[['B', 20], ['C', 10]], 0]`	Passed
partial oldest	`[[['A', 30]], 0]`	`[[['A', 30]], 0]`	Passed
zero need	`[[], 0]`	`[[], 0]`	Passed
exact whole	`[[['A', 30]], 0]`	`[[['A', 30]], 0]`	Passed
equal qty pallets	`[[['A', 20], ['B', 20], ['C', 10]], 0]`	`[[['A', 20], ['B', 20], ['C', 10]], 0]`	Passed
generated mix 8	`[[['P2', 20], ['P0', 10], ['P1', 20]], 0]`	`[[['P2', 20], ['P0', 10], ['P1', 20]], 0]`	Passed

SHA-256 / 6e5d8e97b5a7bd2615c97adbe10c7625f13e39b7a869f2f5c603669accb75358

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(pallets, need):
    order = sorted(pallets, key=lambda p: (p[1], p[0]))
    rem = need
    alloc = []
    taken = set()
    for lp, day, q in order:
        if 0 < q <= rem:
            alloc.append([lp, q])
            taken.add(lp)
            rem -= q
    for lp, day, q in order:
        if rem == 0:
            break
        if lp in taken:
            continue
        t = min(q, rem)
        if t > 0:
            alloc.append([lp, t])
            rem -= t
    return [alloc, rem]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['shortfall', [[['A', 1, 10]], 25], [[['A', 10]], 15]], ['generated mix 30', [[['P0', 1, 20], ['P1', 5, 40], ['P2', 3, 48], ['P3', 2, 10], ['P4', 1, 48], ['P5', 2, 20]], 90], [[['P0', 20], ['P4', 48], ['P3', 10], ['P5', 12]], 0]], ['clean-out skip big', [[['A', 1, 50], ['B', 2, 20], ['C', 3, 10]], 30], [[['B', 20], ['C', 10]], 0]], ['partial oldest', [[['A', 1, 50], ['B', 2, 60]], 30], [[['A', 30]], 0]], ['zero need', [[['A', 1, 10]], 0], [[], 0]], ['exact whole', [[['A', 1, 30]], 30], [[['A', 30]], 0]], ['equal qty pallets', [[['A', 1, 20], ['B', 2, 20], ['C', 3, 40]], 50], [[['A', 20], ['B', 20], ['C', 10]], 0]], ['generated mix 8', [[['P0', 3, 10], ['P1', 3, 48], ['P2', 2, 20], ['P3', 5, 48]], 50], [[['P2', 20], ['P0', 10], ['P1', 20]], 0]]], [['generated mix 18', [[['P0', 3, 0], ['P1', 3, 40]], 90], [[['P1', 40]], 50]], ['generated mix 45', [[['P0', 3, 10], ['P1', 8, 0], ['P2', 3, 30], ['P3', 3, 48], ['P4', 1, 48], ['P5', 3, 30]], 90], [[['P4', 48], ['P0', 10], ['P2', 30], ['P3', 2]], 0]], ['shortfall', [[['A', 1, 10]], 25], [[['A', 10]], 15]], ['zero need', [[['A', 1, 10]], 0], [[], 0]], ['exact whole', [[['A', 1, 30]], 30], [[['A', 30]], 0]], ['generated mix 9', [[['P0', 1, 20], ['P1', 2, 48], ['P2', 2, 20]], 20], [[['P0', 20]], 0]], ['generated mix 17', [[['P0', 3, 0]], 50], [[], 50]], ['generated mix 26', [[['P0', 1, 40], ['P1', 8, 20]], 0], [[], 0]]], [['generated mix 37', [[['P0', 2, 48], ['P1', 3, 10], ['P2', 3, 30], ['P3', 3, 20], ['P4', 5, 48], ['P5', 2, 20]], 90], [[['P0', 48], ['P5', 20], ['P1', 10], ['P2', 12]], 0]], ['generated mix 60', [[['P0', 3, 20], ['P1', 5, 20], ['P2', 3, 20], ['P3', 3, 30]], 30], [[['P0', 20], ['P2', 10]], 0]], ['clean-out skip big', [[['A', 1, 50], ['B', 2, 20], ['C', 3, 10]], 30], [[['B', 20], ['C', 10]], 0]], ['partial oldest', [[['A', 1, 50], ['B', 2, 60]], 30], [[['A', 30]], 0]], ['equal qty pallets', [[['A', 1, 20], ['B', 2, 20], ['C', 3, 40]], 50], [[['A', 20], ['B', 20], ['C', 10]], 0]], ['generated mix 20', [[['P0', 2, 0], ['P1', 3, 48], ['P2', 2, 30]], 60], [[['P2', 30], ['P1', 30]], 0]], ['generated mix 28', [[['P0', 3, 40]], 90], [[['P0', 40]], 50]], ['generated mix 36', [[['P0', 5, 40], ['P1', 2, 10], ['P2', 1, 40], ['P3', 8, 10]], 90], [[['P2', 40], ['P1', 10], ['P0', 40]], 0]]], [['generated mix 60', [[['P0', 3, 20], ['P1', 5, 20], ['P2', 3, 20], ['P3', 3, 30]], 30], [[['P0', 20], ['P2', 10]], 0]], ['generated mix 10', [[['P0', 3, 10], ['P1', 2, 10], ['P2', 1, 30], ['P3', 3, 30]], 60], [[['P2', 30], ['P1', 10], ['P0', 10], ['P3', 10]], 0]], ['shortfall', [[['A', 1, 10]], 25], [[['A', 10]], 15]], ['zero need', [[['A', 1, 10]], 0], [[], 0]], ['exact whole', [[['A', 1, 30]], 30], [[['A', 30]], 0]], ['generated mix 32', [[['P0', 8, 40], ['P1', 2, 48]], 200], [[['P1', 48], ['P0', 40]], 112]], ['generated mix 40', [[['P0', 5, 0], ['P1', 3, 48], ['P2', 2, 40], ['P3', 3, 20], ['P4', 5, 40], ['P5', 3, 30]], 20], [[['P3', 20]], 0]], ['generated mix 48', [[['P0', 5, 0]], 20], [[], 20]]], [['generated mix 70', [[['P0', 1, 48], ['P1', 8, 0]], 60], [[['P0', 48]], 12]], ['generated mix 30', [[['P0', 1, 20], ['P1', 5, 40], ['P2', 3, 48], ['P3', 2, 10], ['P4', 1, 48], ['P5', 2, 20]], 90], [[['P0', 20], ['P4', 48], ['P3', 10], ['P5', 12]], 0]], ['clean-out skip big', [[['A', 1, 50], ['B', 2, 20], ['C', 3, 10]], 30], [[['B', 20], ['C', 10]], 0]], ['partial oldest', [[['A', 1, 50], ['B', 2, 60]], 30], [[['A', 30]], 0]], ['equal qty pallets', [[['A', 1, 20], ['B', 2, 20], ['C', 3, 40]], 50], [[['A', 20], ['B', 20], ['C', 10]], 0]], ['generated mix 43', [[['P0', 8, 10]], 25], [[['P0', 10]], 15]], ['generated mix 51', [[['P0', 5, 30], ['P1', 1, 40], ['P2', 2, 48], ['P3', 3, 10]], 10], [[['P3', 10]], 0]], ['generated mix 59', [[['P0', 3, 20], ['P1', 2, 40], ['P2', 3, 0], ['P3', 3, 20], ['P4', 5, 40]], 10], [[['P1', 10]], 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
shortfall	`[[['A', 10]], 15]`	`[[['A', 10]], 15]`	Passed
generated mix 30	`[[['P0', 20], ['P4', 48], ['P3', 10], ['P5', 12]], 0]`	`[[['P0', 20], ['P4', 48], ['P3', 10], ['P5', 12]], 0]`	Passed
clean-out skip big	`[[['B', 20], ['C', 10]], 0]`	`[[['B', 20], ['C', 10]], 0]`	Passed
partial oldest	`[[['A', 30]], 0]`	`[[['A', 30]], 0]`	Passed
zero need	`[[], 0]`	`[[], 0]`	Passed
exact whole	`[[['A', 30]], 0]`	`[[['A', 30]], 0]`	Passed
equal qty pallets	`[[['A', 20], ['B', 20], ['C', 10]], 0]`	`[[['A', 20], ['B', 20], ['C', 10]], 0]`	Passed
generated mix 8	`[[['P2', 20], ['P0', 10], ['P1', 20]], 0]`	`[[['P2', 20], ['P0', 10], ['P1', 20]], 0]`	Passed

SHA-256 / cbfa6d743b460beb74fb4604a67e257b3926b8088e2deabd1cd2228d30c17092

Verification & scope

Stipulated clean-out policy; no lot, expiry, or location travel considerations. 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.738321+00:00.

Case digest / 96cfa2a43f5121c3a1d805132a436722e35154fcfc3eb88055b6203ae7389967