{"abstract":"Violation rows appear in dictionary insertion order, so BAY and BEAM rows interleave unpredictably.","category":"Warehouse slotting and bin packing","checks":8,"contract":"loads [[bay, level, kg]]; level 0 is floor storage and loads neither beams nor uprights. Sum kg per (bay, level) and per bay. Beam capacity is beam_cap, derated to floor(90%) for levels 5 and up. Report [\"BEAM\", bay, level, total] when a level exceeds capacity and [\"BAY\", bay, 0, total] when a bay exceeds bay_cap, sorted.","contract_signature":"loads, beam_cap, bay_cap","evaluation_group":"w2-warehouse-slotting-rack-loads","failed_approach":"Sorting by bay only keeps BEAM rows ahead of BAY rows within a bay.","family":"w2-warehouse-slotting-rack-loads-report-order","id":"FA-95196","implementations":{"attempt":{"sha256":"0ceb5ee599c5330a361e5d10b627f02d803cd713bf0c4282cfcbadf67f6cdef1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(loads, beam_cap, bay_cap):\n    beam = {}\n    bay = {}\n    for b, lvl, kg in loads:\n        if lvl == 0:\n            continue\n        beam[(b, lvl)] = beam.get((b, lvl), 0) + kg\n        bay[b] = bay.get(b, 0) + kg\n    out = []\n    for (b, lvl), t in beam.items():\n        cap = beam_cap * 9 // 10 if lvl >= 5 else beam_cap\n        if t > cap:\n            out.append(['BEAM', b, lvl, t])\n    for b, t in bay.items():\n        if t > bay_cap:\n            out.append(['BAY', b, 0, t])\n    out.sort(key=lambda v: v[1])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['generated mix 8', [[[1, 1, 300], [3, 5, 300], [3, 5, 300], [2, 4, 900], [2, 4, 1000], [1, 6, 1000]], 1000, 2000], [['BEAM', 1, 6, 1000], ['BEAM', 2, 4, 1900]]], ['generated mix 21', [[[1, 2, 500], [2, 4, 450], [3, 6, 300], [3, 5, 500], [1, 6, 900], [1, 5, 300], [1, 6, 450], [3, 0, 500]], 1000, 2000], [['BAY', 1, 0, 2150], ['BEAM', 1, 6, 1350]]], ['beam over', [[[1, 1, 600], [1, 1, 500]], 1000, 5000], [['BEAM', 1, 1, 1100]]], ['derated level 5', [[[1, 5, 950]], 1000, 5000], [['BEAM', 1, 5, 950]]], ['floor ignored', [[[2, 0, 3000], [2, 1, 900]], 1000, 2000], []], ['beam equal ok', [[[1, 1, 500], [1, 1, 500]], 1000, 5000], []], ['generated mix 6', [[[3, 2, 300]], 1000, 2000], []], ['generated mix 15', [[[1, 0, 300], [1, 4, 1000]], 1000, 2000], []]], [['generated mix 9', [[[1, 6, 300], [1, 4, 300], [2, 2, 450], [2, 2, 1000], [2, 2, 1000], [2, 0, 1000]], 1500, 2000], [['BAY', 2, 0, 2450], ['BEAM', 2, 2, 2450]]], ['generated mix 21', [[[1, 2, 500], [2, 4, 450], [3, 6, 300], [3, 5, 500], [1, 6, 900], [1, 5, 300], [1, 6, 450], [3, 0, 500]], 1000, 2000], [['BAY', 1, 0, 2150], ['BEAM', 1, 6, 1350]]], ['level 4 full rating', [[[1, 4, 950]], 1000, 5000], []], ['bay over', [[[3, 1, 900], [3, 2, 900], [3, 3, 900]], 1000, 2500], [['BAY', 3, 0, 2700]]], ['beam equal ok', [[[1, 1, 500], [1, 1, 500]], 1000, 5000], []], ['generated mix 10', [[[2, 4, 300], [1, 0, 900], [3, 2, 1000], [3, 5, 1000], [1, 0, 900]], 1500, 4000], []], ['generated mix 18', [[[3, 1, 300], [1, 2, 1000], [3, 2, 900], [3, 1, 500]], 1000, 2000], []], ['generated mix 27', [[[1, 1, 500], [2, 6, 450]], 1000, 2000], []]], [['generated mix 21', [[[1, 2, 500], [2, 4, 450], [3, 6, 300], [3, 5, 500], [1, 6, 900], [1, 5, 300], [1, 6, 450], [3, 0, 500]], 1000, 2000], [['BAY', 1, 0, 2150], ['BEAM', 1, 6, 1350]]], ['beam over', [[[1, 1, 600], [1, 1, 500]], 1000, 5000], [['BEAM', 1, 1, 1100]]], ['derated level 5', [[[1, 5, 950]], 1000, 5000], [['BEAM', 1, 5, 950]]], ['floor ignored', [[[2, 0, 3000], [2, 1, 900]], 1000, 2000], []], ['generated mix 20', [[[1, 1, 1000], [1, 0, 900], [3, 0, 300], [2, 4, 300]], 1000, 3000], []], ['generated mix 29', [[[3, 4, 900], [1, 0, 1000], [1, 6, 300]], 1500, 2000], []], ['generated mix 37', [[[1, 6, 300], [1, 4, 1000], [3, 0, 1000], [1, 4, 900], [1, 4, 900], [1, 5, 1000], [3, 0, 900], [3, 0, 1000]], 1000, 3000], [['BAY', 1, 0, 4100], ['BEAM', 1, 4, 2800], ['BEAM', 1, 5, 1000]]], ['generated mix 45', [[[3, 6, 300], [2, 6, 300], [1, 4, 500], [3, 1, 900], [1, 0, 300], [1, 1, 450]], 1000, 3000], []]], [['generated mix 37', [[[1, 6, 300], [1, 4, 1000], [3, 0, 1000], [1, 4, 900], [1, 4, 900], [1, 5, 1000], [3, 0, 900], [3, 0, 1000]], 1000, 3000], [['BAY', 1, 0, 4100], ['BEAM', 1, 4, 2800], ['BEAM', 1, 5, 1000]]], ['generated mix 21', [[[1, 2, 500], [2, 4, 450], [3, 6, 300], [3, 5, 500], [1, 6, 900], [1, 5, 300], [1, 6, 450], [3, 0, 500]], 1000, 2000], [['BAY', 1, 0, 2150], ['BEAM', 1, 6, 1350]]], ['level 4 full rating', [[[1, 4, 950]], 1000, 5000], []], ['bay over', [[[3, 1, 900], [3, 2, 900], [3, 3, 900]], 1000, 2500], [['BAY', 3, 0, 2700]]], ['beam equal ok', [[[1, 1, 500], [1, 1, 500]], 1000, 5000], []], ['generated mix 32', [[[1, 2, 500], [3, 6, 900], [2, 2, 300], [1, 6, 900], [1, 0, 900], [1, 5, 900], [2, 6, 450]], 1500, 4000], []], ['generated mix 41', [[[1, 4, 1000]], 1000, 4000], []], ['generated mix 49', [[[2, 4, 450], [1, 4, 500]], 1000, 4000], []]], [['generated mix 56', [[[2, 0, 500], [1, 2, 1000], [1, 2, 450], [3, 4, 500], [1, 6, 450], [1, 4, 1000]], 1000, 2000], [['BAY', 1, 0, 2900], ['BEAM', 1, 2, 1450]]], ['generated mix 21', [[[1, 2, 500], [2, 4, 450], [3, 6, 300], [3, 5, 500], [1, 6, 900], [1, 5, 300], [1, 6, 450], [3, 0, 500]], 1000, 2000], [['BAY', 1, 0, 2150], ['BEAM', 1, 6, 1350]]], ['beam over', [[[1, 1, 600], [1, 1, 500]], 1000, 5000], [['BEAM', 1, 1, 1100]]], ['derated level 5', [[[1, 5, 950]], 1000, 5000], [['BEAM', 1, 5, 950]]], ['floor ignored', [[[2, 0, 3000], [2, 1, 900]], 1000, 2000], []], ['generated mix 43', [[[3, 4, 450], [2, 4, 450], [3, 2, 900], [1, 2, 450], [1, 1, 300], [3, 4, 1000], [2, 6, 900]], 1500, 4000], []], ['generated mix 51', [[[1, 5, 500], [3, 2, 300], [3, 6, 450], [2, 4, 900], [1, 6, 900]], 1500, 2000], []], ['generated mix 60', [[[1, 4, 450], [1, 4, 900], [2, 4, 500]], 1500, 4000], []]]]\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":"bc94d88a6126b006e5d12292fb0e2db9a2da416aad4f048c39c2053197e75437","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(loads, beam_cap, bay_cap):\n    beam = {}\n    bay = {}\n    for b, lvl, kg in loads:\n        if lvl == 0:\n            continue\n        beam[(b, lvl)] = beam.get((b, lvl), 0) + kg\n        bay[b] = bay.get(b, 0) + kg\n    out = []\n    for (b, lvl), t in beam.items():\n        cap = beam_cap * 9 // 10 if lvl >= 5 else beam_cap\n        if t > cap:\n            out.append(['BEAM', b, lvl, t])\n    for b, t in bay.items():\n        if t > bay_cap:\n            out.append(['BAY', b, 0, t])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['generated mix 8', [[[1, 1, 300], [3, 5, 300], [3, 5, 300], [2, 4, 900], [2, 4, 1000], [1, 6, 1000]], 1000, 2000], [['BEAM', 1, 6, 1000], ['BEAM', 2, 4, 1900]]], ['generated mix 21', [[[1, 2, 500], [2, 4, 450], [3, 6, 300], [3, 5, 500], [1, 6, 900], [1, 5, 300], [1, 6, 450], [3, 0, 500]], 1000, 2000], [['BAY', 1, 0, 2150], ['BEAM', 1, 6, 1350]]], ['beam over', [[[1, 1, 600], [1, 1, 500]], 1000, 5000], [['BEAM', 1, 1, 1100]]], ['derated level 5', [[[1, 5, 950]], 1000, 5000], [['BEAM', 1, 5, 950]]], ['floor ignored', [[[2, 0, 3000], [2, 1, 900]], 1000, 2000], []], ['beam equal ok', [[[1, 1, 500], [1, 1, 500]], 1000, 5000], []], ['generated mix 6', [[[3, 2, 300]], 1000, 2000], []], ['generated mix 15', [[[1, 0, 300], [1, 4, 1000]], 1000, 2000], []]], [['generated mix 9', [[[1, 6, 300], [1, 4, 300], [2, 2, 450], [2, 2, 1000], [2, 2, 1000], [2, 0, 1000]], 1500, 2000], [['BAY', 2, 0, 2450], ['BEAM', 2, 2, 2450]]], ['generated mix 21', [[[1, 2, 500], [2, 4, 450], [3, 6, 300], [3, 5, 500], [1, 6, 900], [1, 5, 300], [1, 6, 450], [3, 0, 500]], 1000, 2000], [['BAY', 1, 0, 2150], ['BEAM', 1, 6, 1350]]], ['level 4 full rating', [[[1, 4, 950]], 1000, 5000], []], ['bay over', [[[3, 1, 900], [3, 2, 900], [3, 3, 900]], 1000, 2500], [['BAY', 3, 0, 2700]]], ['beam equal ok', [[[1, 1, 500], [1, 1, 500]], 1000, 5000], []], ['generated mix 10', [[[2, 4, 300], [1, 0, 900], [3, 2, 1000], [3, 5, 1000], [1, 0, 900]], 1500, 4000], []], ['generated mix 18', [[[3, 1, 300], [1, 2, 1000], [3, 2, 900], [3, 1, 500]], 1000, 2000], []], ['generated mix 27', [[[1, 1, 500], [2, 6, 450]], 1000, 2000], []]], [['generated mix 21', [[[1, 2, 500], [2, 4, 450], [3, 6, 300], [3, 5, 500], [1, 6, 900], [1, 5, 300], [1, 6, 450], [3, 0, 500]], 1000, 2000], [['BAY', 1, 0, 2150], ['BEAM', 1, 6, 1350]]], ['beam over', [[[1, 1, 600], [1, 1, 500]], 1000, 5000], [['BEAM', 1, 1, 1100]]], ['derated level 5', [[[1, 5, 950]], 1000, 5000], [['BEAM', 1, 5, 950]]], ['floor ignored', [[[2, 0, 3000], [2, 1, 900]], 1000, 2000], []], ['generated mix 20', [[[1, 1, 1000], [1, 0, 900], [3, 0, 300], [2, 4, 300]], 1000, 3000], []], ['generated mix 29', [[[3, 4, 900], [1, 0, 1000], [1, 6, 300]], 1500, 2000], []], ['generated mix 37', [[[1, 6, 300], [1, 4, 1000], [3, 0, 1000], [1, 4, 900], [1, 4, 900], [1, 5, 1000], [3, 0, 900], [3, 0, 1000]], 1000, 3000], [['BAY', 1, 0, 4100], ['BEAM', 1, 4, 2800], ['BEAM', 1, 5, 1000]]], ['generated mix 45', [[[3, 6, 300], [2, 6, 300], [1, 4, 500], [3, 1, 900], [1, 0, 300], [1, 1, 450]], 1000, 3000], []]], [['generated mix 37', [[[1, 6, 300], [1, 4, 1000], [3, 0, 1000], [1, 4, 900], [1, 4, 900], [1, 5, 1000], [3, 0, 900], [3, 0, 1000]], 1000, 3000], [['BAY', 1, 0, 4100], ['BEAM', 1, 4, 2800], ['BEAM', 1, 5, 1000]]], ['generated mix 21', [[[1, 2, 500], [2, 4, 450], [3, 6, 300], [3, 5, 500], [1, 6, 900], [1, 5, 300], [1, 6, 450], [3, 0, 500]], 1000, 2000], [['BAY', 1, 0, 2150], ['BEAM', 1, 6, 1350]]], ['level 4 full rating', [[[1, 4, 950]], 1000, 5000], []], ['bay over', [[[3, 1, 900], [3, 2, 900], [3, 3, 900]], 1000, 2500], [['BAY', 3, 0, 2700]]], ['beam equal ok', [[[1, 1, 500], [1, 1, 500]], 1000, 5000], []], ['generated mix 32', [[[1, 2, 500], [3, 6, 900], [2, 2, 300], [1, 6, 900], [1, 0, 900], [1, 5, 900], [2, 6, 450]], 1500, 4000], []], ['generated mix 41', [[[1, 4, 1000]], 1000, 4000], []], ['generated mix 49', [[[2, 4, 450], [1, 4, 500]], 1000, 4000], []]], [['generated mix 56', [[[2, 0, 500], [1, 2, 1000], [1, 2, 450], [3, 4, 500], [1, 6, 450], [1, 4, 1000]], 1000, 2000], [['BAY', 1, 0, 2900], ['BEAM', 1, 2, 1450]]], ['generated mix 21', [[[1, 2, 500], [2, 4, 450], [3, 6, 300], [3, 5, 500], [1, 6, 900], [1, 5, 300], [1, 6, 450], [3, 0, 500]], 1000, 2000], [['BAY', 1, 0, 2150], ['BEAM', 1, 6, 1350]]], ['beam over', [[[1, 1, 600], [1, 1, 500]], 1000, 5000], [['BEAM', 1, 1, 1100]]], ['derated level 5', [[[1, 5, 950]], 1000, 5000], [['BEAM', 1, 5, 950]]], ['floor ignored', [[[2, 0, 3000], [2, 1, 900]], 1000, 2000], []], ['generated mix 43', [[[3, 4, 450], [2, 4, 450], [3, 2, 900], [1, 2, 450], [1, 1, 300], [3, 4, 1000], [2, 6, 900]], 1500, 4000], []], ['generated mix 51', [[[1, 5, 500], [3, 2, 300], [3, 6, 450], [2, 4, 900], [1, 6, 900]], 1500, 2000], []], ['generated mix 60', [[[1, 4, 450], [1, 4, 900], [2, 4, 500]], 1500, 4000], []]]]\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 capacities and derate; not an engineering rack load calculation. 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-rack-loads-report-order","generated_at":"2026-09-29T14:52:11.428510+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Rack load audits prevent beam and upright overloads in pallet racking.","root_cause":"The report is never sorted.","sha256":"ce4f3c8597e96e1bb449d18bf3cca9f6433027cdb5d0f4542a5b2d798f0842c5","title":"Rack audit: violation report unsorted · 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.562,"exit_code":1,"observations":[{"actual":[["BEAM",1,6,1000],["BEAM",2,4,1900]],"check":"generated mix 8","expected":[["BEAM",1,6,1000],["BEAM",2,4,1900]],"passed":true},{"actual":[["BEAM",1,6,1350],["BAY",1,0,2150]],"check":"generated mix 21","expected":[["BAY",1,0,2150],["BEAM",1,6,1350]],"passed":false},{"actual":[["BEAM",1,1,1100]],"check":"beam over","expected":[["BEAM",1,1,1100]],"passed":true},{"actual":[["BEAM",1,5,950]],"check":"derated level 5","expected":[["BEAM",1,5,950]],"passed":true},{"actual":[],"check":"floor ignored","expected":[],"passed":true},{"actual":[],"check":"beam equal ok","expected":[],"passed":true},{"actual":[],"check":"generated mix 6","expected":[],"passed":true},{"actual":[],"check":"generated mix 15","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"generated mix 8\", \"actual\": [[\"BEAM\", 1, 6, 1000], [\"BEAM\", 2, 4, 1900]], \"expected\": [[\"BEAM\", 1, 6, 1000], [\"BEAM\", 2, 4, 1900]], \"passed\": true}, {\"check\": \"generated mix 21\", \"actual\": [[\"BEAM\", 1, 6, 1350], [\"BAY\", 1, 0, 2150]], \"expected\": [[\"BAY\", 1, 0, 2150], [\"BEAM\", 1, 6, 1350]], \"passed\": false}, {\"check\": \"beam over\", \"actual\": [[\"BEAM\", 1, 1, 1100]], \"expected\": [[\"BEAM\", 1, 1, 1100]], \"passed\": true}, {\"check\": \"derated level 5\", \"actual\": [[\"BEAM\", 1, 5, 950]], \"expected\": [[\"BEAM\", 1, 5, 950]], \"passed\": true}, {\"check\": \"floor ignored\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"beam equal ok\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"generated mix 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"generated mix 15\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.26,"exit_code":1,"observations":[{"actual":[["BEAM",2,4,1900],["BEAM",1,6,1000]],"check":"generated mix 8","expected":[["BEAM",1,6,1000],["BEAM",2,4,1900]],"passed":false},{"actual":[["BEAM",1,6,1350],["BAY",1,0,2150]],"check":"generated mix 21","expected":[["BAY",1,0,2150],["BEAM",1,6,1350]],"passed":false},{"actual":[["BEAM",1,1,1100]],"check":"beam over","expected":[["BEAM",1,1,1100]],"passed":true},{"actual":[["BEAM",1,5,950]],"check":"derated level 5","expected":[["BEAM",1,5,950]],"passed":true},{"actual":[],"check":"floor ignored","expected":[],"passed":true},{"actual":[],"check":"beam equal ok","expected":[],"passed":true},{"actual":[],"check":"generated mix 6","expected":[],"passed":true},{"actual":[],"check":"generated mix 15","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"generated mix 8\", \"actual\": [[\"BEAM\", 2, 4, 1900], [\"BEAM\", 1, 6, 1000]], \"expected\": [[\"BEAM\", 1, 6, 1000], [\"BEAM\", 2, 4, 1900]], \"passed\": false}, {\"check\": \"generated mix 21\", \"actual\": [[\"BEAM\", 1, 6, 1350], [\"BAY\", 1, 0, 2150]], \"expected\": [[\"BAY\", 1, 0, 2150], [\"BEAM\", 1, 6, 1350]], \"passed\": false}, {\"check\": \"beam over\", \"actual\": [[\"BEAM\", 1, 1, 1100]], \"expected\": [[\"BEAM\", 1, 1, 1100]], \"passed\": true}, {\"check\": \"derated level 5\", \"actual\": [[\"BEAM\", 1, 5, 950]], \"expected\": [[\"BEAM\", 1, 5, 950]], \"passed\": true}, {\"check\": \"floor ignored\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"beam equal ok\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"generated mix 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"generated mix 15\", \"actual\": [], \"expected\": [], \"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."}}