Fix UI auto-scroll, make namespace optional, alias filePath, and downgrade ws logs

server/src/dashboard.html

@@ -549,6 +549,9 @@
                 // Resize graph when becoming visible again
                 network.redraw();
                 network.fit();
+            } else if (tabId === 'activity-tab') {
+                const feed = document.getElementById('activity-feed');
+                feed.scrollTop = feed.scrollHeight;
             }
         }
 
@@ -929,14 +932,21 @@
                 try {
                     const data = JSON.parse(event.data);
                     if (data.type === 'activity') {
+                        // Check scroll state before appending
+                        const isScrolledToBottom = feed.scrollHeight - feed.clientHeight <= feed.scrollTop + 20;
+
                         const div = document.createElement('div');
                         div.className = 'feed-entry';
                         const timeStr = new Date(data.data.time).toLocaleTimeString([], {hour: '2-digit', minute:'2-digit', second:'2-digit'});
                         div.innerHTML = `<span class="time">[${timeStr}]</span> ${data.data.message || data.data.data || data.data}`;
                         feed.appendChild(div);
                         
+                        // Enforce max history
+                        while (feed.children.length > MAX_ACTIVITY_HISTORY) {
+                            feed.removeChild(feed.firstChild);
+                        }
+
                         // Auto-scroll logic
-                        const isScrolledToBottom = feed.scrollHeight - feed.clientHeight <= feed.scrollTop + 20;
                         if (isScrolledToBottom) {
                             feed.scrollTop = feed.scrollHeight;
                         }