synabun 2.1.0 → 2.2.0

package/neural-interface/public/shared/ui-sidepanel-windows.js

@@ -7,7 +7,7 @@ import { FRAMED_CLASS, frameRect } from './app-frame.js';
 
 const STORAGE_PREFIX = 'synabun-sidepanel-layout-';
 const surfaces = new Map();
-const LABELS = { claude: 'Claude', codex: 'Codex', opencode: 'OpenCode', assistant: 'SynaBun Assistant' };
+const LABELS = { claude: 'Claude', codex: 'Codex', opencode: 'OpenCode', antigravity: 'Antigravity', assistant: 'SynaBun Assistant' };
 const DETACH_ICON = '<svg viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.7"><rect x="3" y="7" width="14" height="14" rx="2"/><path d="M13 3h8v8M21 3l-9 9"/></svg>';
 const DOCK_ICON = '<svg viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.7"><rect x="3" y="4" width="18" height="16" rx="2"/><path d="M15 4v16M6 12h6m-3-3 3 3-3 3"/></svg>';
 const MOVE_ICON = '<svg viewBox="0 0 16 16" fill="currentColor"><circle cx="5" cy="4" r="1"/><circle cx="11" cy="4" r="1"/><circle cx="5" cy="8" r="1"/><circle cx="11" cy="8" r="1"/><circle cx="5" cy="12" r="1"/><circle cx="11" cy="12" r="1"/></svg>';
@@ -59,10 +59,10 @@ function injectStyles() {
       transform: none !important; transition: opacity .15s ease;
     }
     .sp-sidepanel.sp-floating.sp-window-focused { border-color: rgba(148,163,184,.38); }
-    .sp-sidepanel.sp-floating > :is(.cp-resize-handle,.cxp-resize-handle,.ocpv2-resize-handle,.asp-resize-handle) { display: none; }
+    .sp-sidepanel.sp-floating > :is(.cp-resize-handle,.cxp-resize-handle,.ocpv2-resize-handle,.agy-resize-handle,.asp-resize-handle) { display: none; }
     .sp-window-move { display: none !important; }
     .sp-floating .sp-window-move { display: inline-flex !important; cursor: move; flex-shrink: 0; }
-    .sp-floating > :is(.cp-header,.cxp-header,.ocpv2-header,.asp-header) { cursor: move; touch-action: none; }
+    .sp-floating > :is(.cp-header,.cxp-header,.ocpv2-header,.agy-header,.asp-header) { cursor: move; touch-action: none; }
     .sp-window-toggle svg, .sp-window-move svg { width: 13px; height: 13px; pointer-events: none; }
     .sp-window-resize { display: none; position: absolute; z-index: 20; touch-action: none; }
     .sp-floating > .sp-window-resize { display: block; }

package/neural-interface/public/shared/ui-terminal.js

@@ -4,7 +4,7 @@
 // ═══════════════════════════════════════════
 //
 // Provides a docked bottom terminal panel with tabbed sessions.
-// Profiles: Claude Code, Codex CLI, Gemini CLI, Shell.
+// Profiles: Claude Code, Codex CLI, Antigravity CLI, OpenCode, Shell.
 
 import { state, emit, on } from './state.js';
 import { KEYS } from './constants.js';
@@ -23,12 +23,12 @@ import { mountAssistant } from './assistant/asst-panel.js';
 import { getAssistantSession } from './assistant/asst-api.js';
 import { mascotCameoSvg } from './synabun-mascot.js';
 import { brainLabel, normalizeBrain, readStoredBrain, restoredSessionName, sessionNameGivenUp } from './assistant/asst-state.js';
-import { initAssistant, registerAssistantHost, openAssistant, assistantOwnerOf, fetchLiveAssistantSessions, isAssistantSessionLive } from './ui-assistant.js';
+import { initAssistant, registerAssistantHost, openAssistant, assistantOwnerOf, readLiveAssistantSessions, assistantBlocked, isAssistantSessionLive } from './ui-assistant.js';
 
 const $ = (id) => document.getElementById(id);
-const CLI_PROFILES = new Set(['claude-code', 'codex', 'gemini', 'opencode']);
-const NOTIF_TRACKED_CLI_PROFILES = new Set(['claude-code', 'codex', 'gemini', 'opencode']);
-const CLI_PROFILES_NEED_RECALL = new Set(['claude-code', 'codex', 'gemini', 'opencode']);
+const CLI_PROFILES = new Set(['claude-code', 'codex', 'antigravity', 'opencode']);
+const NOTIF_TRACKED_CLI_PROFILES = new Set(['claude-code', 'codex', 'antigravity', 'opencode']);
+const CLI_PROFILES_NEED_RECALL = new Set(['claude-code', 'codex', 'antigravity', 'opencode']);
 
 // ── Platform ──
 // macOS gets Terminal.app keys (Cmd shortcuts, Option word-jumps, Ctrl keys
