feat(editor): Warn-Zeilennummer trägt ihre Meldung als Tooltip

Der Streifen sagte bisher nur, DASS eine Zeile eine Warnung hat; welche,
stand allein unter dem Diagramm — man sah die orange Zahl und suchte dann
in der Liste die passende Zeilennummer.

- warnings.js: `warningText()` neben `formatWarning()`, beide aus demselben
  `switch` (`build(w, t, esc)`) — der Warnungsbereich ist HTML, ein `title`
  ist Klartext. Ohne die Trennung stünde dort „Drag & Drop“.
- app.js: `lineNoWarn` ist jetzt Map Zeile -> Text; mehrere Warnungen einer
  Zeile stehen im Tooltip untereinander. Titel verschwinden mit der Warnung.
- style.css: Der Kasten der Warn-Zahl reicht über die ganze Streifenbreite
  (Ziffern bleiben punktgenau stehen, nachgemessen 21,14 px), `cursor:help`.

Nachgemessen (4 Warnungen in 3 Zeilen): Tooltips wortgleich mit dem
Warnungsbereich, `&`/`"` unverfälscht, keine Zahl ohne Warnung mit `title`;
nach dem Beheben verschwinden Klasse und Titel mit. Werkbaum-Plan: 0.

SPEC §9 (Zeilennummern) + D33-Nachtrag; Plan: #ed.lineno.tip [x].
243 Tests grün (3 neue).

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

docs/SPEC.md

@@ -718,6 +718,12 @@ im Text abzählen.
   waagerechte Verschiebung zurück — er zeigt auf eine Zeile, nicht auf ihr Ende.
 - Die **Cursor-Zeile** und Zeilen mit einer **Warnung** heben sich ab (Warnung in
   `--warn`, `#B45309`) — genau die beiden Fälle, für die man hinsieht.
+- Die Zahl einer Warn-Zeile trägt die **Meldung als Tooltip** — wörtlich
+  dieselbe, die unter dem Diagramm im Warnungsbereich steht; mehrere Warnungen
+  einer Zeile stehen darin untereinander. Der Streifen bleibt `aria-hidden`:
+  Für Screenreader ist die Live-Region des Warnungsbereichs die Quelle, der
+  Tooltip erspart nur den Weg dorthin. Ohne Zeiger gibt es ihn nicht (wie
+  überall) — die Meldung steht dort ohnehin vollständig. Siehe D33-Nachtrag.
 - Reine Lesehilfe: kein Bestandteil des Notationstexts, nicht im Grafikexport
   und nicht im Druck (dort ist ohnehin nur das Diagramm zu sehen).