{"abstract":"A heavy item is dropped into a tote that already holds a fragile item.","category":"Warehouse slotting and bin packing","checks":8,"contract":"items [[id, volume, kg, fragile]]. Sort by volume desc, kg desc, id. Place each in the first open tote (creation order) where volume and weight stay within limits (inclusive) and no fragile item shares a tote with an item over 10 kg (either direction). Items exceeding a tote alone go to oversize. Return [list of tote id lists, sorted oversize ids].","evaluation_group":"w2-warehouse-slotting-tote-ffd","failed_approach":"Checking only heavy-onto-fragile misses a fragile item placed on a tote that already holds a heavy item.","family":"w2-warehouse-slotting-tote-ffd-fragile-heavy-symmetry","id":"FA-94941","implementations":{"attempt":{"sha256":"f7ef7633415bf456debda425d771729801042651271eb56c4aae8725182e513b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(items, tote_vol, tote_wt):\n    order = sorted(items, key=lambda it: (-it[1], -it[2], it[0]))\n    totes = []\n    oversize = []\n    for iid, vol, wt, fragile in order:\n        if vol > tote_vol or wt > tote_wt:\n            oversize.append(iid)\n            continue\n        placed = False\n        for t in totes:\n            if t['v'] + vol > tote_vol or t['w'] + wt > tote_wt:\n                continue\n            if wt > 10 and t['fragile']:\n                continue\n            t['ids'].append(iid)\n            t['v'] += vol\n            t['w'] += wt\n            t['heavy'] = t['heavy'] or wt > 10\n            t['fragile'] = t['fragile'] or fragile\n            placed = True\n            break\n        if not placed:\n            totes.append({'ids': [iid], 'v': vol, 'w': wt, 'heavy': wt > 10, 'fragile': fragile})\n    return [[t['ids'] for t in totes], sorted(oversize)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['generated mix 29', [[['i0', 60, 1, False], ['i1', 30, 11, True], ['i2', 60, 15, False], ['i3', 60, 3, False], ['i4', 20, 3, True], ['i5', 30, 10, False], ['i6', 20, 1, True]], 50, 20], [[['i1'], ['i5', 'i4'], ['i6']], ['i0', 'i2', 'i3']]], ['exact fill', [[['a', 30, 5, False], ['b', 20, 5, False]], 50, 20], [[['a', 'b']], []]], ['oversize weight', [[['x', 10, 30, False], ['y', 10, 1, False]], 50, 20], [[['y']], ['x']]], ['first fit not best fit', [[['a', 40, 1, False], ['b', 30, 1, False], ['c', 10, 1, False]], 50, 20], [[['a', 'c'], ['b']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['weight limit splits', [[['a', 10, 15, False], ['b', 10, 6, False]], 50, 20], [[['a'], ['b']], []]], ['generated mix 8', [[['i0', 60, 8, False], ['i1', 60, 15, False], ['i2', 40, 10, True], ['i3', 40, 8, False], ['i4', 25, 11, False], ['i5', 60, 15, False]], 50, 20], [[['i2'], ['i3'], ['i4']], ['i0', 'i1', 'i5']]]], [['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['first fit not best fit', [[['a', 40, 1, False], ['b', 30, 1, False], ['c', 10, 1, False]], 50, 20], [[['a', 'c'], ['b']], []]], ['oversize weight', [[['x', 10, 30, False], ['y', 10, 1, False]], 50, 20], [[['y']], ['x']]], ['generated mix 10', [[['i0', 5, 15, False], ['i1', 40, 11, True], ['i2', 25, 3, False], ['i3', 30, 1, False], ['i4', 20, 15, False], ['i5', 20, 10, False], ['i6', 30, 11, False]], 60, 20], [[['i1'], ['i6', 'i3'], ['i2', 'i4'], ['i5'], ['i0']], []]], ['generated mix 18', [[['i0', 5, 1, False], ['i1', 50, 10, False], ['i2', 20, 1, False]], 60, 20], [[['i1', 'i0'], ['i2']], []]], ['generated mix 26', [[['i0', 40, 1, False], ['i1', 50, 10, False], ['i2', 30, 3, True], ['i3', 10, 15, False], ['i4', 40, 10, False], ['i5', 5, 8, False]], 60, 20], [[['i1', 'i5'], ['i4'], ['i0', 'i3'], ['i2']], []]], ['generated mix 34', [[['i0', 20, 11, True], ['i1', 25, 15, False], ['i2', 20, 8, True], ['i3', 20, 10, False], ['i4', 40, 11, False], ['i5', 5, 8, True], ['i6', 20, 1, False]], 60, 25], [[['i4', 'i3'], ['i1', 'i6'], ['i0'], ['i2', 'i5']], []]]], [['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['generated mix 76', [[['i0', 10, 3, False], ['i1', 20, 11, False], ['i2', 30, 11, False], ['i3', 10, 1, False], ['i4', 20, 1, False], ['i5', 50, 11, False], ['i6', 5, 3, True], ['i7', 20, 11, True]], 50, 20], [[['i5'], ['i2', 'i4'], ['i1', 'i0', 'i3'], ['i7'], ['i6']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['weight limit splits', [[['a', 10, 15, False], ['b', 10, 6, False]], 50, 20], [[['a'], ['b']], []]], ['exact fill', [[['a', 30, 5, False], ['b', 20, 5, False]], 50, 20], [[['a', 'b']], []]], ['oversize weight', [[['x', 10, 30, False], ['y', 10, 1, False]], 50, 20], [[['y']], ['x']]], ['generated mix 22', [[['i0', 25, 1, False], ['i1', 30, 11, True], ['i2', 50, 1, False]], 50, 25], [[['i2'], ['i1'], ['i0']], []]], ['generated mix 30', [[['i0', 50, 15, True], ['i1', 30, 8, True], ['i2', 30, 10, False], ['i3', 5, 15, True], ['i4', 40, 10, True], ['i5', 40, 11, False], ['i6', 40, 1, True]], 50, 20], [[['i0'], ['i5'], ['i4'], ['i6'], ['i2'], ['i1'], ['i3']], []]]], [['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['generated mix 70', [[['i0', 40, 11, True], ['i1', 5, 8, True], ['i2', 20, 15, False], ['i3', 50, 11, False], ['i4', 50, 11, False], ['i5', 25, 3, True], ['i6', 40, 1, True]], 60, 20], [[['i3'], ['i4'], ['i0'], ['i6', 'i1'], ['i5'], ['i2']], []]], ['first fit not best fit', [[['a', 40, 1, False], ['b', 30, 1, False], ['c', 10, 1, False]], 50, 20], [[['a', 'c'], ['b']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['weight limit splits', [[['a', 10, 15, False], ['b', 10, 6, False]], 50, 20], [[['a'], ['b']], []]], ['exact fill', [[['a', 30, 5, False], ['b', 20, 5, False]], 50, 20], [[['a', 'b']], []]], ['generated mix 33', [[['i0', 60, 15, False], ['i1', 25, 1, False], ['i2', 60, 8, False], ['i3', 50, 1, False], ['i4', 20, 3, False], ['i5', 5, 8, False]], 60, 20], [[['i0'], ['i2'], ['i3', 'i5'], ['i1', 'i4']], []]], ['generated mix 41', [[['i0', 60, 8, False], ['i1', 10, 15, True], ['i2', 60, 10, False], ['i3', 30, 1, True], ['i4', 5, 3, False], ['i5', 30, 1, False], ['i6', 60, 15, False]], 50, 25], [[['i3', 'i4'], ['i5', 'i1']], ['i0', 'i2', 'i6']]]], [['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['generated mix 56', [[['i0', 10, 3, True], ['i1', 30, 8, False], ['i2', 5, 3, True], ['i3', 50, 15, True], ['i4', 40, 15, False], ['i5', 20, 11, True], ['i6', 60, 15, False]], 60, 20], [[['i6'], ['i3'], ['i4'], ['i1', 'i5'], ['i0', 'i2']], []]], ['oversize weight', [[['x', 10, 30, False], ['y', 10, 1, False]], 50, 20], [[['y']], ['x']]], ['first fit not best fit', [[['a', 40, 1, False], ['b', 30, 1, False], ['c', 10, 1, False]], 50, 20], [[['a', 'c'], ['b']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['weight limit splits', [[['a', 10, 15, False], ['b', 10, 6, False]], 50, 20], [[['a'], ['b']], []]], ['generated mix 44', [[['i0', 50, 3, True], ['i1', 60, 11, False], ['i2', 40, 3, False], ['i3', 40, 10, True], ['i4', 30, 1, False], ['i5', 5, 15, False], ['i6', 40, 11, False]], 50, 25], [[['i0'], ['i6'], ['i3'], ['i2', 'i5'], ['i4']], ['i1']]], ['generated mix 52', [[['i0', 10, 11, False], ['i1', 25, 1, False], ['i2', 5, 15, False]], 60, 25], [[['i1', 'i0'], ['i2']], []]]]]\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":"75cc9e3723970f4e932070088fa713f269cb98e64af5b04e04289d7df11bcb84","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(items, tote_vol, tote_wt):\n    order = sorted(items, key=lambda it: (-it[1], -it[2], it[0]))\n    totes = []\n    oversize = []\n    for iid, vol, wt, fragile in order:\n        if vol > tote_vol or wt > tote_wt:\n            oversize.append(iid)\n            continue\n        placed = False\n        for t in totes:\n            if t['v'] + vol > tote_vol or t['w'] + wt > tote_wt:\n                continue\n            if fragile and t['heavy']:\n                continue\n            t['ids'].append(iid)\n            t['v'] += vol\n            t['w'] += wt\n            t['heavy'] = t['heavy'] or wt > 10\n            t['fragile'] = t['fragile'] or fragile\n            placed = True\n            break\n        if not placed:\n            totes.append({'ids': [iid], 'v': vol, 'w': wt, 'heavy': wt > 10, 'fragile': fragile})\n    return [[t['ids'] for t in totes], sorted(oversize)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['generated mix 29', [[['i0', 60, 1, False], ['i1', 30, 11, True], ['i2', 60, 15, False], ['i3', 60, 3, False], ['i4', 20, 3, True], ['i5', 30, 10, False], ['i6', 20, 1, True]], 50, 20], [[['i1'], ['i5', 'i4'], ['i6']], ['i0', 'i2', 'i3']]], ['exact fill', [[['a', 30, 5, False], ['b', 20, 5, False]], 50, 20], [[['a', 'b']], []]], ['oversize weight', [[['x', 10, 30, False], ['y', 10, 1, False]], 50, 20], [[['y']], ['x']]], ['first fit not best fit', [[['a', 40, 1, False], ['b', 30, 1, False], ['c', 10, 1, False]], 50, 20], [[['a', 'c'], ['b']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['weight limit splits', [[['a', 10, 15, False], ['b', 10, 6, False]], 50, 20], [[['a'], ['b']], []]], ['generated mix 8', [[['i0', 60, 8, False], ['i1', 60, 15, False], ['i2', 40, 10, True], ['i3', 40, 8, False], ['i4', 25, 11, False], ['i5', 60, 15, False]], 50, 20], [[['i2'], ['i3'], ['i4']], ['i0', 'i1', 'i5']]]], [['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['first fit not best fit', [[['a', 40, 1, False], ['b', 30, 1, False], ['c', 10, 1, False]], 50, 20], [[['a', 'c'], ['b']], []]], ['oversize weight', [[['x', 10, 30, False], ['y', 10, 1, False]], 50, 20], [[['y']], ['x']]], ['generated mix 10', [[['i0', 5, 15, False], ['i1', 40, 11, True], ['i2', 25, 3, False], ['i3', 30, 1, False], ['i4', 20, 15, False], ['i5', 20, 10, False], ['i6', 30, 11, False]], 60, 20], [[['i1'], ['i6', 'i3'], ['i2', 'i4'], ['i5'], ['i0']], []]], ['generated mix 18', [[['i0', 5, 1, False], ['i1', 50, 10, False], ['i2', 20, 1, False]], 60, 20], [[['i1', 'i0'], ['i2']], []]], ['generated mix 26', [[['i0', 40, 1, False], ['i1', 50, 10, False], ['i2', 30, 3, True], ['i3', 10, 15, False], ['i4', 40, 10, False], ['i5', 5, 8, False]], 60, 20], [[['i1', 'i5'], ['i4'], ['i0', 'i3'], ['i2']], []]], ['generated mix 34', [[['i0', 20, 11, True], ['i1', 25, 15, False], ['i2', 20, 8, True], ['i3', 20, 10, False], ['i4', 40, 11, False], ['i5', 5, 8, True], ['i6', 20, 1, False]], 60, 25], [[['i4', 'i3'], ['i1', 'i6'], ['i0'], ['i2', 'i5']], []]]], [['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['generated mix 76', [[['i0', 10, 3, False], ['i1', 20, 11, False], ['i2', 30, 11, False], ['i3', 10, 1, False], ['i4', 20, 1, False], ['i5', 50, 11, False], ['i6', 5, 3, True], ['i7', 20, 11, True]], 50, 20], [[['i5'], ['i2', 'i4'], ['i1', 'i0', 'i3'], ['i7'], ['i6']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['weight limit splits', [[['a', 10, 15, False], ['b', 10, 6, False]], 50, 20], [[['a'], ['b']], []]], ['exact fill', [[['a', 30, 5, False], ['b', 20, 5, False]], 50, 20], [[['a', 'b']], []]], ['oversize weight', [[['x', 10, 30, False], ['y', 10, 1, False]], 50, 20], [[['y']], ['x']]], ['generated mix 22', [[['i0', 25, 1, False], ['i1', 30, 11, True], ['i2', 50, 1, False]], 50, 25], [[['i2'], ['i1'], ['i0']], []]], ['generated mix 30', [[['i0', 50, 15, True], ['i1', 30, 8, True], ['i2', 30, 10, False], ['i3', 5, 15, True], ['i4', 40, 10, True], ['i5', 40, 11, False], ['i6', 40, 1, True]], 50, 20], [[['i0'], ['i5'], ['i4'], ['i6'], ['i2'], ['i1'], ['i3']], []]]], [['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['generated mix 70', [[['i0', 40, 11, True], ['i1', 5, 8, True], ['i2', 20, 15, False], ['i3', 50, 11, False], ['i4', 50, 11, False], ['i5', 25, 3, True], ['i6', 40, 1, True]], 60, 20], [[['i3'], ['i4'], ['i0'], ['i6', 'i1'], ['i5'], ['i2']], []]], ['first fit not best fit', [[['a', 40, 1, False], ['b', 30, 1, False], ['c', 10, 1, False]], 50, 20], [[['a', 'c'], ['b']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['weight limit splits', [[['a', 10, 15, False], ['b', 10, 6, False]], 50, 20], [[['a'], ['b']], []]], ['exact fill', [[['a', 30, 5, False], ['b', 20, 5, False]], 50, 20], [[['a', 'b']], []]], ['generated mix 33', [[['i0', 60, 15, False], ['i1', 25, 1, False], ['i2', 60, 8, False], ['i3', 50, 1, False], ['i4', 20, 3, False], ['i5', 5, 8, False]], 60, 20], [[['i0'], ['i2'], ['i3', 'i5'], ['i1', 'i4']], []]], ['generated mix 41', [[['i0', 60, 8, False], ['i1', 10, 15, True], ['i2', 60, 10, False], ['i3', 30, 1, True], ['i4', 5, 3, False], ['i5', 30, 1, False], ['i6', 60, 15, False]], 50, 25], [[['i3', 'i4'], ['i5', 'i1']], ['i0', 'i2', 'i6']]]], [['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['generated mix 56', [[['i0', 10, 3, True], ['i1', 30, 8, False], ['i2', 5, 3, True], ['i3', 50, 15, True], ['i4', 40, 15, False], ['i5', 20, 11, True], ['i6', 60, 15, False]], 60, 20], [[['i6'], ['i3'], ['i4'], ['i1', 'i5'], ['i0', 'i2']], []]], ['oversize weight', [[['x', 10, 30, False], ['y', 10, 1, False]], 50, 20], [[['y']], ['x']]], ['first fit not best fit', [[['a', 40, 1, False], ['b', 30, 1, False], ['c', 10, 1, False]], 50, 20], [[['a', 'c'], ['b']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['weight limit splits', [[['a', 10, 15, False], ['b', 10, 6, False]], 50, 20], [[['a'], ['b']], []]], ['generated mix 44', [[['i0', 50, 3, True], ['i1', 60, 11, False], ['i2', 40, 3, False], ['i3', 40, 10, True], ['i4', 30, 1, False], ['i5', 5, 15, False], ['i6', 40, 11, False]], 50, 25], [[['i0'], ['i6'], ['i3'], ['i2', 'i5'], ['i4']], ['i1']]], ['generated mix 52', [[['i0', 10, 11, False], ['i1', 25, 1, False], ['i2', 5, 15, False]], 60, 25], [[['i1', 'i0'], ['i2']], []]]]]\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":"14c2024854dd883fb502d53a310a4e4f363b59a0b6abc373536186ee7cf80360","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(items, tote_vol, tote_wt):\n    order = sorted(items, key=lambda it: (-it[1], -it[2], it[0]))\n    totes = []\n    oversize = []\n    for iid, vol, wt, fragile in order:\n        if vol > tote_vol or wt > tote_wt:\n            oversize.append(iid)\n            continue\n        placed = False\n        for t in totes:\n            if t['v'] + vol > tote_vol or t['w'] + wt > tote_wt:\n                continue\n            if fragile and t['heavy']:\n                continue\n            if wt > 10 and t['fragile']:\n                continue\n            t['ids'].append(iid)\n            t['v'] += vol\n            t['w'] += wt\n            t['heavy'] = t['heavy'] or wt > 10\n            t['fragile'] = t['fragile'] or fragile\n            placed = True\n            break\n        if not placed:\n            totes.append({'ids': [iid], 'v': vol, 'w': wt, 'heavy': wt > 10, 'fragile': fragile})\n    return [[t['ids'] for t in totes], sorted(oversize)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['generated mix 29', [[['i0', 60, 1, False], ['i1', 30, 11, True], ['i2', 60, 15, False], ['i3', 60, 3, False], ['i4', 20, 3, True], ['i5', 30, 10, False], ['i6', 20, 1, True]], 50, 20], [[['i1'], ['i5', 'i4'], ['i6']], ['i0', 'i2', 'i3']]], ['exact fill', [[['a', 30, 5, False], ['b', 20, 5, False]], 50, 20], [[['a', 'b']], []]], ['oversize weight', [[['x', 10, 30, False], ['y', 10, 1, False]], 50, 20], [[['y']], ['x']]], ['first fit not best fit', [[['a', 40, 1, False], ['b', 30, 1, False], ['c', 10, 1, False]], 50, 20], [[['a', 'c'], ['b']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['weight limit splits', [[['a', 10, 15, False], ['b', 10, 6, False]], 50, 20], [[['a'], ['b']], []]], ['generated mix 8', [[['i0', 60, 8, False], ['i1', 60, 15, False], ['i2', 40, 10, True], ['i3', 40, 8, False], ['i4', 25, 11, False], ['i5', 60, 15, False]], 50, 20], [[['i2'], ['i3'], ['i4']], ['i0', 'i1', 'i5']]]], [['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['first fit not best fit', [[['a', 40, 1, False], ['b', 30, 1, False], ['c', 10, 1, False]], 50, 20], [[['a', 'c'], ['b']], []]], ['oversize weight', [[['x', 10, 30, False], ['y', 10, 1, False]], 50, 20], [[['y']], ['x']]], ['generated mix 10', [[['i0', 5, 15, False], ['i1', 40, 11, True], ['i2', 25, 3, False], ['i3', 30, 1, False], ['i4', 20, 15, False], ['i5', 20, 10, False], ['i6', 30, 11, False]], 60, 20], [[['i1'], ['i6', 'i3'], ['i2', 'i4'], ['i5'], ['i0']], []]], ['generated mix 18', [[['i0', 5, 1, False], ['i1', 50, 10, False], ['i2', 20, 1, False]], 60, 20], [[['i1', 'i0'], ['i2']], []]], ['generated mix 26', [[['i0', 40, 1, False], ['i1', 50, 10, False], ['i2', 30, 3, True], ['i3', 10, 15, False], ['i4', 40, 10, False], ['i5', 5, 8, False]], 60, 20], [[['i1', 'i5'], ['i4'], ['i0', 'i3'], ['i2']], []]], ['generated mix 34', [[['i0', 20, 11, True], ['i1', 25, 15, False], ['i2', 20, 8, True], ['i3', 20, 10, False], ['i4', 40, 11, False], ['i5', 5, 8, True], ['i6', 20, 1, False]], 60, 25], [[['i4', 'i3'], ['i1', 'i6'], ['i0'], ['i2', 'i5']], []]]], [['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['generated mix 76', [[['i0', 10, 3, False], ['i1', 20, 11, False], ['i2', 30, 11, False], ['i3', 10, 1, False], ['i4', 20, 1, False], ['i5', 50, 11, False], ['i6', 5, 3, True], ['i7', 20, 11, True]], 50, 20], [[['i5'], ['i2', 'i4'], ['i1', 'i0', 'i3'], ['i7'], ['i6']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['weight limit splits', [[['a', 10, 15, False], ['b', 10, 6, False]], 50, 20], [[['a'], ['b']], []]], ['exact fill', [[['a', 30, 5, False], ['b', 20, 5, False]], 50, 20], [[['a', 'b']], []]], ['oversize weight', [[['x', 10, 30, False], ['y', 10, 1, False]], 50, 20], [[['y']], ['x']]], ['generated mix 22', [[['i0', 25, 1, False], ['i1', 30, 11, True], ['i2', 50, 1, False]], 50, 25], [[['i2'], ['i1'], ['i0']], []]], ['generated mix 30', [[['i0', 50, 15, True], ['i1', 30, 8, True], ['i2', 30, 10, False], ['i3', 5, 15, True], ['i4', 40, 10, True], ['i5', 40, 11, False], ['i6', 40, 1, True]], 50, 20], [[['i0'], ['i5'], ['i4'], ['i6'], ['i2'], ['i1'], ['i3']], []]]], [['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['generated mix 70', [[['i0', 40, 11, True], ['i1', 5, 8, True], ['i2', 20, 15, False], ['i3', 50, 11, False], ['i4', 50, 11, False], ['i5', 25, 3, True], ['i6', 40, 1, True]], 60, 20], [[['i3'], ['i4'], ['i0'], ['i6', 'i1'], ['i5'], ['i2']], []]], ['first fit not best fit', [[['a', 40, 1, False], ['b', 30, 1, False], ['c', 10, 1, False]], 50, 20], [[['a', 'c'], ['b']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['weight limit splits', [[['a', 10, 15, False], ['b', 10, 6, False]], 50, 20], [[['a'], ['b']], []]], ['exact fill', [[['a', 30, 5, False], ['b', 20, 5, False]], 50, 20], [[['a', 'b']], []]], ['generated mix 33', [[['i0', 60, 15, False], ['i1', 25, 1, False], ['i2', 60, 8, False], ['i3', 50, 1, False], ['i4', 20, 3, False], ['i5', 5, 8, False]], 60, 20], [[['i0'], ['i2'], ['i3', 'i5'], ['i1', 'i4']], []]], ['generated mix 41', [[['i0', 60, 8, False], ['i1', 10, 15, True], ['i2', 60, 10, False], ['i3', 30, 1, True], ['i4', 5, 3, False], ['i5', 30, 1, False], ['i6', 60, 15, False]], 50, 25], [[['i3', 'i4'], ['i5', 'i1']], ['i0', 'i2', 'i6']]]], [['heavy after fragile', [[['f', 30, 1, True], ['h', 10, 12, False]], 50, 20], [[['f'], ['h']], []]], ['generated mix 56', [[['i0', 10, 3, True], ['i1', 30, 8, False], ['i2', 5, 3, True], ['i3', 50, 15, True], ['i4', 40, 15, False], ['i5', 20, 11, True], ['i6', 60, 15, False]], 60, 20], [[['i6'], ['i3'], ['i4'], ['i1', 'i5'], ['i0', 'i2']], []]], ['oversize weight', [[['x', 10, 30, False], ['y', 10, 1, False]], 50, 20], [[['y']], ['x']]], ['first fit not best fit', [[['a', 40, 1, False], ['b', 30, 1, False], ['c', 10, 1, False]], 50, 20], [[['a', 'c'], ['b']], []]], ['fragile vs heavy', [[['h', 30, 12, False], ['f', 10, 1, True]], 50, 20], [[['h'], ['f']], []]], ['weight limit splits', [[['a', 10, 15, False], ['b', 10, 6, False]], 50, 20], [[['a'], ['b']], []]], ['generated mix 44', [[['i0', 50, 3, True], ['i1', 60, 11, False], ['i2', 40, 3, False], ['i3', 40, 10, True], ['i4', 30, 1, False], ['i5', 5, 15, False], ['i6', 40, 11, False]], 50, 25], [[['i0'], ['i6'], ['i3'], ['i2', 'i5'], ['i4']], ['i1']]], ['generated mix 52', [[['i0', 10, 11, False], ['i1', 25, 1, False], ['i2', 5, 15, False]], 60, 25], [[['i1', 'i0'], ['i2']], []]]]]\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 first-fit rule; 10 kg heavy threshold is a toy contract constant. 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-tote-ffd-fragile-heavy-symmetry","generated_at":"2026-09-29T14:52:09.149382+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Packing picked units into conveyor totes is bounded by volume, weight, and damage rules.","repair":"Enforce the fragile/heavy separation in both arrival orders.","root_cause":"Segregation is only enforced when the fragile item arrives second.","sha256":"f4c1c7a32341b2087efe1103c4443ff8a2ae0839689b353232b5affcb99bb6f4","title":"Tote packing: heavy item crushes earlier fragile · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.015,"exit_code":1,"observations":[{"actual":[[["f"],["h"]],[]],"check":"heavy after fragile","expected":[[["f"],["h"]],[]],"passed":true},{"actual":[[["i1","i4"],["i5","i6"]],["i0","i2","i3"]],"check":"generated mix 29","expected":[[["i1"],["i5","i4"],["i6"]],["i0","i2","i3"]],"passed":false},{"actual":[[["a","b"]],[]],"check":"exact fill","expected":[[["a","b"]],[]],"passed":true},{"actual":[[["y"]],["x"]],"check":"oversize weight","expected":[[["y"]],["x"]],"passed":true},{"actual":[[["a","c"],["b"]],[]],"check":"first fit not best fit","expected":[[["a","c"],["b"]],[]],"passed":true},{"actual":[[["h","f"]],[]],"check":"fragile vs heavy","expected":[[["h"],["f"]],[]],"passed":false},{"actual":[[["a"],["b"]],[]],"check":"weight limit splits","expected":[[["a"],["b"]],[]],"passed":true},{"actual":[[["i2"],["i3"],["i4"]],["i0","i1","i5"]],"check":"generated mix 8","expected":[[["i2"],["i3"],["i4"]],["i0","i1","i5"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"heavy after fragile\", \"actual\": [[[\"f\"], [\"h\"]], []], \"expected\": [[[\"f\"], [\"h\"]], []], \"passed\": true}, {\"check\": \"generated mix 29\", \"actual\": [[[\"i1\", \"i4\"], [\"i5\", \"i6\"]], [\"i0\", \"i2\", \"i3\"]], \"expected\": [[[\"i1\"], [\"i5\", \"i4\"], [\"i6\"]], [\"i0\", \"i2\", \"i3\"]], \"passed\": false}, {\"check\": \"exact fill\", \"actual\": [[[\"a\", \"b\"]], []], \"expected\": [[[\"a\", \"b\"]], []], \"passed\": true}, {\"check\": \"oversize weight\", \"actual\": [[[\"y\"]], [\"x\"]], \"expected\": [[[\"y\"]], [\"x\"]], \"passed\": true}, {\"check\": \"first fit not best fit\", \"actual\": [[[\"a\", \"c\"], [\"b\"]], []], \"expected\": [[[\"a\", \"c\"], [\"b\"]], []], \"passed\": true}, {\"check\": \"fragile vs heavy\", \"actual\": [[[\"h\", \"f\"]], []], \"expected\": [[[\"h\"], [\"f\"]], []], \"passed\": false}, {\"check\": \"weight limit splits\", \"actual\": [[[\"a\"], [\"b\"]], []], \"expected\": [[[\"a\"], [\"b\"]], []], \"passed\": true}, {\"check\": \"generated mix 8\", \"actual\": [[[\"i2\"], [\"i3\"], [\"i4\"]], [\"i0\", \"i1\", \"i5\"]], \"expected\": [[[\"i2\"], [\"i3\"], [\"i4\"]], [\"i0\", \"i1\", \"i5\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.006,"exit_code":1,"observations":[{"actual":[[["f","h"]],[]],"check":"heavy after fragile","expected":[[["f"],["h"]],[]],"passed":false},{"actual":[[["i1"],["i5","i4"],["i6"]],["i0","i2","i3"]],"check":"generated mix 29","expected":[[["i1"],["i5","i4"],["i6"]],["i0","i2","i3"]],"passed":true},{"actual":[[["a","b"]],[]],"check":"exact fill","expected":[[["a","b"]],[]],"passed":true},{"actual":[[["y"]],["x"]],"check":"oversize weight","expected":[[["y"]],["x"]],"passed":true},{"actual":[[["a","c"],["b"]],[]],"check":"first fit not best fit","expected":[[["a","c"],["b"]],[]],"passed":true},{"actual":[[["h"],["f"]],[]],"check":"fragile vs heavy","expected":[[["h"],["f"]],[]],"passed":true},{"actual":[[["a"],["b"]],[]],"check":"weight limit splits","expected":[[["a"],["b"]],[]],"passed":true},{"actual":[[["i2"],["i3"],["i4"]],["i0","i1","i5"]],"check":"generated mix 8","expected":[[["i2"],["i3"],["i4"]],["i0","i1","i5"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"heavy after fragile\", \"actual\": [[[\"f\", \"h\"]], []], \"expected\": [[[\"f\"], [\"h\"]], []], \"passed\": false}, {\"check\": \"generated mix 29\", \"actual\": [[[\"i1\"], [\"i5\", \"i4\"], [\"i6\"]], [\"i0\", \"i2\", \"i3\"]], \"expected\": [[[\"i1\"], [\"i5\", \"i4\"], [\"i6\"]], [\"i0\", \"i2\", \"i3\"]], \"passed\": true}, {\"check\": \"exact fill\", \"actual\": [[[\"a\", \"b\"]], []], \"expected\": [[[\"a\", \"b\"]], []], \"passed\": true}, {\"check\": \"oversize weight\", \"actual\": [[[\"y\"]], [\"x\"]], \"expected\": [[[\"y\"]], [\"x\"]], \"passed\": true}, {\"check\": \"first fit not best fit\", \"actual\": [[[\"a\", \"c\"], [\"b\"]], []], \"expected\": [[[\"a\", \"c\"], [\"b\"]], []], \"passed\": true}, {\"check\": \"fragile vs heavy\", \"actual\": [[[\"h\"], [\"f\"]], []], \"expected\": [[[\"h\"], [\"f\"]], []], \"passed\": true}, {\"check\": \"weight limit splits\", \"actual\": [[[\"a\"], [\"b\"]], []], \"expected\": [[[\"a\"], [\"b\"]], []], \"passed\": true}, {\"check\": \"generated mix 8\", \"actual\": [[[\"i2\"], [\"i3\"], [\"i4\"]], [\"i0\", \"i1\", \"i5\"]], \"expected\": [[[\"i2\"], [\"i3\"], [\"i4\"]], [\"i0\", \"i1\", \"i5\"]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.234,"exit_code":0,"observations":[{"actual":[[["f"],["h"]],[]],"check":"heavy after fragile","expected":[[["f"],["h"]],[]],"passed":true},{"actual":[[["i1"],["i5","i4"],["i6"]],["i0","i2","i3"]],"check":"generated mix 29","expected":[[["i1"],["i5","i4"],["i6"]],["i0","i2","i3"]],"passed":true},{"actual":[[["a","b"]],[]],"check":"exact fill","expected":[[["a","b"]],[]],"passed":true},{"actual":[[["y"]],["x"]],"check":"oversize weight","expected":[[["y"]],["x"]],"passed":true},{"actual":[[["a","c"],["b"]],[]],"check":"first fit not best fit","expected":[[["a","c"],["b"]],[]],"passed":true},{"actual":[[["h"],["f"]],[]],"check":"fragile vs heavy","expected":[[["h"],["f"]],[]],"passed":true},{"actual":[[["a"],["b"]],[]],"check":"weight limit splits","expected":[[["a"],["b"]],[]],"passed":true},{"actual":[[["i2"],["i3"],["i4"]],["i0","i1","i5"]],"check":"generated mix 8","expected":[[["i2"],["i3"],["i4"]],["i0","i1","i5"]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"heavy after fragile\", \"actual\": [[[\"f\"], [\"h\"]], []], \"expected\": [[[\"f\"], [\"h\"]], []], \"passed\": true}, {\"check\": \"generated mix 29\", \"actual\": [[[\"i1\"], [\"i5\", \"i4\"], [\"i6\"]], [\"i0\", \"i2\", \"i3\"]], \"expected\": [[[\"i1\"], [\"i5\", \"i4\"], [\"i6\"]], [\"i0\", \"i2\", \"i3\"]], \"passed\": true}, {\"check\": \"exact fill\", \"actual\": [[[\"a\", \"b\"]], []], \"expected\": [[[\"a\", \"b\"]], []], \"passed\": true}, {\"check\": \"oversize weight\", \"actual\": [[[\"y\"]], [\"x\"]], \"expected\": [[[\"y\"]], [\"x\"]], \"passed\": true}, {\"check\": \"first fit not best fit\", \"actual\": [[[\"a\", \"c\"], [\"b\"]], []], \"expected\": [[[\"a\", \"c\"], [\"b\"]], []], \"passed\": true}, {\"check\": \"fragile vs heavy\", \"actual\": [[[\"h\"], [\"f\"]], []], \"expected\": [[[\"h\"], [\"f\"]], []], \"passed\": true}, {\"check\": \"weight limit splits\", \"actual\": [[[\"a\"], [\"b\"]], []], \"expected\": [[[\"a\"], [\"b\"]], []], \"passed\": true}, {\"check\": \"generated mix 8\", \"actual\": [[[\"i2\"], [\"i3\"], [\"i4\"]], [\"i0\", \"i1\", \"i5\"]], \"expected\": [[[\"i2\"], [\"i3\"], [\"i4\"]], [\"i0\", \"i1\", \"i5\"]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}