@@ -144,7 +144,7 @@ function _injectPathIntoTerm(term, ws, path) {
 
 const SVG_CLAUDE = '<svg viewBox="0 0 24 24" fill="currentColor"><path d="M4.709 15.955l4.72-2.647.08-.23-.08-.128H9.2l-.79-.048-2.698-.073-2.339-.097-2.266-.122-.571-.121L0 11.784l.055-.352.48-.321.686.06 1.52.103 2.278.158 1.652.097 2.449.255h.389l.055-.157-.134-.098-.103-.097-2.358-1.596-2.552-1.688-1.336-.972-.724-.491-.364-.462-.158-1.008.656-.722.881.06.225.061.893.686 1.908 1.476 2.491 1.833.365.304.145-.103.019-.073-.164-.274-1.355-2.446-1.446-2.49-.644-1.032-.17-.619a2.97 2.97 0 01-.104-.729L6.283.134 6.696 0l.996.134.42.364.62 1.414 1.002 2.229 1.555 3.03.456.898.243.832.091.255h.158V9.01l.128-1.706.237-2.095.23-2.695.08-.76.376-.91.747-.492.584.28.48.685-.067.444-.286 1.851-.559 2.903-.364 1.942h.212l.243-.242.985-1.306 1.652-2.064.73-.82.85-.904.547-.431h1.033l.76 1.129-.34 1.166-1.064 1.347-.881 1.142-1.264 1.7-.79 1.36.073.11.188-.02 2.856-.606 1.543-.28 1.841-.315.833.388.091.395-.328.807-1.969.486-2.309.462-3.439.813-.042.03.049.061 1.549.146.662.036h1.622l3.02.225.79.522.474.638-.079.485-1.215.62-1.64-.389-3.829-.91-1.312-.329h-.182v.11l1.093 1.068 2.006 1.81 2.509 2.33.127.578-.322.455-.34-.049-2.205-1.657-.851-.747-1.926-1.62h-.128v.17l.444.649 2.345 3.521.122 1.08-.17.353-.608.213-.668-.122-1.374-1.925-1.415-2.167-1.143-1.943-.14.08-.674 7.254-.316.37-.729.28-.607-.461-.322-.747.322-1.476.389-1.924.315-1.53.286-1.9.17-.632-.012-.042-.14.018-1.434 1.967-2.18 2.945-1.726 1.845-.414.164-.717-.37.067-.662.401-.589 2.388-3.036 1.44-1.882.93-1.086-.006-.158h-.055L4.132 18.56l-1.13.146-.487-.456.061-.746.231-.243 1.908-1.312-.006.006z"/></svg>';
 const SVG_OPENAI = '<svg viewBox="0 0 24 24" fill="currentColor"><path d="M9.205 8.658v-2.26c0-.19.072-.333.238-.428l4.543-2.616c.619-.357 1.356-.523 2.117-.523 2.854 0 4.662 2.212 4.662 4.566 0 .167 0 .357-.024.547l-4.71-2.759a.797.797 0 00-.856 0l-5.97 3.473zm10.609 8.8V12.06c0-.333-.143-.57-.429-.737l-5.97-3.473 1.95-1.118a.433.433 0 01.476 0l4.543 2.617c1.309.76 2.189 2.378 2.189 3.948 0 1.808-1.07 3.473-2.76 4.163zM7.802 12.703l-1.95-1.142c-.167-.095-.239-.238-.239-.428V5.899c0-2.545 1.95-4.472 4.591-4.472 1 0 1.927.333 2.712.928L8.23 5.067c-.285.166-.428.404-.428.737v6.898zM12 15.128l-2.795-1.57v-3.33L12 8.658l2.795 1.57v3.33L12 15.128zm1.796 7.23c-1 0-1.927-.332-2.712-.927l4.686-2.712c.285-.166.428-.404.428-.737v-6.898l1.974 1.142c.167.095.238.238.238.428v5.233c0 2.545-1.974 4.472-4.614 4.472zm-5.637-5.303l-4.544-2.617c-1.308-.761-2.188-2.378-2.188-3.948A4.482 4.482 0 014.21 6.327v5.423c0 .333.143.571.428.738l5.947 3.449-1.95 1.118a.432.432 0 01-.476 0zm-.262 3.9c-2.688 0-4.662-2.021-4.662-4.519 0-.19.024-.38.047-.57l4.686 2.71c.286.167.571.167.856 0l5.97-3.448v2.26c0 .19-.07.333-.237.428l-4.543 2.616c-.619.357-1.356.523-2.117.523zm5.899 2.83a5.947 5.947 0 005.827-4.756C22.287 18.339 24 15.84 24 13.296c0-1.665-.713-3.282-1.998-4.448.119-.5.19-.999.19-1.498 0-3.401-2.759-5.947-5.946-5.947-.642 0-1.26.095-1.88.31A5.962 5.962 0 0010.205 0a5.947 5.947 0 00-5.827 4.757C1.713 5.447 0 7.945 0 10.49c0 1.666.713 3.283 1.998 4.448-.119.5-.19 1-.19 1.499 0 3.401 2.759 5.946 5.946 5.946.642 0 1.26-.095 1.88-.309a5.96 5.96 0 004.162 1.713z"/></svg>';
-const SVG_GEMINI = '<svg viewBox="0 0 24 24" fill="currentColor"><path d="M20.616 10.835a14.147 14.147 0 01-4.45-3.001 14.111 14.111 0 01-3.678-6.452.503.503 0 00-.975 0 14.134 14.134 0 01-3.679 6.452 14.155 14.155 0 01-4.45 3.001c-.65.28-1.318.505-2.002.678a.502.502 0 000 .975c.684.172 1.35.397 2.002.677a14.147 14.147 0 014.45 3.001 14.112 14.112 0 013.679 6.453.502.502 0 00.975 0c.172-.685.397-1.351.677-2.003a14.145 14.145 0 013.001-4.45 14.113 14.113 0 016.453-3.678.503.503 0 000-.975 13.245 13.245 0 01-2.003-.678z"/></svg>';
+const SVG_ANTIGRAVITY = '<svg viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M4.5 20 12 4l7.5 16"/><path d="M8.2 20a3.8 3.8 0 0 1 7.6 0"/></svg>';
 const SVG_OPENCODE = '<svg viewBox="0 0 240 300" fill="currentColor"><path fill-rule="evenodd" d="M0 0h240v300H0V0zm60 60v180h120V60H60z"/><rect x="60" y="120" width="120" height="120" opacity=".45"/></svg>';
 const SVG_SHELL = '<svg viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><polyline points="4 17 10 11 4 5"/><line x1="12" y1="19" x2="20" y2="19"/></svg>';
 const SVG_GIT = '<svg viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><line x1="6" y1="3" x2="6" y2="15"/><circle cx="18" cy="6" r="3"/><circle cx="6" cy="18" r="3"/><path d="M18 9a9 9 0 0 1-9 9"/></svg>';
@@ -156,7 +156,7 @@ const PROFILES = [
   { id: 'assistant',   label: 'Assistant',   svg: SVG_ASSISTANT, color: '#FFD23C' }, // non-PTY: hosts assistant/asst-panel.js
   { id: 'claude-code', label: 'Claude Code', svg: SVG_CLAUDE,  color: '#D4A27F' },
   { id: 'codex',       label: 'Codex CLI',   svg: SVG_OPENAI,  color: '#74c7a5' },
-  { id: 'gemini',      label: 'Gemini CLI',  svg: SVG_GEMINI,    color: '#669DF6' },
+  { id: 'antigravity', label: 'Antigravity CLI', svg: SVG_ANTIGRAVITY, color: '#669DF6' },
   { id: 'opencode',    label: 'OpenCode',    svg: SVG_OPENCODE, color: '#E8E0DC' },
   { id: 'shell',       label: 'Shell',       svg: SVG_SHELL,    color: '#aaaaaa' },
   { id: 'browser',     label: 'Browser',     svg: SVG_BROWSER, color: '#4fc3f7' },
@@ -248,6 +248,12 @@ let _closingIds = new Set();   // session IDs currently being closed (prevents r
 let _opening = false;          // true while openSession/openBrowserSession is in progress
 let _openingAt = 0;            // timestamp when _opening was set true (auto-reset after 15s)
 let _restoringLayout = false;  // true during reconnect+layout restore (suppresses layout saves)
+// Saved Assistant tabs whose session list could not be read yet (server still starting).
+// Kept in the registry on every save until a read succeeds; never pruned on a failed read.
+let _waitingAssistant = [];
+let _waitingAssistantTimer = null;
+const _waitingPlace = new Map(); // waiting Assistant tab id → { float, order, pane, paneActive, switches } from the saved layout
+const ASSISTANT_RESTORE_RETRY_MS = [500, 1000, 2000, 4000, 8000, 15_000];
 let _windowResizeTimer = null; // debounce handle for window resize clamping
 
 // ── Split pane state ──
@@ -256,6 +262,7 @@ let _focusedPane = 0;             // 0=left, 1=right — which pane has keyboard
 let _paneAssignments = new Map(); // sessionId → 0|1 (which pane a session belongs to)
 let _activePaneIdx = [-1, -1];    // per-pane active session index (into _sessions)
 let _splitRatio = 0.5;            // left pane width fraction (0.3–0.7)
+let _paneSwitches = [0, 0];       // per-pane count of tab switches outside a restore
 
 const DEFAULT_HEIGHT = 320;
 const MIN_HEIGHT = 120;
@@ -1610,6 +1617,7 @@ function saveSessionRegistry() {
       brain: s._isAssistant ? (s._brain || prev?.brain || null) : null,
     });
   }
