IF-Funktion als Formel: echte Kurzschluss-Auswertung

Neue eingebaute Funktion IF(Bedingung; Dann; Sonst?), nutzbar in jeder
gewöhnlichen Zellformel (nicht nur in "Mit Schleife"-Funktionskörpern).

- functions.ts: IF als Platzhalter-Eintrag registriert, nur damit
  hasFunction('IF') greift (Namensreservierung -- ein Benutzer kann
  keine gleichnamige eigene Funktion mehr anlegen) und als defensiver
  Fallback. Trägt einen Kommentar, der auf die echte Implementierung
  verweist.
- evaluator.ts: die echte, kurzschließende Auswertung sitzt in
  evalScalar()s case 'func', VOR dem generischen eager-args-Pfad.
  evalIf() wertet nur die Bedingung immer aus, danach ausschließlich
  den genommenen Zweig -- der andere Zweig wird nie evaluiert, ein
  Fehler darin (z. B. =IF(B1=0; 0; A1/B1)) schlägt also nie durch.
  Gleiche Wahrheits-Konvention wie überall sonst im Engine (Zahl != 0
  bzw. nicht-leerer Text = wahr).
- collectRefs() bleibt unverändert: sein generischer case 'func' läuft
  bereits konservativ durch alle Argumente, unabhängig vom zur
  Laufzeit genommenen Zweig -- exakt wie Excels IF().

Tests: 8 neue (evaluator.spec.ts: beide Zweige, 2-/3-Argument-Form,
Kurzschluss-Beweis, Fehler in der Bedingung, Arity-Fehler, Vergleiche
als Bedingung; document.spec.ts: Namenskollision mit eingebautem IF).
257 -> 265 Tests, alle grün. vue-tsc/eslint/build sauber. Live per
Playwright verifiziert (inkl. Kurzschluss- und Neuberechnungsverhalten).

READMEs aktualisiert (Funktionen-Liste, Auswertungsmodell, Testzahl).

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

README.md

@@ -13,7 +13,7 @@ Vorbild von **Apple Numbers**. Zwei Dinge stehen im Mittelpunkt:
 ```bash
 npm install
 npm run dev        # Vite-Devserver
-npm run test       # Vitest-Suite (Engine + Store + IO), 257 Tests
+npm run test       # Vitest-Suite (Engine + Store + IO), 265 Tests
 npm run build      # Typecheck + Produktionsbuild
 npm run lint       # ESLint (flat config)
 ```
@@ -399,11 +399,22 @@ darauf, `$` hin oder her. `F4` schaltet den Bezug unter dem Cursor durch die
 vier Kombinationen.
 
 **Funktionen** (case-insensitiv, Trenner `;`): `SUM`, `AVG` (Alias `AVERAGE`),
-`MIN`, `MAX`, `COUNT` — plus alle über **„𝑓 Funktionen"** angelegten
-benutzerdefinierten Funktionen (siehe „Benutzerdefinierte Funktionen" oben),
-die sich für den Aufrufer identisch verhalten. Argumente gemischt: Einzelzellen,
-Bereiche (lokal oder `Name!…`), Zahl-Literale — z. B.
-`=SUM(Umsatz!B2:E2; 100; A1)`.
+`MIN`, `MAX`, `COUNT`, `IF(Bedingung; Dann; Sonst?)` — plus alle über
+**„𝑓 Funktionen"** angelegten benutzerdefinierten Funktionen (siehe
+„Benutzerdefinierte Funktionen" oben), die sich für den Aufrufer identisch
+verhalten. Argumente gemischt: Einzelzellen, Bereiche (lokal oder `Name!…`),
+Zahl-Literale — z. B. `=SUM(Umsatz!B2:E2; 100; A1)`.
+
+`IF` ist die einzige Funktion, die ihre Argumente **nicht** vorab auswertet:
+nur die Bedingung wird immer berechnet, danach ausschließlich der tatsächlich
+genommene Zweig — der andere Zweig wird gar nicht ausgewertet, ein Fehler
+darin (z. B. `=IF(B1=0; 0; A1/B1)`, wenn `B1` `0` ist) schlägt also nie
+durch. Die Bedingung nutzt dieselbe Zahl-Semantik wie die Vergleichsoperatoren
+`= <> > < >= <=` (Ergebnis `1`/`0`, keinen eigenen Wahrheitstyp): jede
+Zahl außer `0` sowie jeder nicht-leere Text gilt als wahr, z. B.
+`=IF(A1>=100; "groß"; "klein")`. Ohne Sonst-Zweig liefert eine falsche
+Bedingung `0`. Ein benutzerdefiniertes „IF" ist nicht anlegbar — der Name
+kollidiert mit der eingebauten Funktion.
 
 **Fehlermodell** (propagiert an abhängige Zellen):
 `#REF` (ungültiger/gelöschter Bezug, unbekannter Tabellen-/Blattname, oder ein
@@ -521,7 +532,7 @@ Grundrechenarten: `Übersicht!B2 = =SUM(Umsatz!B2:E2)`, `D2 = =B2-C2`,
 
 ## Tests
 
-`npm run test` — Vitest, 257 Tests:
+`npm run test` — Vitest, 265 Tests:
 
 - **lexer / parser** — Präzedenz & Assoziativität (`^` vor `*/` vor `+-`, `^`
   rechts, `-2^2 = -(2^2)`), lokale/qualifizierte/quoted Bezüge, `!` **und** `::`,
@@ -533,7 +544,9 @@ Grundrechenarten: `Übersicht!B2 = =SUM(Umsatz!B2:E2)`, `D2 = =B2-C2`,
   einmal um (jeden vom eigenen Zustand aus) und lässt Tabellen-Qualifier, die
   wie eine Zelle aussehen (`AB12!A1`), unangetastet.
 - **evaluator** — Arithmetik, leere Zelle = 0, alle Funktionen inkl. Alias,
-  Cross-Table, Case-/`::`-Toleranz, jeder Fehlerfall, Fehler-Propagierung.
+  Cross-Table, Case-/`::`-Toleranz, jeder Fehlerfall, Fehler-Propagierung,
+  `IF` (beide Zweige, 2-/3-Argument-Form, Kurzschluss-Beweis, Vergleiche als
+  Bedingung, Fehler in der Bedingung).
 - **graph** — `affected`, topologische Ordnung, Selbst-/2er-/längerer Zyklus.
 - **workbook / store** — Seed-Aggregate, Cross-Table-Summen, Edit-Ripple durch
   die ganze Kette, `#REF` nach Tabellen-/Blatt-Löschung, neues Tabellen-Objekt