lean-path: Angefangenes liegt auf dem Pfad (SPEC §9, D61)

Eine Zugabe (`+`) fällt aus dem günstigsten Pfad — außer sie ist
realisiert und noch nicht erledigt (`[~]`/`[/]`). Angefangene Arbeit ist
die offene Front, und seit D46 zeigt der Pfad genau die; bisher führte
der Von-Station-zu-Station-Knopf nie dorthin, wo gearbeitet wird.
Erledigte Zugaben bleiben draußen: dort ist nichts mehr zu tun, und was
darunter offen blieb, ist mit ihnen zusammen entbehrlich (§3).

Dabei die fehlende Hälfte von D46 gefunden: SPEC §9 sagt seit jeher
„eine bereits realisierte Alternative gewinnt", umgesetzt war das aber
nur über die Kosten — und die sind allein bei `[x]`/`[^]` null. Ein
`[~]`-Zweig verlor damit gegen eine unangetastete billigere, obwohl die
XOR-Regel gerade ihn als die realisierte Alternative ausweist.
`chosenPool()` schränkt die Wahlmenge auf die realisierten ein; unter
mehreren entscheiden wieder die Kosten. Nebengewinn: eine entschiedene
Gruppe ist keine freie Variable mehr und verkleinert die Suche (D42).

10 neue Tests; Gegenprobe geführt (jede Regel einzeln herausgenommen
lässt genau die nach ihr benannten Zusicherungen fallen). Der
mitgelieferte Plan ändert sich nicht — er hat keine angefangene Zugabe.

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

docs/SPEC.md

@@ -545,10 +545,21 @@ werden die für die günstigste Realisierung **nötigen** Knoten:
 - **any of:** nur die **günstigste** Alternative ist nötig. „Günstig" =
   kleinste rekursive Kosten (eigene T-Shirt-Größe plus — je Gate — Summe bzw.
   Minimum der Kinder). Bei Gleichstand gewinnt die **erste** Alternative.
-- **Optionale Knoten (`+`, §3) sind nie nötig** — sie zählen weder zu den
-  Kosten ihres Elternknotens noch liegen sie auf dem Pfad, und der Teilbaum
-  unter ihnen ebenso wenig. Genau dafür gibt es das Zeichen: Ohne `+` rechnet
-  der günstigste Pfad jede Zugabe ins Minimum ein und überschätzt es.
+  **Ist in der Gruppe etwas realisiert** (§3: `[~]`, `[/]`, `[x]`, `[^]`), ist
+  die Wahl damit getroffen — gewählt wird nur noch unter den realisierten
+  Alternativen, auch wenn eine unangetastete nominell billiger wäre. Sind es
+  mehrere (in einer `=`-Gruppe schon per `xorConflict` gemeldet, in einer
+  `|`-Gruppe zulässig), entscheidet unter ihnen wieder die Kostenregel.
+- **Optionale Knoten (`+`, §3) sind nur nötig, solange an ihnen gearbeitet
+  wird** — also wenn sie realisiert (§3), aber noch nicht erledigt sind:
+  `[~]` und `[/]`. Sonst zählen sie weder zu den Kosten ihres Elternknotens
+  noch liegen sie auf dem Pfad, und der Teilbaum unter ihnen ebenso wenig.
+  Genau dafür gibt es das Zeichen: Ohne `+` rechnet der günstigste Pfad jede
+  Zugabe ins Minimum ein und überschätzt es. Die Ausnahme hält den umgekehrten
+  Fehler heraus — eine angefangene Zugabe ist offene Arbeit, und der Pfad
+  zeigt die offene Front. **Erledigte Zugaben bleiben draußen:** Dort ist
+  nichts mehr zu tun, und was darunter offen blieb, ist mit ihnen zusammen
+  entbehrlich (§3). Siehe D61.
 - Verworfene Knoten zählen nie mit (unabhängig vom „verworfene einblenden"-
   Filter).
 - **Fehlende Größe wird als `M` gewertet** (nur für diese Kostenschätzung; die