{"abstract":"A SKU is moved into a slot whose resident SKU is not being moved out.","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":"Treating every occupied slot as unavailable forbids legitimate chained moves into vacated slots.","family":"w2-warehouse-slotting-reslot-plan-occupied-target","id":"FA-95141","implementations":{"attempt":{"sha256":"920f7135d718345cd90c22a2be3c550cd9d130de1c4d90f90360bb9f693ba967","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 targets:\n            continue\n        if to in occupied:\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 = [[['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['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]]], ['chain into vacated', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 400], ['B', 'S1', 300]]], ['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 15', [[['K4', 'S4', 'S1', 10, 20, 20], ['K1', 'S2', 'S3', 10, 30, 5], ['K4', 'S4', 'S2', 20, 30, 20], ['K4', 'S1', 'S7', 40, 20, 20], ['K1', 'S3', 'S4', 5, 10, 30]], 200, 1], []]], [['generated mix 32', [[['K2', 'S5', 'S1', 10, 30, 5], ['K2', 'S1', 'S3', 5, 10, 40], ['K3', 'S5', 'S4', 20, 10, 10], ['K4', 'S3', 'S5', 10, 50, 40], ['K2', 'S4', 'S6', 40, 10, 40]], 0, 3], []], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['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]]], ['generated mix 10', [[['K3', 'S4', 'S3', 40, 10, 5], ['K4', 'S7', 'S3', 40, 10, 20], ['K4', 'S2', 'S7', 5, 30, 5], ['K3', 'S2', 'S5', 40, 10, 40], ['K3', 'S2', 'S7', 10, 50, 20]], 400, 3], []], ['generated mix 18', [[['K1', 'S4', 'S3', 5, 50, 30], ['K3', 'S7', 'S3', 10, 20, 5]], 400, 2], []]], [['generated mix 49', [[['K1', 'S2', 'S1', 5, 50, 10], ['K3', 'S1', 'S7', 5, 10, 10]], 200, 2], []], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['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], []], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 21', [[['K2', 'S6', 'S5', 5, 20, 10], ['K1', 'S3', 'S4', 40, 30, 20], ['K2', 'S4', 'S7', 40, 30, 20], ['K3', 'S1', 'S5', 10, 20, 10], ['K3', 'S5', 'S3', 40, 10, 5]], 200, 1], [['K2', 'S7', 400]]], ['generated mix 29', [[['K4', 'S6', 'S5', 40, 50, 20], ['K3', 'S6', 'S3', 20, 50, 40], ['K4', 'S6', 'S2', 20, 10, 40]], 200, 1], [['K4', 'S5', 1200]]]], [['generated mix 63', [[['K2', 'S7', 'S1', 20, 30, 40], ['K4', 'S2', 'S7', 40, 20, 5], ['K1', 'S4', 'S3', 10, 30, 5], ['K4', 'S2', 'S4', 20, 50, 40], ['K4', 'S6', 'S3', 5, 30, 30], ['K1', 'S3', 'S2', 5, 30, 20]], 200, 2], []], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 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 32', [[['K2', 'S5', 'S1', 10, 30, 5], ['K2', 'S1', 'S3', 5, 10, 40], ['K3', 'S5', 'S4', 20, 10, 10], ['K4', 'S3', 'S5', 10, 50, 40], ['K2', 'S4', 'S6', 40, 10, 40]], 0, 3], []], ['generated mix 40', [[['K3', 'S5', 'S2', 40, 10, 10]], 200, 3], []]], [['generated mix 3', [[['K1', 'S6', 'S3', 10, 30, 10], ['K1', 'S2', 'S5', 10, 50, 20], ['K2', 'S3', 'S4', 5, 30, 40], ['K4', 'S6', 'S4', 40, 20, 5], ['K1', 'S3', 'S6', 40, 50, 10], ['K3', 'S4', 'S7', 5, 20, 5]], 50, 3], [['K1', 'S5', 300], ['K3', 'S7', 75]]], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['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]]], ['chain into vacated', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 400], ['B', 'S1', 300]]], ['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]]], ['generated mix 52', [[['K1', 'S1', 'S2', 20, 10, 10], ['K1', 'S2', 'S5', 5, 10, 5]], 100, 2], []]]]\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":"3bd24ef66a906aa0721913cfaccd4ab301df8f01637fc9d1ebd922751e3bf29b","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 targets:\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 = [[['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['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]]], ['chain into vacated', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 400], ['B', 'S1', 300]]], ['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 15', [[['K4', 'S4', 'S1', 10, 20, 20], ['K1', 'S2', 'S3', 10, 30, 5], ['K4', 'S4', 'S2', 20, 30, 20], ['K4', 'S1', 'S7', 40, 20, 20], ['K1', 'S3', 'S4', 5, 10, 30]], 200, 1], []]], [['generated mix 32', [[['K2', 'S5', 'S1', 10, 30, 5], ['K2', 'S1', 'S3', 5, 10, 40], ['K3', 'S5', 'S4', 20, 10, 10], ['K4', 'S3', 'S5', 10, 50, 40], ['K2', 'S4', 'S6', 40, 10, 40]], 0, 3], []], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['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]]], ['generated mix 10', [[['K3', 'S4', 'S3', 40, 10, 5], ['K4', 'S7', 'S3', 40, 10, 20], ['K4', 'S2', 'S7', 5, 30, 5], ['K3', 'S2', 'S5', 40, 10, 40], ['K3', 'S2', 'S7', 10, 50, 20]], 400, 3], []], ['generated mix 18', [[['K1', 'S4', 'S3', 5, 50, 30], ['K3', 'S7', 'S3', 10, 20, 5]], 400, 2], []]], [['generated mix 49', [[['K1', 'S2', 'S1', 5, 50, 10], ['K3', 'S1', 'S7', 5, 10, 10]], 200, 2], []], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['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], []], ['shared target', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 5], [['A', 'S9', 400]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['generated mix 21', [[['K2', 'S6', 'S5', 5, 20, 10], ['K1', 'S3', 'S4', 40, 30, 20], ['K2', 'S4', 'S7', 40, 30, 20], ['K3', 'S1', 'S5', 10, 20, 10], ['K3', 'S5', 'S3', 40, 10, 5]], 200, 1], [['K2', 'S7', 400]]], ['generated mix 29', [[['K4', 'S6', 'S5', 40, 50, 20], ['K3', 'S6', 'S3', 20, 50, 40], ['K4', 'S6', 'S2', 20, 10, 40]], 200, 1], [['K4', 'S5', 1200]]]], [['generated mix 63', [[['K2', 'S7', 'S1', 20, 30, 40], ['K4', 'S2', 'S7', 40, 20, 5], ['K1', 'S4', 'S3', 10, 30, 5], ['K4', 'S2', 'S4', 20, 50, 40], ['K4', 'S6', 'S3', 5, 30, 30], ['K1', 'S3', 'S2', 5, 30, 20]], 200, 2], []], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['limit', [[['A', 'S1', 'S8', 10, 50, 10], ['B', 'S2', 'S9', 10, 40, 10]], 0, 1], [['A', 'S8', 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 32', [[['K2', 'S5', 'S1', 10, 30, 5], ['K2', 'S1', 'S3', 5, 10, 40], ['K3', 'S5', 'S4', 20, 10, 10], ['K4', 'S3', 'S5', 10, 50, 40], ['K2', 'S4', 'S6', 40, 10, 40]], 0, 3], []], ['generated mix 40', [[['K3', 'S5', 'S2', 40, 10, 10]], 200, 3], []]], [['generated mix 3', [[['K1', 'S6', 'S3', 10, 30, 10], ['K1', 'S2', 'S5', 10, 50, 20], ['K2', 'S3', 'S4', 5, 30, 40], ['K4', 'S6', 'S4', 40, 20, 5], ['K1', 'S3', 'S6', 40, 50, 10], ['K3', 'S4', 'S7', 5, 20, 5]], 50, 3], [['K1', 'S5', 300], ['K3', 'S7', 75]]], ['generated mix 9', [[['K1', 'S6', 'S1', 20, 20, 20], ['K3', 'S5', 'S6', 40, 20, 20]], 0, 3], [['K1', 'S1', 0], ['K3', 'S6', 0]]], ['occupied target', [[['A', 'S1', 'S9', 10, 30, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 200]]], ['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]]], ['chain into vacated', [[['A', 'S1', 'S9', 10, 50, 10], ['B', 'S2', 'S1', 10, 40, 10]], 0, 5], [['A', 'S9', 400], ['B', 'S1', 300]]], ['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]]], ['generated mix 52', [[['K1', 'S1', 'S2', 20, 10, 10], ['K1', 'S2', 'S5', 5, 10, 5]], 100, 2], []]]]\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-occupied-target","generated_at":"2026-09-29T14:52:11.035706+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":"The plan ignores that a target slot may still hold another candidate SKU.","sha256":"e74fcc217724cd56409881cfacdb726c648d585ce502c37bb67f4a4398966503","title":"Re-slot plan: move into a still-occupied 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":41.259,"exit_code":1,"observations":[{"actual":[["A","S9",200]],"check":"occupied target","expected":[["A","S9",200]],"passed":true},{"actual":[["K1","S1",0]],"check":"generated mix 9","expected":[["K1","S1",0],["K3","S6",0]],"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",400]],"check":"chain into vacated","expected":[["A","S9",400],["B","S1",300]],"passed":false},{"actual":[],"check":"negative benefit","expected":[],"passed":true},{"actual":[["K3","S3",800]],"check":"generated mix 6","expected":[["K3","S3",800]],"passed":true},{"actual":[],"check":"generated mix 15","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"occupied target\", \"actual\": [[\"A\", \"S9\", 200]], \"expected\": [[\"A\", \"S9\", 200]], \"passed\": true}, {\"check\": \"generated mix 9\", \"actual\": [[\"K1\", \"S1\", 0]], \"expected\": [[\"K1\", \"S1\", 0], [\"K3\", \"S6\", 0]], \"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\": \"chain into vacated\", \"actual\": [[\"A\", \"S9\", 400]], \"expected\": [[\"A\", \"S9\", 400], [\"B\", \"S1\", 300]], \"passed\": false}, {\"check\": \"negative benefit\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"generated mix 6\", \"actual\": [[\"K3\", \"S3\", 800]], \"expected\": [[\"K3\", \"S3\", 800]], \"passed\": true}, {\"check\": \"generated mix 15\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.771,"exit_code":1,"observations":[{"actual":[["B","S1",300],["A","S9",200]],"check":"occupied target","expected":[["A","S9",200]],"passed":false},{"actual":[["K1","S1",0],["K3","S6",0]],"check":"generated mix 9","expected":[["K1","S1",0],["K3","S6",0]],"passed":true},{"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",400],["B","S1",300]],"check":"chain into vacated","expected":[["A","S9",400],["B","S1",300]],"passed":true},{"actual":[],"check":"negative benefit","expected":[],"passed":true},{"actual":[["K3","S3",800]],"check":"generated mix 6","expected":[["K3","S3",800]],"passed":true},{"actual":[["K1","S3",250]],"check":"generated mix 15","expected":[],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"occupied target\", \"actual\": [[\"B\", \"S1\", 300], [\"A\", \"S9\", 200]], \"expected\": [[\"A\", \"S9\", 200]], \"passed\": false}, {\"check\": \"generated mix 9\", \"actual\": [[\"K1\", \"S1\", 0], [\"K3\", \"S6\", 0]], \"expected\": [[\"K1\", \"S1\", 0], [\"K3\", \"S6\", 0]], \"passed\": true}, {\"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\": \"chain into vacated\", \"actual\": [[\"A\", \"S9\", 400], [\"B\", \"S1\", 300]], \"expected\": [[\"A\", \"S9\", 400], [\"B\", \"S1\", 300]], \"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 15\", \"actual\": [[\"K1\", \"S3\", 250]], \"expected\": [], \"passed\": false}], \"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."}}