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

ABC velocity: B band edge inclusive · case 01

A SKU whose faster peers already cover exactly 95% of picks is classified B instead of C.

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

ROOT CAUSE

The B band upper bound is tested inclusively at 95% prior share.

VERIFIED REPAIR

Use a strict prior-share comparison below 95% for B.

Unsuccessful approach: Including the SKU itself in the B comparison demotes SKUs that legitimately start below 95%.

Case contract

Input [[sku, weekly_picks]]. Rank by picks descending then sku ascending. SKUs with equal picks form a tie group whose cumulative prior share is the picks of strictly faster groups. picks 0 -> D (dead stock); prior share < 80% -> A; < 95% -> B; else C. Return [[sku, class]] in input order.

Why this case matters

Velocity classes drive which SKUs are slotted into forward pick areas.

1 / The failure

Exit 1

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

N = 1
observations = []
def solve(skus):
    total = sum(p for _, p in skus)
    order = sorted(skus, key=lambda r: (-r[1], r[0]))
    cls = {}
    prior = 0
    i = 0
    while i < len(order):
        j = i
        while j < len(order) and order[j][1] == order[i][1]:
            j += 1
        for sku, picks in order[i:j]:
            if picks == 0:
                cls[sku] = 'D'
            elif prior * 100 < 80 * total:
                cls[sku] = 'A'
            elif prior * 100 <= 95 * total:
                cls[sku] = 'B'
            else:
                cls[sku] = 'C'
        prior += order[i][1] * (j - i)
        i = j
    return [[sku, cls[sku]] for sku, _ in skus]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['exact 95 boundary', [[['p', 80], ['q', 15], ['r', 5]]], [['p', 'A'], ['q', 'B'], ['r', 'C']]], ['tie group straddles 80%', [[['x', 40], ['y', 40], ['z', 20]]], [['x', 'A'], ['y', 'A'], ['z', 'B']]], ['crossing sku is A', [[['a', 70], ['b', 20], ['c', 10]]], [['a', 'A'], ['b', 'A'], ['c', 'B']]], ['all zero', [[['a', 0], ['b', 0]]], [['a', 'D'], ['b', 'D']]], ['single sku', [[['solo', 3]]], [['solo', 'A']]], ['dead stock', [[['a', 5], ['b', 0]]], [['a', 'A'], ['b', 'D']]], ['generated mix 6', [[['S21', 10], ['S16', 0], ['S28', 5], ['S06', 5], ['S04', 0], ['S08', 3]]], [['S21', 'A'], ['S16', 'D'], ['S28', 'A'], ['S06', 'A'], ['S04', 'D'], ['S08', 'B']]], ['generated mix 14', [[['S13', 60], ['S02', 8], ['S18', 5], ['S26', 5], ['S20', 5], ['S10', 5], ['S01', 10]]], [['S13', 'A'], ['S02', 'A'], ['S18', 'A'], ['S26', 'A'], ['S20', 'A'], ['S10', 'A'], ['S01', 'A']]]], [['generated mix 7', [[['S28', 5], ['S25', 20], ['S14', 5], ['S01', 1], ['S10', 0], ['S19', 1], ['S17', 5], ['S16', 3]]], [['S28', 'A'], ['S25', 'A'], ['S14', 'A'], ['S01', 'C'], ['S10', 'D'], ['S19', 'C'], ['S17', 'A'], ['S16', 'B']]], ['generated mix 4', [[['S21', 60], ['S25', 5]]], [['S21', 'A'], ['S25', 'B']]], ['all zero', [[['a', 0], ['b', 0]]], [['a', 'D'], ['b', 'D']]], ['input order kept', [[['m', 1], ['k', 9], ['a', 90]]], [['m', 'C'], ['k', 'B'], ['a', 'A']]], ['empty', [[]], []], ['tie group straddles 80%', [[['x', 40], ['y', 40], ['z', 20]]], [['x', 'A'], ['y', 'A'], ['z', 'B']]], ['generated mix 10', [[['S07', 20], ['S27', 60], ['S28', 8]]], [['S07', 'A'], ['S27', 'A'], ['S28', 'B']]], ['generated mix 18', [[['S03', 10], ['S14', 10], ['S28', 0], ['S16', 20], ['S23', 60]]], [['S03', 'B'], ['S14', 'B'], ['S28', 'D'], ['S16', 'A'], ['S23', 'A']]]], [['exact 95 boundary', [[['p', 80], ['q', 15], ['r', 5]]], [['p', 'A'], ['q', 'B'], ['r', 'C']]], ['generated mix 10', [[['S07', 20], ['S27', 60], ['S28', 8]]], [['S07', 'A'], ['S27', 'A'], ['S28', 'B']]], ['empty', [[]], []], ['tie group straddles 80%', [[['x', 40], ['y', 40], ['z', 20]]], [['x', 'A'], ['y', 'A'], ['z', 'B']]], ['all zero', [[['a', 0], ['b', 0]]], [['a', 'D'], ['b', 'D']]], ['single sku', [[['solo', 3]]], [['solo', 'A']]], ['generated mix 21', [[['S23', 1], ['S07', 1], ['S04', 0], ['S22', 60], ['S03', 60], ['S21', 1]]], [['S23', 'C'], ['S07', 'C'], ['S04', 'D'], ['S22', 'A'], ['S03', 'A'], ['S21', 'C']]], ['generated mix 29', [[['S28', 5], ['S11', 60]]], [['S28', 'B'], ['S11', 'A']]]], [['generated mix 7', [[['S28', 5], ['S25', 20], ['S14', 5], ['S01', 1], ['S10', 0], ['S19', 1], ['S17', 5], ['S16', 3]]], [['S28', 'A'], ['S25', 'A'], ['S14', 'A'], ['S01', 'C'], ['S10', 'D'], ['S19', 'C'], ['S17', 'A'], ['S16', 'B']]], ['generated mix 20', [[['S23', 2], ['S15', 60], ['S10', 5]]], [['S23', 'C'], ['S15', 'A'], ['S10', 'B']]], ['tie group straddles 80%', [[['x', 40], ['y', 40], ['z', 20]]], [['x', 'A'], ['y', 'A'], ['z', 'B']]], ['all zero', [[['a', 0], ['b', 0]]], [['a', 'D'], ['b', 'D']]], ['input order kept', [[['m', 1], ['k', 9], ['a', 90]]], [['m', 'C'], ['k', 'B'], ['a', 'A']]], ['empty', [[]], []], ['generated mix 32', [[['S07', 2], ['S02', 1], ['S17', 8], ['S24', 40], ['S05', 8], ['S11', 8], ['S28', 10]]], [['S07', 'C'], ['S02', 'C'], ['S17', 'A'], ['S24', 'A'], ['S05', 'A'], ['S11', 'A'], ['S28', 'A']]], ['generated mix 40', [[['S28', 20], ['S12', 0], ['S02', 2], ['S21', 10], ['S16', 40], ['S17', 60], ['S11', 5], ['S13', 2]]], [['S28', 'A'], ['S12', 'D'], ['S02', 'C'], ['S21', 'B'], ['S16', 'A'], ['S17', 'A'], ['S11', 'B'], ['S13', 'C']]]], [['exact 95 boundary', [[['p', 80], ['q', 15], ['r', 5]]], [['p', 'A'], ['q', 'B'], ['r', 'C']]], ['generated mix 26', [[['S12', 3], ['S01', 10], ['S05', 20], ['S27', 1]]], [['S12', 'B'], ['S01', 'A'], ['S05', 'A'], ['S27', 'C']]], ['single sku', [[['solo', 3]]], [['solo', 'A']]], ['crossing sku is A', [[['a', 70], ['b', 20], ['c', 10]]], [['a', 'A'], ['b', 'A'], ['c', 'B']]], ['dead stock', [[['a', 5], ['b', 0]]], [['a', 'A'], ['b', 'D']]], ['input order kept', [[['m', 1], ['k', 9], ['a', 90]]], [['m', 'C'], ['k', 'B'], ['a', 'A']]], ['generated mix 43', [[['S18', 60], ['S28', 60], ['S01', 3], ['S15', 5]]], [['S18', 'A'], ['S28', 'A'], ['S01', 'C'], ['S15', 'B']]], ['generated mix 51', [[['S24', 3], ['S13', 5], ['S29', 60], ['S16', 0], ['S22', 2], ['S05', 8], ['S14', 5], ['S04', 40]]], [['S24', 'C'], ['S13', 'B'], ['S29', 'A'], ['S16', 'D'], ['S22', 'C'], ['S05', 'B'], ['S14', 'B'], ['S04', '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 fixture	Actual	Expected	Outcome
exact 95 boundary	`[['p', 'A'], ['q', 'B'], ['r', 'B']]`	`[['p', 'A'], ['q', 'B'], ['r', 'C']]`	Failed
tie group straddles 80%	`[['x', 'A'], ['y', 'A'], ['z', 'B']]`	`[['x', 'A'], ['y', 'A'], ['z', 'B']]`	Passed
crossing sku is A	`[['a', 'A'], ['b', 'A'], ['c', 'B']]`	`[['a', 'A'], ['b', 'A'], ['c', 'B']]`	Passed
all zero	`[['a', 'D'], ['b', 'D']]`	`[['a', 'D'], ['b', 'D']]`	Passed
single sku	`[['solo', 'A']]`	`[['solo', 'A']]`	Passed
dead stock	`[['a', 'A'], ['b', 'D']]`	`[['a', 'A'], ['b', 'D']]`	Passed
generated mix 6	`[['S21', 'A'], ['S16', 'D'], ['S28', 'A'], ['S06', 'A'], ['S04', 'D'], ['S08', 'B']]`	`[['S21', 'A'], ['S16', 'D'], ['S28', 'A'], ['S06', 'A'], ['S04', 'D'], ['S08', 'B']]`	Passed
generated mix 14	`[['S13', 'A'], ['S02', 'A'], ['S18', 'A'], ['S26', 'A'], ['S20', 'A'], ['S10', 'A'], ['S01', 'A']]`	`[['S13', 'A'], ['S02', 'A'], ['S18', 'A'], ['S26', 'A'], ['S20', 'A'], ['S10', 'A'], ['S01', 'A']]`	Passed

SHA-256 / 930ba5cd62fa84800a1bc74bab961290dff0e13964745184f962f1fda21ccd5f

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(skus):
    total = sum(p for _, p in skus)
    order = sorted(skus, key=lambda r: (-r[1], r[0]))
    cls = {}
    prior = 0
    i = 0
    while i < len(order):
        j = i
        while j < len(order) and order[j][1] == order[i][1]:
            j += 1
        for sku, picks in order[i:j]:
            if picks == 0:
                cls[sku] = 'D'
            elif prior * 100 < 80 * total:
                cls[sku] = 'A'
            elif (prior + picks) * 100 < 95 * total:
                cls[sku] = 'B'
            else:
                cls[sku] = 'C'
        prior += order[i][1] * (j - i)
        i = j
    return [[sku, cls[sku]] for sku, _ in skus]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['exact 95 boundary', [[['p', 80], ['q', 15], ['r', 5]]], [['p', 'A'], ['q', 'B'], ['r', 'C']]], ['tie group straddles 80%', [[['x', 40], ['y', 40], ['z', 20]]], [['x', 'A'], ['y', 'A'], ['z', 'B']]], ['crossing sku is A', [[['a', 70], ['b', 20], ['c', 10]]], [['a', 'A'], ['b', 'A'], ['c', 'B']]], ['all zero', [[['a', 0], ['b', 0]]], [['a', 'D'], ['b', 'D']]], ['single sku', [[['solo', 3]]], [['solo', 'A']]], ['dead stock', [[['a', 5], ['b', 0]]], [['a', 'A'], ['b', 'D']]], ['generated mix 6', [[['S21', 10], ['S16', 0], ['S28', 5], ['S06', 5], ['S04', 0], ['S08', 3]]], [['S21', 'A'], ['S16', 'D'], ['S28', 'A'], ['S06', 'A'], ['S04', 'D'], ['S08', 'B']]], ['generated mix 14', [[['S13', 60], ['S02', 8], ['S18', 5], ['S26', 5], ['S20', 5], ['S10', 5], ['S01', 10]]], [['S13', 'A'], ['S02', 'A'], ['S18', 'A'], ['S26', 'A'], ['S20', 'A'], ['S10', 'A'], ['S01', 'A']]]], [['generated mix 7', [[['S28', 5], ['S25', 20], ['S14', 5], ['S01', 1], ['S10', 0], ['S19', 1], ['S17', 5], ['S16', 3]]], [['S28', 'A'], ['S25', 'A'], ['S14', 'A'], ['S01', 'C'], ['S10', 'D'], ['S19', 'C'], ['S17', 'A'], ['S16', 'B']]], ['generated mix 4', [[['S21', 60], ['S25', 5]]], [['S21', 'A'], ['S25', 'B']]], ['all zero', [[['a', 0], ['b', 0]]], [['a', 'D'], ['b', 'D']]], ['input order kept', [[['m', 1], ['k', 9], ['a', 90]]], [['m', 'C'], ['k', 'B'], ['a', 'A']]], ['empty', [[]], []], ['tie group straddles 80%', [[['x', 40], ['y', 40], ['z', 20]]], [['x', 'A'], ['y', 'A'], ['z', 'B']]], ['generated mix 10', [[['S07', 20], ['S27', 60], ['S28', 8]]], [['S07', 'A'], ['S27', 'A'], ['S28', 'B']]], ['generated mix 18', [[['S03', 10], ['S14', 10], ['S28', 0], ['S16', 20], ['S23', 60]]], [['S03', 'B'], ['S14', 'B'], ['S28', 'D'], ['S16', 'A'], ['S23', 'A']]]], [['exact 95 boundary', [[['p', 80], ['q', 15], ['r', 5]]], [['p', 'A'], ['q', 'B'], ['r', 'C']]], ['generated mix 10', [[['S07', 20], ['S27', 60], ['S28', 8]]], [['S07', 'A'], ['S27', 'A'], ['S28', 'B']]], ['empty', [[]], []], ['tie group straddles 80%', [[['x', 40], ['y', 40], ['z', 20]]], [['x', 'A'], ['y', 'A'], ['z', 'B']]], ['all zero', [[['a', 0], ['b', 0]]], [['a', 'D'], ['b', 'D']]], ['single sku', [[['solo', 3]]], [['solo', 'A']]], ['generated mix 21', [[['S23', 1], ['S07', 1], ['S04', 0], ['S22', 60], ['S03', 60], ['S21', 1]]], [['S23', 'C'], ['S07', 'C'], ['S04', 'D'], ['S22', 'A'], ['S03', 'A'], ['S21', 'C']]], ['generated mix 29', [[['S28', 5], ['S11', 60]]], [['S28', 'B'], ['S11', 'A']]]], [['generated mix 7', [[['S28', 5], ['S25', 20], ['S14', 5], ['S01', 1], ['S10', 0], ['S19', 1], ['S17', 5], ['S16', 3]]], [['S28', 'A'], ['S25', 'A'], ['S14', 'A'], ['S01', 'C'], ['S10', 'D'], ['S19', 'C'], ['S17', 'A'], ['S16', 'B']]], ['generated mix 20', [[['S23', 2], ['S15', 60], ['S10', 5]]], [['S23', 'C'], ['S15', 'A'], ['S10', 'B']]], ['tie group straddles 80%', [[['x', 40], ['y', 40], ['z', 20]]], [['x', 'A'], ['y', 'A'], ['z', 'B']]], ['all zero', [[['a', 0], ['b', 0]]], [['a', 'D'], ['b', 'D']]], ['input order kept', [[['m', 1], ['k', 9], ['a', 90]]], [['m', 'C'], ['k', 'B'], ['a', 'A']]], ['empty', [[]], []], ['generated mix 32', [[['S07', 2], ['S02', 1], ['S17', 8], ['S24', 40], ['S05', 8], ['S11', 8], ['S28', 10]]], [['S07', 'C'], ['S02', 'C'], ['S17', 'A'], ['S24', 'A'], ['S05', 'A'], ['S11', 'A'], ['S28', 'A']]], ['generated mix 40', [[['S28', 20], ['S12', 0], ['S02', 2], ['S21', 10], ['S16', 40], ['S17', 60], ['S11', 5], ['S13', 2]]], [['S28', 'A'], ['S12', 'D'], ['S02', 'C'], ['S21', 'B'], ['S16', 'A'], ['S17', 'A'], ['S11', 'B'], ['S13', 'C']]]], [['exact 95 boundary', [[['p', 80], ['q', 15], ['r', 5]]], [['p', 'A'], ['q', 'B'], ['r', 'C']]], ['generated mix 26', [[['S12', 3], ['S01', 10], ['S05', 20], ['S27', 1]]], [['S12', 'B'], ['S01', 'A'], ['S05', 'A'], ['S27', 'C']]], ['single sku', [[['solo', 3]]], [['solo', 'A']]], ['crossing sku is A', [[['a', 70], ['b', 20], ['c', 10]]], [['a', 'A'], ['b', 'A'], ['c', 'B']]], ['dead stock', [[['a', 5], ['b', 0]]], [['a', 'A'], ['b', 'D']]], ['input order kept', [[['m', 1], ['k', 9], ['a', 90]]], [['m', 'C'], ['k', 'B'], ['a', 'A']]], ['generated mix 43', [[['S18', 60], ['S28', 60], ['S01', 3], ['S15', 5]]], [['S18', 'A'], ['S28', 'A'], ['S01', 'C'], ['S15', 'B']]], ['generated mix 51', [[['S24', 3], ['S13', 5], ['S29', 60], ['S16', 0], ['S22', 2], ['S05', 8], ['S14', 5], ['S04', 40]]], [['S24', 'C'], ['S13', 'B'], ['S29', 'A'], ['S16', 'D'], ['S22', 'C'], ['S05', 'B'], ['S14', 'B'], ['S04', '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 fixture	Actual	Expected	Outcome
exact 95 boundary	`[['p', 'A'], ['q', 'C'], ['r', 'C']]`	`[['p', 'A'], ['q', 'B'], ['r', 'C']]`	Failed
tie group straddles 80%	`[['x', 'A'], ['y', 'A'], ['z', 'C']]`	`[['x', 'A'], ['y', 'A'], ['z', 'B']]`	Failed
crossing sku is A	`[['a', 'A'], ['b', 'A'], ['c', 'C']]`	`[['a', 'A'], ['b', 'A'], ['c', 'B']]`	Failed
all zero	`[['a', 'D'], ['b', 'D']]`	`[['a', 'D'], ['b', 'D']]`	Passed
single sku	`[['solo', 'A']]`	`[['solo', 'A']]`	Passed
dead stock	`[['a', 'A'], ['b', 'D']]`	`[['a', 'A'], ['b', 'D']]`	Passed
generated mix 6	`[['S21', 'A'], ['S16', 'D'], ['S28', 'A'], ['S06', 'A'], ['S04', 'D'], ['S08', 'C']]`	`[['S21', 'A'], ['S16', 'D'], ['S28', 'A'], ['S06', 'A'], ['S04', 'D'], ['S08', 'B']]`	Failed
generated mix 14	`[['S13', 'A'], ['S02', 'A'], ['S18', 'A'], ['S26', 'A'], ['S20', 'A'], ['S10', 'A'], ['S01', 'A']]`	`[['S13', 'A'], ['S02', 'A'], ['S18', 'A'], ['S26', 'A'], ['S20', 'A'], ['S10', 'A'], ['S01', 'A']]`	Passed

SHA-256 / 663c0d5176b9677e0953cc46563567e71423e0b41e419c5e9cdd7da5bbb744a6

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(skus):
    total = sum(p for _, p in skus)
    order = sorted(skus, key=lambda r: (-r[1], r[0]))
    cls = {}
    prior = 0
    i = 0
    while i < len(order):
        j = i
        while j < len(order) and order[j][1] == order[i][1]:
            j += 1
        for sku, picks in order[i:j]:
            if picks == 0:
                cls[sku] = 'D'
            elif prior * 100 < 80 * total:
                cls[sku] = 'A'
            elif prior * 100 < 95 * total:
                cls[sku] = 'B'
            else:
                cls[sku] = 'C'
        prior += order[i][1] * (j - i)
        i = j
    return [[sku, cls[sku]] for sku, _ in skus]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['exact 95 boundary', [[['p', 80], ['q', 15], ['r', 5]]], [['p', 'A'], ['q', 'B'], ['r', 'C']]], ['tie group straddles 80%', [[['x', 40], ['y', 40], ['z', 20]]], [['x', 'A'], ['y', 'A'], ['z', 'B']]], ['crossing sku is A', [[['a', 70], ['b', 20], ['c', 10]]], [['a', 'A'], ['b', 'A'], ['c', 'B']]], ['all zero', [[['a', 0], ['b', 0]]], [['a', 'D'], ['b', 'D']]], ['single sku', [[['solo', 3]]], [['solo', 'A']]], ['dead stock', [[['a', 5], ['b', 0]]], [['a', 'A'], ['b', 'D']]], ['generated mix 6', [[['S21', 10], ['S16', 0], ['S28', 5], ['S06', 5], ['S04', 0], ['S08', 3]]], [['S21', 'A'], ['S16', 'D'], ['S28', 'A'], ['S06', 'A'], ['S04', 'D'], ['S08', 'B']]], ['generated mix 14', [[['S13', 60], ['S02', 8], ['S18', 5], ['S26', 5], ['S20', 5], ['S10', 5], ['S01', 10]]], [['S13', 'A'], ['S02', 'A'], ['S18', 'A'], ['S26', 'A'], ['S20', 'A'], ['S10', 'A'], ['S01', 'A']]]], [['generated mix 7', [[['S28', 5], ['S25', 20], ['S14', 5], ['S01', 1], ['S10', 0], ['S19', 1], ['S17', 5], ['S16', 3]]], [['S28', 'A'], ['S25', 'A'], ['S14', 'A'], ['S01', 'C'], ['S10', 'D'], ['S19', 'C'], ['S17', 'A'], ['S16', 'B']]], ['generated mix 4', [[['S21', 60], ['S25', 5]]], [['S21', 'A'], ['S25', 'B']]], ['all zero', [[['a', 0], ['b', 0]]], [['a', 'D'], ['b', 'D']]], ['input order kept', [[['m', 1], ['k', 9], ['a', 90]]], [['m', 'C'], ['k', 'B'], ['a', 'A']]], ['empty', [[]], []], ['tie group straddles 80%', [[['x', 40], ['y', 40], ['z', 20]]], [['x', 'A'], ['y', 'A'], ['z', 'B']]], ['generated mix 10', [[['S07', 20], ['S27', 60], ['S28', 8]]], [['S07', 'A'], ['S27', 'A'], ['S28', 'B']]], ['generated mix 18', [[['S03', 10], ['S14', 10], ['S28', 0], ['S16', 20], ['S23', 60]]], [['S03', 'B'], ['S14', 'B'], ['S28', 'D'], ['S16', 'A'], ['S23', 'A']]]], [['exact 95 boundary', [[['p', 80], ['q', 15], ['r', 5]]], [['p', 'A'], ['q', 'B'], ['r', 'C']]], ['generated mix 10', [[['S07', 20], ['S27', 60], ['S28', 8]]], [['S07', 'A'], ['S27', 'A'], ['S28', 'B']]], ['empty', [[]], []], ['tie group straddles 80%', [[['x', 40], ['y', 40], ['z', 20]]], [['x', 'A'], ['y', 'A'], ['z', 'B']]], ['all zero', [[['a', 0], ['b', 0]]], [['a', 'D'], ['b', 'D']]], ['single sku', [[['solo', 3]]], [['solo', 'A']]], ['generated mix 21', [[['S23', 1], ['S07', 1], ['S04', 0], ['S22', 60], ['S03', 60], ['S21', 1]]], [['S23', 'C'], ['S07', 'C'], ['S04', 'D'], ['S22', 'A'], ['S03', 'A'], ['S21', 'C']]], ['generated mix 29', [[['S28', 5], ['S11', 60]]], [['S28', 'B'], ['S11', 'A']]]], [['generated mix 7', [[['S28', 5], ['S25', 20], ['S14', 5], ['S01', 1], ['S10', 0], ['S19', 1], ['S17', 5], ['S16', 3]]], [['S28', 'A'], ['S25', 'A'], ['S14', 'A'], ['S01', 'C'], ['S10', 'D'], ['S19', 'C'], ['S17', 'A'], ['S16', 'B']]], ['generated mix 20', [[['S23', 2], ['S15', 60], ['S10', 5]]], [['S23', 'C'], ['S15', 'A'], ['S10', 'B']]], ['tie group straddles 80%', [[['x', 40], ['y', 40], ['z', 20]]], [['x', 'A'], ['y', 'A'], ['z', 'B']]], ['all zero', [[['a', 0], ['b', 0]]], [['a', 'D'], ['b', 'D']]], ['input order kept', [[['m', 1], ['k', 9], ['a', 90]]], [['m', 'C'], ['k', 'B'], ['a', 'A']]], ['empty', [[]], []], ['generated mix 32', [[['S07', 2], ['S02', 1], ['S17', 8], ['S24', 40], ['S05', 8], ['S11', 8], ['S28', 10]]], [['S07', 'C'], ['S02', 'C'], ['S17', 'A'], ['S24', 'A'], ['S05', 'A'], ['S11', 'A'], ['S28', 'A']]], ['generated mix 40', [[['S28', 20], ['S12', 0], ['S02', 2], ['S21', 10], ['S16', 40], ['S17', 60], ['S11', 5], ['S13', 2]]], [['S28', 'A'], ['S12', 'D'], ['S02', 'C'], ['S21', 'B'], ['S16', 'A'], ['S17', 'A'], ['S11', 'B'], ['S13', 'C']]]], [['exact 95 boundary', [[['p', 80], ['q', 15], ['r', 5]]], [['p', 'A'], ['q', 'B'], ['r', 'C']]], ['generated mix 26', [[['S12', 3], ['S01', 10], ['S05', 20], ['S27', 1]]], [['S12', 'B'], ['S01', 'A'], ['S05', 'A'], ['S27', 'C']]], ['single sku', [[['solo', 3]]], [['solo', 'A']]], ['crossing sku is A', [[['a', 70], ['b', 20], ['c', 10]]], [['a', 'A'], ['b', 'A'], ['c', 'B']]], ['dead stock', [[['a', 5], ['b', 0]]], [['a', 'A'], ['b', 'D']]], ['input order kept', [[['m', 1], ['k', 9], ['a', 90]]], [['m', 'C'], ['k', 'B'], ['a', 'A']]], ['generated mix 43', [[['S18', 60], ['S28', 60], ['S01', 3], ['S15', 5]]], [['S18', 'A'], ['S28', 'A'], ['S01', 'C'], ['S15', 'B']]], ['generated mix 51', [[['S24', 3], ['S13', 5], ['S29', 60], ['S16', 0], ['S22', 2], ['S05', 8], ['S14', 5], ['S04', 40]]], [['S24', 'C'], ['S13', 'B'], ['S29', 'A'], ['S16', 'D'], ['S22', 'C'], ['S05', 'B'], ['S14', 'B'], ['S04', '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 fixture	Actual	Expected	Outcome
exact 95 boundary	`[['p', 'A'], ['q', 'B'], ['r', 'C']]`	`[['p', 'A'], ['q', 'B'], ['r', 'C']]`	Passed
tie group straddles 80%	`[['x', 'A'], ['y', 'A'], ['z', 'B']]`	`[['x', 'A'], ['y', 'A'], ['z', 'B']]`	Passed
crossing sku is A	`[['a', 'A'], ['b', 'A'], ['c', 'B']]`	`[['a', 'A'], ['b', 'A'], ['c', 'B']]`	Passed
all zero	`[['a', 'D'], ['b', 'D']]`	`[['a', 'D'], ['b', 'D']]`	Passed
single sku	`[['solo', 'A']]`	`[['solo', 'A']]`	Passed
dead stock	`[['a', 'A'], ['b', 'D']]`	`[['a', 'A'], ['b', 'D']]`	Passed
generated mix 6	`[['S21', 'A'], ['S16', 'D'], ['S28', 'A'], ['S06', 'A'], ['S04', 'D'], ['S08', 'B']]`	`[['S21', 'A'], ['S16', 'D'], ['S28', 'A'], ['S06', 'A'], ['S04', 'D'], ['S08', 'B']]`	Passed
generated mix 14	`[['S13', 'A'], ['S02', 'A'], ['S18', 'A'], ['S26', 'A'], ['S20', 'A'], ['S10', 'A'], ['S01', 'A']]`	`[['S13', 'A'], ['S02', 'A'], ['S18', 'A'], ['S26', 'A'], ['S20', 'A'], ['S10', 'A'], ['S01', 'A']]`	Passed

SHA-256 / 5268d84cc0951b3139e6de030c2bdb329a03fad35d3b94b068ebba0a3fc16b64

Verification & scope

Stipulated toy ABC policy with fixed 80/95 bands; not a vendor WMS rule set. 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:08.460804+00:00.

Case digest / 4aaabe96f11f4fd6161aacca5653559dc89b195e868af211b3634c8e96a50440