feat: "ARIA hart neu starten"-Button (docker restart aria-core)

Zweiter Eskalations-Button neben dem Reparieren-Button — fuer Faelle
wo doctor --fix nicht reicht (Run alive aber haengt im Tool-Call).
Mit Confirmation-Dialog damit's nicht versehentlich gedrueckt wird.

Wege:
- App-Settings: Reparatur-Sektion, zwei Buttons (Reparieren + Hart neu)
- App-Thinking-Bubble: 🔧 + 🚨 + Abbrechen
- Diagnostic-Thinking-Indicator: 🔧 + 🚨 + Abbrechen
- Diagnostic-Server: POST /api/aria-restart → child_process exec
  `docker restart aria-core`
- Bridge: rvs aria_restart → HTTP zu Diagnostic

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

diagnostic/server.js

@@ -1358,6 +1358,27 @@ const server = http.createServer((req, res) => {
         res.end(JSON.stringify({ ok: false, error: err.message }));
       });
     return;
+  } else if (req.url === "/api/aria-restart" && req.method === "POST") {
+    // Harter Restart — fuer Faelle wo doctor --fix nicht reicht (alive aber
+    // haengender Run). docker restart killt PID 1 vom Container, alle Locks
+    // weg, neuer State. Dauert ~10-20s bis ARIA wieder antwortet.
+    log("warn", "server", "HTTP /api/aria-restart — harter Container-Restart");
+    broadcast({ type: "watchdog", status: "fixing", message: "ARIA wird hart neu gestartet (~15s)" });
+    const exec = require("child_process").exec;
+    exec("docker restart aria-core", { timeout: 30000 }, (err, stdout, stderr) => {
+      if (err) {
+        log("error", "server", `aria-restart fehlgeschlagen: ${err.message}`);
+        broadcast({ type: "watchdog", status: "error", message: `Restart fehlgeschlagen: ${err.message}` });
+        res.writeHead(500, { "Content-Type": "application/json" });
+        res.end(JSON.stringify({ ok: false, error: err.message }));
+        return;
+      }
+      log("info", "server", `aria-restart OK: ${(stdout || "").trim()}`);
+      broadcast({ type: "watchdog", status: "fixed", message: "ARIA wurde neu gestartet — sollte gleich antworten" });
+      res.writeHead(200, { "Content-Type": "application/json" });
+      res.end(JSON.stringify({ ok: true, output: stdout }));
+    });
+    return;
   } else if (req.url.startsWith("/shared/")) {
     // Dateien aus Shared Volume ausliefern (Bilder, Uploads)
     const filePath = decodeURIComponent(req.url);