{"abstract":"A SKU whose faster peers already cover exactly 95% of picks is classified B instead of C.","category":"Warehouse slotting and bin packing","checks":8,"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.","evaluation_group":"w2-warehouse-slotting-abc-velocity","failed_approach":"Including the SKU itself in the B comparison demotes SKUs that legitimately start below 95%.","family":"w2-warehouse-slotting-abc-velocity-b-band-edge","id":"FA-94861","implementations":{"attempt":{"sha256":"663c0d5176b9677e0953cc46563567e71423e0b41e419c5e9cdd7da5bbb744a6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(skus):\n    total = sum(p for _, p in skus)\n    order = sorted(skus, key=lambda r: (-r[1], r[0]))\n    cls = {}\n    prior = 0\n    i = 0\n    while i < len(order):\n        j = i\n        while j < len(order) and order[j][1] == order[i][1]:\n            j += 1\n        for sku, picks in order[i:j]:\n            if picks == 0:\n                cls[sku] = 'D'\n            elif prior * 100 < 80 * total:\n                cls[sku] = 'A'\n            elif (prior + picks) * 100 < 95 * total:\n                cls[sku] = 'B'\n            else:\n                cls[sku] = 'C'\n        prior += order[i][1] * (j - i)\n        i = j\n    return [[sku, cls[sku]] for sku, _ in skus]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['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']]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"930ba5cd62fa84800a1bc74bab961290dff0e13964745184f962f1fda21ccd5f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(skus):\n    total = sum(p for _, p in skus)\n    order = sorted(skus, key=lambda r: (-r[1], r[0]))\n    cls = {}\n    prior = 0\n    i = 0\n    while i < len(order):\n        j = i\n        while j < len(order) and order[j][1] == order[i][1]:\n            j += 1\n        for sku, picks in order[i:j]:\n            if picks == 0:\n                cls[sku] = 'D'\n            elif prior * 100 < 80 * total:\n                cls[sku] = 'A'\n            elif prior * 100 <= 95 * total:\n                cls[sku] = 'B'\n            else:\n                cls[sku] = 'C'\n        prior += order[i][1] * (j - i)\n        i = j\n    return [[sku, cls[sku]] for sku, _ in skus]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['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']]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"5268d84cc0951b3139e6de030c2bdb329a03fad35d3b94b068ebba0a3fc16b64","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(skus):\n    total = sum(p for _, p in skus)\n    order = sorted(skus, key=lambda r: (-r[1], r[0]))\n    cls = {}\n    prior = 0\n    i = 0\n    while i < len(order):\n        j = i\n        while j < len(order) and order[j][1] == order[i][1]:\n            j += 1\n        for sku, picks in order[i:j]:\n            if picks == 0:\n                cls[sku] = 'D'\n            elif prior * 100 < 80 * total:\n                cls[sku] = 'A'\n            elif prior * 100 < 95 * total:\n                cls[sku] = 'B'\n            else:\n                cls[sku] = 'C'\n        prior += order[i][1] * (j - i)\n        i = j\n    return [[sku, cls[sku]] for sku, _ in skus]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['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']]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-warehouse-slotting-abc-velocity-b-band-edge","generated_at":"2026-09-29T14:52:08.460804+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Velocity classes drive which SKUs are slotted into forward pick areas.","repair":"Use a strict prior-share comparison below 95% for B.","root_cause":"The B band upper bound is tested inclusively at 95% prior share.","sha256":"4aaabe96f11f4fd6161aacca5653559dc89b195e868af211b3634c8e96a50440","title":"ABC velocity: B band edge inclusive · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.385,"exit_code":1,"observations":[{"actual":[["p","A"],["q","C"],["r","C"]],"check":"exact 95 boundary","expected":[["p","A"],["q","B"],["r","C"]],"passed":false},{"actual":[["x","A"],["y","A"],["z","C"]],"check":"tie group straddles 80%","expected":[["x","A"],["y","A"],["z","B"]],"passed":false},{"actual":[["a","A"],["b","A"],["c","C"]],"check":"crossing sku is A","expected":[["a","A"],["b","A"],["c","B"]],"passed":false},{"actual":[["a","D"],["b","D"]],"check":"all zero","expected":[["a","D"],["b","D"]],"passed":true},{"actual":[["solo","A"]],"check":"single sku","expected":[["solo","A"]],"passed":true},{"actual":[["a","A"],["b","D"]],"check":"dead stock","expected":[["a","A"],["b","D"]],"passed":true},{"actual":[["S21","A"],["S16","D"],["S28","A"],["S06","A"],["S04","D"],["S08","C"]],"check":"generated mix 6","expected":[["S21","A"],["S16","D"],["S28","A"],["S06","A"],["S04","D"],["S08","B"]],"passed":false},{"actual":[["S13","A"],["S02","A"],["S18","A"],["S26","A"],["S20","A"],["S10","A"],["S01","A"]],"check":"generated mix 14","expected":[["S13","A"],["S02","A"],["S18","A"],["S26","A"],["S20","A"],["S10","A"],["S01","A"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"exact 95 boundary\", \"actual\": [[\"p\", \"A\"], [\"q\", \"C\"], [\"r\", \"C\"]], \"expected\": [[\"p\", \"A\"], [\"q\", \"B\"], [\"r\", \"C\"]], \"passed\": false}, {\"check\": \"tie group straddles 80%\", \"actual\": [[\"x\", \"A\"], [\"y\", \"A\"], [\"z\", \"C\"]], \"expected\": [[\"x\", \"A\"], [\"y\", \"A\"], [\"z\", \"B\"]], \"passed\": false}, {\"check\": \"crossing sku is A\", \"actual\": [[\"a\", \"A\"], [\"b\", \"A\"], [\"c\", \"C\"]], \"expected\": [[\"a\", \"A\"], [\"b\", \"A\"], [\"c\", \"B\"]], \"passed\": false}, {\"check\": \"all zero\", \"actual\": [[\"a\", \"D\"], [\"b\", \"D\"]], \"expected\": [[\"a\", \"D\"], [\"b\", \"D\"]], \"passed\": true}, {\"check\": \"single sku\", \"actual\": [[\"solo\", \"A\"]], \"expected\": [[\"solo\", \"A\"]], \"passed\": true}, {\"check\": \"dead stock\", \"actual\": [[\"a\", \"A\"], [\"b\", \"D\"]], \"expected\": [[\"a\", \"A\"], [\"b\", \"D\"]], \"passed\": true}, {\"check\": \"generated mix 6\", \"actual\": [[\"S21\", \"A\"], [\"S16\", \"D\"], [\"S28\", \"A\"], [\"S06\", \"A\"], [\"S04\", \"D\"], [\"S08\", \"C\"]], \"expected\": [[\"S21\", \"A\"], [\"S16\", \"D\"], [\"S28\", \"A\"], [\"S06\", \"A\"], [\"S04\", \"D\"], [\"S08\", \"B\"]], \"passed\": false}, {\"check\": \"generated mix 14\", \"actual\": [[\"S13\", \"A\"], [\"S02\", \"A\"], [\"S18\", \"A\"], [\"S26\", \"A\"], [\"S20\", \"A\"], [\"S10\", \"A\"], [\"S01\", \"A\"]], \"expected\": [[\"S13\", \"A\"], [\"S02\", \"A\"], [\"S18\", \"A\"], [\"S26\", \"A\"], [\"S20\", \"A\"], [\"S10\", \"A\"], [\"S01\", \"A\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.517,"exit_code":1,"observations":[{"actual":[["p","A"],["q","B"],["r","B"]],"check":"exact 95 boundary","expected":[["p","A"],["q","B"],["r","C"]],"passed":false},{"actual":[["x","A"],["y","A"],["z","B"]],"check":"tie group straddles 80%","expected":[["x","A"],["y","A"],["z","B"]],"passed":true},{"actual":[["a","A"],["b","A"],["c","B"]],"check":"crossing sku is A","expected":[["a","A"],["b","A"],["c","B"]],"passed":true},{"actual":[["a","D"],["b","D"]],"check":"all zero","expected":[["a","D"],["b","D"]],"passed":true},{"actual":[["solo","A"]],"check":"single sku","expected":[["solo","A"]],"passed":true},{"actual":[["a","A"],["b","D"]],"check":"dead stock","expected":[["a","A"],["b","D"]],"passed":true},{"actual":[["S21","A"],["S16","D"],["S28","A"],["S06","A"],["S04","D"],["S08","B"]],"check":"generated mix 6","expected":[["S21","A"],["S16","D"],["S28","A"],["S06","A"],["S04","D"],["S08","B"]],"passed":true},{"actual":[["S13","A"],["S02","A"],["S18","A"],["S26","A"],["S20","A"],["S10","A"],["S01","A"]],"check":"generated mix 14","expected":[["S13","A"],["S02","A"],["S18","A"],["S26","A"],["S20","A"],["S10","A"],["S01","A"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"exact 95 boundary\", \"actual\": [[\"p\", \"A\"], [\"q\", \"B\"], [\"r\", \"B\"]], \"expected\": [[\"p\", \"A\"], [\"q\", \"B\"], [\"r\", \"C\"]], \"passed\": false}, {\"check\": \"tie group straddles 80%\", \"actual\": [[\"x\", \"A\"], [\"y\", \"A\"], [\"z\", \"B\"]], \"expected\": [[\"x\", \"A\"], [\"y\", \"A\"], [\"z\", \"B\"]], \"passed\": true}, {\"check\": \"crossing sku is A\", \"actual\": [[\"a\", \"A\"], [\"b\", \"A\"], [\"c\", \"B\"]], \"expected\": [[\"a\", \"A\"], [\"b\", \"A\"], [\"c\", \"B\"]], \"passed\": true}, {\"check\": \"all zero\", \"actual\": [[\"a\", \"D\"], [\"b\", \"D\"]], \"expected\": [[\"a\", \"D\"], [\"b\", \"D\"]], \"passed\": true}, {\"check\": \"single sku\", \"actual\": [[\"solo\", \"A\"]], \"expected\": [[\"solo\", \"A\"]], \"passed\": true}, {\"check\": \"dead stock\", \"actual\": [[\"a\", \"A\"], [\"b\", \"D\"]], \"expected\": [[\"a\", \"A\"], [\"b\", \"D\"]], \"passed\": true}, {\"check\": \"generated mix 6\", \"actual\": [[\"S21\", \"A\"], [\"S16\", \"D\"], [\"S28\", \"A\"], [\"S06\", \"A\"], [\"S04\", \"D\"], [\"S08\", \"B\"]], \"expected\": [[\"S21\", \"A\"], [\"S16\", \"D\"], [\"S28\", \"A\"], [\"S06\", \"A\"], [\"S04\", \"D\"], [\"S08\", \"B\"]], \"passed\": true}, {\"check\": \"generated mix 14\", \"actual\": [[\"S13\", \"A\"], [\"S02\", \"A\"], [\"S18\", \"A\"], [\"S26\", \"A\"], [\"S20\", \"A\"], [\"S10\", \"A\"], [\"S01\", \"A\"]], \"expected\": [[\"S13\", \"A\"], [\"S02\", \"A\"], [\"S18\", \"A\"], [\"S26\", \"A\"], [\"S20\", \"A\"], [\"S10\", \"A\"], [\"S01\", \"A\"]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.367,"exit_code":0,"observations":[{"actual":[["p","A"],["q","B"],["r","C"]],"check":"exact 95 boundary","expected":[["p","A"],["q","B"],["r","C"]],"passed":true},{"actual":[["x","A"],["y","A"],["z","B"]],"check":"tie group straddles 80%","expected":[["x","A"],["y","A"],["z","B"]],"passed":true},{"actual":[["a","A"],["b","A"],["c","B"]],"check":"crossing sku is A","expected":[["a","A"],["b","A"],["c","B"]],"passed":true},{"actual":[["a","D"],["b","D"]],"check":"all zero","expected":[["a","D"],["b","D"]],"passed":true},{"actual":[["solo","A"]],"check":"single sku","expected":[["solo","A"]],"passed":true},{"actual":[["a","A"],["b","D"]],"check":"dead stock","expected":[["a","A"],["b","D"]],"passed":true},{"actual":[["S21","A"],["S16","D"],["S28","A"],["S06","A"],["S04","D"],["S08","B"]],"check":"generated mix 6","expected":[["S21","A"],["S16","D"],["S28","A"],["S06","A"],["S04","D"],["S08","B"]],"passed":true},{"actual":[["S13","A"],["S02","A"],["S18","A"],["S26","A"],["S20","A"],["S10","A"],["S01","A"]],"check":"generated mix 14","expected":[["S13","A"],["S02","A"],["S18","A"],["S26","A"],["S20","A"],["S10","A"],["S01","A"]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"exact 95 boundary\", \"actual\": [[\"p\", \"A\"], [\"q\", \"B\"], [\"r\", \"C\"]], \"expected\": [[\"p\", \"A\"], [\"q\", \"B\"], [\"r\", \"C\"]], \"passed\": true}, {\"check\": \"tie group straddles 80%\", \"actual\": [[\"x\", \"A\"], [\"y\", \"A\"], [\"z\", \"B\"]], \"expected\": [[\"x\", \"A\"], [\"y\", \"A\"], [\"z\", \"B\"]], \"passed\": true}, {\"check\": \"crossing sku is A\", \"actual\": [[\"a\", \"A\"], [\"b\", \"A\"], [\"c\", \"B\"]], \"expected\": [[\"a\", \"A\"], [\"b\", \"A\"], [\"c\", \"B\"]], \"passed\": true}, {\"check\": \"all zero\", \"actual\": [[\"a\", \"D\"], [\"b\", \"D\"]], \"expected\": [[\"a\", \"D\"], [\"b\", \"D\"]], \"passed\": true}, {\"check\": \"single sku\", \"actual\": [[\"solo\", \"A\"]], \"expected\": [[\"solo\", \"A\"]], \"passed\": true}, {\"check\": \"dead stock\", \"actual\": [[\"a\", \"A\"], [\"b\", \"D\"]], \"expected\": [[\"a\", \"A\"], [\"b\", \"D\"]], \"passed\": true}, {\"check\": \"generated mix 6\", \"actual\": [[\"S21\", \"A\"], [\"S16\", \"D\"], [\"S28\", \"A\"], [\"S06\", \"A\"], [\"S04\", \"D\"], [\"S08\", \"B\"]], \"expected\": [[\"S21\", \"A\"], [\"S16\", \"D\"], [\"S28\", \"A\"], [\"S06\", \"A\"], [\"S04\", \"D\"], [\"S08\", \"B\"]], \"passed\": true}, {\"check\": \"generated mix 14\", \"actual\": [[\"S13\", \"A\"], [\"S02\", \"A\"], [\"S18\", \"A\"], [\"S26\", \"A\"], [\"S20\", \"A\"], [\"S10\", \"A\"], [\"S01\", \"A\"]], \"expected\": [[\"S13\", \"A\"], [\"S02\", \"A\"], [\"S18\", \"A\"], [\"S26\", \"A\"], [\"S20\", \"A\"], [\"S10\", \"A\"], [\"S01\", \"A\"]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}