{"abstract":"A slot that holds exactly the needed cases is passed over for a larger slot.","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":"Multiplying capacity by case pack compares eaches with cases.","family":"w2-warehouse-slotting-face-sizing-fit-boundary","id":"FA-95291","implementations":{"attempt":{"sha256":"0a4ba5c24a92f59894464d13fd55b2a71a3505aec0233531c7d7a056a2858330","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] * cp >= 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 = [[['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]], ['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]], ['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 59', [84, 3, 24, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['S', 2, 1]], ['generated mix 9', [350, 3, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 13, 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 18', [1400, 1, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 34, 1]], ['generated mix 26', [1400, 5, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 167, 17]]], [['generated mix 75', [20, 7, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 4, 1]], ['generated mix 19', [20, 5, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 3, 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 21', [70, 1, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 10, 1]], ['generated mix 29', [1, 5, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['generated mix 37', [70, 1, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 2, 1]]], [['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]], ['split tie', [700, 7, 1, [['A', 10, 2], ['B', 10, 1]]], ['B', 700, 70]], ['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]], ['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 1]], ['generated mix 34', [70, 7, 24, [['A', 10, 2], ['B', 10, 1]]], ['B', 3, 1]], ['generated mix 42', [120, 3, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 5, 1]]], [['generated mix 59', [84, 3, 24, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['S', 2, 1]], ['generated mix 47', [700, 1, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 17, 3]], ['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 42', [120, 3, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 5, 1]], ['generated mix 51', [1, 14, 24, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['S', 1, 1]], ['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":"1e80d7c03b52ec45be831638adb859bfbfc8dcb55d3d5987190933a728b7f533","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 = [[['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]], ['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]], ['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 59', [84, 3, 24, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['S', 2, 1]], ['generated mix 9', [350, 3, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 13, 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 18', [1400, 1, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['PAL', 34, 1]], ['generated mix 26', [1400, 5, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 167, 17]]], [['generated mix 75', [20, 7, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 4, 1]], ['generated mix 19', [20, 5, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 3, 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 21', [70, 1, 1, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1]]], ['FLOW', 10, 1]], ['generated mix 29', [1, 5, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 1, 1]], ['generated mix 37', [70, 1, 6, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['SHELF', 2, 1]]], [['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]], ['split tie', [700, 7, 1, [['A', 10, 2], ['B', 10, 1]]], ['B', 700, 70]], ['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]], ['smallest fit tie cost', [70, 7, 12, [['SHELF', 4, 1], ['CART', 10, 2], ['FLOW', 10, 1], ['PAL', 40, 3]]], ['FLOW', 6, 1]], ['generated mix 34', [70, 7, 24, [['A', 10, 2], ['B', 10, 1]]], ['B', 3, 1]], ['generated mix 42', [120, 3, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 5, 1]]], [['generated mix 59', [84, 3, 24, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['S', 2, 1]], ['generated mix 47', [700, 1, 6, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['M', 17, 3]], ['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 42', [120, 3, 12, [['A', 10, 2], ['B', 10, 1]]], ['B', 5, 1]], ['generated mix 51', [1, 14, 24, [['S', 2, 1], ['M', 6, 1], ['X', 6, 1]]], ['S', 1, 1]], ['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-fit-boundary","generated_at":"2026-09-29T14:52:12.345308+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":"Slot fit requires capacity strictly greater than need.","sha256":"2a9edea4b804a52518aab4fa59acbfcc8c19a9434f79c2131de3e3cc61724558","title":"Face sizing: exact-capacity slot skipped · 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":38.411,"exit_code":1,"observations":[{"actual":["SHELF",4,1],"check":"exact capacity","expected":["SHELF",4,1],"passed":true},{"actual":["PAL",234,1],"check":"split","expected":["PAL",234,6],"passed":false},{"actual":["SHELF",6,1],"check":"smallest fit tie cost","expected":["FLOW",6,1],"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":["S",10,1],"check":"generated mix 7","expected":["M",10,2],"passed":false},{"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":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"exact capacity\", \"actual\": [\"SHELF\", 4, 1], \"expected\": [\"SHELF\", 4, 1], \"passed\": true}, {\"check\": \"split\", \"actual\": [\"PAL\", 234, 1], \"expected\": [\"PAL\", 234, 6], \"passed\": false}, {\"check\": \"smallest fit tie cost\", \"actual\": [\"SHELF\", 6, 1], \"expected\": [\"FLOW\", 6, 1], \"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\": [\"S\", 10, 1], \"expected\": [\"M\", 10, 2], \"passed\": false}, {\"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\": false}\n"},"broken":{"elapsed_ms":40.48,"exit_code":1,"observations":[{"actual":["FLOW",4,1],"check":"exact capacity","expected":["SHELF",4,1],"passed":false},{"actual":["PAL",234,6],"check":"split","expected":["PAL",234,6],"passed":true},{"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":["NONE",0,0],"check":"zero demand","expected":["NONE",0,0],"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":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"exact capacity\", \"actual\": [\"FLOW\", 4, 1], \"expected\": [\"SHELF\", 4, 1], \"passed\": false}, {\"check\": \"split\", \"actual\": [\"PAL\", 234, 6], \"expected\": [\"PAL\", 234, 6], \"passed\": true}, {\"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\": \"zero demand\", \"actual\": [\"NONE\", 0, 0], \"expected\": [\"NONE\", 0, 0], \"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\": 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."}}