+  for (const w of _waitingAssistant) if (!seen.has(w.id)) seen.set(w.id, w);
   storage.setItem(KEYS.TERMINAL_SESSIONS, JSON.stringify([...seen.values()]));
 }
 
@@ -1646,6 +1654,14 @@ function saveTerminalLayout() {
   if (_restoringLayout) return; // don't overwrite saved layout during reconnect
   try {
     const snap = getTerminalSnapshot();
+    // A float still waiting for its session keeps its saved place.
+    for (const w of _waitingAssistant) {
+      const float = _waitingPlace.get(w.id)?.float;
+      if (float && !snap.detachedTabs.some(dt => dt.sessionId === w.id)) snap.detachedTabs.push(float);
+      // …and a docked one its split pane.
+      const pane = _waitingPlace.get(w.id)?.pane;
+      if (snap.splitMode && pane != null && !(w.id in snap.paneAssignments)) snap.paneAssignments[w.id] = pane;
+    }
     storage.setItem(KEYS.TERMINAL_SESSIONS + '-layout', JSON.stringify(snap));
   } catch {}
 }
@@ -3530,6 +3546,107 @@ function _assistantOwnedElsewhere(sessionId) {
 }
 
 /** Reconnect a saved assistant tab (registry / workspace) to its live server session. */
