{"abstract":"Pick faces are sized seven times too large.","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":"Dividing by a 5-day work week contradicts the calendar-day cover in the contract.","family":"w2-warehouse-slotting-face-sizing-demand-period","id":"FA-95286","implementations":{"attempt":{"sha256":"7b429d0d20de3b9cc6ac69d6dfbc56f241d32fbccb832f7c31815a7a6985f514","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) // (5 * 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]], ['exact capacity', [84, 4, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 4, 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]], ['zero demand', [0, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['NONE', 0, 0]], ['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 5', [1400, 3, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 600, 60]], ['generated mix 4', [700, 5, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 42, 5]], ['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 11', [350, 3, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 13, 2]], ['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 13', [1, 7, 6, [['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]], ['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 20', [700, 1, 12, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 9, 2]], ['generated mix 16', [1400, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 9, 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 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 49', [84, 1, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['SHELF', 2, 1]]], [['generated mix 28', [120, 3, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 9, 1]], ['generated mix 22', [700, 14, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 1400, 35]], ['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":"997ddc620d8389e18659ea58d8dab12981e558f9aa96ebca98a94070b72213cb","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) // 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]], ['exact capacity', [84, 4, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 4, 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]], ['zero demand', [0, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['NONE', 0, 0]], ['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 5', [1400, 3, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 600, 60]], ['generated mix 4', [700, 5, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 42, 5]], ['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 11', [350, 3, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 13, 2]], ['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 13', [1, 7, 6, [['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]], ['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 20', [700, 1, 12, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 9, 2]], ['generated mix 16', [1400, 1, 24, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 9, 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 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 49', [84, 1, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['SHELF', 2, 1]]], [['generated mix 28', [120, 3, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 9, 1]], ['generated mix 22', [700, 14, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 1400, 35]], ['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-demand-period","generated_at":"2026-09-29T14:52:12.345732+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":"Weekly demand is multiplied by days of cover without converting to a daily rate.","sha256":"e9955feba8f974e73bcb0479afd19fb825b160ba4106a3a96ee023a659a490dd","title":"Face sizing: weekly demand used as daily · 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":40.637,"exit_code":1,"observations":[{"actual":["FLOW",9,1],"check":"smallest fit tie cost","expected":["FLOW",6,1],"passed":false},{"actual":["FLOW",6,1],"check":"exact capacity","expected":["SHELF",4,1],"passed":false},{"actual":["PAL",327,9],"check":"split","expected":["PAL",234,6],"passed":false},{"actual":["SHELF",1,1],"check":"tiny demand one case","expected":["SHELF",1,1],"passed":true},{"actual":["NONE",0,0],"check":"zero demand","expected":["NONE",0,0],"passed":true},{"actual":["M",14,3],"check":"generated mix 7","expected":["M",10,2],"passed":false},{"actual":["B",327,33],"check":"generated mix 15","expected":["B",234,24],"passed":false},{"actual":["M",70,12],"check":"generated mix 23","expected":["M",50,9],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"smallest fit tie cost\", \"actual\": [\"FLOW\", 9, 1], \"expected\": [\"FLOW\", 6, 1], \"passed\": false}, {\"check\": \"exact capacity\", \"actual\": [\"FLOW\", 6, 1], \"expected\": [\"SHELF\", 4, 1], \"passed\": false}, {\"check\": \"split\", \"actual\": [\"PAL\", 327, 9], \"expected\": [\"PAL\", 234, 6], \"passed\": false}, {\"check\": \"tiny demand one case\", \"actual\": [\"SHELF\", 1, 1], \"expected\": [\"SHELF\", 1, 1], \"passed\": true}, {\"check\": \"zero demand\", \"actual\": [\"NONE\", 0, 0], \"expected\": [\"NONE\", 0, 0], \"passed\": true}, {\"check\": \"generated mix 7\", \"actual\": [\"M\", 14, 3], \"expected\": [\"M\", 10, 2], \"passed\": false}, {\"check\": \"generated mix 15\", \"actual\": [\"B\", 327, 33], \"expected\": [\"B\", 234, 24], \"passed\": false}, {\"check\": \"generated mix 23\", \"actual\": [\"M\", 70, 12], \"expected\": [\"M\", 50, 9], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.314,"exit_code":1,"observations":[{"actual":["PAL",41,2],"check":"smallest fit tie cost","expected":["FLOW",6,1],"passed":false},{"actual":["PAL",28,1],"check":"exact capacity","expected":["SHELF",4,1],"passed":false},{"actual":["PAL",1634,41],"check":"split","expected":["PAL",234,6],"passed":false},{"actual":["SHELF",1,1],"check":"tiny demand one case","expected":["SHELF",1,1],"passed":true},{"actual":["NONE",0,0],"check":"zero demand","expected":["NONE",0,0],"passed":true},{"actual":["M",70,12],"check":"generated mix 7","expected":["M",10,2],"passed":false},{"actual":["B",1634,164],"check":"generated mix 15","expected":["B",234,24],"passed":false},{"actual":["M",350,59],"check":"generated mix 23","expected":["M",50,9],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"smallest fit tie cost\", \"actual\": [\"PAL\", 41, 2], \"expected\": [\"FLOW\", 6, 1], \"passed\": false}, {\"check\": \"exact capacity\", \"actual\": [\"PAL\", 28, 1], \"expected\": [\"SHELF\", 4, 1], \"passed\": false}, {\"check\": \"split\", \"actual\": [\"PAL\", 1634, 41], \"expected\": [\"PAL\", 234, 6], \"passed\": false}, {\"check\": \"tiny demand one case\", \"actual\": [\"SHELF\", 1, 1], \"expected\": [\"SHELF\", 1, 1], \"passed\": true}, {\"check\": \"zero demand\", \"actual\": [\"NONE\", 0, 0], \"expected\": [\"NONE\", 0, 0], \"passed\": true}, {\"check\": \"generated mix 7\", \"actual\": [\"M\", 70, 12], \"expected\": [\"M\", 10, 2], \"passed\": false}, {\"check\": \"generated mix 15\", \"actual\": [\"B\", 1634, 164], \"expected\": [\"B\", 234, 24], \"passed\": false}, {\"check\": \"generated mix 23\", \"actual\": [\"M\", 350, 59], \"expected\": [\"M\", 50, 9], \"passed\": false}], \"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."}}