Standard-Opus auf claude-opus-4-7 festlegen (statt CLI-Default)

src/static/js/app.js

@@ -606,6 +606,9 @@ const App = {
             }
         } catch (e) { /* Kein kritischer Fehler */ }
 
+        // Heartbeat: periodischer Status-Abgleich als Sicherheitsnetz
+        this._statusSyncInterval = setInterval(() => this.syncRefreshStatus(), 60000);
+
         // Zuletzt ausgewählte Lage wiederherstellen
         const savedId = localStorage.getItem('selectedIncidentId');
         if (savedId) {
@@ -2241,6 +2244,44 @@ async handleRefresh() {
         UI.showToast('Recherche abgebrochen.', 'info');
     },
 
+    /**
+     * Gleicht den lokalen Refresh-Status mit dem Server ab.
+     * Bereinigt verwaiste Status-Anzeigen, die durch verpasste WebSocket-Nachrichten entstehen.
+     */
+    async syncRefreshStatus() {
+        if (this._refreshingIncidents.size === 0) return;
+        try {
+            const data = await API.getRefreshingIncidents();
+            const serverRefreshing = new Set(data.refreshing || []);
+            const serverQueued = new Set(data.queued || []);
+            const serverAll = new Set([...serverRefreshing, ...serverQueued]);
+
+            // Finde lokal als refreshing/queued markierte IDs, die serverseitig nicht mehr laufen
+            const stale = [];
+            this._refreshingIncidents.forEach(id => {
+                if (!serverAll.has(id)) stale.push(id);
+            });
+
+            if (stale.length > 0) {
+                console.log('Status-Sync: Bereinige verwaiste Refreshes:', stale);
+                stale.forEach(id => {
+                    this._refreshingIncidents.delete(id);
+                    this._updateSidebarDot(id);
+                    UI._removeSidebarRefreshStatus(id);
+                    delete UI._progressState[id];
+                    if (id === this.currentIncidentId) {
+                        this._updateRefreshButton(false);
+                        UI.hideProgress(id);
+                    }
+                });
+                UI._reindexQueuePositions();
+                this.renderSidebar();
+            }
+        } catch (e) {
+            // Netzwerkfehler ignorieren, naechster Zyklus probiert erneut
+        }
+    },
+
     minimizeProgress() {
         UI.minimizeProgress(this.currentIncidentId);
     },

src/static/js/components.js

@@ -716,7 +716,10 @@ const UI = {
         if (!text) return '<span style="color:var(--text-disabled);">Noch keine Zusammenfassung.</span>';
         let sources = [];
         try { sources = JSON.parse(sourcesJson || '[]'); } catch(e) {}
-        let html = this.escape(text);
+        // Nur Bullet-Point-Zeilen behalten, Fliesstext herausfiltern
+        const bulletLines = text.split("\n").filter(line => line.trim().startsWith("- "));
+        const bulletText = bulletLines.length > 0 ? bulletLines.join("\n") : text;
+        let html = this.escape(bulletText);
         // Bullet points
         html = html.replace(/^- (.+)$/gm, '<li>$1</li>');
         html = html.replace(/(<li>.*<\/li>\n?)+/gs, '<ul style="margin:4px 0 4px 18px;line-height:1.7;">$&</ul>');

src/static/js/ws.js

@@ -34,6 +34,10 @@ const WS = {
                 console.log('WebSocket verbunden');
                 this.reconnectDelay = 2000;
                 this._startPing();
+                // Nach Reconnect: Refresh-Status mit Server abgleichen
+                if (typeof App !== 'undefined' && App.syncRefreshStatus) {
+                    App.syncRefreshStatus();
+                }
                 return;
             }
             try {