{"abstract":"Locations in aisle 40 are rejected as invalid.","category":"Warehouse slotting and bin packing","checks":8,"contract":"codes \"aisle-bay-level\" with decimal parts and optional surrounding whitespace. Valid aisles 1-40, levels 1-6. Canonical form \"AA-BB-L\" (two-digit aisle and bay). Duplicates collapse. Sequence: aisles ascending; odd aisles walk bays ascending, even aisles descending; level ascending within a bay. Invalid codes are returned as given, sorted, duplicates kept. Return [sequence, invalid].","contract_signature":"codes","evaluation_group":"w2-warehouse-slotting-pick-sequence","failed_approach":"Opening the lower bound accepts aisle 0, which does not exist.","family":"w2-warehouse-slotting-pick-sequence-range-limits","id":"FA-95241","implementations":{"attempt":{"sha256":"1f3915e449e80257a8fb34d56c973dd1fcf085ed29c9caf6727d47ac65b587a0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(codes):\n    seq = {}\n    bad = []\n    for code in codes:\n        parts = code.strip().split('-')\n        if len(parts) != 3 or not all(p.isdecimal() for p in parts):\n            bad.append(code)\n            continue\n        a, b, l = (int(p) for p in parts)\n        if not (0 <= a <= 40 and 1 <= l <= 6):\n            bad.append(code)\n            continue\n        seq[(a, b, l)] = '%02d-%02d-%d' % (a, b, l)\n    def walk(k):\n        a, b, l = k\n        return (a, b if a % 2 == 1 else -b, l)\n    return [[seq[k] for k in sorted(seq, key=walk)], sorted(bad)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['range limits', [['40-1-6', '41-1-1', '1-1-7', '0-1-1']], [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']]], ['generated mix 3', [['\\t1 -05-2\\n', '\\t0 -1-1 ', '0-7-6', '40 -1-7']], [[], ['\\t0 -1-1 ', '\\t1 -05-2\\n', '0-7-6', '40 -1-7']]], ['serpentine', [['2-01-1', '1-05-1', '2-09-1', '1-02-1']], [['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]], ['whitespace', [[' 1-1-1\\n', '\\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['generated mix 7', [['\\t2-05-0', '\\t3-7-2\\n', 'X 0-7-0', ' 01-05-7', 'X 2-7-0 ', '\\t01-12-2', '1-12-7 ']], [['01-12-2', '03-07-2'], ['\\t2-05-0', ' 01-05-7', '1-12-7 ', 'X 0-7-0', 'X 2-7-0 ']]], ['generated mix 15', [['\\t41-12-2', ' 40-1-2 ', '\\t2-7-1\\n']], [['02-07-1', '40-01-2'], ['\\t41-12-2']]]], [['generated mix 27', [['40-7-1', '03-05-6\\n', '\\t1 -12-6', '\\t2-7-7 ', 'X\\t2-05-0']], [['03-05-6', '40-07-1'], ['\\t1 -12-6', '\\t2-7-7 ', 'X\\t2-05-0']]], ['generated mix 37', [['0-12-2\\n', '02-7-6', '2-7-6 ', ' 1-05-2', '\\t40-12-0', '\\t1-12-2\\n', '01-7-6 ']], [['01-05-2', '01-07-6', '01-12-2', '02-07-6'], ['\\t40-12-0', '0-12-2\\n']]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['serpentine', [['2-01-1', '1-05-1', '2-09-1', '1-02-1']], [['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]], ['whitespace', [[' 1-1-1\\n', '\\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['generated mix 9', [['2-7-1', '2-1-2', '1-12-2\\n']], [['01-12-2', '02-07-1', '02-01-2'], []]], ['generated mix 17', [['\\t02-7-1', ' 2-12-2', '03-12-2']], [['02-12-2', '02-07-1', '03-12-2'], []]]], [['generated mix 60', [['0-12-7', '\\t01-7-1', '\\t01-1-1\\n', ' 40-7-1 ', 'X1-05-0\\n']], [['01-01-1', '01-07-1', '40-07-1'], ['0-12-7', 'X1-05-0\\n']]], ['generated mix 61', [['\\t1-7-1', ' 41-1-0\\n', '\\t0-1-1', '2-1-7 ', '03 -7-1', '3-1-0']], [['01-07-1'], ['\\t0-1-1', ' 41-1-0\\n', '03 -7-1', '2-1-7 ', '3-1-0']]], ['dedupe canonical', [['01-01-1', '1-1-1']], [['01-01-1'], []]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['generated mix 20', [['03-7-0', ' 40-7-0 ']], [[], [' 40-7-0 ', '03-7-0']]], ['generated mix 28', [['\\t41-12-1\\n', ' 2-12-2\\n', '0-1-6 ', 'X\\t1-05-7 ', ' 1 -12-6\\n']], [['02-12-2'], ['\\t41-12-1\\n', ' 1 -12-6\\n', '0-1-6 ', 'X\\t1-05-7 ']]]], [['generated mix 14', [['1-1-1 ', ' 1-1-7\\n', '\\t40-12-6', '\\t2-1-1', ' 1-1-7\\n', '40-05-2 ', '01-1-7 ']], [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\\n', ' 1-1-7\\n', '01-1-7 ']]], ['generated mix 22', [[' 0-12-1', '3-12-0 ', 'X 01-7-1\\n', '\\t3-7-6 ', '3-12-1', ' 40-12-6 ', '\\t03-7-7']], [['03-07-6', '03-12-1', '40-12-6'], ['\\t03-7-7', ' 0-12-1', '3-12-0 ', 'X 01-7-1\\n']]], ['whitespace', [[' 1-1-1\\n', '\\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['range limits', [['40-1-6', '41-1-1', '1-1-7', '0-1-1']], [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']]], ['dedupe canonical', [['01-01-1', '1-1-1']], [['01-01-1'], []]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['generated mix 33', [[' 01-1-2\\n', ' 1-05-1 ', '\\t01-12-7\\n', ' 41-7-7 ', ' 41-1-6\\n']], [['01-01-2', '01-05-1'], ['\\t01-12-7\\n', ' 41-1-6\\n', ' 41-7-7 ']]], ['generated mix 41', [[' 2-12-1 ', '40-7-1\\n', '\\t03-1-2\\n', '\\t40-1-6\\n', '01-7-6', '\\t1-7-0\\n']], [['01-07-6', '02-12-1', '03-01-2', '40-07-1', '40-01-6'], ['\\t1-7-0\\n']]]], [['generated mix 41', [[' 2-12-1 ', '40-7-1\\n', '\\t03-1-2\\n', '\\t40-1-6\\n', '01-7-6', '\\t1-7-0\\n']], [['01-07-6', '02-12-1', '03-01-2', '40-07-1', '40-01-6'], ['\\t1-7-0\\n']]], ['generated mix 42', [['40-12-0\\n', 'X 40-12-7', '\\t02-7-2', ' 3-12-6\\n', '40-05-2\\n', ' 41-12-2 ', '0-7-2\\n']], [['02-07-2', '03-12-6', '40-05-2'], [' 41-12-2 ', '0-7-2\\n', '40-12-0\\n', 'X 40-12-7']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['serpentine', [['2-01-1', '1-05-1', '2-09-1', '1-02-1']], [['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]], ['whitespace', [[' 1-1-1\\n', '\\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['range limits', [['40-1-6', '41-1-1', '1-1-7', '0-1-1']], [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']]], ['generated mix 44', [['\\t3 -12-2\\n', ' 3-1-7', ' 40-7-6\\n']], [['40-07-6'], ['\\t3 -12-2\\n', ' 3-1-7']]], ['generated mix 52', [['1-1-7', '1-05-6', '03-7-2', '\\t1-12-2 ', 'X\\t0-7-2 ', '40-1-7', '\\t1 -05-1 ']], [['01-05-6', '01-12-2', '03-07-2'], ['\\t1 -05-1 ', '1-1-7', '40-1-7', 'X\\t0-7-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":"bc410839bb8f6615c6dac9d15de950fd9052d0522633334eaffedec7aa39bbff","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(codes):\n    seq = {}\n    bad = []\n    for code in codes:\n        parts = code.strip().split('-')\n        if len(parts) != 3 or not all(p.isdecimal() for p in parts):\n            bad.append(code)\n            continue\n        a, b, l = (int(p) for p in parts)\n        if not (1 <= a < 40 and 1 <= l <= 6):\n            bad.append(code)\n            continue\n        seq[(a, b, l)] = '%02d-%02d-%d' % (a, b, l)\n    def walk(k):\n        a, b, l = k\n        return (a, b if a % 2 == 1 else -b, l)\n    return [[seq[k] for k in sorted(seq, key=walk)], sorted(bad)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['range limits', [['40-1-6', '41-1-1', '1-1-7', '0-1-1']], [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']]], ['generated mix 3', [['\\t1 -05-2\\n', '\\t0 -1-1 ', '0-7-6', '40 -1-7']], [[], ['\\t0 -1-1 ', '\\t1 -05-2\\n', '0-7-6', '40 -1-7']]], ['serpentine', [['2-01-1', '1-05-1', '2-09-1', '1-02-1']], [['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]], ['whitespace', [[' 1-1-1\\n', '\\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['generated mix 7', [['\\t2-05-0', '\\t3-7-2\\n', 'X 0-7-0', ' 01-05-7', 'X 2-7-0 ', '\\t01-12-2', '1-12-7 ']], [['01-12-2', '03-07-2'], ['\\t2-05-0', ' 01-05-7', '1-12-7 ', 'X 0-7-0', 'X 2-7-0 ']]], ['generated mix 15', [['\\t41-12-2', ' 40-1-2 ', '\\t2-7-1\\n']], [['02-07-1', '40-01-2'], ['\\t41-12-2']]]], [['generated mix 27', [['40-7-1', '03-05-6\\n', '\\t1 -12-6', '\\t2-7-7 ', 'X\\t2-05-0']], [['03-05-6', '40-07-1'], ['\\t1 -12-6', '\\t2-7-7 ', 'X\\t2-05-0']]], ['generated mix 37', [['0-12-2\\n', '02-7-6', '2-7-6 ', ' 1-05-2', '\\t40-12-0', '\\t1-12-2\\n', '01-7-6 ']], [['01-05-2', '01-07-6', '01-12-2', '02-07-6'], ['\\t40-12-0', '0-12-2\\n']]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['serpentine', [['2-01-1', '1-05-1', '2-09-1', '1-02-1']], [['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]], ['whitespace', [[' 1-1-1\\n', '\\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['generated mix 9', [['2-7-1', '2-1-2', '1-12-2\\n']], [['01-12-2', '02-07-1', '02-01-2'], []]], ['generated mix 17', [['\\t02-7-1', ' 2-12-2', '03-12-2']], [['02-12-2', '02-07-1', '03-12-2'], []]]], [['generated mix 60', [['0-12-7', '\\t01-7-1', '\\t01-1-1\\n', ' 40-7-1 ', 'X1-05-0\\n']], [['01-01-1', '01-07-1', '40-07-1'], ['0-12-7', 'X1-05-0\\n']]], ['generated mix 61', [['\\t1-7-1', ' 41-1-0\\n', '\\t0-1-1', '2-1-7 ', '03 -7-1', '3-1-0']], [['01-07-1'], ['\\t0-1-1', ' 41-1-0\\n', '03 -7-1', '2-1-7 ', '3-1-0']]], ['dedupe canonical', [['01-01-1', '1-1-1']], [['01-01-1'], []]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['inner space invalid', [['1 -1-1', '1-1-1']], [['01-01-1'], ['1 -1-1']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['generated mix 20', [['03-7-0', ' 40-7-0 ']], [[], [' 40-7-0 ', '03-7-0']]], ['generated mix 28', [['\\t41-12-1\\n', ' 2-12-2\\n', '0-1-6 ', 'X\\t1-05-7 ', ' 1 -12-6\\n']], [['02-12-2'], ['\\t41-12-1\\n', ' 1 -12-6\\n', '0-1-6 ', 'X\\t1-05-7 ']]]], [['generated mix 14', [['1-1-1 ', ' 1-1-7\\n', '\\t40-12-6', '\\t2-1-1', ' 1-1-7\\n', '40-05-2 ', '01-1-7 ']], [['01-01-1', '02-01-1', '40-12-6', '40-05-2'], [' 1-1-7\\n', ' 1-1-7\\n', '01-1-7 ']]], ['generated mix 22', [[' 0-12-1', '3-12-0 ', 'X 01-7-1\\n', '\\t3-7-6 ', '3-12-1', ' 40-12-6 ', '\\t03-7-7']], [['03-07-6', '03-12-1', '40-12-6'], ['\\t03-7-7', ' 0-12-1', '3-12-0 ', 'X 01-7-1\\n']]], ['whitespace', [[' 1-1-1\\n', '\\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['range limits', [['40-1-6', '41-1-1', '1-1-7', '0-1-1']], [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']]], ['dedupe canonical', [['01-01-1', '1-1-1']], [['01-01-1'], []]], ['levels ascend', [['3-4-2', '3-4-1']], [['03-04-1', '03-04-2'], []]], ['generated mix 33', [[' 01-1-2\\n', ' 1-05-1 ', '\\t01-12-7\\n', ' 41-7-7 ', ' 41-1-6\\n']], [['01-01-2', '01-05-1'], ['\\t01-12-7\\n', ' 41-1-6\\n', ' 41-7-7 ']]], ['generated mix 41', [[' 2-12-1 ', '40-7-1\\n', '\\t03-1-2\\n', '\\t40-1-6\\n', '01-7-6', '\\t1-7-0\\n']], [['01-07-6', '02-12-1', '03-01-2', '40-07-1', '40-01-6'], ['\\t1-7-0\\n']]]], [['generated mix 41', [[' 2-12-1 ', '40-7-1\\n', '\\t03-1-2\\n', '\\t40-1-6\\n', '01-7-6', '\\t1-7-0\\n']], [['01-07-6', '02-12-1', '03-01-2', '40-07-1', '40-01-6'], ['\\t1-7-0\\n']]], ['generated mix 42', [['40-12-0\\n', 'X 40-12-7', '\\t02-7-2', ' 3-12-6\\n', '40-05-2\\n', ' 41-12-2 ', '0-7-2\\n']], [['02-07-2', '03-12-6', '40-05-2'], [' 41-12-2 ', '0-7-2\\n', '40-12-0\\n', 'X 40-12-7']]], ['dup invalid kept', [['B', 'A', 'B']], [[], ['A', 'B', 'B']]], ['serpentine', [['2-01-1', '1-05-1', '2-09-1', '1-02-1']], [['01-02-1', '01-05-1', '02-09-1', '02-01-1'], []]], ['whitespace', [[' 1-1-1\\n', '\\t1-2-1']], [['01-01-1', '01-02-1'], []]], ['range limits', [['40-1-6', '41-1-1', '1-1-7', '0-1-1']], [['40-01-6'], ['0-1-1', '1-1-7', '41-1-1']]], ['generated mix 44', [['\\t3 -12-2\\n', ' 3-1-7', ' 40-7-6\\n']], [['40-07-6'], ['\\t3 -12-2\\n', ' 3-1-7']]], ['generated mix 52', [['1-1-7', '1-05-6', '03-7-2', '\\t1-12-2 ', 'X\\t0-7-2 ', '40-1-7', '\\t1 -05-1 ']], [['01-05-6', '01-12-2', '03-07-2'], ['\\t1 -05-1 ', '1-1-7', '40-1-7', 'X\\t0-7-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":"Stipulated code format and layout; no cross aisles or zone routing. 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-pick-sequence-range-limits","generated_at":"2026-09-29T14:52:11.838144+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Pick paths are sequenced from location codes in a serpentine walk.","root_cause":"The aisle upper bound excludes 40.","sha256":"a45672351c3884c643d376ebb0f44ba539c493a231e22b7100e32eb6c6166a0c","title":"Pick sequence: last aisle rejected · 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.411,"exit_code":1,"observations":[{"actual":[["00-01-1","40-01-6"],["1-1-7","41-1-1"]],"check":"range limits","expected":[["40-01-6"],["0-1-1","1-1-7","41-1-1"]],"passed":false},{"actual":[["00-07-6"],["\t0 -1-1 ","\t1 -05-2\n","40 -1-7"]],"check":"generated mix 3","expected":[[],["\t0 -1-1 ","\t1 -05-2\n","0-7-6","40 -1-7"]],"passed":false},{"actual":[["01-02-1","01-05-1","02-09-1","02-01-1"],[]],"check":"serpentine","expected":[["01-02-1","01-05-1","02-09-1","02-01-1"],[]],"passed":true},{"actual":[["01-01-1","01-02-1"],[]],"check":"whitespace","expected":[["01-01-1","01-02-1"],[]],"passed":true},{"actual":[[],["A","B","B"]],"check":"dup invalid kept","expected":[[],["A","B","B"]],"passed":true},{"actual":[["03-04-1","03-04-2"],[]],"check":"levels ascend","expected":[["03-04-1","03-04-2"],[]],"passed":true},{"actual":[["01-12-2","03-07-2"],["\t2-05-0"," 01-05-7","1-12-7 ","X 0-7-0","X 2-7-0 "]],"check":"generated mix 7","expected":[["01-12-2","03-07-2"],["\t2-05-0"," 01-05-7","1-12-7 ","X 0-7-0","X 2-7-0 "]],"passed":true},{"actual":[["02-07-1","40-01-2"],["\t41-12-2"]],"check":"generated mix 15","expected":[["02-07-1","40-01-2"],["\t41-12-2"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"range limits\", \"actual\": [[\"00-01-1\", \"40-01-6\"], [\"1-1-7\", \"41-1-1\"]], \"expected\": [[\"40-01-6\"], [\"0-1-1\", \"1-1-7\", \"41-1-1\"]], \"passed\": false}, {\"check\": \"generated mix 3\", \"actual\": [[\"00-07-6\"], [\"\\t0 -1-1 \", \"\\t1 -05-2\\n\", \"40 -1-7\"]], \"expected\": [[], [\"\\t0 -1-1 \", \"\\t1 -05-2\\n\", \"0-7-6\", \"40 -1-7\"]], \"passed\": false}, {\"check\": \"serpentine\", \"actual\": [[\"01-02-1\", \"01-05-1\", \"02-09-1\", \"02-01-1\"], []], \"expected\": [[\"01-02-1\", \"01-05-1\", \"02-09-1\", \"02-01-1\"], []], \"passed\": true}, {\"check\": \"whitespace\", \"actual\": [[\"01-01-1\", \"01-02-1\"], []], \"expected\": [[\"01-01-1\", \"01-02-1\"], []], \"passed\": true}, {\"check\": \"dup invalid kept\", \"actual\": [[], [\"A\", \"B\", \"B\"]], \"expected\": [[], [\"A\", \"B\", \"B\"]], \"passed\": true}, {\"check\": \"levels ascend\", \"actual\": [[\"03-04-1\", \"03-04-2\"], []], \"expected\": [[\"03-04-1\", \"03-04-2\"], []], \"passed\": true}, {\"check\": \"generated mix 7\", \"actual\": [[\"01-12-2\", \"03-07-2\"], [\"\\t2-05-0\", \" 01-05-7\", \"1-12-7 \", \"X 0-7-0\", \"X 2-7-0 \"]], \"expected\": [[\"01-12-2\", \"03-07-2\"], [\"\\t2-05-0\", \" 01-05-7\", \"1-12-7 \", \"X 0-7-0\", \"X 2-7-0 \"]], \"passed\": true}, {\"check\": \"generated mix 15\", \"actual\": [[\"02-07-1\", \"40-01-2\"], [\"\\t41-12-2\"]], \"expected\": [[\"02-07-1\", \"40-01-2\"], [\"\\t41-12-2\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.988,"exit_code":1,"observations":[{"actual":[[],["0-1-1","1-1-7","40-1-6","41-1-1"]],"check":"range limits","expected":[["40-01-6"],["0-1-1","1-1-7","41-1-1"]],"passed":false},{"actual":[[],["\t0 -1-1 ","\t1 -05-2\n","0-7-6","40 -1-7"]],"check":"generated mix 3","expected":[[],["\t0 -1-1 ","\t1 -05-2\n","0-7-6","40 -1-7"]],"passed":true},{"actual":[["01-02-1","01-05-1","02-09-1","02-01-1"],[]],"check":"serpentine","expected":[["01-02-1","01-05-1","02-09-1","02-01-1"],[]],"passed":true},{"actual":[["01-01-1","01-02-1"],[]],"check":"whitespace","expected":[["01-01-1","01-02-1"],[]],"passed":true},{"actual":[[],["A","B","B"]],"check":"dup invalid kept","expected":[[],["A","B","B"]],"passed":true},{"actual":[["03-04-1","03-04-2"],[]],"check":"levels ascend","expected":[["03-04-1","03-04-2"],[]],"passed":true},{"actual":[["01-12-2","03-07-2"],["\t2-05-0"," 01-05-7","1-12-7 ","X 0-7-0","X 2-7-0 "]],"check":"generated mix 7","expected":[["01-12-2","03-07-2"],["\t2-05-0"," 01-05-7","1-12-7 ","X 0-7-0","X 2-7-0 "]],"passed":true},{"actual":[["02-07-1"],["\t41-12-2"," 40-1-2 "]],"check":"generated mix 15","expected":[["02-07-1","40-01-2"],["\t41-12-2"]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"range limits\", \"actual\": [[], [\"0-1-1\", \"1-1-7\", \"40-1-6\", \"41-1-1\"]], \"expected\": [[\"40-01-6\"], [\"0-1-1\", \"1-1-7\", \"41-1-1\"]], \"passed\": false}, {\"check\": \"generated mix 3\", \"actual\": [[], [\"\\t0 -1-1 \", \"\\t1 -05-2\\n\", \"0-7-6\", \"40 -1-7\"]], \"expected\": [[], [\"\\t0 -1-1 \", \"\\t1 -05-2\\n\", \"0-7-6\", \"40 -1-7\"]], \"passed\": true}, {\"check\": \"serpentine\", \"actual\": [[\"01-02-1\", \"01-05-1\", \"02-09-1\", \"02-01-1\"], []], \"expected\": [[\"01-02-1\", \"01-05-1\", \"02-09-1\", \"02-01-1\"], []], \"passed\": true}, {\"check\": \"whitespace\", \"actual\": [[\"01-01-1\", \"01-02-1\"], []], \"expected\": [[\"01-01-1\", \"01-02-1\"], []], \"passed\": true}, {\"check\": \"dup invalid kept\", \"actual\": [[], [\"A\", \"B\", \"B\"]], \"expected\": [[], [\"A\", \"B\", \"B\"]], \"passed\": true}, {\"check\": \"levels ascend\", \"actual\": [[\"03-04-1\", \"03-04-2\"], []], \"expected\": [[\"03-04-1\", \"03-04-2\"], []], \"passed\": true}, {\"check\": \"generated mix 7\", \"actual\": [[\"01-12-2\", \"03-07-2\"], [\"\\t2-05-0\", \" 01-05-7\", \"1-12-7 \", \"X 0-7-0\", \"X 2-7-0 \"]], \"expected\": [[\"01-12-2\", \"03-07-2\"], [\"\\t2-05-0\", \" 01-05-7\", \"1-12-7 \", \"X 0-7-0\", \"X 2-7-0 \"]], \"passed\": true}, {\"check\": \"generated mix 15\", \"actual\": [[\"02-07-1\"], [\"\\t41-12-2\", \" 40-1-2 \"]], \"expected\": [[\"02-07-1\", \"40-01-2\"], [\"\\t41-12-2\"]], \"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."}}