{"abstract":"An unordered voicing such as [72,64,67] is reported in root position instead of first inversion.","category":"Music interval and transposition theory","checks":8,"contract":"Input 3 or 4 MIDI integers in any order. The pitch-class set must match a template relative to some root (triads 047 037 036 048; sevenths 047t 037t 047e 036t 0369, t=10 e=11); roots are tried in ascending pitch-class order. The bass is the lowest MIDI note. Return [root_pc, figure] with figures \"\", \"6\", \"64\" for triads and \"7\", \"65\", \"43\", \"42\" for sevenths by the bass position in the template; otherwise None.","evaluation_group":"w2-music-interval-figured-bass","failed_approach":"Taking the lowest pitch class rather than the lowest pitch misreads inversions whose bass is not the smallest class.","family":"w2-music-interval-figured-bass-bass-selection","id":"FA-81321","implementations":{"attempt":{"sha256":"d06f7f4b8a83169c675dfa6b46fcfb2b9432ff411a8651d5249ce41b2be48905","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    if not isinstance(x, list) or not 3 <= len(x) <= 4 or not all(isinstance(v, int) for v in x):\n        return None\n    bass = min(v % 12 for v in x)\n    pcs = sorted(set(v % 12 for v in x))\n    for r in pcs:\n        rel = sorted((p - r) % 12 for p in pcs)\n        if rel in ([0, 4, 7], [0, 3, 7], [0, 3, 6], [0, 4, 8], [0, 4, 7, 10], [0, 3, 7, 10], [0, 4, 7, 11], [0, 3, 6, 10], [0, 3, 6, 9]):\n            pos = rel.index((bass - r) % 12)\n            figs = ['', '6', '64'] if len(rel) == 3 else ['7', '65', '43', '42']\n            return [r, figs[pos]]\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[([60, 64, 67], [0, '']), ([64, 67, 72], [0, '6']), ([72, 64, 67], [0, '6']), ([55, 59, 62, 65], [7, '7']), ([62, 65, 67, 71], [7, '43']), ([60, 64, 67, 72], [0, '']), ([48, 64, 67, 72], [0, '']), ([64, 60, 67], [0, ''])], [([67, 72, 76], [0, '64']), ([76, 60, 67], [0, '']), ([59, 62, 65, 67], [7, '65']), ([48, 64, 67, 72], [0, '']), ([60, 63, 66, 69], [0, '7']), ([62, 65, 68, 71], [2, '7']), ([60, 62, 67], None), ([71, 62, 65], [11, '6'])], [([72, 64, 67], [0, '6']), ([65, 67, 71, 74], [7, '42']), ([60, 62, 67], None), ([60, 64, 68], [0, '']), ([64, 60, 67], [0, '']), ([60, 61, 62], None), ([60, 64], None), ([63, 60, 66, 70], [0, '7'])], [([64, 67, 72], [0, '6']), ([67, 72, 76], [0, '64']), ([72, 64, 67], [0, '6']), ([55, 59, 62, 65], [7, '7']), ([59, 62, 65, 69], [11, '7']), ([71, 62, 65], [11, '6']), ([60, 64], None), ([60, 64, 67, 70, 74], None)], [([67, 72, 76], [0, '64']), ([72, 64, 67], [0, '6']), ([76, 60, 67], [0, '']), ([55, 59, 62, 65], [7, '7']), ([59, 62, 65, 67], [7, '65']), ([65, 67, 71, 74], [7, '42']), ([57, 60, 64], [9, '']), ([63, 60, 66, 70], [0, '7'])]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"oracle %d\" % i, 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":"8677f4387253808f49e2a2dcadc4e1f919f3f9b9a9909c6c5afcd172611a94b0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    if not isinstance(x, list) or not 3 <= len(x) <= 4 or not all(isinstance(v, int) for v in x):\n        return None\n    bass = x[0]\n    pcs = sorted(set(v % 12 for v in x))\n    for r in pcs:\n        rel = sorted((p - r) % 12 for p in pcs)\n        if rel in ([0, 4, 7], [0, 3, 7], [0, 3, 6], [0, 4, 8], [0, 4, 7, 10], [0, 3, 7, 10], [0, 4, 7, 11], [0, 3, 6, 10], [0, 3, 6, 9]):\n            pos = rel.index((bass - r) % 12)\n            figs = ['', '6', '64'] if len(rel) == 3 else ['7', '65', '43', '42']\n            return [r, figs[pos]]\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[([60, 64, 67], [0, '']), ([64, 67, 72], [0, '6']), ([72, 64, 67], [0, '6']), ([55, 59, 62, 65], [7, '7']), ([62, 65, 67, 71], [7, '43']), ([60, 64, 67, 72], [0, '']), ([48, 64, 67, 72], [0, '']), ([64, 60, 67], [0, ''])], [([67, 72, 76], [0, '64']), ([76, 60, 67], [0, '']), ([59, 62, 65, 67], [7, '65']), ([48, 64, 67, 72], [0, '']), ([60, 63, 66, 69], [0, '7']), ([62, 65, 68, 71], [2, '7']), ([60, 62, 67], None), ([71, 62, 65], [11, '6'])], [([72, 64, 67], [0, '6']), ([65, 67, 71, 74], [7, '42']), ([60, 62, 67], None), ([60, 64, 68], [0, '']), ([64, 60, 67], [0, '']), ([60, 61, 62], None), ([60, 64], None), ([63, 60, 66, 70], [0, '7'])], [([64, 67, 72], [0, '6']), ([67, 72, 76], [0, '64']), ([72, 64, 67], [0, '6']), ([55, 59, 62, 65], [7, '7']), ([59, 62, 65, 69], [11, '7']), ([71, 62, 65], [11, '6']), ([60, 64], None), ([60, 64, 67, 70, 74], None)], [([67, 72, 76], [0, '64']), ([72, 64, 67], [0, '6']), ([76, 60, 67], [0, '']), ([55, 59, 62, 65], [7, '7']), ([59, 62, 65, 67], [7, '65']), ([65, 67, 71, 74], [7, '42']), ([57, 60, 64], [9, '']), ([63, 60, 66, 70], [0, '7'])]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"oracle %d\" % i, 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":"bd6a492af337cac2070fe551f74ff68f6bfcf5ce6c239ac1b3348168f51671b8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    if not isinstance(x, list) or not 3 <= len(x) <= 4 or not all(isinstance(v, int) for v in x):\n        return None\n    bass = min(x)\n    pcs = sorted(set(v % 12 for v in x))\n    for r in pcs:\n        rel = sorted((p - r) % 12 for p in pcs)\n        if rel in ([0, 4, 7], [0, 3, 7], [0, 3, 6], [0, 4, 8], [0, 4, 7, 10], [0, 3, 7, 10], [0, 4, 7, 11], [0, 3, 6, 10], [0, 3, 6, 9]):\n            pos = rel.index((bass - r) % 12)\n            figs = ['', '6', '64'] if len(rel) == 3 else ['7', '65', '43', '42']\n            return [r, figs[pos]]\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[([60, 64, 67], [0, '']), ([64, 67, 72], [0, '6']), ([72, 64, 67], [0, '6']), ([55, 59, 62, 65], [7, '7']), ([62, 65, 67, 71], [7, '43']), ([60, 64, 67, 72], [0, '']), ([48, 64, 67, 72], [0, '']), ([64, 60, 67], [0, ''])], [([67, 72, 76], [0, '64']), ([76, 60, 67], [0, '']), ([59, 62, 65, 67], [7, '65']), ([48, 64, 67, 72], [0, '']), ([60, 63, 66, 69], [0, '7']), ([62, 65, 68, 71], [2, '7']), ([60, 62, 67], None), ([71, 62, 65], [11, '6'])], [([72, 64, 67], [0, '6']), ([65, 67, 71, 74], [7, '42']), ([60, 62, 67], None), ([60, 64, 68], [0, '']), ([64, 60, 67], [0, '']), ([60, 61, 62], None), ([60, 64], None), ([63, 60, 66, 70], [0, '7'])], [([64, 67, 72], [0, '6']), ([67, 72, 76], [0, '64']), ([72, 64, 67], [0, '6']), ([55, 59, 62, 65], [7, '7']), ([59, 62, 65, 69], [11, '7']), ([71, 62, 65], [11, '6']), ([60, 64], None), ([60, 64, 67, 70, 74], None)], [([67, 72, 76], [0, '64']), ([72, 64, 67], [0, '6']), ([76, 60, 67], [0, '']), ([55, 59, 62, 65], [7, '7']), ([59, 62, 65, 67], [7, '65']), ([65, 67, 71, 74], [7, '42']), ([57, 60, 64], [9, '']), ([63, 60, 66, 70], [0, '7'])]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"oracle %d\" % i, 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":"A deterministic bounded teaching model with a stipulated toy contract; it is not a complete music notation or theory engine. 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-music-interval-figured-bass-bass-selection","generated_at":"2026-09-29T14:50:01.875054+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Figured-bass realisation and harmonic analysis depend on identifying chord root and inversion.","repair":"Restore the bass selection step so that it reads `bass = min(x)`.","root_cause":"The bass is taken from input order instead of the lowest pitch.","sha256":"e98385ee55d97fb71e3edb07b90658a79c85654b192dfe4910ff1e704d06125f","title":"Triad and seventh inversion figures: first listed note taken as the bass · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.511,"exit_code":1,"observations":[{"actual":[0,""],"check":"oracle 0","expected":[0,""],"passed":true},{"actual":[0,""],"check":"oracle 1","expected":[0,"6"],"passed":false},{"actual":[0,""],"check":"oracle 2","expected":[0,"6"],"passed":false},{"actual":[7,"43"],"check":"oracle 3","expected":[7,"7"],"passed":false},{"actual":[7,"43"],"check":"oracle 4","expected":[7,"43"],"passed":true},{"actual":[0,""],"check":"oracle 5","expected":[0,""],"passed":true},{"actual":[0,""],"check":"oracle 6","expected":[0,""],"passed":true},{"actual":[0,""],"check":"oracle 7","expected":[0,""],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 0\", \"actual\": [0, \"\"], \"expected\": [0, \"\"], \"passed\": true}, {\"check\": \"oracle 1\", \"actual\": [0, \"\"], \"expected\": [0, \"6\"], \"passed\": false}, {\"check\": \"oracle 2\", \"actual\": [0, \"\"], \"expected\": [0, \"6\"], \"passed\": false}, {\"check\": \"oracle 3\", \"actual\": [7, \"43\"], \"expected\": [7, \"7\"], \"passed\": false}, {\"check\": \"oracle 4\", \"actual\": [7, \"43\"], \"expected\": [7, \"43\"], \"passed\": true}, {\"check\": \"oracle 5\", \"actual\": [0, \"\"], \"expected\": [0, \"\"], \"passed\": true}, {\"check\": \"oracle 6\", \"actual\": [0, \"\"], \"expected\": [0, \"\"], \"passed\": true}, {\"check\": \"oracle 7\", \"actual\": [0, \"\"], \"expected\": [0, \"\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.993,"exit_code":1,"observations":[{"actual":[0,""],"check":"oracle 0","expected":[0,""],"passed":true},{"actual":[0,"6"],"check":"oracle 1","expected":[0,"6"],"passed":true},{"actual":[0,""],"check":"oracle 2","expected":[0,"6"],"passed":false},{"actual":[7,"7"],"check":"oracle 3","expected":[7,"7"],"passed":true},{"actual":[7,"43"],"check":"oracle 4","expected":[7,"43"],"passed":true},{"actual":[0,""],"check":"oracle 5","expected":[0,""],"passed":true},{"actual":[0,""],"check":"oracle 6","expected":[0,""],"passed":true},{"actual":[0,"6"],"check":"oracle 7","expected":[0,""],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 0\", \"actual\": [0, \"\"], \"expected\": [0, \"\"], \"passed\": true}, {\"check\": \"oracle 1\", \"actual\": [0, \"6\"], \"expected\": [0, \"6\"], \"passed\": true}, {\"check\": \"oracle 2\", \"actual\": [0, \"\"], \"expected\": [0, \"6\"], \"passed\": false}, {\"check\": \"oracle 3\", \"actual\": [7, \"7\"], \"expected\": [7, \"7\"], \"passed\": true}, {\"check\": \"oracle 4\", \"actual\": [7, \"43\"], \"expected\": [7, \"43\"], \"passed\": true}, {\"check\": \"oracle 5\", \"actual\": [0, \"\"], \"expected\": [0, \"\"], \"passed\": true}, {\"check\": \"oracle 6\", \"actual\": [0, \"\"], \"expected\": [0, \"\"], \"passed\": true}, {\"check\": \"oracle 7\", \"actual\": [0, \"6\"], \"expected\": [0, \"\"], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.247,"exit_code":0,"observations":[{"actual":[0,""],"check":"oracle 0","expected":[0,""],"passed":true},{"actual":[0,"6"],"check":"oracle 1","expected":[0,"6"],"passed":true},{"actual":[0,"6"],"check":"oracle 2","expected":[0,"6"],"passed":true},{"actual":[7,"7"],"check":"oracle 3","expected":[7,"7"],"passed":true},{"actual":[7,"43"],"check":"oracle 4","expected":[7,"43"],"passed":true},{"actual":[0,""],"check":"oracle 5","expected":[0,""],"passed":true},{"actual":[0,""],"check":"oracle 6","expected":[0,""],"passed":true},{"actual":[0,""],"check":"oracle 7","expected":[0,""],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 0\", \"actual\": [0, \"\"], \"expected\": [0, \"\"], \"passed\": true}, {\"check\": \"oracle 1\", \"actual\": [0, \"6\"], \"expected\": [0, \"6\"], \"passed\": true}, {\"check\": \"oracle 2\", \"actual\": [0, \"6\"], \"expected\": [0, \"6\"], \"passed\": true}, {\"check\": \"oracle 3\", \"actual\": [7, \"7\"], \"expected\": [7, \"7\"], \"passed\": true}, {\"check\": \"oracle 4\", \"actual\": [7, \"43\"], \"expected\": [7, \"43\"], \"passed\": true}, {\"check\": \"oracle 5\", \"actual\": [0, \"\"], \"expected\": [0, \"\"], \"passed\": true}, {\"check\": \"oracle 6\", \"actual\": [0, \"\"], \"expected\": [0, \"\"], \"passed\": true}, {\"check\": \"oracle 7\", \"actual\": [0, \"\"], \"expected\": [0, \"\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}