{"abstract":"Slots for units with no stacking limit report zero capacity.","category":"Warehouse slotting and bin packing","checks":8,"contract":"slot [width, depth, height], unit [w, d, h]. Upright units may only rotate in the horizontal plane; others may take any of the 6 axis orientations. Vertical layers = height // unit height, capped at max_stack when max_stack > 0 (0 = unlimited). Units = best over orientations of (W//a)*(D//b)*layers. Utilization in basis points = floor(units*unit volume*10000/slot volume).","evaluation_group":"w2-warehouse-slotting-slot-cube-fit","failed_approach":"Treating 0 as a one-layer cap still limits unlimited units to a single layer.","family":"w2-warehouse-slotting-slot-cube-fit-unlimited-stack-sentinel","id":"FA-95091","implementations":{"attempt":{"sha256":"213a9283232ffc95f37aa092a83d3b975d94e8e29c24198f5dd99e31add133a9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport itertools\nN = 1\nobservations = []\ndef solve(slot, unit, max_stack, upright):\n    SW, SD, SH = slot\n    uw, ud, uh = unit\n    if upright:\n        orients = [(uw, ud, uh), (ud, uw, uh)]\n    else:\n        orients = sorted(set(itertools.permutations(unit)))\n    best = 0\n    for a, b, c in orients:\n        layers = SH // c\n        if max_stack or True:\n            max_stack = max_stack or 1\n            layers = min(layers, max_stack)\n        best = max(best, (SW // a) * (SD // b) * layers)\n    bp = best * uw * ud * uh * 10000 // (SW * SD * SH)\n    return [best, bp]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['upright plane rotation', [[48, 40, 30], [12, 10, 10], 0, True], [48, 10000]], ['unlimited zero', [[20, 20, 40], [10, 10, 10], 0, True], [16, 10000]], ['stack cap', [[48, 40, 30], [12, 10, 10], 2, True], [32, 6666]], ['upright blocked', [[40, 40, 12], [10, 10, 20], 0, True], [0, 0]], ['laydown helps', [[40, 40, 12], [10, 10, 20], 0, False], [8, 8333]], ['generated mix 7', [[48, 40, 60], [12, 15, 12], 5, True], [45, 8437]], ['generated mix 15', [[40, 60, 30], [25, 6, 4], 5, False], [100, 8333]], ['generated mix 23', [[100, 30, 45], [12, 15, 12], 3, True], [48, 7680]]], [['generated mix 22', [[100, 48, 45], [25, 10, 4], 0, True], [176, 8148]], ['upright blocked', [[40, 40, 12], [10, 10, 20], 0, True], [0, 0]], ['fraction bp', [[100, 30, 45], [25, 15, 7], 0, True], [48, 9333]], ['stack cap', [[48, 40, 30], [12, 10, 10], 2, True], [32, 6666]], ['generated mix 9', [[48, 30, 60], [25, 10, 4], 3, False], [72, 8333]], ['generated mix 17', [[100, 60, 45], [10, 6, 35], 2, False], [100, 7777]], ['generated mix 26', [[40, 40, 45], [5, 6, 35], 0, False], [56, 8166]], ['generated mix 34', [[40, 60, 45], [8, 20, 12], 2, True], [30, 5333]]], [['generated mix 62', [[48, 48, 60], [10, 20, 35], 0, False], [12, 6076]], ['generated mix 53', [[40, 60, 20], [8, 6, 7], 0, False], [120, 8400]], ['upright plane rotation', [[48, 40, 30], [12, 10, 10], 0, True], [48, 10000]], ['laydown helps', [[40, 40, 12], [10, 10, 20], 0, False], [8, 8333]], ['unlimited zero', [[20, 20, 40], [10, 10, 10], 0, True], [16, 10000]], ['generated mix 20', [[48, 60, 60], [25, 10, 4], 3, True], [24, 1388]], ['generated mix 28', [[48, 40, 20], [25, 15, 35], 3, True], [0, 0]], ['generated mix 36', [[48, 30, 20], [8, 15, 7], 2, False], [24, 7000]]], [['generated mix 10', [[48, 60, 45], [25, 20, 10], 0, True], [16, 6172]], ['fraction bp', [[100, 30, 45], [25, 15, 7], 0, True], [48, 9333]], ['unlimited zero', [[20, 20, 40], [10, 10, 10], 0, True], [16, 10000]], ['stack cap', [[48, 40, 30], [12, 10, 10], 2, True], [32, 6666]], ['upright blocked', [[40, 40, 12], [10, 10, 20], 0, True], [0, 0]], ['upright plane rotation', [[48, 40, 30], [12, 10, 10], 0, True], [48, 10000]], ['generated mix 34', [[40, 60, 45], [8, 20, 12], 2, True], [30, 5333]], ['generated mix 42', [[60, 30, 30], [10, 15, 35], 1, False], [3, 2916]]], [['generated mix 44', [[40, 60, 30], [12, 10, 10], 0, True], [60, 10000]], ['generated mix 26', [[40, 40, 45], [5, 6, 35], 0, False], [56, 8166]], ['upright plane rotation', [[48, 40, 30], [12, 10, 10], 0, True], [48, 10000]], ['laydown helps', [[40, 40, 12], [10, 10, 20], 0, False], [8, 8333]], ['unlimited zero', [[20, 20, 40], [10, 10, 10], 0, True], [16, 10000]], ['generated mix 43', [[48, 48, 45], [25, 10, 10], 1, False], [16, 3858]], ['generated mix 52', [[40, 48, 45], [10, 20, 35], 2, True], [8, 6481]], ['generated mix 60', [[40, 48, 20], [8, 6, 12], 1, False], [40, 6000]]]]\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":"1b69b69b771943772743f2bc26f4a8b8dd42a8a512bfd323de026c5cd44a0d95","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport itertools\nN = 1\nobservations = []\ndef solve(slot, unit, max_stack, upright):\n    SW, SD, SH = slot\n    uw, ud, uh = unit\n    if upright:\n        orients = [(uw, ud, uh), (ud, uw, uh)]\n    else:\n        orients = sorted(set(itertools.permutations(unit)))\n    best = 0\n    for a, b, c in orients:\n        layers = SH // c\n        if max_stack is not None:\n            layers = min(layers, max_stack)\n        best = max(best, (SW // a) * (SD // b) * layers)\n    bp = best * uw * ud * uh * 10000 // (SW * SD * SH)\n    return [best, bp]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['upright plane rotation', [[48, 40, 30], [12, 10, 10], 0, True], [48, 10000]], ['unlimited zero', [[20, 20, 40], [10, 10, 10], 0, True], [16, 10000]], ['stack cap', [[48, 40, 30], [12, 10, 10], 2, True], [32, 6666]], ['upright blocked', [[40, 40, 12], [10, 10, 20], 0, True], [0, 0]], ['laydown helps', [[40, 40, 12], [10, 10, 20], 0, False], [8, 8333]], ['generated mix 7', [[48, 40, 60], [12, 15, 12], 5, True], [45, 8437]], ['generated mix 15', [[40, 60, 30], [25, 6, 4], 5, False], [100, 8333]], ['generated mix 23', [[100, 30, 45], [12, 15, 12], 3, True], [48, 7680]]], [['generated mix 22', [[100, 48, 45], [25, 10, 4], 0, True], [176, 8148]], ['upright blocked', [[40, 40, 12], [10, 10, 20], 0, True], [0, 0]], ['fraction bp', [[100, 30, 45], [25, 15, 7], 0, True], [48, 9333]], ['stack cap', [[48, 40, 30], [12, 10, 10], 2, True], [32, 6666]], ['generated mix 9', [[48, 30, 60], [25, 10, 4], 3, False], [72, 8333]], ['generated mix 17', [[100, 60, 45], [10, 6, 35], 2, False], [100, 7777]], ['generated mix 26', [[40, 40, 45], [5, 6, 35], 0, False], [56, 8166]], ['generated mix 34', [[40, 60, 45], [8, 20, 12], 2, True], [30, 5333]]], [['generated mix 62', [[48, 48, 60], [10, 20, 35], 0, False], [12, 6076]], ['generated mix 53', [[40, 60, 20], [8, 6, 7], 0, False], [120, 8400]], ['upright plane rotation', [[48, 40, 30], [12, 10, 10], 0, True], [48, 10000]], ['laydown helps', [[40, 40, 12], [10, 10, 20], 0, False], [8, 8333]], ['unlimited zero', [[20, 20, 40], [10, 10, 10], 0, True], [16, 10000]], ['generated mix 20', [[48, 60, 60], [25, 10, 4], 3, True], [24, 1388]], ['generated mix 28', [[48, 40, 20], [25, 15, 35], 3, True], [0, 0]], ['generated mix 36', [[48, 30, 20], [8, 15, 7], 2, False], [24, 7000]]], [['generated mix 10', [[48, 60, 45], [25, 20, 10], 0, True], [16, 6172]], ['fraction bp', [[100, 30, 45], [25, 15, 7], 0, True], [48, 9333]], ['unlimited zero', [[20, 20, 40], [10, 10, 10], 0, True], [16, 10000]], ['stack cap', [[48, 40, 30], [12, 10, 10], 2, True], [32, 6666]], ['upright blocked', [[40, 40, 12], [10, 10, 20], 0, True], [0, 0]], ['upright plane rotation', [[48, 40, 30], [12, 10, 10], 0, True], [48, 10000]], ['generated mix 34', [[40, 60, 45], [8, 20, 12], 2, True], [30, 5333]], ['generated mix 42', [[60, 30, 30], [10, 15, 35], 1, False], [3, 2916]]], [['generated mix 44', [[40, 60, 30], [12, 10, 10], 0, True], [60, 10000]], ['generated mix 26', [[40, 40, 45], [5, 6, 35], 0, False], [56, 8166]], ['upright plane rotation', [[48, 40, 30], [12, 10, 10], 0, True], [48, 10000]], ['laydown helps', [[40, 40, 12], [10, 10, 20], 0, False], [8, 8333]], ['unlimited zero', [[20, 20, 40], [10, 10, 10], 0, True], [16, 10000]], ['generated mix 43', [[48, 48, 45], [25, 10, 10], 1, False], [16, 3858]], ['generated mix 52', [[40, 48, 45], [10, 20, 35], 2, True], [8, 6481]], ['generated mix 60', [[40, 48, 20], [8, 6, 12], 1, False], [40, 6000]]]]\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":"9367435bfb00bce86a64d9408994d912d1b669f871c88d1f0a8050ed5fdd9fd1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport itertools\nN = 1\nobservations = []\ndef solve(slot, unit, max_stack, upright):\n    SW, SD, SH = slot\n    uw, ud, uh = unit\n    if upright:\n        orients = [(uw, ud, uh), (ud, uw, uh)]\n    else:\n        orients = sorted(set(itertools.permutations(unit)))\n    best = 0\n    for a, b, c in orients:\n        layers = SH // c\n        if max_stack:\n            layers = min(layers, max_stack)\n        best = max(best, (SW // a) * (SD // b) * layers)\n    bp = best * uw * ud * uh * 10000 // (SW * SD * SH)\n    return [best, bp]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['upright plane rotation', [[48, 40, 30], [12, 10, 10], 0, True], [48, 10000]], ['unlimited zero', [[20, 20, 40], [10, 10, 10], 0, True], [16, 10000]], ['stack cap', [[48, 40, 30], [12, 10, 10], 2, True], [32, 6666]], ['upright blocked', [[40, 40, 12], [10, 10, 20], 0, True], [0, 0]], ['laydown helps', [[40, 40, 12], [10, 10, 20], 0, False], [8, 8333]], ['generated mix 7', [[48, 40, 60], [12, 15, 12], 5, True], [45, 8437]], ['generated mix 15', [[40, 60, 30], [25, 6, 4], 5, False], [100, 8333]], ['generated mix 23', [[100, 30, 45], [12, 15, 12], 3, True], [48, 7680]]], [['generated mix 22', [[100, 48, 45], [25, 10, 4], 0, True], [176, 8148]], ['upright blocked', [[40, 40, 12], [10, 10, 20], 0, True], [0, 0]], ['fraction bp', [[100, 30, 45], [25, 15, 7], 0, True], [48, 9333]], ['stack cap', [[48, 40, 30], [12, 10, 10], 2, True], [32, 6666]], ['generated mix 9', [[48, 30, 60], [25, 10, 4], 3, False], [72, 8333]], ['generated mix 17', [[100, 60, 45], [10, 6, 35], 2, False], [100, 7777]], ['generated mix 26', [[40, 40, 45], [5, 6, 35], 0, False], [56, 8166]], ['generated mix 34', [[40, 60, 45], [8, 20, 12], 2, True], [30, 5333]]], [['generated mix 62', [[48, 48, 60], [10, 20, 35], 0, False], [12, 6076]], ['generated mix 53', [[40, 60, 20], [8, 6, 7], 0, False], [120, 8400]], ['upright plane rotation', [[48, 40, 30], [12, 10, 10], 0, True], [48, 10000]], ['laydown helps', [[40, 40, 12], [10, 10, 20], 0, False], [8, 8333]], ['unlimited zero', [[20, 20, 40], [10, 10, 10], 0, True], [16, 10000]], ['generated mix 20', [[48, 60, 60], [25, 10, 4], 3, True], [24, 1388]], ['generated mix 28', [[48, 40, 20], [25, 15, 35], 3, True], [0, 0]], ['generated mix 36', [[48, 30, 20], [8, 15, 7], 2, False], [24, 7000]]], [['generated mix 10', [[48, 60, 45], [25, 20, 10], 0, True], [16, 6172]], ['fraction bp', [[100, 30, 45], [25, 15, 7], 0, True], [48, 9333]], ['unlimited zero', [[20, 20, 40], [10, 10, 10], 0, True], [16, 10000]], ['stack cap', [[48, 40, 30], [12, 10, 10], 2, True], [32, 6666]], ['upright blocked', [[40, 40, 12], [10, 10, 20], 0, True], [0, 0]], ['upright plane rotation', [[48, 40, 30], [12, 10, 10], 0, True], [48, 10000]], ['generated mix 34', [[40, 60, 45], [8, 20, 12], 2, True], [30, 5333]], ['generated mix 42', [[60, 30, 30], [10, 15, 35], 1, False], [3, 2916]]], [['generated mix 44', [[40, 60, 30], [12, 10, 10], 0, True], [60, 10000]], ['generated mix 26', [[40, 40, 45], [5, 6, 35], 0, False], [56, 8166]], ['upright plane rotation', [[48, 40, 30], [12, 10, 10], 0, True], [48, 10000]], ['laydown helps', [[40, 40, 12], [10, 10, 20], 0, False], [8, 8333]], ['unlimited zero', [[20, 20, 40], [10, 10, 10], 0, True], [16, 10000]], ['generated mix 43', [[48, 48, 45], [25, 10, 10], 1, False], [16, 3858]], ['generated mix 52', [[40, 48, 45], [10, 20, 35], 2, True], [8, 6481]], ['generated mix 60', [[40, 48, 20], [8, 6, 12], 1, False], [40, 6000]]]]\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":"Uniform unit, single orientation per slot; no mixed orientation packing. 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-slot-cube-fit-unlimited-stack-sentinel","generated_at":"2026-09-29T14:52:10.523969+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Slot sizing converts product cube into units per location for slotting and replenishment.","repair":"Only cap layers when max_stack is a positive number.","root_cause":"The unlimited sentinel 0 is applied as a real cap of zero layers.","sha256":"3ea37997044009caa64cea87dfc3e8e20464658a97ddc34f35755f7344006471","title":"Slot fit: zero stack limit means none · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.797,"exit_code":1,"observations":[{"actual":[16,3333],"check":"upright plane rotation","expected":[48,10000],"passed":false},{"actual":[4,2500],"check":"unlimited zero","expected":[16,10000],"passed":false},{"actual":[32,6666],"check":"stack cap","expected":[32,6666],"passed":true},{"actual":[0,0],"check":"upright blocked","expected":[0,0],"passed":true},{"actual":[8,8333],"check":"laydown helps","expected":[8,8333],"passed":true},{"actual":[45,8437],"check":"generated mix 7","expected":[45,8437],"passed":true},{"actual":[100,8333],"check":"generated mix 15","expected":[100,8333],"passed":true},{"actual":[48,7680],"check":"generated mix 23","expected":[48,7680],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"upright plane rotation\", \"actual\": [16, 3333], \"expected\": [48, 10000], \"passed\": false}, {\"check\": \"unlimited zero\", \"actual\": [4, 2500], \"expected\": [16, 10000], \"passed\": false}, {\"check\": \"stack cap\", \"actual\": [32, 6666], \"expected\": [32, 6666], \"passed\": true}, {\"check\": \"upright blocked\", \"actual\": [0, 0], \"expected\": [0, 0], \"passed\": true}, {\"check\": \"laydown helps\", \"actual\": [8, 8333], \"expected\": [8, 8333], \"passed\": true}, {\"check\": \"generated mix 7\", \"actual\": [45, 8437], \"expected\": [45, 8437], \"passed\": true}, {\"check\": \"generated mix 15\", \"actual\": [100, 8333], \"expected\": [100, 8333], \"passed\": true}, {\"check\": \"generated mix 23\", \"actual\": [48, 7680], \"expected\": [48, 7680], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.817,"exit_code":1,"observations":[{"actual":[0,0],"check":"upright plane rotation","expected":[48,10000],"passed":false},{"actual":[0,0],"check":"unlimited zero","expected":[16,10000],"passed":false},{"actual":[32,6666],"check":"stack cap","expected":[32,6666],"passed":true},{"actual":[0,0],"check":"upright blocked","expected":[0,0],"passed":true},{"actual":[0,0],"check":"laydown helps","expected":[8,8333],"passed":false},{"actual":[45,8437],"check":"generated mix 7","expected":[45,8437],"passed":true},{"actual":[100,8333],"check":"generated mix 15","expected":[100,8333],"passed":true},{"actual":[48,7680],"check":"generated mix 23","expected":[48,7680],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"upright plane rotation\", \"actual\": [0, 0], \"expected\": [48, 10000], \"passed\": false}, {\"check\": \"unlimited zero\", \"actual\": [0, 0], \"expected\": [16, 10000], \"passed\": false}, {\"check\": \"stack cap\", \"actual\": [32, 6666], \"expected\": [32, 6666], \"passed\": true}, {\"check\": \"upright blocked\", \"actual\": [0, 0], \"expected\": [0, 0], \"passed\": true}, {\"check\": \"laydown helps\", \"actual\": [0, 0], \"expected\": [8, 8333], \"passed\": false}, {\"check\": \"generated mix 7\", \"actual\": [45, 8437], \"expected\": [45, 8437], \"passed\": true}, {\"check\": \"generated mix 15\", \"actual\": [100, 8333], \"expected\": [100, 8333], \"passed\": true}, {\"check\": \"generated mix 23\", \"actual\": [48, 7680], \"expected\": [48, 7680], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.126,"exit_code":0,"observations":[{"actual":[48,10000],"check":"upright plane rotation","expected":[48,10000],"passed":true},{"actual":[16,10000],"check":"unlimited zero","expected":[16,10000],"passed":true},{"actual":[32,6666],"check":"stack cap","expected":[32,6666],"passed":true},{"actual":[0,0],"check":"upright blocked","expected":[0,0],"passed":true},{"actual":[8,8333],"check":"laydown helps","expected":[8,8333],"passed":true},{"actual":[45,8437],"check":"generated mix 7","expected":[45,8437],"passed":true},{"actual":[100,8333],"check":"generated mix 15","expected":[100,8333],"passed":true},{"actual":[48,7680],"check":"generated mix 23","expected":[48,7680],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"upright plane rotation\", \"actual\": [48, 10000], \"expected\": [48, 10000], \"passed\": true}, {\"check\": \"unlimited zero\", \"actual\": [16, 10000], \"expected\": [16, 10000], \"passed\": true}, {\"check\": \"stack cap\", \"actual\": [32, 6666], \"expected\": [32, 6666], \"passed\": true}, {\"check\": \"upright blocked\", \"actual\": [0, 0], \"expected\": [0, 0], \"passed\": true}, {\"check\": \"laydown helps\", \"actual\": [8, 8333], \"expected\": [8, 8333], \"passed\": true}, {\"check\": \"generated mix 7\", \"actual\": [45, 8437], \"expected\": [45, 8437], \"passed\": true}, {\"check\": \"generated mix 15\", \"actual\": [100, 8333], \"expected\": [100, 8333], \"passed\": true}, {\"check\": \"generated mix 23\", \"actual\": [48, 7680], \"expected\": [48, 7680], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}