Archiv: Quellen und Arbeitsdateien fertiger Versionen auf ARCHIV_DIR auslagern (z. B. Storage Box)

Nach jedem fertigen Lauf und beim Start nachholend; QUELLEN.md bleibt. Löschen und Zurücksetzen räumen das Archiv mit.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

backend/state.py

@@ -85,9 +85,16 @@ def bezeichnung(name: str, spezialisierung: str) -> str:
     return f"{name} – {spezialisierung}" if spezialisierung else name
 
 
+def _archiv_loeschen(key: str) -> None:
+    """Ausgelagerte Quellen einer Version oder eines Themas (backend/archiv.py) mit entfernen."""
+    if config.ARCHIV:
+        shutil.rmtree(config.ARCHIV / key, ignore_errors=True)
+
+
 def version_loeschen(key: str) -> None:
     _cache.pop(key, None)
     shutil.rmtree(verzeichnis(key), ignore_errors=True)
+    _archiv_loeschen(key)
     name = thema_von(key)
     if not versionen(name):
         shutil.rmtree(config.STORAGE / name, ignore_errors=True)
@@ -158,9 +165,11 @@ def loeschen(name: str) -> None:
     for k in [k for k in _cache if thema_von(k) == name]:
         _cache.pop(k, None)
     shutil.rmtree(config.STORAGE / name, ignore_errors=True)
+    _archiv_loeschen(name)
 
 
 def zuruecksetzen(key: str) -> None:
+    _archiv_loeschen(key)
     v = verzeichnis(key)
     h, stopp = hinweise_von(key), bool(zustand(key).get("stopp_gliederung"))
     _cache.pop(key, None)