{"abstract":"Items that need several slots are given one slot too few.","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].","contract_signature":"weekly, days, cp, slot_types","evaluation_group":"w2-warehouse-slotting-face-sizing","failed_approach":"Adding one after floor division overcounts exact multiples.","family":"w2-warehouse-slotting-face-sizing-split-slot-count","id":"FA-95301","implementations":{"attempt":{"sha256":"df304cbd6f1a791abac1de516aa4994eaf391ec64fb49d73a11233c64d8e846f","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] + 1]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['split', [700, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 234, 6]], ['generated mix 5', [1400, 3, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 600, 60]], ['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 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]], ['tiny demand one case', [1, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['generated mix 9', [350, 3, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 13, 1]]], [['generated mix 20', [700, 1, 12, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 9, 2]], ['generated mix 33', [700, 14, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 234, 39]], ['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 9', [350, 3, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 13, 1]], ['generated mix 17', [70, 5, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['SHELF', 3, 1]], ['generated mix 26', [1400, 5, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 167, 17]]], [['generated mix 45', [84, 5, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 10, 2]], ['generated mix 63', [1400, 3, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 600, 15]], ['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 20', [700, 1, 12, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 9, 2]], ['generated mix 28', [120, 3, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 9, 1]], ['generated mix 36', [700, 7, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 117, 3]]], [['split', [700, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 234, 6]], ['generated mix 80', [70, 7, 1, [['A', 10, 2], ['B', 10, 1]]], ['B', 70, 7]], ['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]], ['tiny demand one case', [1, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 1]], ['generated mix 33', [700, 14, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 234, 39]], ['generated mix 41', [1, 5, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['SHELF', 1, 1]]], [['generated mix 20', [700, 1, 12, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 9, 2]], ['generated mix 30', [1400, 3, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 50, 5]], ['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 44', [350, 1, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 5, 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":"7ada17ce570d0c263344ca958657c37d7da72e97256eabb8bd1946981ddd0bc0","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 = [[['split', [700, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 234, 6]], ['generated mix 5', [1400, 3, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 600, 60]], ['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 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]], ['tiny demand one case', [1, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['generated mix 9', [350, 3, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 13, 1]]], [['generated mix 20', [700, 1, 12, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 9, 2]], ['generated mix 33', [700, 14, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 234, 39]], ['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 9', [350, 3, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 13, 1]], ['generated mix 17', [70, 5, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['SHELF', 3, 1]], ['generated mix 26', [1400, 5, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 167, 17]]], [['generated mix 45', [84, 5, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 10, 2]], ['generated mix 63', [1400, 3, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 600, 15]], ['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 20', [700, 1, 12, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 9, 2]], ['generated mix 28', [120, 3, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 9, 1]], ['generated mix 36', [700, 7, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 117, 3]]], [['split', [700, 14, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 234, 6]], ['generated mix 80', [70, 7, 1, [['A', 10, 2], ['B', 10, 1]]], ['B', 70, 7]], ['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]], ['tiny demand one case', [1, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 1]], ['generated mix 33', [700, 14, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 234, 39]], ['generated mix 41', [1, 5, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['SHELF', 1, 1]]], [['generated mix 20', [700, 1, 12, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 9, 2]], ['generated mix 30', [1400, 3, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 50, 5]], ['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 44', [350, 1, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 5, 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-split-slot-count","generated_at":"2026-09-29T14:52:12.432715+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.","root_cause":"The number of slots for oversized demand is floor-divided.","sha256":"a01f16572c89914d2b732401508c42683d9eeca96d0f68e2431319ad20422818","title":"Face sizing: split slot count floored · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":41.716,"exit_code":1,"observations":[{"actual":["PAL",234,6],"check":"split","expected":["PAL",234,6],"passed":true},{"actual":["FLOW",600,61],"check":"generated mix 5","expected":["FLOW",600,60],"passed":false},{"actual":["FLOW",6,1],"check":"smallest fit tie cost","expected":["FLOW",6,1],"passed":true},{"actual":["NONE",0,0],"check":"zero demand","expected":["NONE",0,0],"passed":true},{"actual":["B",700,71],"check":"split tie","expected":["B",700,70],"passed":false},{"actual":["SHELF",4,1],"check":"exact capacity","expected":["SHELF",4,1],"passed":true},{"actual":["SHELF",1,1],"check":"tiny demand one case","expected":["SHELF",1,1],"passed":true},{"actual":["PAL",13,1],"check":"generated mix 9","expected":["PAL",13,1],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"split\", \"actual\": [\"PAL\", 234, 6], \"expected\": [\"PAL\", 234, 6], \"passed\": true}, {\"check\": \"generated mix 5\", \"actual\": [\"FLOW\", 600, 61], \"expected\": [\"FLOW\", 600, 60], \"passed\": false}, {\"check\": \"smallest fit tie cost\", \"actual\": [\"FLOW\", 6, 1], \"expected\": [\"FLOW\", 6, 1], \"passed\": true}, {\"check\": \"zero demand\", \"actual\": [\"NONE\", 0, 0], \"expected\": [\"NONE\", 0, 0], \"passed\": true}, {\"check\": \"split tie\", \"actual\": [\"B\", 700, 71], \"expected\": [\"B\", 700, 70], \"passed\": false}, {\"check\": \"exact capacity\", \"actual\": [\"SHELF\", 4, 1], \"expected\": [\"SHELF\", 4, 1], \"passed\": true}, {\"check\": \"tiny demand one case\", \"actual\": [\"SHELF\", 1, 1], \"expected\": [\"SHELF\", 1, 1], \"passed\": true}, {\"check\": \"generated mix 9\", \"actual\": [\"PAL\", 13, 1], \"expected\": [\"PAL\", 13, 1], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.613,"exit_code":1,"observations":[{"actual":["PAL",234,5],"check":"split","expected":["PAL",234,6],"passed":false},{"actual":["FLOW",600,60],"check":"generated mix 5","expected":["FLOW",600,60],"passed":true},{"actual":["FLOW",6,1],"check":"smallest fit tie cost","expected":["FLOW",6,1],"passed":true},{"actual":["NONE",0,0],"check":"zero demand","expected":["NONE",0,0],"passed":true},{"actual":["B",700,70],"check":"split tie","expected":["B",700,70],"passed":true},{"actual":["SHELF",4,1],"check":"exact capacity","expected":["SHELF",4,1],"passed":true},{"actual":["SHELF",1,1],"check":"tiny demand one case","expected":["SHELF",1,1],"passed":true},{"actual":["PAL",13,1],"check":"generated mix 9","expected":["PAL",13,1],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"split\", \"actual\": [\"PAL\", 234, 5], \"expected\": [\"PAL\", 234, 6], \"passed\": false}, {\"check\": \"generated mix 5\", \"actual\": [\"FLOW\", 600, 60], \"expected\": [\"FLOW\", 600, 60], \"passed\": true}, {\"check\": \"smallest fit tie cost\", \"actual\": [\"FLOW\", 6, 1], \"expected\": [\"FLOW\", 6, 1], \"passed\": true}, {\"check\": \"zero demand\", \"actual\": [\"NONE\", 0, 0], \"expected\": [\"NONE\", 0, 0], \"passed\": true}, {\"check\": \"split tie\", \"actual\": [\"B\", 700, 70], \"expected\": [\"B\", 700, 70], \"passed\": true}, {\"check\": \"exact capacity\", \"actual\": [\"SHELF\", 4, 1], \"expected\": [\"SHELF\", 4, 1], \"passed\": true}, {\"check\": \"tiny demand one case\", \"actual\": [\"SHELF\", 1, 1], \"expected\": [\"SHELF\", 1, 1], \"passed\": true}, {\"check\": \"generated mix 9\", \"actual\": [\"PAL\", 13, 1], \"expected\": [\"PAL\", 13, 1], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}