feat: surface knowledge and settings counts in web restore banner

- Remove learning-state.md from backup/restore (derived data, not worth
  persisting as a first-class export artifact)
- Pass topics and settings counts through the /settings/import redirect
  so the result banner confirms knowledge map and settings were restored
- settings_page accepts topics + settings query params and forwards them
  to the template
- settings.html banner shows N topics restored and Settings restored

Author: UltimaPhoenix

src/devcoach/core/db.py

@@ -457,15 +457,13 @@ def create_backup_zip(conn: sqlite3.Connection) -> bytes:
         zf.writestr("settings.json", json.dumps(settings.model_dump(), indent=2))
         zf.writestr("lessons.json", json.dumps(lessons, indent=2, ensure_ascii=False))
         zf.writestr("knowledge.json", json.dumps(knowledge_data, indent=2))
-        if LEARNING_STATE_PATH.exists():
-            zf.writestr("learning-state.md", LEARNING_STATE_PATH.read_text(encoding="utf-8"))
     return buf.getvalue()
 
 
 def restore_backup_zip(conn: sqlite3.Connection, data: bytes) -> dict[str, int]:
     """Restore from a backup zip.
 
-    Returns a dict with counts: {"settings": 1, "topics": N, "lessons": N, "skipped": N, "invalid": N}.
+    Returns a dict with counts: {"settings": 1, "topics": N, "groups": N, "lessons": N, "skipped": N, "invalid": N}.
     Settings are overwritten; knowledge entries are upserted; duplicate lessons are skipped.
     """
     result: dict[str, int] = {
@@ -475,7 +473,6 @@ def restore_backup_zip(conn: sqlite3.Connection, data: bytes) -> dict[str, int]:
         "lessons": 0,
         "skipped": 0,
         "invalid": 0,
-        "learning_state": 0,
     }
 
     with zipfile.ZipFile(io.BytesIO(data)) as zf:
@@ -521,13 +518,6 @@ def restore_backup_zip(conn: sqlite3.Connection, data: bytes) -> dict[str, int]:
             result["skipped"] = duplicated
             result["invalid"] = invalid
 
-        if "learning-state.md" in names:
-            LEARNING_STATE_PATH.parent.mkdir(parents=True, exist_ok=True)
-            LEARNING_STATE_PATH.write_text(
-                zf.read("learning-state.md").decode("utf-8"), encoding="utf-8"
-            )
-            result["learning_state"] = 1
-
     return result
 
 

src/devcoach/web/app.py

@@ -5,7 +5,7 @@
 import json
 from pathlib import Path
 
-from fastapi import FastAPI, File, Form, Request, UploadFile
+from fastapi import FastAPI, File, Form, Query, Request, UploadFile
 from fastapi.responses import HTMLResponse, RedirectResponse, Response
 from fastapi.staticfiles import StaticFiles
 from fastapi.templating import Jinja2Templates
@@ -293,6 +293,8 @@ async def settings_page(
     skipped: int | None = None,
     invalid: int | None = None,
     groups: int | None = None,
+    topics: int | None = None,
+    settings_restored: int | None = Query(None, alias="settings"),
 ) -> HTMLResponse:
     with db.connection() as conn:
         settings = db.get_settings(conn)
@@ -307,6 +309,8 @@ async def settings_page(
             "skipped": skipped,
             "invalid": invalid,
             "groups": groups,
+            "topics": topics,
+            "settings_restored": settings_restored,
         },
     )
 
@@ -345,6 +349,10 @@ async def import_settings_route(file: UploadFile = File(...)) -> RedirectRespons
     with db.connection() as conn:
         result = db.restore_backup_zip(conn, content)
     return RedirectResponse(
-        url=f"/settings?imported={result['lessons']}&skipped={result['skipped']}&invalid={result['invalid']}&groups={result['groups']}",
+        url=(
+            f"/settings?imported={result['lessons']}&skipped={result['skipped']}"
+            f"&invalid={result['invalid']}&groups={result['groups']}"
+            f"&topics={result['topics']}&settings={result['settings']}"
+        ),
         status_code=303,
     )

src/devcoach/web/templates/settings.html

@@ -14,7 +14,9 @@ <h1 class="text-2xl font-bold mb-6 text-indigo-600 dark:text-indigo-400">Setting
   {{ imported }} lesson{{ 's' if imported != 1 }} imported.
   {%- if skipped %} {{ skipped }} skipped (already in DB).{% endif %}
   {%- if invalid %} {{ invalid }} rejected (failed validation).{% endif %}
-  {%- if groups is not none %} {{ groups }} group{{ 's' if groups != 1 }} added.{% endif %}
+  {%- if topics %} {{ topics }} topic{{ 's' if topics != 1 }} restored.{% endif %}
+  {%- if groups %} {{ groups }} group{{ 's' if groups != 1 }} added.{% endif %}
+  {%- if settings_restored %} Settings restored.{% endif %}
 </div>
 {% endif %}
 

tests/test_web_extra.py

@@ -157,6 +157,17 @@ def test_import_shows_counts(self, client):
         )
         assert "imported=2" in str(r.url) or "2" in r.text
 
+    def test_import_redirect_includes_topics_and_settings(self, client):
+        r = client.post(
+            "/settings/import",
+            files={"file": ("backup.zip", self._make_backup_zip(), "application/zip")},
+            follow_redirects=False,
+        )
+        location = r.headers["location"]
+        assert "topics=" in location
+        assert "settings=" in location
+
+
 
 # ── GET /lessons/export ────────────────────────────────────────────────────