{"abstract":"Two accepted moves target the same destination slot.","category":"Warehouse slotting and bin packing","checks":8,"contract":"cands [[sku, from_slot, to_slot, weekly_picks, travel_from, travel_to]]. Weekly benefit = picks*(travel_from - travel_to); keep candidates with benefit >= move_cost; rank by benefit desc, sku, from, to. Greedily accept up to max_moves: each SKU moves once, each target is used once, and a target that is the from_slot of any candidate is occupied unless that slot was already vacated by an accepted move. Return [[sku, to_slot, benefit]].","contract_signature":"cands, move_cost, max_moves","evaluation_group":"w2-warehouse-slotting-reslot-plan","failed_approach":"Checking the target against moved SKU codes compares slots with SKUs and never matches.","family":"w2-warehouse-slotting-reslot-plan-target-uniqueness","id":"FA-95136","implementations":{"attempt":{"sha256":"7de724b163a1372f317bfbe42da93d315f166ac440d5cab73b9bf8e280e7d31a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cands, move_cost, max_moves):\n    occupied = {c[1] for c in cands}\n    ranked = []\n    for sku, frm, to, picks, tf, tt in cands:\n        benefit = picks * (tf - tt)\n        if benefit >= move_cost:\n            ranked.append((-benefit, sku, frm, to))\n    ranked.sort()\n    plan = []\n    moved = set()\n    targets = set()\n    vacated = set()\n    for nb, sku, frm, to in ranked:\n        if len(plan) >= max_moves:\n            break\n        if sku in moved or to in moved:\n            continue\n        if to in occupied and to not in vacated:\n            continue\n        plan.append([sku, to, -nb])\n        moved.add(sku)\n        targets.add(to)\n        vacated.add(frm)\n    return plan\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['threshold equal kept', [[['A', 'S1', 'S9', 10, 30, 20]], 100, 5], [['A', 'S9', 100]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 6', [[['K3', 'S1', 'S3', 20, 50, 10], ['K3', 'S4', 'S7', 40, 50, 40]], 400, 2], [['K3', 'S3', 800]]], ['generated mix 14', [[['K3', 'S7', 'S4', 10, 10, 30], ['K4', 'S6', 'S3', 10, 50, 5], ['K2', 'S5', 'S6', 5, 30, 10]], 200, 3], [['K4', 'S3', 450]]], ['generated mix 22', [[['K1', 'S2', 'S1', 20, 30, 40]], 400, 1], []]], [['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['chain into vacated', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 400], ['B', 'S1', 300]]], ['sku once', [[['A', 'S1', 'S8', 10, 50, 10], ['A', 'S1', 'S9', 10, 50, 20]], 0, 5], [['A', 'S8', 400]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['generated mix 17', [[['K1', 'S2', 'S6', 5, 20, 20], ['K2', 'S7', 'S1', 10, 50, 30]], 50, 3], [['K2', 'S1', 200]]], ['generated mix 25', [[['K1', 'S3', 'S6', 10, 10, 5], ['K3', 'S7', 'S1', 10, 50, 5], ['K2', 'S3', 'S4', 40, 50, 20]], 200, 2], [['K2', 'S4', 1200], ['K3', 'S1', 450]]], ['generated mix 33', [[['K3', 'S5', 'S3', 40, 50, 5], ['K2', 'S4', 'S6', 10, 20, 10], ['K4', 'S5', 'S2', 5, 50, 5], ['K4', 'S6', 'S3', 5, 20, 40], ['K4', 'S4', 'S6', 40, 30, 30]], 200, 2], [['K3', 'S3', 1800], ['K4', 'S2', 225]]]], [['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['threshold equal kept', [[['A', 'S1', 'S9', 10, 30, 20]], 100, 5], [['A', 'S9', 100]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 20', [[['K1', 'S3', 'S7', 5, 50, 40], ['K3', 'S4', 'S5', 20, 10, 10], ['K2', 'S6', 'S5', 5, 30, 30], ['K3', 'S2', 'S5', 40, 50, 20], ['K4', 'S5', 'S7', 10, 10, 30], ['K2', 'S5', 'S4', 40, 30, 5]], 0, 1], [['K1', 'S7', 50]]], ['generated mix 28', [[['K3', 'S4', 'S2', 10, 50, 30], ['K2', 'S1', 'S3', 10, 50, 30], ['K4', 'S1', 'S2', 20, 50, 5]], 400, 2], [['K4', 'S2', 900]]], ['generated mix 36', [[['K3', 'S5', 'S2', 40, 30, 10]], 100, 3], [['K3', 'S2', 800]]], ['generated mix 44', [[['K3', 'S5', 'S2', 40, 20, 30], ['K3', 'S6', 'S2', 5, 50, 5], ['K3', 'S2', 'S3', 10, 20, 20], ['K4', 'S3', 'S1', 20, 50, 20], ['K4', 'S7', 'S1', 10, 30, 5]], 0, 2], [['K4', 'S1', 600], ['K3', 'S3', 0]]]], [['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['chain into vacated', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 400], ['B', 'S1', 300]]], ['sku once', [[['A', 'S1', 'S8', 10, 50, 10], ['A', 'S1', 'S9', 10, 50, 20]], 0, 5], [['A', 'S8', 400]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 31', [[['K4', 'S4', 'S2', 10, 10, 5]], 200, 1], []], ['generated mix 39', [[['K3', 'S1', 'S2', 40, 50, 40], ['K1', 'S2', 'S7', 20, 30, 30]], 50, 1], []], ['generated mix 47', [[['K2', 'S2', 'S5', 40, 30, 40]], 100, 2], []], ['generated mix 55', [[['K2', 'S2', 'S5', 20, 10, 10], ['K1', 'S2', 'S5', 20, 30, 10], ['K4', 'S2', 'S1', 5, 30, 30], ['K2', 'S6', 'S4', 5, 30, 40]], 100, 1], [['K1', 'S5', 400]]]], [['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['threshold equal kept', [[['A', 'S1', 'S9', 10, 30, 20]], 100, 5], [['A', 'S9', 100]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 42', [[['K3', 'S7', 'S2', 10, 20, 40], ['K1', 'S6', 'S2', 10, 20, 20], ['K2', 'S5', 'S2', 20, 30, 20], ['K4', 'S7', 'S4', 40, 50, 30]], 200, 2], [['K4', 'S4', 800], ['K2', 'S2', 200]]], ['generated mix 50', [[['K4', 'S4', 'S7', 40, 50, 5], ['K3', 'S3', 'S4', 5, 50, 10], ['K1', 'S1', 'S4', 5, 30, 40], ['K1', 'S2', 'S3', 5, 10, 20], ['K1', 'S7', 'S6', 5, 10, 40]], 50, 1], []], ['generated mix 58', [[['K1', 'S7', 'S4', 20, 50, 40], ['K1', 'S4', 'S7', 20, 20, 20]], 0, 3], []], ['generated mix 66', [[['K3', 'S4', 'S7', 10, 20, 40], ['K1', 'S2', 'S5', 20, 10, 10], ['K4', 'S6', 'S7', 10, 20, 20], ['K1', 'S2', 'S1', 20, 10, 20]], 200, 1], []]]]\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":"865c7ae168f626df19175c8977bd880c7e294eb0601aaa0f50a3123fd9fff062","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cands, move_cost, max_moves):\n    occupied = {c[1] for c in cands}\n    ranked = []\n    for sku, frm, to, picks, tf, tt in cands:\n        benefit = picks * (tf - tt)\n        if benefit >= move_cost:\n            ranked.append((-benefit, sku, frm, to))\n    ranked.sort()\n    plan = []\n    moved = set()\n    targets = set()\n    vacated = set()\n    for nb, sku, frm, to in ranked:\n        if len(plan) >= max_moves:\n            break\n        if sku in moved:\n            continue\n        if to in occupied and to not in vacated:\n            continue\n        plan.append([sku, to, -nb])\n        moved.add(sku)\n        targets.add(to)\n        vacated.add(frm)\n    return plan\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['threshold equal kept', [[['A', 'S1', 'S9', 10, 30, 20]], 100, 5], [['A', 'S9', 100]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 6', [[['K3', 'S1', 'S3', 20, 50, 10], ['K3', 'S4', 'S7', 40, 50, 40]], 400, 2], [['K3', 'S3', 800]]], ['generated mix 14', [[['K3', 'S7', 'S4', 10, 10, 30], ['K4', 'S6', 'S3', 10, 50, 5], ['K2', 'S5', 'S6', 5, 30, 10]], 200, 3], [['K4', 'S3', 450]]], ['generated mix 22', [[['K1', 'S2', 'S1', 20, 30, 40]], 400, 1], []]], [['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['chain into vacated', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 400], ['B', 'S1', 300]]], ['sku once', [[['A', 'S1', 'S8', 10, 50, 10], ['A', 'S1', 'S9', 10, 50, 20]], 0, 5], [['A', 'S8', 400]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['generated mix 17', [[['K1', 'S2', 'S6', 5, 20, 20], ['K2', 'S7', 'S1', 10, 50, 30]], 50, 3], [['K2', 'S1', 200]]], ['generated mix 25', [[['K1', 'S3', 'S6', 10, 10, 5], ['K3', 'S7', 'S1', 10, 50, 5], ['K2', 'S3', 'S4', 40, 50, 20]], 200, 2], [['K2', 'S4', 1200], ['K3', 'S1', 450]]], ['generated mix 33', [[['K3', 'S5', 'S3', 40, 50, 5], ['K2', 'S4', 'S6', 10, 20, 10], ['K4', 'S5', 'S2', 5, 50, 5], ['K4', 'S6', 'S3', 5, 20, 40], ['K4', 'S4', 'S6', 40, 30, 30]], 200, 2], [['K3', 'S3', 1800], ['K4', 'S2', 225]]]], [['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['threshold equal kept', [[['A', 'S1', 'S9', 10, 30, 20]], 100, 5], [['A', 'S9', 100]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 20', [[['K1', 'S3', 'S7', 5, 50, 40], ['K3', 'S4', 'S5', 20, 10, 10], ['K2', 'S6', 'S5', 5, 30, 30], ['K3', 'S2', 'S5', 40, 50, 20], ['K4', 'S5', 'S7', 10, 10, 30], ['K2', 'S5', 'S4', 40, 30, 5]], 0, 1], [['K1', 'S7', 50]]], ['generated mix 28', [[['K3', 'S4', 'S2', 10, 50, 30], ['K2', 'S1', 'S3', 10, 50, 30], ['K4', 'S1', 'S2', 20, 50, 5]], 400, 2], [['K4', 'S2', 900]]], ['generated mix 36', [[['K3', 'S5', 'S2', 40, 30, 10]], 100, 3], [['K3', 'S2', 800]]], ['generated mix 44', [[['K3', 'S5', 'S2', 40, 20, 30], ['K3', 'S6', 'S2', 5, 50, 5], ['K3', 'S2', 'S3', 10, 20, 20], ['K4', 'S3', 'S1', 20, 50, 20], ['K4', 'S7', 'S1', 10, 30, 5]], 0, 2], [['K4', 'S1', 600], ['K3', 'S3', 0]]]], [['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['chain into vacated', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 400], ['B', 'S1', 300]]], ['sku once', [[['A', 'S1', 'S8', 10, 50, 10], ['A', 'S1', 'S9', 10, 50, 20]], 0, 5], [['A', 'S8', 400]]], ['negative benefit', [[['A', 'S1', 'S9', 10, 20, 30]], 0, 5], []], ['generated mix 31', [[['K4', 'S4', 'S2', 10, 10, 5]], 200, 1], []], ['generated mix 39', [[['K3', 'S1', 'S2', 40, 50, 40], ['K1', 'S2', 'S7', 20, 30, 30]], 50, 1], []], ['generated mix 47', [[['K2', 'S2', 'S5', 40, 30, 40]], 100, 2], []], ['generated mix 55', [[['K2', 'S2', 'S5', 20, 10, 10], ['K1', 'S2', 'S5', 20, 30, 10], ['K4', 'S2', 'S1', 5, 30, 30], ['K2', 'S6', 'S4', 5, 30, 40]], 100, 1], [['K1', 'S5', 400]]]], [['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['threshold equal kept', [[['A', 'S1', 'S9', 10, 30, 20]], 100, 5], [['A', 'S9', 100]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 42', [[['K3', 'S7', 'S2', 10, 20, 40], ['K1', 'S6', 'S2', 10, 20, 20], ['K2', 'S5', 'S2', 20, 30, 20], ['K4', 'S7', 'S4', 40, 50, 30]], 200, 2], [['K4', 'S4', 800], ['K2', 'S2', 200]]], ['generated mix 50', [[['K4', 'S4', 'S7', 40, 50, 5], ['K3', 'S3', 'S4', 5, 50, 10], ['K1', 'S1', 'S4', 5, 30, 40], ['K1', 'S2', 'S3', 5, 10, 20], ['K1', 'S7', 'S6', 5, 10, 40]], 50, 1], []], ['generated mix 58', [[['K1', 'S7', 'S4', 20, 50, 40], ['K1', 'S4', 'S7', 20, 20, 20]], 0, 3], []], ['generated mix 66', [[['K3', 'S4', 'S7', 10, 20, 40], ['K1', 'S2', 'S5', 20, 10, 10], ['K4', 'S6', 'S7', 10, 20, 20], ['K1', 'S2', 'S1', 20, 10, 20]], 200, 1], []]]]\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":"Greedy stipulated planner; no swap sequencing or labour scheduling. 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-reslot-plan-target-uniqueness","generated_at":"2026-09-29T14:52:10.919063+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Periodic re-slotting moves SKUs whose velocity changed toward better locations.","root_cause":"Destinations of accepted moves are not checked for reuse.","sha256":"9297fb3087c80277bdfdf42590643a97dedddd650cf3a60744552614c88e102a","title":"Re-slot plan: two SKUs sent to one slot · 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.599,"exit_code":1,"observations":[{"actual":[["A","S9",400],["B","S9",300]],"check":"shared target","expected":[["A","S9",400]],"passed":false},{"actual":[["A","S9",100]],"check":"threshold equal kept","expected":[["A","S9",100]],"passed":true},{"actual":[["A","S8",400]],"check":"limit","expected":[["A","S8",400]],"passed":true},{"actual":[["A","S9",200]],"check":"occupied target","expected":[["A","S9",200]],"passed":true},{"actual":[],"check":"negative benefit","expected":[],"passed":true},{"actual":[["K3","S3",800]],"check":"generated mix 6","expected":[["K3","S3",800]],"passed":true},{"actual":[["K4","S3",450]],"check":"generated mix 14","expected":[["K4","S3",450]],"passed":true},{"actual":[],"check":"generated mix 22","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"shared target\", \"actual\": [[\"A\", \"S9\", 400], [\"B\", \"S9\", 300]], \"expected\": [[\"A\", \"S9\", 400]], \"passed\": false}, {\"check\": \"threshold equal kept\", \"actual\": [[\"A\", \"S9\", 100]], \"expected\": [[\"A\", \"S9\", 100]], \"passed\": true}, {\"check\": \"limit\", \"actual\": [[\"A\", \"S8\", 400]], \"expected\": [[\"A\", \"S8\", 400]], \"passed\": true}, {\"check\": \"occupied target\", \"actual\": [[\"A\", \"S9\", 200]], \"expected\": [[\"A\", \"S9\", 200]], \"passed\": true}, {\"check\": \"negative benefit\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"generated mix 6\", \"actual\": [[\"K3\", \"S3\", 800]], \"expected\": [[\"K3\", \"S3\", 800]], \"passed\": true}, {\"check\": \"generated mix 14\", \"actual\": [[\"K4\", \"S3\", 450]], \"expected\": [[\"K4\", \"S3\", 450]], \"passed\": true}, {\"check\": \"generated mix 22\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.626,"exit_code":1,"observations":[{"actual":[["A","S9",400],["B","S9",300]],"check":"shared target","expected":[["A","S9",400]],"passed":false},{"actual":[["A","S9",100]],"check":"threshold equal kept","expected":[["A","S9",100]],"passed":true},{"actual":[["A","S8",400]],"check":"limit","expected":[["A","S8",400]],"passed":true},{"actual":[["A","S9",200]],"check":"occupied target","expected":[["A","S9",200]],"passed":true},{"actual":[],"check":"negative benefit","expected":[],"passed":true},{"actual":[["K3","S3",800]],"check":"generated mix 6","expected":[["K3","S3",800]],"passed":true},{"actual":[["K4","S3",450]],"check":"generated mix 14","expected":[["K4","S3",450]],"passed":true},{"actual":[],"check":"generated mix 22","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"shared target\", \"actual\": [[\"A\", \"S9\", 400], [\"B\", \"S9\", 300]], \"expected\": [[\"A\", \"S9\", 400]], \"passed\": false}, {\"check\": \"threshold equal kept\", \"actual\": [[\"A\", \"S9\", 100]], \"expected\": [[\"A\", \"S9\", 100]], \"passed\": true}, {\"check\": \"limit\", \"actual\": [[\"A\", \"S8\", 400]], \"expected\": [[\"A\", \"S8\", 400]], \"passed\": true}, {\"check\": \"occupied target\", \"actual\": [[\"A\", \"S9\", 200]], \"expected\": [[\"A\", \"S9\", 200]], \"passed\": true}, {\"check\": \"negative benefit\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"generated mix 6\", \"actual\": [[\"K3\", \"S3\", 800]], \"expected\": [[\"K3\", \"S3\", 800]], \"passed\": true}, {\"check\": \"generated mix 14\", \"actual\": [[\"K4\", \"S3\", 450]], \"expected\": [[\"K4\", \"S3\", 450]], \"passed\": true}, {\"check\": \"generated mix 22\", \"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."}}