feat: drei Prompt-Regeln (entscheidungsunabhängige Terme, ausdrückliche Definitionen, Handverfahren benennen)

- Extraktions-Prompt: entscheidungsunabhängige Terme ohne Zahlenwert
  erfordern eine Annahme, die das Weglassen/Mitführen begründet (Wagner-Whitin
  Einkaufspreis, bisher je 2 Korrekturrunden).
- Prüf-Prompt: eine Annahme, die einer ausdrücklichen Definition im Text
  widerspricht, ist immer contradicts_task (Portfoliomanagement §3 l_i/u_i
  als Betrags- nicht Stückzahl-Grenzen).
- Solver-Prompt: verlangtes Handverfahren (Simplex-Iterationen, graphische
  Lösung) wird in der Antwort ausdrücklich als nicht gezeigt benannt.

Prompt-Kennung c75d411794ea (war 1268a894c043). 435 Tests grün.

checks/Pruef-Prompt.txt

@@ -34,6 +34,7 @@ Schritt 2 – Vorgehen für jede Annahme:
    - „mindestens“ / „höchstens“ / „genau“ müssen als ≥ / ≤ / = abgebildet sein.
    - Das Modell darf nichts verbieten, was der Text erlaubt (stricter_than_task), und nichts erlauben, was der Text verbietet (weaker_than_task).
    - Eine Annahme darf dem Text nicht widersprechen (contradicts_task).
+   - Definiert der Text eine Größe ausdrücklich (z. B. „\(l_i\), \(u_i\) sind die untere und obere Grenze des investierten Betrags“), ist das keine Unklarheit: eine Annahme, die dieser Definition widerspricht (z. B. \(x_i\) als Stückzahl statt als Betrag), ist immer contradicts_task – auch wenn eine alternative Lesart formuliert wurde. Der Hinweis auf die zweite Lesart im Feld alternative ersetzt nicht die Pflicht, der ausdrücklichen Definition zu folgen.
 4. Prüfe die zweite Lesart im Feld alternative: Stützt der Aufgabentext sie besser als die gewählte Annahme, ist die Annahme falsch – vergib dann contradicts_task, stricter_than_task oder weaker_than_task und gib in correction die Lesart an, der das Modell folgen muss. Steht dort „keine zweite Lesart“, obwohl der Text die Stelle offen lässt, gehört das in die Begründung.
 5. Vergib genau ein Urteil (verdict):
    - justified: Text ist unklar, Annahme ist plausibel und textkonform.