{"abstract":"Faces are sized a case short and run out before the replenishment cycle.","category":"Warehouse slotting and bin packing","checks":8,"contract":"weekly eaches demand, days of cover, case pack cp, slot_types [[type, capacity_cases, cost_rank]]. Needed cases = ceil(weekly*days / (7*cp)). Choose the smallest capacity that holds it (then cost_rank, type) using 1 slot. If none holds it, use the largest capacity type (then cost_rank, type) and ceil(need/capacity) slots. Zero demand -> [\"NONE\", 0, 0].","evaluation_group":"w2-warehouse-slotting-face-sizing","failed_approach":"Rounding to nearest still drops partial cases below one half.","family":"w2-warehouse-slotting-face-sizing-case-ceiling","id":"FA-95281","implementations":{"attempt":{"sha256":"97fb41d1aa553fced7685bcd4d080c9c21dbd6de83a34d9580e11f0a71020e8d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(weekly, days, cp, slot_types):\n    if weekly <= 0:\n        return ['NONE', 0, 0]\n    need = round(weekly * days / (7 * cp))\n    fits = [s for s in slot_types if s[1] >= need]\n    if fits:\n        t = min(fits, key=lambda s: (s[1], s[2], s[0]))\n        return [t[0], need, 1]\n    t = min(slot_types, key=lambda s: (-s[1], s[2], s[0]))\n    return [t[0], need, -(-need // t[1])]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 1]], ['tiny demand one case', [1, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['exact capacity', [84, 4, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 4, 1]], ['zero demand', [0, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['NONE', 0, 0]], ['split', [700, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 234, 6]], ['generated mix 7', [84, 5, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 10, 2]], ['generated mix 15', [1400, 14, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 234, 24]], ['generated mix 23', [70, 5, 1, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 50, 9]]], [['generated mix 9', [350, 3, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 13, 1]], ['generated mix 13', [1, 7, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['zero demand', [0, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['NONE', 0, 0]], ['split tie', [700, 7, 1, [['A', 10, 2], ['B', 10, 1]]], ['B', 700, 70]], ['exact capacity', [84, 4, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 4, 1]], ['generated mix 10', [70, 5, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 50, 5]], ['generated mix 19', [20, 5, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 3, 1]], ['generated mix 27', [1, 3, 6, [['A', 10, 2], ['B', 10, 1]]], ['B', 1, 1]]], [['generated mix 17', [70, 5, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['SHELF', 3, 1]], ['generated mix 18', [1400, 1, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 34, 1]], ['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 1]], ['split', [700, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 234, 6]], ['tiny demand one case', [1, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['generated mix 22', [700, 14, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 1400, 35]], ['generated mix 30', [1400, 3, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 50, 5]], ['generated mix 38', [0, 14, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['NONE', 0, 0]]], [['generated mix 27', [1, 3, 6, [['A', 10, 2], ['B', 10, 1]]], ['B', 1, 1]], ['zero demand', [0, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['NONE', 0, 0]], ['split tie', [700, 7, 1, [['A', 10, 2], ['B', 10, 1]]], ['B', 700, 70]], ['exact capacity', [84, 4, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 4, 1]], ['generated mix 32', [1400, 3, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 50, 5]], ['generated mix 40', [70, 5, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 50, 2]], ['generated mix 48', [700, 5, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 84, 14]], ['generated mix 56', [1, 5, 24, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['S', 1, 1]]], [['generated mix 39', [1400, 7, 12, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 117, 20]], ['generated mix 44', [350, 1, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 5, 1]], ['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 1]], ['split', [700, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 234, 6]], ['tiny demand one case', [1, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['generated mix 43', [20, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 7, 1]], ['generated mix 52', [0, 14, 24, [['A', 10, 2], ['B', 10, 1]]], ['NONE', 0, 0]], ['generated mix 60', [700, 7, 1, [['A', 10, 2], ['B', 10, 1]]], ['B', 700, 70]]]]\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":"a33de4ed122ec15dcc2efae35ea1bac1e280b3fe6979138358f136f992e3f2fb","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(weekly, days, cp, slot_types):\n    if weekly <= 0:\n        return ['NONE', 0, 0]\n    need = (weekly * days) // (7 * cp)\n    fits = [s for s in slot_types if s[1] >= need]\n    if fits:\n        t = min(fits, key=lambda s: (s[1], s[2], s[0]))\n        return [t[0], need, 1]\n    t = min(slot_types, key=lambda s: (-s[1], s[2], s[0]))\n    return [t[0], need, -(-need // t[1])]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 1]], ['tiny demand one case', [1, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['exact capacity', [84, 4, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 4, 1]], ['zero demand', [0, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['NONE', 0, 0]], ['split', [700, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 234, 6]], ['generated mix 7', [84, 5, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 10, 2]], ['generated mix 15', [1400, 14, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 234, 24]], ['generated mix 23', [70, 5, 1, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 50, 9]]], [['generated mix 9', [350, 3, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 13, 1]], ['generated mix 13', [1, 7, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['zero demand', [0, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['NONE', 0, 0]], ['split tie', [700, 7, 1, [['A', 10, 2], ['B', 10, 1]]], ['B', 700, 70]], ['exact capacity', [84, 4, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 4, 1]], ['generated mix 10', [70, 5, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 50, 5]], ['generated mix 19', [20, 5, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 3, 1]], ['generated mix 27', [1, 3, 6, [['A', 10, 2], ['B', 10, 1]]], ['B', 1, 1]]], [['generated mix 17', [70, 5, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['SHELF', 3, 1]], ['generated mix 18', [1400, 1, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 34, 1]], ['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 1]], ['split', [700, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 234, 6]], ['tiny demand one case', [1, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['generated mix 22', [700, 14, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 1400, 35]], ['generated mix 30', [1400, 3, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 50, 5]], ['generated mix 38', [0, 14, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['NONE', 0, 0]]], [['generated mix 27', [1, 3, 6, [['A', 10, 2], ['B', 10, 1]]], ['B', 1, 1]], ['zero demand', [0, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['NONE', 0, 0]], ['split tie', [700, 7, 1, [['A', 10, 2], ['B', 10, 1]]], ['B', 700, 70]], ['exact capacity', [84, 4, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 4, 1]], ['generated mix 32', [1400, 3, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 50, 5]], ['generated mix 40', [70, 5, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 50, 2]], ['generated mix 48', [700, 5, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 84, 14]], ['generated mix 56', [1, 5, 24, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['S', 1, 1]]], [['generated mix 39', [1400, 7, 12, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 117, 20]], ['generated mix 44', [350, 1, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 5, 1]], ['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 1]], ['split', [700, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 234, 6]], ['tiny demand one case', [1, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['generated mix 43', [20, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 7, 1]], ['generated mix 52', [0, 14, 24, [['A', 10, 2], ['B', 10, 1]]], ['NONE', 0, 0]], ['generated mix 60', [700, 7, 1, [['A', 10, 2], ['B', 10, 1]]], ['B', 700, 70]]]]\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":"3358ad2cf7a3545720700f5c5d9726ae0da0dd33cb2a08a04af55b66f705d396","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(weekly, days, cp, slot_types):\n    if weekly <= 0:\n        return ['NONE', 0, 0]\n    need = -(-(weekly * days) // (7 * cp))\n    fits = [s for s in slot_types if s[1] >= need]\n    if fits:\n        t = min(fits, key=lambda s: (s[1], s[2], s[0]))\n        return [t[0], need, 1]\n    t = min(slot_types, key=lambda s: (-s[1], s[2], s[0]))\n    return [t[0], need, -(-need // t[1])]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 1]], ['tiny demand one case', [1, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['exact capacity', [84, 4, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 4, 1]], ['zero demand', [0, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['NONE', 0, 0]], ['split', [700, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 234, 6]], ['generated mix 7', [84, 5, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 10, 2]], ['generated mix 15', [1400, 14, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 234, 24]], ['generated mix 23', [70, 5, 1, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 50, 9]]], [['generated mix 9', [350, 3, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 13, 1]], ['generated mix 13', [1, 7, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['zero demand', [0, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['NONE', 0, 0]], ['split tie', [700, 7, 1, [['A', 10, 2], ['B', 10, 1]]], ['B', 700, 70]], ['exact capacity', [84, 4, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 4, 1]], ['generated mix 10', [70, 5, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 50, 5]], ['generated mix 19', [20, 5, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 3, 1]], ['generated mix 27', [1, 3, 6, [['A', 10, 2], ['B', 10, 1]]], ['B', 1, 1]]], [['generated mix 17', [70, 5, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['SHELF', 3, 1]], ['generated mix 18', [1400, 1, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 34, 1]], ['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 1]], ['split', [700, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 234, 6]], ['tiny demand one case', [1, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['generated mix 22', [700, 14, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 1400, 35]], ['generated mix 30', [1400, 3, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 50, 5]], ['generated mix 38', [0, 14, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['NONE', 0, 0]]], [['generated mix 27', [1, 3, 6, [['A', 10, 2], ['B', 10, 1]]], ['B', 1, 1]], ['zero demand', [0, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['NONE', 0, 0]], ['split tie', [700, 7, 1, [['A', 10, 2], ['B', 10, 1]]], ['B', 700, 70]], ['exact capacity', [84, 4, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 4, 1]], ['generated mix 32', [1400, 3, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 50, 5]], ['generated mix 40', [70, 5, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 50, 2]], ['generated mix 48', [700, 5, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 84, 14]], ['generated mix 56', [1, 5, 24, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['S', 1, 1]]], [['generated mix 39', [1400, 7, 12, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 117, 20]], ['generated mix 44', [350, 1, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 5, 1]], ['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 1]], ['split', [700, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 234, 6]], ['tiny demand one case', [1, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['generated mix 43', [20, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 7, 1]], ['generated mix 52', [0, 14, 24, [['A', 10, 2], ['B', 10, 1]]], ['NONE', 0, 0]], ['generated mix 60', [700, 7, 1, [['A', 10, 2], ['B', 10, 1]]], ['B', 700, 70]]]]\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 days-of-supply sizing with whole cases. 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-face-sizing-case-ceiling","generated_at":"2026-09-29T14:52:12.305143+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Forward pick faces are sized to hold a target number of days of demand.","repair":"Round needed cases up.","root_cause":"Needed cases are floor-divided, dropping the partial case of demand.","sha256":"c7d8dea23c4d9f9217604fa39b4c6cea123f4478f71d743f9983e45848f42137","title":"Face sizing: needed cases floored · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.677,"exit_code":1,"observations":[{"actual":["FLOW",6,1],"check":"smallest fit tie cost","expected":["FLOW",6,1],"passed":true},{"actual":["SHELF",0,1],"check":"tiny demand one case","expected":["SHELF",1,1],"passed":false},{"actual":["SHELF",4,1],"check":"exact capacity","expected":["SHELF",4,1],"passed":true},{"actual":["NONE",0,0],"check":"zero demand","expected":["NONE",0,0],"passed":true},{"actual":["PAL",233,6],"check":"split","expected":["PAL",234,6],"passed":false},{"actual":["M",10,2],"check":"generated mix 7","expected":["M",10,2],"passed":true},{"actual":["B",233,24],"check":"generated mix 15","expected":["B",234,24],"passed":false},{"actual":["M",50,9],"check":"generated mix 23","expected":["M",50,9],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"smallest fit tie cost\", \"actual\": [\"FLOW\", 6, 1], \"expected\": [\"FLOW\", 6, 1], \"passed\": true}, {\"check\": \"tiny demand one case\", \"actual\": [\"SHELF\", 0, 1], \"expected\": [\"SHELF\", 1, 1], \"passed\": false}, {\"check\": \"exact capacity\", \"actual\": [\"SHELF\", 4, 1], \"expected\": [\"SHELF\", 4, 1], \"passed\": true}, {\"check\": \"zero demand\", \"actual\": [\"NONE\", 0, 0], \"expected\": [\"NONE\", 0, 0], \"passed\": true}, {\"check\": \"split\", \"actual\": [\"PAL\", 233, 6], \"expected\": [\"PAL\", 234, 6], \"passed\": false}, {\"check\": \"generated mix 7\", \"actual\": [\"M\", 10, 2], \"expected\": [\"M\", 10, 2], \"passed\": true}, {\"check\": \"generated mix 15\", \"actual\": [\"B\", 233, 24], \"expected\": [\"B\", 234, 24], \"passed\": false}, {\"check\": \"generated mix 23\", \"actual\": [\"M\", 50, 9], \"expected\": [\"M\", 50, 9], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.734,"exit_code":1,"observations":[{"actual":["FLOW",5,1],"check":"smallest fit tie cost","expected":["FLOW",6,1],"passed":false},{"actual":["SHELF",0,1],"check":"tiny demand one case","expected":["SHELF",1,1],"passed":false},{"actual":["SHELF",4,1],"check":"exact capacity","expected":["SHELF",4,1],"passed":true},{"actual":["NONE",0,0],"check":"zero demand","expected":["NONE",0,0],"passed":true},{"actual":["PAL",233,6],"check":"split","expected":["PAL",234,6],"passed":false},{"actual":["M",10,2],"check":"generated mix 7","expected":["M",10,2],"passed":true},{"actual":["B",233,24],"check":"generated mix 15","expected":["B",234,24],"passed":false},{"actual":["M",50,9],"check":"generated mix 23","expected":["M",50,9],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"smallest fit tie cost\", \"actual\": [\"FLOW\", 5, 1], \"expected\": [\"FLOW\", 6, 1], \"passed\": false}, {\"check\": \"tiny demand one case\", \"actual\": [\"SHELF\", 0, 1], \"expected\": [\"SHELF\", 1, 1], \"passed\": false}, {\"check\": \"exact capacity\", \"actual\": [\"SHELF\", 4, 1], \"expected\": [\"SHELF\", 4, 1], \"passed\": true}, {\"check\": \"zero demand\", \"actual\": [\"NONE\", 0, 0], \"expected\": [\"NONE\", 0, 0], \"passed\": true}, {\"check\": \"split\", \"actual\": [\"PAL\", 233, 6], \"expected\": [\"PAL\", 234, 6], \"passed\": false}, {\"check\": \"generated mix 7\", \"actual\": [\"M\", 10, 2], \"expected\": [\"M\", 10, 2], \"passed\": true}, {\"check\": \"generated mix 15\", \"actual\": [\"B\", 233, 24], \"expected\": [\"B\", 234, 24], \"passed\": false}, {\"check\": \"generated mix 23\", \"actual\": [\"M\", 50, 9], \"expected\": [\"M\", 50, 9], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.36,"exit_code":0,"observations":[{"actual":["FLOW",6,1],"check":"smallest fit tie cost","expected":["FLOW",6,1],"passed":true},{"actual":["SHELF",1,1],"check":"tiny demand one case","expected":["SHELF",1,1],"passed":true},{"actual":["SHELF",4,1],"check":"exact capacity","expected":["SHELF",4,1],"passed":true},{"actual":["NONE",0,0],"check":"zero demand","expected":["NONE",0,0],"passed":true},{"actual":["PAL",234,6],"check":"split","expected":["PAL",234,6],"passed":true},{"actual":["M",10,2],"check":"generated mix 7","expected":["M",10,2],"passed":true},{"actual":["B",234,24],"check":"generated mix 15","expected":["B",234,24],"passed":true},{"actual":["M",50,9],"check":"generated mix 23","expected":["M",50,9],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"smallest fit tie cost\", \"actual\": [\"FLOW\", 6, 1], \"expected\": [\"FLOW\", 6, 1], \"passed\": true}, {\"check\": \"tiny demand one case\", \"actual\": [\"SHELF\", 1, 1], \"expected\": [\"SHELF\", 1, 1], \"passed\": true}, {\"check\": \"exact capacity\", \"actual\": [\"SHELF\", 4, 1], \"expected\": [\"SHELF\", 4, 1], \"passed\": true}, {\"check\": \"zero demand\", \"actual\": [\"NONE\", 0, 0], \"expected\": [\"NONE\", 0, 0], \"passed\": true}, {\"check\": \"split\", \"actual\": [\"PAL\", 234, 6], \"expected\": [\"PAL\", 234, 6], \"passed\": true}, {\"check\": \"generated mix 7\", \"actual\": [\"M\", 10, 2], \"expected\": [\"M\", 10, 2], \"passed\": true}, {\"check\": \"generated mix 15\", \"actual\": [\"B\", 234, 24], \"expected\": [\"B\", 234, 24], \"passed\": true}, {\"check\": \"generated mix 23\", \"actual\": [\"M\", 50, 9], \"expected\": [\"M\", 50, 9], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}