{"abstract":"Diminished seventh chords such as B D F Ab return None instead of a root and figure.","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.","contract_signature":"x","evaluation_group":"w2-music-interval-figured-bass","failed_approach":"Adding a 0-3-6-8 shape instead lets some dominant sevenths (such as G#7) match first with their third taken as the root.","family":"w2-music-interval-figured-bass-diminished-seventh-template","id":"FA-81336","implementations":{"attempt":{"sha256":"08a87d13efe3c7529331d69bfe9869b90871901abf71a74da1a441cc533b3cb4","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, 8]):\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']), ([67, 72, 76], [0, '64']), ([72, 64, 67], [0, '6']), ([76, 60, 67], [0, '']), ([55, 59, 62, 65], [7, '7']), ([60, 63, 66, 69], [0, '7']), ([62, 65, 68, 71], [2, '7'])], [([72, 64, 67], [0, '6']), ([76, 60, 67], [0, '']), ([55, 59, 62, 65], [7, '7']), ([59, 62, 65, 67], [7, '65']), ([62, 65, 67, 71], [7, '43']), ([65, 67, 71, 74], [7, '42']), ([60, 63, 66, 69], [0, '7']), ([62, 65, 68, 71], [2, '7'])], [([59, 62, 65, 67], [7, '65']), ([62, 65, 67, 71], [7, '43']), ([65, 67, 71, 74], [7, '42']), ([60, 64, 67, 72], [0, '']), ([48, 64, 67, 72], [0, '']), ([60, 63, 66, 69], [0, '7']), ([62, 65, 68, 71], [2, '7']), ([59, 62, 65, 69], [11, '7'])], [([60, 64, 67, 72], [0, '']), ([48, 64, 67, 72], [0, '']), ([60, 63, 66, 69], [0, '7']), ([62, 65, 68, 71], [2, '7']), ([59, 62, 65, 69], [11, '7']), ([57, 60, 64], [9, '']), ([60, 62, 67], None), ([60, 64, 68], [0, ''])], [([60, 63, 66, 69], [0, '7']), ([62, 65, 68, 71], [2, '7']), ([57, 60, 64], [9, '']), ([60, 62, 67], None), ([60, 64, 68], [0, '']), ([64, 60, 67], [0, '']), ([71, 62, 65], [11, '6']), ([60, 61, 62], None)]]\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":"fccb0eeede9b9f59b73f0845745fb3aeaef189c4f903fb84e48d7bc9c9f8d03e","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]):\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']), ([67, 72, 76], [0, '64']), ([72, 64, 67], [0, '6']), ([76, 60, 67], [0, '']), ([55, 59, 62, 65], [7, '7']), ([60, 63, 66, 69], [0, '7']), ([62, 65, 68, 71], [2, '7'])], [([72, 64, 67], [0, '6']), ([76, 60, 67], [0, '']), ([55, 59, 62, 65], [7, '7']), ([59, 62, 65, 67], [7, '65']), ([62, 65, 67, 71], [7, '43']), ([65, 67, 71, 74], [7, '42']), ([60, 63, 66, 69], [0, '7']), ([62, 65, 68, 71], [2, '7'])], [([59, 62, 65, 67], [7, '65']), ([62, 65, 67, 71], [7, '43']), ([65, 67, 71, 74], [7, '42']), ([60, 64, 67, 72], [0, '']), ([48, 64, 67, 72], [0, '']), ([60, 63, 66, 69], [0, '7']), ([62, 65, 68, 71], [2, '7']), ([59, 62, 65, 69], [11, '7'])], [([60, 64, 67, 72], [0, '']), ([48, 64, 67, 72], [0, '']), ([60, 63, 66, 69], [0, '7']), ([62, 65, 68, 71], [2, '7']), ([59, 62, 65, 69], [11, '7']), ([57, 60, 64], [9, '']), ([60, 62, 67], None), ([60, 64, 68], [0, ''])], [([60, 63, 66, 69], [0, '7']), ([62, 65, 68, 71], [2, '7']), ([57, 60, 64], [9, '']), ([60, 62, 67], None), ([60, 64, 68], [0, '']), ([64, 60, 67], [0, '']), ([71, 62, 65], [11, '6']), ([60, 61, 62], None)]]\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-diminished-seventh-template","generated_at":"2026-09-29T14:50:01.906956+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.","root_cause":"The template list stops after the half-diminished seventh and omits the fully diminished shape.","sha256":"1b4534fb99ff63ad28393bb98a5056c2b83975ab7c5aa6571f5135398658d974","title":"Triad and seventh inversion figures: fully diminished seventh unrecognised · 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":43.453,"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,"64"],"check":"oracle 2","expected":[0,"64"],"passed":true},{"actual":[0,"6"],"check":"oracle 3","expected":[0,"6"],"passed":true},{"actual":[0,""],"check":"oracle 4","expected":[0,""],"passed":true},{"actual":[7,"7"],"check":"oracle 5","expected":[7,"7"],"passed":true},{"actual":null,"check":"oracle 6","expected":[0,"7"],"passed":false},{"actual":null,"check":"oracle 7","expected":[2,"7"],"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, \"64\"], \"expected\": [0, \"64\"], \"passed\": true}, {\"check\": \"oracle 3\", \"actual\": [0, \"6\"], \"expected\": [0, \"6\"], \"passed\": true}, {\"check\": \"oracle 4\", \"actual\": [0, \"\"], \"expected\": [0, \"\"], \"passed\": true}, {\"check\": \"oracle 5\", \"actual\": [7, \"7\"], \"expected\": [7, \"7\"], \"passed\": true}, {\"check\": \"oracle 6\", \"actual\": null, \"expected\": [0, \"7\"], \"passed\": false}, {\"check\": \"oracle 7\", \"actual\": null, \"expected\": [2, \"7\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.579,"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,"64"],"check":"oracle 2","expected":[0,"64"],"passed":true},{"actual":[0,"6"],"check":"oracle 3","expected":[0,"6"],"passed":true},{"actual":[0,""],"check":"oracle 4","expected":[0,""],"passed":true},{"actual":[7,"7"],"check":"oracle 5","expected":[7,"7"],"passed":true},{"actual":null,"check":"oracle 6","expected":[0,"7"],"passed":false},{"actual":null,"check":"oracle 7","expected":[2,"7"],"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, \"64\"], \"expected\": [0, \"64\"], \"passed\": true}, {\"check\": \"oracle 3\", \"actual\": [0, \"6\"], \"expected\": [0, \"6\"], \"passed\": true}, {\"check\": \"oracle 4\", \"actual\": [0, \"\"], \"expected\": [0, \"\"], \"passed\": true}, {\"check\": \"oracle 5\", \"actual\": [7, \"7\"], \"expected\": [7, \"7\"], \"passed\": true}, {\"check\": \"oracle 6\", \"actual\": null, \"expected\": [0, \"7\"], \"passed\": false}, {\"check\": \"oracle 7\", \"actual\": null, \"expected\": [2, \"7\"], \"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."}}