+/** Keep saved Assistant tabs while the session list cannot be read, and retry the read. */
+function _waitAssistantRestore(entries, { layout = null, order = [] } = {}) {
+  const known = new Set(_waitingAssistant.map(w => w.id));
+  for (const e of entries) {
+    if (!known.has(e.id)) _waitingAssistant.push(e);
+    // Where the tab was: its float (position, size) from the saved layout, or its docked place.
+    const float = (layout?.detachedTabs || []).find(dt => dt?.sessionId === e.id) || null;
+    // In split mode, its pane and whether it was that pane's active tab.
+    const p = layout?.splitMode ? layout.paneAssignments?.[e.id] : null;
+    const pane = p === 0 || p === 1 ? p : null;
+    const paneActive = pane != null && (layout.sessions || [])[layout.activePaneIdx?.[pane]]?.id === e.id;
+    _waitingPlace.set(e.id, { float, order: order.map(o => o.id), pane, paneActive, switches: null });
+  }
+  if (_waitingAssistantTimer) return;
+  const attempt = async (n) => {
+    _waitingAssistantTimer = null;
+    if (!_waitingAssistant.length || assistantBlocked()) return;
+    const live = await readLiveAssistantSessions();
+    if (!live) {
+      // Out of retries: the entries stay saved for the next page load.
+      if (n < ASSISTANT_RESTORE_RETRY_MS.length) _waitingAssistantTimer = setTimeout(() => attempt(n + 1), ASSISTANT_RESTORE_RETRY_MS[n]);
+      return;
+    }
+    const waiting = _waitingAssistant;
+    _waitingAssistant = [];
+    // A late restore is silent: no panel opened, the active tab kept, each tab back where it was saved.
+    const active = _sessions[_activeIdx] || null;
+    const restored = [];
+    _restoringLayout = true;
+    try {
+      for (const saved of waiting) {
+        if (!live.has(saved.id) || _sessions.some(s => s.id === saved.id)) continue;
+        try { const s = await reconnectAssistantSession(saved.id, live.get(saved.id), saved); if (s) restored.push(s); }
+        catch (err) { console.warn('[assistant] reconnect failed:', saved.id, err); }
+      }
+    } finally { _restoringLayout = false; }
+    if (active) _activeIdx = _sessions.indexOf(active);
+    for (const s of restored) _placeLateAssistant(s, _waitingPlace.get(s.id));
+    _waitingPlace.clear();
+    if (active) _activeIdx = _sessions.indexOf(active);
+    else {
+      // Nothing was active: the first docked tab is, unhidden for when the panel is opened.
+      _activeIdx = _sessions.findIndex(s => !_detachedTabs.has(s.id));
+      const first = _sessions[_activeIdx];
+      if (first?.viewport) first.viewport.style.display = '';
+    }
+    renderTabBar();
+    saveSessionRegistry(); // prunes the ones whose sessions are really gone
+    saveTerminalLayout();
+  };
+  _waitingAssistantTimer = setTimeout(() => attempt(1), ASSISTANT_RESTORE_RETRY_MS[0]);
+}
+
+/** The restore that started the wait is done: pane switches from now on are the user's. */
+function _markLatePaneSwitches() {
+  for (const place of _waitingPlace.values()) if (!place.switches) place.switches = [..._paneSwitches];
+}
+
+/** A tab a late restore mounted goes where it was saved: its float, or its docked place in the saved order (and split pane). */
+function _placeLateAssistant(session, place) {
+  if (place?.float) {
+    if (session.viewport) session.viewport.style.display = '';
+    applyTerminalLayout({ detachedTabs: [place.float] });
+    return;
+  }
+  if (!_splitMode) { _orderLateAssistant(session, place?.order || []); return; }
+  // Split is on, so both panes exist: its saved pane, else its neighbour's. The user's layout stays as it is.
+  const paneActiveIds = _activePaneIdx.map(i => _sessions[i]?.id ?? null);
+  const pane = place?.pane ?? null;
+  let order = place?.order || [];
+  if (pane != null) order = order.filter(id => id === session.id || _paneAssignments.get(id) === pane);
+  const neighbour = _orderLateAssistant(session, order);
+  const target = pane ?? _paneAssignments.get(neighbour?.id) ?? _focusedPane;
+  _paneAssignments.set(session.id, target);
+  _panel?.querySelector(`.term-pane[data-pane="${target}"] .term-pane-body`)?.appendChild(session.viewport);
+  _activePaneIdx = paneActiveIds.map(id => _sessions.findIndex(s => s.id === id));
+  // It was the pane's active tab and nobody switched tabs there since: it is again.
+  const untouched = place?.switches && place.switches[target] === _paneSwitches[target];
+  if (pane != null && place.paneActive && untouched) switchToSessionInPane(_sessions.indexOf(session), target);
+  else if (session.viewport) session.viewport.style.display = 'none';
+}
+
+/** Move a late tab next to its nearest neighbour in `order`; returns that neighbour (or null). */
+function _orderLateAssistant(session, order) {
+  const at = order.indexOf(session.id);
+  if (at < 0) return null; // not in the saved order: it stays last
+  const from = _sessions.indexOf(session);
+  _sessions.splice(from, 1);
+  // After the nearest tab saved before it, else before the nearest saved after it, else last.
+  let to = _sessions.length;
+  const before = order.slice(0, at).reverse().map(id => _sessions.findIndex(s => s.id === id)).find(i => i >= 0);
+  if (before !== undefined) to = before + 1;
+  else {
+    const after = order.slice(at + 1).map(id => _sessions.findIndex(s => s.id === id)).find(i => i >= 0);
+    if (after !== undefined) to = after;
+  }
+  const neighbour = _sessions[to] || _sessions[to - 1] || null;
+  _sessions.splice(to, 0, session);
+  return neighbour;
+}
+
 async function reconnectAssistantSession(sessionId, live, saved) {
   if (_assistantOwnedElsewhere(sessionId)) return null;
   let meta = live || null;
@@ -5996,7 +6113,7 @@ export async function initTerminal() {
   // Register CLI launch keybind actions (open as detached floating tab)
   registerAction('launch-claude',   () => launchDetached('claude-code'));
   registerAction('launch-codex',    () => launchDetached('codex'));
-  registerAction('launch-gemini',   () => launchDetached('gemini'));
+  registerAction('launch-antigravity', () => launchDetached('antigravity'));
   registerAction('launch-opencode', () => launchDetached('opencode'));
   registerAction('launch-browser',  () => openBrowserSession());
   registerAction('launch-youtube', () => openBrowserSession('https://www.youtube.com'));
@@ -6125,7 +6242,17 @@ export async function initTerminal() {
     const liveBrowserMap = _streamDisabled ? new Map() : new Map(liveBrowserSessions.map(s => [s.id, s]));
 
     // Fetch live assistant sessions (only when the registry has assistant tabs)
-    const liveAssistantMap = registry.some(r => r.profile === 'assistant') ? await fetchLiveAssistantSessions() : new Map();
+    // A failed read is not an empty list: keep those tabs waiting and retry.
+    let liveAssistantMap = new Map();
+    if (registry.some(r => r.profile === 'assistant')) {
+      const read = await readLiveAssistantSessions();
+      if (read) liveAssistantMap = read;
+      else {
+        let layout = null;
+        try { layout = JSON.parse(storage.getItem(KEYS.TERMINAL_SESSIONS + '-layout') || 'null'); } catch {}
+        _waitAssistantRestore(registry.filter(r => r.profile === 'assistant'), { layout, order: registry });
+      }
+    }
 
     const liveIds = new Set([...liveMap.keys(), ...liveBrowserMap.keys(), ...liveAssistantMap.keys()]);
 
@@ -6190,6 +6317,8 @@ export async function initTerminal() {
       _syncRenderers();
     }
 
+    _markLatePaneSwitches();
+
     // Clean up dead sessions from registry
     if (toReconnect.length !== registry.length) {
       saveSessionRegistry();
@@ -6708,7 +6837,12 @@ export async function restoreTerminalSnapshot(snap) {
     } catch {}
     const liveMap = new Map(liveSessions.map(s => [s.id, s]));
     const liveIds = new Set(liveMap.keys());
-    const liveAssistantMap = snap.sessions.some(s => s.profile === 'assistant') ? await fetchLiveAssistantSessions() : new Map();
+    let liveAssistantMap = new Map();
+    if (snap.sessions.some(s => s.profile === 'assistant')) {
+      const read = await readLiveAssistantSessions();
+      if (read) liveAssistantMap = read;
+      else _waitAssistantRestore(snap.sessions.filter(s => s.profile === 'assistant'), { layout: snap, order: snap.sessions });
+    }
 
     // Disconnect current sessions without killing server PTY
     disconnectAllSessions();
@@ -6745,6 +6879,7 @@ export async function restoreTerminalSnapshot(snap) {
   const firstDocked = _sessions.findIndex(s => !_detachedTabs.has(s.id));
   if (firstDocked >= 0 && !_splitMode) switchToSession(firstDocked, { force: true });
   _syncRenderers();
+  _markLatePaneSwitches();
 }
 
 // ══════════════════════════════════════════
@@ -7650,6 +7785,7 @@ function initSplitDivider() {
 function switchToSessionInPane(idx, pane) {
   if (idx < 0 || idx >= _sessions.length) return;
   _activePaneIdx[pane] = idx;
+  if (!_restoringLayout) _paneSwitches[pane]++;
 
   // Show/hide viewports within this pane only
   const paneBody = _panel?.querySelector(`.term-pane[data-pane="${pane}"] .term-pane-body`);

package/neural-interface/public/shared/ui-tool-updates.js

@@ -14,7 +14,7 @@ const TOOL_ELEMENTS = {
   'claude-code': { toolbar: 'claude-update-badge',   menu: 'claude-menu-update-badge' },
   'codex':       { toolbar: 'codex-update-badge',    menu: 'codex-menu-update-badge' },
   'opencode':    { toolbar: 'opencode-update-badge', menu: 'opencode-menu-update-badge' },
-  'gemini':      { toolbar: null,                    menu: 'gemini-menu-update-badge' },
+  'antigravity': { toolbar: 'antigravity-update-badge', menu: 'antigravity-menu-update-badge' },
 };
 
 // Parent elements whose tooltips are updated when an update badge is visible.
@@ -22,14 +22,14 @@ const PARENT_ELEMENTS = {
   'claude-code': { toolbar: 'topright-claude-panel-btn', menu: 'menu-terminal-claude' },
   'codex':       { toolbar: 'topright-codex-panel-btn',  menu: 'menu-terminal-codex' },
   'opencode':    { toolbar: 'topright-opencode-panel-btn', menu: 'menu-terminal-opencode' },
-  'gemini':      { toolbar: null,                         menu: 'menu-terminal-gemini' },
+  'antigravity': { toolbar: 'topright-antigravity-panel-btn', menu: 'menu-terminal-antigravity' },
 };
 
 const TOOL_LABELS = {
   'claude-code': 'Claude Code',
   'codex':       'Codex',
   'opencode':    'OpenCode',
-  'gemini':      'Gemini CLI',
+  'antigravity': 'Antigravity CLI',
 };
 
 // Cached server response so click handlers can read per-tool updateCommand

package/neural-interface/public/shared/ui-tooltip.js

@@ -4,6 +4,7 @@
 // ═══════════════════════════════════════════
 
 import { boundsForPoint, frameRect } from './app-frame.js';
+import { isWindowsPlatform } from './desktop-bridge.js';
 
 /**
  * Initialize the tooltip system.
@@ -11,9 +12,16 @@ import { boundsForPoint, frameRect } from './app-frame.js';
  * mouseover/mouseout on any [data-tooltip] elements.
  */
 export function initTooltip() {
+  if (document.documentElement?.classList) {
+    document.documentElement.classList.toggle('platform-win32', isWindowsPlatform(globalThis.window));
+  }
   const tip = document.createElement('div');
   tip.className = 'ui-tooltip';
-  tip.innerHTML = '<span class="ui-tooltip-arrow"></span><span class="ui-tooltip-text"></span>';
+  const arrowEl = document.createElement('span');
+  arrowEl.className = 'ui-tooltip-arrow';
+  const textEl = document.createElement('span');
+  textEl.className = 'ui-tooltip-text';
+  tip.append(arrowEl, textEl);
   document.body.appendChild(tip);
 
   let showTimer = null;
@@ -29,7 +37,12 @@ export function initTooltip() {
   // control's tooltip over the open menu: while one is open, the control stays
   // quiet.
   const OPEN_MENU_INSIDE = '.cp-dropdown.open > .cp-dd-menu, .cxp-dropdown.open > .cxp-dd-menu, .ocpv2-dropdown.open > .ocpv2-dd-menu';
-  function openMenuInside(el) { return !!el.querySelector(OPEN_MENU_INSIDE); }
+  function openMenuInside(el) {
+    if (el.classList?.contains('term-minimized-pill') || el.classList?.contains('term-minimized-pill-close')) return false;
+    return !!el.querySelector(OPEN_MENU_INSIDE);
+  }
+
+  const rectKey = (r) => r.left + ',' + r.top + ',' + r.width + ',' + r.height;
 
   // Swap the placement class only: a reposition (the follow loop below) must keep .visible.
   function setPlacement(placement) {
@@ -37,8 +50,8 @@ export function initTooltip() {
     tip.classList.add(placement);
   }
 
-  function positionTip(el) {
-    const r = el.getBoundingClientRect();
+  function positionTip(el, knownRect = null) {
+    const r = knownRect || el.getBoundingClientRect();
     const tw = tip.offsetWidth;
     const th = tip.offsetHeight;
     const gap = 8;
@@ -50,14 +63,14 @@ export function initTooltip() {
     // Left-side placement (session dropdowns in sidepanels)
     // Anchor to the left edge of the containing sidepanel so tooltip always appears fully outside
     if (preferred === 'left') {
-      const panel = el.closest('.claude-panel, .codex-panel, .ocp-panel, .assistant-panel, .menubar-dropdown--resume');
+      const panel = el.closest('.claude-panel, .codex-panel, .ocp-panel, .agy-panel, .assistant-panel, .menubar-dropdown--resume');
       const anchorLeft = panel ? panel.getBoundingClientRect().left : r.left;
       if (anchorLeft - gap - tw > b.left + 4) {
         setPlacement('left');
         tip.style.top = (r.top + r.height / 2 - th / 2) + 'px';
         tip.style.left = (anchorLeft - gap - tw) + 'px';
         tip.style.setProperty('--arrow-y', (th / 2) + 'px');
-        return;
+        return { rect: r, width: tw };
       }
     }
 
@@ -70,7 +83,7 @@ export function initTooltip() {
       tip.style.top = (r.top + r.height / 2 - th / 2) + 'px';
       tip.style.left = (anchorRight + gap) + 'px';
       tip.style.setProperty('--arrow-y', (th / 2) + 'px');
-      return;
+      return { rect: r, width: tw };
     }
 
     // Elements near the top (title bar) → force below
@@ -90,6 +103,7 @@ export function initTooltip() {
     const arrowLeft = r.left + r.width / 2 - left;
     tip.style.setProperty('--arrow-x', arrowLeft + 'px');
     tip.style.setProperty('--arrow-y', '');
+    return { rect: r, width: tw };
   }
 
   function suppressTitle(el) {
@@ -98,10 +112,16 @@ export function initTooltip() {
       el._savedTitle = el.getAttribute('title');
       el.removeAttribute('title');
     }
-    el.querySelectorAll('[title]').forEach(child => {
-      child._savedTitle = child.getAttribute('title');
-      child.removeAttribute('title');
-    });
+    const titledChildren = [...el.querySelectorAll('[title]')];
+    if (titledChildren.length) {
+      el._savedTitleNodes = titledChildren;
+      for (const child of titledChildren) {
+        child._savedTitle = child.getAttribute('title');
+        child.removeAttribute('title');
+      }
+    } else {
+      delete el._savedTitleNodes;
+    }
   }
 
   function restoreTitle(el) {
@@ -109,12 +129,15 @@ export function initTooltip() {
       el.setAttribute('title', el._savedTitle);
       delete el._savedTitle;
     }
-    el.querySelectorAll('*').forEach(child => {
-      if (child._savedTitle !== undefined) {
-        child.setAttribute('title', child._savedTitle);
-        delete child._savedTitle;
+    if (el._savedTitleNodes) {
+      for (const child of el._savedTitleNodes) {
+        if (child._savedTitle !== undefined) {
+          child.setAttribute('title', child._savedTitle);
+          delete child._savedTitle;
+        }
       }
-    });
+      delete el._savedTitleNodes;
+    }
   }
 
   function show(el) {
@@ -122,7 +145,6 @@ export function initTooltip() {
     if (!text || openMenuInside(el)) return;
     clearTimeout(hideTimer);
     suppressTitle(el);
-    const textEl = tip.querySelector('.ui-tooltip-text');
     const nlIdx = text.indexOf('\n');
     if (nlIdx !== -1) {
       let main = text.slice(0, nlIdx);
@@ -141,37 +163,22 @@ export function initTooltip() {
     }
     currentTarget = el;
     tip.style.display = 'block';
-    tip.offsetHeight; // force reflow so dimensions are measurable
-    positionTip(el);
+    const { rect: initialRect, width: initialWidth } = positionTip(el);
     tip.classList.add('visible');
-    // Re-position on next frame — first show after display:none can mis-measure
-    requestAnimationFrame(() => {
-      if (currentTarget === el) {
-        positionTip(el);
-        tip.classList.add('visible');
-      }
-    });
-    // Some targets resize on hover (e.g. tray pill label expands max-width
-    // 100→300px over ~300ms). Without follow-up positioning, the tooltip
-    // stays anchored to the un-expanded rect and the pill grows leftward
-    // over it. Drive a rAF loop for the duration of any size/position
-    // transition so the tooltip tracks the target.
-    const followFor = 360; // ms — upper bound, slightly longer than the longest pill transition
-    const stopAt = performance.now() + followFor;
-    // Self-terminate once the target stops moving: a static target (the vast
-    // majority of tooltips) settles in ~2 frames instead of running the full
-    // 360ms rAF/getBoundingClientRect loop, while an animating pill keeps being
-    // followed until it settles or the cap is hit.
-    let lastRectKey = '';
+
+    // Follow targets that actually animate their geometry on hover (via transitionrun),
+    // without polling static targets across multiple rAFs.
+    const followFor = 360;
+    let stopAt = 0;
+    let lastRectKey = rectKey(initialRect);
     let stableTicks = 0;
     const tick = () => {
       repositionRafId = 0;
       if (currentTarget !== el) return;
-      positionTip(el);
-      const r = el.getBoundingClientRect();
-      const key = r.left + ',' + r.top + ',' + r.width + ',' + r.height;
+      const { rect: r } = positionTip(el);
+      const key = rectKey(r);
       if (key === lastRectKey) {
-        if (++stableTicks >= 2) return; // target settled — stop early
+        if (++stableTicks >= 2) return;
       } else {
         stableTicks = 0;
         lastRectKey = key;
@@ -184,6 +191,8 @@ export function initTooltip() {
       if (currentTarget !== el) return;
       if (event.target !== el && !el.contains(event.target)) return;
       if (!/width|max-width|transform|margin|padding|left|right|top|bottom/.test(event.propertyName || '')) return;
+      stopAt = performance.now() + followFor;
+      stableTicks = 0;
       if (!repositionRafId) repositionRafId = requestAnimationFrame(tick);
     };
     repositionEndHandler = (event) => {
@@ -193,9 +202,25 @@ export function initTooltip() {
     };
     el.addEventListener('transitionrun', repositionRunHandler);
     el.addEventListener('transitionend', repositionEndHandler);
-    // Kick off one immediate rAF in case the transition already started on
-    // mouseenter before our listeners attached.
-    if (!repositionRafId) repositionRafId = requestAnimationFrame(tick);
+
+    // One check on the next frame (a single rect read): metrics that settle after display:none, or a
+    // hover transition that began before the listeners above were attached (the 16-20 ms show delay).
+    if (!repositionRafId) {
+      repositionRafId = requestAnimationFrame(() => {
+        repositionRafId = 0;
+        if (currentTarget !== el) return;
+        const r = el.getBoundingClientRect();
+        const key = rectKey(r);
+        if (key !== lastRectKey || tip.offsetWidth !== initialWidth) {
+          lastRectKey = key;
+          positionTip(el, r);
+          if (key !== rectKey(initialRect)) {
+            stopAt = performance.now() + followFor;
+            repositionRafId = requestAnimationFrame(tick);
+          }
+        }
+      });
+    }
   }
 
   function hide() {
@@ -230,7 +255,7 @@ export function initTooltip() {
     clearTimeout(hideTimer);
     if (currentTarget) {
       hide();
-      show(el);
+      showTimer = setTimeout(() => show(el), 16);
     } else {
       showTimer = setTimeout(() => show(el), 20);
     }