{"abstract":"Notes outside the reference octave land dozens of positions away (C5 in treble at position 18).","category":"Music interval and transposition theory","checks":8,"contract":"Input [note, clef] where note is a letter, accidentals (# b x, ignored for placement) and a nonnegative octave, and clef is treble (bottom line E4), bass (G2), alto (F3) or tenor (D3). Position counts diatonic steps above the bottom line (lines are even positions 0..8). Ledger lines: below the staff (-position)//2 for negative positions, above (position-8)//2 for positions over 8, else 0. Return [position, ledgers] or None when invalid.","evaluation_group":"w2-music-interval-staff-position","failed_approach":"Weighting octaves as eight steps counts the repeated letter twice.","family":"w2-music-interval-staff-position-diatonic-octave-weight","id":"FA-81286","implementations":{"attempt":{"sha256":"6e6ef841135e3a06d4188a812e895698c0e5e73d972a71348ade824ba9036b83","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    base = 'CDEFGAB'\n    refs = {'treble': ('E', 4), 'bass': ('G', 2), 'alto': ('F', 3), 'tenor': ('D', 3)}\n    if not isinstance(x, list) or len(x) != 2 or x[1] not in refs:\n        return None\n    note, clef = x\n    if not isinstance(note, str) or len(note) < 2 or note[0] not in base:\n        return None\n    tail = note[1:].lstrip('#bx')\n    if not tail.isdigit():\n        return None\n    letter, octave = refs[clef]\n    pos = (int(tail) * 8 + base.index(note[0])) - (octave * 7 + base.index(letter))\n    if pos < 0:\n        ledgers = -pos // 2\n    elif pos > 8:\n        ledgers = (pos - 8) // 2\n    else:\n        ledgers = 0\n    return [pos, ledgers]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[(['E4', 'treble'], [0, 0]), (['C4', 'treble'], [-2, 1]), (['D4', 'treble'], [-1, 0]), (['B3', 'treble'], [-3, 1]), (['A3', 'treble'], [-4, 2]), (['H4', 'treble'], None), (['C4', 'piano'], None), (['C', 'treble'], None)], [(['E4', 'treble'], [0, 0]), (['C4', 'treble'], [-2, 1]), (['D4', 'treble'], [-1, 0]), (['B3', 'treble'], [-3, 1]), (['A3', 'treble'], [-4, 2]), (['F5', 'treble'], [8, 0]), (['G5', 'treble'], [9, 0]), (['A5', 'treble'], [10, 1])], [(['D4', 'treble'], [-1, 0]), (['B3', 'treble'], [-3, 1]), (['A3', 'treble'], [-4, 2]), (['F5', 'treble'], [8, 0]), (['G5', 'treble'], [9, 0]), (['A5', 'treble'], [10, 1]), (['C6', 'treble'], [12, 2]), (['C#4', 'treble'], [-2, 1])], [(['B3', 'treble'], [-3, 1]), (['F5', 'treble'], [8, 0]), (['G5', 'treble'], [9, 0]), (['A5', 'treble'], [10, 1]), (['C6', 'treble'], [12, 2]), (['C#4', 'treble'], [-2, 1]), (['Fx4', 'treble'], [1, 0]), (['Bb3', 'treble'], [-3, 1])], [(['A3', 'treble'], [-4, 2]), (['G5', 'treble'], [9, 0]), (['A5', 'treble'], [10, 1]), (['C#4', 'treble'], [-2, 1]), (['Fx4', 'treble'], [1, 0]), (['Bb3', 'treble'], [-3, 1]), (['C4', 'alto'], [4, 0]), (['C4', 'bass'], [10, 1])]]\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":"352adbb952f998ddd4c7f0971f473ea0960b33a59ff838365618b670bf068a90","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    base = 'CDEFGAB'\n    refs = {'treble': ('E', 4), 'bass': ('G', 2), 'alto': ('F', 3), 'tenor': ('D', 3)}\n    if not isinstance(x, list) or len(x) != 2 or x[1] not in refs:\n        return None\n    note, clef = x\n    if not isinstance(note, str) or len(note) < 2 or note[0] not in base:\n        return None\n    tail = note[1:].lstrip('#bx')\n    if not tail.isdigit():\n        return None\n    letter, octave = refs[clef]\n    pos = (int(tail) * 12 + base.index(note[0])) - (octave * 7 + base.index(letter))\n    if pos < 0:\n        ledgers = -pos // 2\n    elif pos > 8:\n        ledgers = (pos - 8) // 2\n    else:\n        ledgers = 0\n    return [pos, ledgers]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[(['E4', 'treble'], [0, 0]), (['C4', 'treble'], [-2, 1]), (['D4', 'treble'], [-1, 0]), (['B3', 'treble'], [-3, 1]), (['A3', 'treble'], [-4, 2]), (['H4', 'treble'], None), (['C4', 'piano'], None), (['C', 'treble'], None)], [(['E4', 'treble'], [0, 0]), (['C4', 'treble'], [-2, 1]), (['D4', 'treble'], [-1, 0]), (['B3', 'treble'], [-3, 1]), (['A3', 'treble'], [-4, 2]), (['F5', 'treble'], [8, 0]), (['G5', 'treble'], [9, 0]), (['A5', 'treble'], [10, 1])], [(['D4', 'treble'], [-1, 0]), (['B3', 'treble'], [-3, 1]), (['A3', 'treble'], [-4, 2]), (['F5', 'treble'], [8, 0]), (['G5', 'treble'], [9, 0]), (['A5', 'treble'], [10, 1]), (['C6', 'treble'], [12, 2]), (['C#4', 'treble'], [-2, 1])], [(['B3', 'treble'], [-3, 1]), (['F5', 'treble'], [8, 0]), (['G5', 'treble'], [9, 0]), (['A5', 'treble'], [10, 1]), (['C6', 'treble'], [12, 2]), (['C#4', 'treble'], [-2, 1]), (['Fx4', 'treble'], [1, 0]), (['Bb3', 'treble'], [-3, 1])], [(['A3', 'treble'], [-4, 2]), (['G5', 'treble'], [9, 0]), (['A5', 'treble'], [10, 1]), (['C#4', 'treble'], [-2, 1]), (['Fx4', 'treble'], [1, 0]), (['Bb3', 'treble'], [-3, 1]), (['C4', 'alto'], [4, 0]), (['C4', 'bass'], [10, 1])]]\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":"508f6f1808cd5e92b68a832d2336fe296489b6846a203bab732a797e1012f4e6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    base = 'CDEFGAB'\n    refs = {'treble': ('E', 4), 'bass': ('G', 2), 'alto': ('F', 3), 'tenor': ('D', 3)}\n    if not isinstance(x, list) or len(x) != 2 or x[1] not in refs:\n        return None\n    note, clef = x\n    if not isinstance(note, str) or len(note) < 2 or note[0] not in base:\n        return None\n    tail = note[1:].lstrip('#bx')\n    if not tail.isdigit():\n        return None\n    letter, octave = refs[clef]\n    pos = (int(tail) * 7 + base.index(note[0])) - (octave * 7 + base.index(letter))\n    if pos < 0:\n        ledgers = -pos // 2\n    elif pos > 8:\n        ledgers = (pos - 8) // 2\n    else:\n        ledgers = 0\n    return [pos, ledgers]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[(['E4', 'treble'], [0, 0]), (['C4', 'treble'], [-2, 1]), (['D4', 'treble'], [-1, 0]), (['B3', 'treble'], [-3, 1]), (['A3', 'treble'], [-4, 2]), (['H4', 'treble'], None), (['C4', 'piano'], None), (['C', 'treble'], None)], [(['E4', 'treble'], [0, 0]), (['C4', 'treble'], [-2, 1]), (['D4', 'treble'], [-1, 0]), (['B3', 'treble'], [-3, 1]), (['A3', 'treble'], [-4, 2]), (['F5', 'treble'], [8, 0]), (['G5', 'treble'], [9, 0]), (['A5', 'treble'], [10, 1])], [(['D4', 'treble'], [-1, 0]), (['B3', 'treble'], [-3, 1]), (['A3', 'treble'], [-4, 2]), (['F5', 'treble'], [8, 0]), (['G5', 'treble'], [9, 0]), (['A5', 'treble'], [10, 1]), (['C6', 'treble'], [12, 2]), (['C#4', 'treble'], [-2, 1])], [(['B3', 'treble'], [-3, 1]), (['F5', 'treble'], [8, 0]), (['G5', 'treble'], [9, 0]), (['A5', 'treble'], [10, 1]), (['C6', 'treble'], [12, 2]), (['C#4', 'treble'], [-2, 1]), (['Fx4', 'treble'], [1, 0]), (['Bb3', 'treble'], [-3, 1])], [(['A3', 'treble'], [-4, 2]), (['G5', 'treble'], [9, 0]), (['A5', 'treble'], [10, 1]), (['C#4', 'treble'], [-2, 1]), (['Fx4', 'treble'], [1, 0]), (['Bb3', 'treble'], [-3, 1]), (['C4', 'alto'], [4, 0]), (['C4', 'bass'], [10, 1])]]\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-staff-position-diatonic-octave-weight","generated_at":"2026-09-29T14:50:01.733646+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Engraving and notation-rendering code places noteheads and ledger lines from pitch spellings.","repair":"Restore the diatonic octave weight step so that it reads `int(tail) * 7`.","root_cause":"The octave is multiplied by twelve semitones instead of seven diatonic steps.","sha256":"ebf47f1d8f65db6e227250f938780c3ddb422887a27f2caa5b7b76a6ec59f636","title":"Staff position and ledger lines for a clef: octaves weighted in semitones · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.703,"exit_code":1,"observations":[{"actual":[4,0],"check":"oracle 0","expected":[0,0],"passed":false},{"actual":[2,0],"check":"oracle 1","expected":[-2,1],"passed":false},{"actual":[3,0],"check":"oracle 2","expected":[-1,0],"passed":false},{"actual":[0,0],"check":"oracle 3","expected":[-3,1],"passed":false},{"actual":[-1,0],"check":"oracle 4","expected":[-4,2],"passed":false},{"actual":null,"check":"oracle 5","expected":null,"passed":true},{"actual":null,"check":"oracle 6","expected":null,"passed":true},{"actual":null,"check":"oracle 7","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 0\", \"actual\": [4, 0], \"expected\": [0, 0], \"passed\": false}, {\"check\": \"oracle 1\", \"actual\": [2, 0], \"expected\": [-2, 1], \"passed\": false}, {\"check\": \"oracle 2\", \"actual\": [3, 0], \"expected\": [-1, 0], \"passed\": false}, {\"check\": \"oracle 3\", \"actual\": [0, 0], \"expected\": [-3, 1], \"passed\": false}, {\"check\": \"oracle 4\", \"actual\": [-1, 0], \"expected\": [-4, 2], \"passed\": false}, {\"check\": \"oracle 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"oracle 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"oracle 7\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.997,"exit_code":1,"observations":[{"actual":[20,6],"check":"oracle 0","expected":[0,0],"passed":false},{"actual":[18,5],"check":"oracle 1","expected":[-2,1],"passed":false},{"actual":[19,5],"check":"oracle 2","expected":[-1,0],"passed":false},{"actual":[12,2],"check":"oracle 3","expected":[-3,1],"passed":false},{"actual":[11,1],"check":"oracle 4","expected":[-4,2],"passed":false},{"actual":null,"check":"oracle 5","expected":null,"passed":true},{"actual":null,"check":"oracle 6","expected":null,"passed":true},{"actual":null,"check":"oracle 7","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 0\", \"actual\": [20, 6], \"expected\": [0, 0], \"passed\": false}, {\"check\": \"oracle 1\", \"actual\": [18, 5], \"expected\": [-2, 1], \"passed\": false}, {\"check\": \"oracle 2\", \"actual\": [19, 5], \"expected\": [-1, 0], \"passed\": false}, {\"check\": \"oracle 3\", \"actual\": [12, 2], \"expected\": [-3, 1], \"passed\": false}, {\"check\": \"oracle 4\", \"actual\": [11, 1], \"expected\": [-4, 2], \"passed\": false}, {\"check\": \"oracle 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"oracle 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"oracle 7\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.226,"exit_code":0,"observations":[{"actual":[0,0],"check":"oracle 0","expected":[0,0],"passed":true},{"actual":[-2,1],"check":"oracle 1","expected":[-2,1],"passed":true},{"actual":[-1,0],"check":"oracle 2","expected":[-1,0],"passed":true},{"actual":[-3,1],"check":"oracle 3","expected":[-3,1],"passed":true},{"actual":[-4,2],"check":"oracle 4","expected":[-4,2],"passed":true},{"actual":null,"check":"oracle 5","expected":null,"passed":true},{"actual":null,"check":"oracle 6","expected":null,"passed":true},{"actual":null,"check":"oracle 7","expected":null,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 0\", \"actual\": [0, 0], \"expected\": [0, 0], \"passed\": true}, {\"check\": \"oracle 1\", \"actual\": [-2, 1], \"expected\": [-2, 1], \"passed\": true}, {\"check\": \"oracle 2\", \"actual\": [-1, 0], \"expected\": [-1, 0], \"passed\": true}, {\"check\": \"oracle 3\", \"actual\": [-3, 1], \"expected\": [-3, 1], \"passed\": true}, {\"check\": \"oracle 4\", \"actual\": [-4, 2], \"expected\": [-4, 2], \"passed\": true}, {\"check\": \"oracle 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"oracle 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"oracle 7\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}