{"abstract":"Using exactly the available lanes is reported as over capacity.","category":"Warehouse slotting and bin packing","checks":8,"contract":"skus [[sku, pallets]] where lines may be adjustments (negative) and are netted per SKU. Each SKU with net pallets > 0 needs ceil(pallets/depth) single-SKU lanes. Honeycomb loss = lanes*depth - pallets. Utilization bp = floor((positions-loss)*10000/positions), 0 with no positions. Status OVER when lanes > available. Return [lanes, loss, util_bp, status].","contract_signature":"skus, depth, available","evaluation_group":"w2-warehouse-slotting-lane-honeycomb","failed_approach":"Comparing pallet positions with the lane count mixes units.","family":"w2-warehouse-slotting-lane-honeycomb-capacity-status","id":"FA-95326","implementations":{"attempt":{"sha256":"7160657f7aab4a0209e4fc3c8ea9ebae4bf22f9fb0521a84f22cd895bbccb94c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(skus, depth, available):\n    merged = {}\n    for sku, pallets in skus:\n        merged[sku] = merged.get(sku, 0) + pallets\n    lanes = 0\n    loss = 0\n    for sku, pallets in merged.items():\n        if pallets <= 0:\n            continue\n        n = -(-pallets // depth)\n        lanes += n\n        loss += n * depth - pallets\n    positions = lanes * depth\n    util = (positions - loss) * 10000 // positions if positions else 0\n    return [lanes, loss, util, 'OVER' if positions > available else 'OK']\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['lanes equal available', [[['A', 8]], 4, 2], [2, 0, 10000, 'OK']], ['mixed', [[['A', 5], ['B', 8]], 4, 10], [4, 3, 8125, 'OK']], ['adjustment nets out', [[['A', 3], ['A', -3], ['B', 1]], 4, 1], [1, 3, 2500, 'OK']], ['empty', [[], 4, 1], [0, 0, 0, 'OK']], ['merge lines', [[['A', 3], ['A', 2]], 4, 5], [2, 3, 6250, 'OK']], ['generated mix 6', [[['B', 8]], 4, 1], [2, 0, 10000, 'OVER']], ['generated mix 14', [[['C', 1], ['D', 8], ['C', 3]], 2, 1], [6, 0, 10000, 'OVER']], ['generated mix 22', [[['A', -1], ['B', 1], ['A', 9]], 4, 2], [3, 3, 7500, 'OVER']]], [['generated mix 51', [[['C', 4]], 4, 1], [1, 0, 10000, 'OK']], ['generated mix 10', [[['D', 8], ['A', 3], ['A', 1], ['A', 3]], 2, 8], [8, 1, 9375, 'OK']], ['adjustment nets out', [[['A', 3], ['A', -3], ['B', 1]], 4, 1], [1, 3, 2500, 'OK']], ['empty', [[], 4, 1], [0, 0, 0, 'OK']], ['mixed', [[['A', 5], ['B', 8]], 4, 10], [4, 3, 8125, 'OK']], ['merge lines', [[['A', 3], ['A', 2]], 4, 5], [2, 3, 6250, 'OK']], ['generated mix 9', [[['D', 8], ['D', -3], ['C', 1], ['A', 3], ['C', 8]], 3, 8], [6, 1, 9444, 'OK']], ['generated mix 18', [[['D', 4], ['C', 9], ['C', 9], ['B', 2], ['D', 1]], 3, 8], [9, 2, 9259, 'OVER']]], [['generated mix 75', [[['C', -1], ['B', 1], ['D', 5]], 5, 2], [2, 4, 6000, 'OK']], ['generated mix 25', [[['D', 3], ['A', 8], ['C', 5]], 5, 8], [4, 4, 8000, 'OK']], ['floor util', [[['A', 2]], 3, 1], [1, 1, 6666, 'OK']], ['lanes equal available', [[['A', 8]], 4, 2], [2, 0, 10000, 'OK']], ['adjustment nets out', [[['A', 3], ['A', -3], ['B', 1]], 4, 1], [1, 3, 2500, 'OK']], ['empty', [[], 4, 1], [0, 0, 0, 'OK']], ['generated mix 20', [[['A', 2], ['D', -1], ['C', 8], ['D', 2], ['B', 1]], 2, 2], [7, 2, 8571, 'OVER']], ['generated mix 29', [[['C', -1], ['C', -3], ['D', 1], ['D', -1], ['B', 5]], 3, 1], [2, 1, 8333, 'OVER']]], [['generated mix 30', [[['D', 8]], 5, 2], [2, 2, 8000, 'OK']], ['generated mix 33', [[['B', -1], ['C', 4]], 5, 4], [1, 1, 8000, 'OK']], ['merge lines', [[['A', 3], ['A', 2]], 4, 5], [2, 3, 6250, 'OK']], ['over', [[['A', 9]], 4, 2], [3, 3, 7500, 'OVER']], ['floor util', [[['A', 2]], 3, 1], [1, 1, 6666, 'OK']], ['lanes equal available', [[['A', 8]], 4, 2], [2, 0, 10000, 'OK']], ['generated mix 32', [[['B', 1], ['D', 9], ['D', 4], ['D', 2], ['D', 8]], 4, 3], [7, 4, 8571, 'OVER']], ['generated mix 41', [[['A', 8], ['B', -3], ['A', 9], ['C', 9], ['B', -3]], 3, 2], [9, 1, 9629, 'OVER']]], [['generated mix 70', [[['D', 3], ['A', -1], ['C', -3], ['A', 8]], 4, 3], [3, 2, 8333, 'OK']], ['generated mix 50', [[['D', 1], ['D', 3]], 4, 2], [1, 0, 10000, 'OK']], ['empty', [[], 4, 1], [0, 0, 0, 'OK']], ['mixed', [[['A', 5], ['B', 8]], 4, 10], [4, 3, 8125, 'OK']], ['merge lines', [[['A', 3], ['A', 2]], 4, 5], [2, 3, 6250, 'OK']], ['over', [[['A', 9]], 4, 2], [3, 3, 7500, 'OVER']], ['generated mix 42', [[['B', 4], ['D', 1], ['A', 9], ['D', 1], ['B', -3]], 4, 4], [5, 8, 6000, 'OVER']], ['generated mix 51', [[['C', 4]], 4, 1], [1, 0, 10000, 'OK']]]]\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":"7d08460bd78ed29dcfb29c7cface9d7e57f7fcdb77afce7a5d63becabe72b6b6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(skus, depth, available):\n    merged = {}\n    for sku, pallets in skus:\n        merged[sku] = merged.get(sku, 0) + pallets\n    lanes = 0\n    loss = 0\n    for sku, pallets in merged.items():\n        if pallets <= 0:\n            continue\n        n = -(-pallets // depth)\n        lanes += n\n        loss += n * depth - pallets\n    positions = lanes * depth\n    util = (positions - loss) * 10000 // positions if positions else 0\n    return [lanes, loss, util, 'OVER' if lanes >= available else 'OK']\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['lanes equal available', [[['A', 8]], 4, 2], [2, 0, 10000, 'OK']], ['mixed', [[['A', 5], ['B', 8]], 4, 10], [4, 3, 8125, 'OK']], ['adjustment nets out', [[['A', 3], ['A', -3], ['B', 1]], 4, 1], [1, 3, 2500, 'OK']], ['empty', [[], 4, 1], [0, 0, 0, 'OK']], ['merge lines', [[['A', 3], ['A', 2]], 4, 5], [2, 3, 6250, 'OK']], ['generated mix 6', [[['B', 8]], 4, 1], [2, 0, 10000, 'OVER']], ['generated mix 14', [[['C', 1], ['D', 8], ['C', 3]], 2, 1], [6, 0, 10000, 'OVER']], ['generated mix 22', [[['A', -1], ['B', 1], ['A', 9]], 4, 2], [3, 3, 7500, 'OVER']]], [['generated mix 51', [[['C', 4]], 4, 1], [1, 0, 10000, 'OK']], ['generated mix 10', [[['D', 8], ['A', 3], ['A', 1], ['A', 3]], 2, 8], [8, 1, 9375, 'OK']], ['adjustment nets out', [[['A', 3], ['A', -3], ['B', 1]], 4, 1], [1, 3, 2500, 'OK']], ['empty', [[], 4, 1], [0, 0, 0, 'OK']], ['mixed', [[['A', 5], ['B', 8]], 4, 10], [4, 3, 8125, 'OK']], ['merge lines', [[['A', 3], ['A', 2]], 4, 5], [2, 3, 6250, 'OK']], ['generated mix 9', [[['D', 8], ['D', -3], ['C', 1], ['A', 3], ['C', 8]], 3, 8], [6, 1, 9444, 'OK']], ['generated mix 18', [[['D', 4], ['C', 9], ['C', 9], ['B', 2], ['D', 1]], 3, 8], [9, 2, 9259, 'OVER']]], [['generated mix 75', [[['C', -1], ['B', 1], ['D', 5]], 5, 2], [2, 4, 6000, 'OK']], ['generated mix 25', [[['D', 3], ['A', 8], ['C', 5]], 5, 8], [4, 4, 8000, 'OK']], ['floor util', [[['A', 2]], 3, 1], [1, 1, 6666, 'OK']], ['lanes equal available', [[['A', 8]], 4, 2], [2, 0, 10000, 'OK']], ['adjustment nets out', [[['A', 3], ['A', -3], ['B', 1]], 4, 1], [1, 3, 2500, 'OK']], ['empty', [[], 4, 1], [0, 0, 0, 'OK']], ['generated mix 20', [[['A', 2], ['D', -1], ['C', 8], ['D', 2], ['B', 1]], 2, 2], [7, 2, 8571, 'OVER']], ['generated mix 29', [[['C', -1], ['C', -3], ['D', 1], ['D', -1], ['B', 5]], 3, 1], [2, 1, 8333, 'OVER']]], [['generated mix 30', [[['D', 8]], 5, 2], [2, 2, 8000, 'OK']], ['generated mix 33', [[['B', -1], ['C', 4]], 5, 4], [1, 1, 8000, 'OK']], ['merge lines', [[['A', 3], ['A', 2]], 4, 5], [2, 3, 6250, 'OK']], ['over', [[['A', 9]], 4, 2], [3, 3, 7500, 'OVER']], ['floor util', [[['A', 2]], 3, 1], [1, 1, 6666, 'OK']], ['lanes equal available', [[['A', 8]], 4, 2], [2, 0, 10000, 'OK']], ['generated mix 32', [[['B', 1], ['D', 9], ['D', 4], ['D', 2], ['D', 8]], 4, 3], [7, 4, 8571, 'OVER']], ['generated mix 41', [[['A', 8], ['B', -3], ['A', 9], ['C', 9], ['B', -3]], 3, 2], [9, 1, 9629, 'OVER']]], [['generated mix 70', [[['D', 3], ['A', -1], ['C', -3], ['A', 8]], 4, 3], [3, 2, 8333, 'OK']], ['generated mix 50', [[['D', 1], ['D', 3]], 4, 2], [1, 0, 10000, 'OK']], ['empty', [[], 4, 1], [0, 0, 0, 'OK']], ['mixed', [[['A', 5], ['B', 8]], 4, 10], [4, 3, 8125, 'OK']], ['merge lines', [[['A', 3], ['A', 2]], 4, 5], [2, 3, 6250, 'OK']], ['over', [[['A', 9]], 4, 2], [3, 3, 7500, 'OVER']], ['generated mix 42', [[['B', 4], ['D', 1], ['A', 9], ['D', 1], ['B', -3]], 4, 4], [5, 8, 6000, 'OVER']], ['generated mix 51', [[['C', 4]], 4, 1], [1, 0, 10000, 'OK']]]]\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 single-SKU lane policy. 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-lane-honeycomb-capacity-status","generated_at":"2026-09-29T14:52:12.651011+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Deep-lane storage loses positions when lanes cannot be mixed across SKUs.","root_cause":"The status check is inclusive at the available lane count.","sha256":"bfc4f0f816208b04c91e70f2441e9f9d26ac37f3871b3f8ad4845b1c18940606","title":"Honeycombing: full use of lanes flagged over · 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":39.427,"exit_code":1,"observations":[{"actual":[2,0,10000,"OVER"],"check":"lanes equal available","expected":[2,0,10000,"OK"],"passed":false},{"actual":[4,3,8125,"OVER"],"check":"mixed","expected":[4,3,8125,"OK"],"passed":false},{"actual":[1,3,2500,"OVER"],"check":"adjustment nets out","expected":[1,3,2500,"OK"],"passed":false},{"actual":[0,0,0,"OK"],"check":"empty","expected":[0,0,0,"OK"],"passed":true},{"actual":[2,3,6250,"OVER"],"check":"merge lines","expected":[2,3,6250,"OK"],"passed":false},{"actual":[2,0,10000,"OVER"],"check":"generated mix 6","expected":[2,0,10000,"OVER"],"passed":true},{"actual":[6,0,10000,"OVER"],"check":"generated mix 14","expected":[6,0,10000,"OVER"],"passed":true},{"actual":[3,3,7500,"OVER"],"check":"generated mix 22","expected":[3,3,7500,"OVER"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"lanes equal available\", \"actual\": [2, 0, 10000, \"OVER\"], \"expected\": [2, 0, 10000, \"OK\"], \"passed\": false}, {\"check\": \"mixed\", \"actual\": [4, 3, 8125, \"OVER\"], \"expected\": [4, 3, 8125, \"OK\"], \"passed\": false}, {\"check\": \"adjustment nets out\", \"actual\": [1, 3, 2500, \"OVER\"], \"expected\": [1, 3, 2500, \"OK\"], \"passed\": false}, {\"check\": \"empty\", \"actual\": [0, 0, 0, \"OK\"], \"expected\": [0, 0, 0, \"OK\"], \"passed\": true}, {\"check\": \"merge lines\", \"actual\": [2, 3, 6250, \"OVER\"], \"expected\": [2, 3, 6250, \"OK\"], \"passed\": false}, {\"check\": \"generated mix 6\", \"actual\": [2, 0, 10000, \"OVER\"], \"expected\": [2, 0, 10000, \"OVER\"], \"passed\": true}, {\"check\": \"generated mix 14\", \"actual\": [6, 0, 10000, \"OVER\"], \"expected\": [6, 0, 10000, \"OVER\"], \"passed\": true}, {\"check\": \"generated mix 22\", \"actual\": [3, 3, 7500, \"OVER\"], \"expected\": [3, 3, 7500, \"OVER\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.317,"exit_code":1,"observations":[{"actual":[2,0,10000,"OVER"],"check":"lanes equal available","expected":[2,0,10000,"OK"],"passed":false},{"actual":[4,3,8125,"OK"],"check":"mixed","expected":[4,3,8125,"OK"],"passed":true},{"actual":[1,3,2500,"OVER"],"check":"adjustment nets out","expected":[1,3,2500,"OK"],"passed":false},{"actual":[0,0,0,"OK"],"check":"empty","expected":[0,0,0,"OK"],"passed":true},{"actual":[2,3,6250,"OK"],"check":"merge lines","expected":[2,3,6250,"OK"],"passed":true},{"actual":[2,0,10000,"OVER"],"check":"generated mix 6","expected":[2,0,10000,"OVER"],"passed":true},{"actual":[6,0,10000,"OVER"],"check":"generated mix 14","expected":[6,0,10000,"OVER"],"passed":true},{"actual":[3,3,7500,"OVER"],"check":"generated mix 22","expected":[3,3,7500,"OVER"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"lanes equal available\", \"actual\": [2, 0, 10000, \"OVER\"], \"expected\": [2, 0, 10000, \"OK\"], \"passed\": false}, {\"check\": \"mixed\", \"actual\": [4, 3, 8125, \"OK\"], \"expected\": [4, 3, 8125, \"OK\"], \"passed\": true}, {\"check\": \"adjustment nets out\", \"actual\": [1, 3, 2500, \"OVER\"], \"expected\": [1, 3, 2500, \"OK\"], \"passed\": false}, {\"check\": \"empty\", \"actual\": [0, 0, 0, \"OK\"], \"expected\": [0, 0, 0, \"OK\"], \"passed\": true}, {\"check\": \"merge lines\", \"actual\": [2, 3, 6250, \"OK\"], \"expected\": [2, 3, 6250, \"OK\"], \"passed\": true}, {\"check\": \"generated mix 6\", \"actual\": [2, 0, 10000, \"OVER\"], \"expected\": [2, 0, 10000, \"OVER\"], \"passed\": true}, {\"check\": \"generated mix 14\", \"actual\": [6, 0, 10000, \"OVER\"], \"expected\": [6, 0, 10000, \"OVER\"], \"passed\": true}, {\"check\": \"generated mix 22\", \"actual\": [3, 3, 7500, \"OVER\"], \"expected\": [3, 3, 7500, \"OVER\"], \"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."}}