synabun 2.0.10 → 2.2.0

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

@@ -1030,7 +1030,7 @@ export function wireJudgmentsTab(overlay, { toast = () => {}, initial = null } =
     return { line: p == null ? '' : flagged(kit.tx('settings.redesign.judgments.pGoalMet', { pct: pct(p) }), p >= knob('loop-goal', 'minConfidence', 0.8)) };
   }
   function budgetSplitLine(row, answers) {
-    const names = { share_claude_code: 'Claude Code', share_codex: 'Codex', share_opencode: 'OpenCode' };
+    const names = { share_claude_code: 'Claude Code', share_codex: 'Codex', share_opencode: 'OpenCode', share_antigravity: 'Antigravity' };
     const parts = Object.entries(names).filter(([key]) => answers[key]?.type === 'score').map(([key, label]) => {
       const a = answers[key];
       return escapeHtml(kit.tx('settings.redesign.judgments.budgetShareScore', { provider: label, score: num(a.score ?? a.value), confidence: pct(a.confidence) }));

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

@@ -12,7 +12,7 @@ const CLI_ICONS = {
   assistant: '<svg viewBox="0 0 24 24" fill="currentColor"><rect x="8" y="5.5" width="11" height="5" rx="2.5" transform="rotate(-12 13.5 8)"/><rect x="4.5" y="12.5" width="11" height="5" rx="2.5" transform="rotate(-12 10 15)"/></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>',
   codex: '<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>',
-  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>',
+  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>',
   browser: '<svg viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><circle cx="12" cy="12" r="10"/><ellipse cx="12" cy="12" rx="4" ry="10"/><line x1="2" y1="12" x2="22" y2="12"/><path d="M4.5 7h15M4.5 17h15" stroke-width="1"/></svg>',
   youtube: '<svg viewBox="0 0 24 24" fill="currentColor"><path d="M23.498 6.186a3.016 3.016 0 00-2.122-2.136C19.505 3.545 12 3.545 12 3.545s-7.505 0-9.377.505A3.017 3.017 0 00.502 6.186C0 8.07 0 12 0 12s0 3.93.502 5.814a3.016 3.016 0 002.122 2.136c1.871.505 9.376.505 9.376.505s7.505 0 9.377-.505a3.015 3.015 0 002.122-2.136C24 15.93 24 12 24 12s0-3.93-.502-5.814zM9.545 15.568V8.432L15.818 12l-6.273 3.568z"/></svg>',
 };
@@ -26,7 +26,8 @@ let _recording = null;            // { actionId, originalCombo } when recording
 let _pendingBindings = null;      // working copy during modal editing
 let _modalOpen = false;
 // Actions that were removed ("toggle-toolbar" was "Hide all toolbars"): a saved key for one is dropped on load.
-const RETIRED_ACTIONS = ['toggle-toolbar'];
+// "launch-gemini" became "launch-antigravity" (Antigravity replaced the Gemini CLI): its key carries over first.
+const RETIRED_ACTIONS = ['toggle-toolbar', 'toggle-minimap', 'launch-gemini'];
 
 // ── Combo building ──
 
@@ -94,6 +95,31 @@ export function getBinding(actionId) {
   return _bindings[actionId] || null;
 }
 
+/** The key an action is bound to as a menu shows it, or '' while it has none (the context menu, read at each open). */
+export function getShortcutLabel(actionId) {
+  const combo = _bindings[actionId];
+  return combo ? comboToDisplay(combo) : '';
+}
+
+/** Whether a module registered an action with this id. */
+export function hasAction(actionId) {
+  return _actions.has(actionId);
+}
+
+/** The action a key press is bound to, or null (a key the user bound stays that action, Shift+F10 included). */
+export function actionForKey(e) {
+  const combo = buildCombo(e);
+  return (combo && _reverseMap.get(combo)) || null;
+}
+
+/** Run a registered action as its key would. False when nothing registered it. */
+export function runAction(actionId) {
+  const handler = _actions.get(actionId);
+  if (!handler) return false;
+  handler();
+  return true;
+}
+
 // ── Central dispatcher ──
 
 function centralKeyHandler(e) {
@@ -422,6 +448,11 @@ export async function initKeybinds() {
     const data = await fetchKeybinds();
     if (data && data.bindings) {
       _bindings = { ...DEFAULT_KEYBINDS, ...data.bindings };
+      // A key saved for the Gemini CLI launches Antigravity, unless Antigravity has one of its own
+      // (lib/antigravity/migrate-gemini.js migrateKeybinds does the same to the saved file).
+      if (Object.hasOwn(data.bindings, 'launch-gemini') && !Object.hasOwn(data.bindings, 'launch-antigravity')) {
+        _bindings['launch-antigravity'] = data.bindings['launch-gemini'];
+      }
     } else {
       _bindings = { ...DEFAULT_KEYBINDS };
     }

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

@@ -3,7 +3,7 @@
 // ═══════════════════════════════════════════
 //
 // Floating Link Panel that mediates turn-based conversations
-// between AI agents (Claude Code, Codex, Gemini, etc.) via linked
+// between AI agents (Claude Code, Codex, Antigravity, etc.) via linked
 // terminal sessions. Users can inject messages, control auto-relay,
 // and watch agents collaborate in real-time.
 
@@ -31,7 +31,7 @@ const SVG_COPY = '<svg viewBox="0 0 24 24" fill="none" stroke="currentColor" str
 const PROFILE_META = {
   'claude-code': { label: 'Claude Code', color: '#D4A27F' },
   'codex':       { label: 'Codex CLI',   color: '#74c7a5' },
-  'gemini':      { label: 'Gemini CLI',  color: '#669DF6' },
+  'antigravity': { label: 'Antigravity CLI', color: '#669DF6' },
   'shell':       { label: 'Shell',       color: '#aaaaaa' },
   'browser':     { label: 'Browser',     color: '#4fc3f7' },
 };
@@ -245,7 +245,7 @@ async function _showSetupView() {
       <div class="link-panel-empty">
         <div class="link-panel-empty-icon">${SVG_UNLINK}</div>
         <p>Open at least 2 terminal sessions to create a link.</p>
-        <p style="opacity:0.5;font-size:12px;">Use the terminal panel to launch Claude Code, Codex, or Gemini.</p>
+        <p style="opacity:0.5;font-size:12px;">Use the terminal panel to launch Claude Code, Codex, or Antigravity.</p>
       </div>
     `;
     return;

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

@@ -12,12 +12,12 @@ import { openHelp } from './ui-help.js';
 import { armPwaInstallHandoff, initPwaInstall, installGuideUrl, isStandalone, requestPwaInstall } from './pwa-install.js';
 import { registerAction } from './ui-keybinds.js';
 import { isGuest, hasPermission } from './ui-sync.js';
-import { sendToPanel } from './ui-claude-panel.js';
 import { forceCheckToolUpdates, showUpdateToast, TOOL_LABELS } from './ui-tool-updates.js';
 import { forceCheckSynabunUpdate, openSynabunUpdateModal, synabunUpdateSourceLabel } from './ui-update.js';
 import { requestServerRestart } from './ui-loading.js';
 import { desktopBridge, isDesktopApp } from './desktop-bridge.js';
 import { t } from './i18n.js';
+import { frameRect } from './app-frame.js';
 
 const $ = (id) => document.getElementById(id);
 
@@ -160,7 +160,7 @@ export function initMenubar() {
     'menu-terminal-assistant': 'terminal',
     'menu-terminal-claude': 'terminal',
     'menu-terminal-codex': 'terminal',
-    'menu-terminal-gemini': 'terminal',
+    'menu-terminal-antigravity': 'terminal',
     'menu-terminal-opencode': 'terminal',
     'menu-terminal-shell': 'terminal',
     'menu-terminal-browser': 'browser',
@@ -221,7 +221,7 @@ function fitDropdown(item) {
   dropdown.style.maxHeight = '';
   dropdown.classList.remove('menubar-dropdown--scroll');
   const top = item.getBoundingClientRect().bottom + 14;
-  const room = Math.floor(window.innerHeight - top - 12);
+  const room = Math.floor(frameRect().bottom - top - 12); // down to the app frame's bottom edge
   if (room > 120 && dropdown.scrollHeight > room) {
     dropdown.style.maxHeight = room + 'px';
     dropdown.classList.add('menubar-dropdown--scroll');
@@ -278,12 +278,6 @@ function wireSubmenus() {
     sync();
   });
   window.addEventListener('resize', () => { if (openSub) placeSubmenu(openSub.parent, openSub.panel); });
-  // The tour shows a submenu by name (ui-tutorial.js showStage); null closes it.
-  on('menubar:submenu', (name) => {
-    const row = name ? [...SUBMENUS.keys()].find(r => r.dataset.submenu === name) : null;
-    if (row && !row.hidden) openSubmenu(row);
-    else closeSubmenu();
-  });
 }
 
 function openSubmenu(row, { focusFirst = false } = {}) {
@@ -377,8 +371,9 @@ function submenuEntries(panel) {
     .filter(el => !el.hidden && !el.classList.contains('disabled') && getComputedStyle(el).display !== 'none');
 }
 
-// Right of the dropdown with its first entry level with the row; on the left when the window has no room
-// on the right, and kept inside the window. The dropdown's laid-out place (offsetTop/Left) is what its
+// Right of the dropdown with its first entry level with the row; on the left when the app frame has no room
+// on the right, and kept inside its right and bottom edges (the menu hangs from the bar, which is outside the
+// frame, so its left stays the window's). The dropdown's laid-out place (offsetTop/Left) is what its
 // drop-in animation does not move, so a submenu opened together with the menu (the tour) lines up too.
 function placeSubmenu(row, panel) {
   const dropdown = row.parentElement, host = panel.parentElement;
@@ -386,9 +381,10 @@ function placeSubmenu(row, panel) {
   const first = submenuEntries(panel)[0];
   const lead = first ? first.getBoundingClientRect().top - panelBox.top : 0;
   const top = dropdown.offsetTop + row.getBoundingClientRect().top - dropdown.getBoundingClientRect().top - lead;
+  const f = frameRect();
   let left = dropdown.offsetLeft + dropdown.offsetWidth + SUBMENU_GAP;
-  if (hostBox.left + left + panelBox.width > innerWidth - VIEWPORT_MARGIN) left = dropdown.offsetLeft - SUBMENU_GAP - panelBox.width;
-  const maxTop = innerHeight - VIEWPORT_MARGIN - panelBox.height - hostBox.top;
+  if (hostBox.left + left + panelBox.width > f.right - VIEWPORT_MARGIN) left = dropdown.offsetLeft - SUBMENU_GAP - panelBox.width;
+  const maxTop = f.bottom - VIEWPORT_MARGIN - panelBox.height - hostBox.top;
   panel.style.left = `${Math.max(VIEWPORT_MARGIN - hostBox.left, left)}px`;
   panel.style.top = `${Math.max(VIEWPORT_MARGIN - hostBox.top, Math.min(top, maxTop))}px`;
 }
@@ -576,7 +572,7 @@ function wireTerminalMenu() {
     'menu-terminal-assistant': () => emit('assistant:open'),
     'menu-terminal-claude':  () => emit('terminal:open', { profile: 'claude-code' }),
     'menu-terminal-codex':   () => emit('terminal:open', { profile: 'codex' }),
-    'menu-terminal-gemini':   () => emit('terminal:open', { profile: 'gemini' }),
+    'menu-terminal-antigravity': () => emit('terminal:open', { profile: 'antigravity' }),
     'menu-terminal-opencode': () => emit('terminal:open', { profile: 'opencode' }),
     'menu-check-cli-updates': async () => {
       const [tools, syn] = await Promise.all([
@@ -611,7 +607,6 @@ function wireTerminalMenu() {
     'menu-terminal-discord': () => emit('browser:open', { url: 'https://discord.com/app' }),
     'menu-terminal-x':       () => emit('browser:open', { url: 'https://x.com' }),
     'menu-terminal-whatsapp': () => emit('browser:open', { url: 'https://web.whatsapp.com' }),
-    'menu-app-leonardo':     () => { emit('browser:open', { url: 'https://app.leonardo.ai' }); emit('leonardo:launch'); },
     'menu-open-styleguide':  () => emit('styleguide:open'),
     'menu-command-runner':   () => emit('command-runner:open'),
     'menu-terminal-link':    () => emit('link:toggle'),
@@ -645,11 +640,6 @@ function wireTerminalMenu() {
     if (el) el.addEventListener('click', () => { closeAll(); handler(); });
   });
 
-  // Leonardo.AI — open panel with /leonardo skill after browser launches
-  on('leonardo:launch', () => {
-    setTimeout(() => sendToPanel('/leonardo', { newTab: true, tabLabel: 'Leonardo.AI', autoSubmit: true }), 500);
-  });
-
   // Keyboard shortcuts: toggle terminal (via central keybinds)
   registerAction('toggle-terminal', () => emit('terminal:toggle'));
   registerAction('toggle-terminal-alt', () => emit('terminal:toggle'));

package/neural-interface/public/shared/ui-native-loop-router-state.js

@@ -3,6 +3,11 @@ export function isNewerRunDescriptor(next, current, terminalStatuses) {
   const nextTerminal = terminalStatuses.has(next.status);
   const currentTerminal = terminalStatuses.has(current.status);
   if (currentTerminal !== nextTerminal) return nextTerminal;
+  // A run resumed after a server restart (`resumes` only grows) is newer whatever its version: a crash can lose the
+  // last ledger writes, and with them versions a page already saw.
+  const nextResumes = Number(next.resumes) || 0;
+  const currentResumes = Number(current.resumes) || 0;
+  if (nextResumes !== currentResumes) return nextResumes > currentResumes;
   const nextVersion = Number(next.version) || 0;
   const currentVersion = Number(current.version) || 0;
   if (nextVersion !== currentVersion) return nextVersion > currentVersion;

package/neural-interface/public/shared/ui-native-loop-router.js

@@ -2,6 +2,7 @@ import { on } from './state.js';
 import { attachClaudeAutomation, detachClaudeAutomation, handleClaudeAutomationEvent } from './ui-claude-panel.js';
 import { attachCodexAutomation, detachCodexAutomation, handleCodexAutomationEvent } from './ui-codex-panel.js';
 import { attachOpenCodeAutomation, detachOpenCodeAutomation } from './ui-opencode-panel-v2.js';
+import { attachAntigravityAutomation, detachAntigravityAutomation, handleAntigravityAutomationEvent } from './ui-antigravity-panel.js';
 import { nativeLoopWindowId } from './ui-native-window-id.js';
 import {
   isNewerRunDescriptor,
@@ -13,7 +14,10 @@ import {
 const DISMISSED_KEY = 'synabun-native-loop-dismissed';
 const CLAIM_TTL_MS = 90_000;
 const TERMINAL_RESTORE_LIMIT = 10;
+// 'suspended' is not among them: a dispatched worker a server restart cut off keeps its tab until the next start
+// resumes it (or ends it as interrupted).
 const TERMINAL_STATUSES = new Set(['completed', 'failed', 'stopped', 'interrupted']);
+const LIVE_STATUSES = new Set(['starting', 'running', 'suspended']);
 const _windowId = nativeLoopWindowId;
 
 const _attached = new Map();
@@ -158,6 +162,7 @@ async function attach(run, focus) {
   }
   if (provider === 'codex') return attachCodexAutomation(run, options);
   if (provider === 'opencode') return attachOpenCodeAutomation(run, options);
+  if (provider === 'antigravity') return attachAntigravityAutomation(run, options);
   return { ok: false, reason: 'unsupported_provider' };
 }
 
@@ -166,6 +171,7 @@ async function detachProviderRun(runId, provider) {
     if (provider === 'claude-code' || provider === 'claude') return await detachClaudeAutomation(runId);
     if (provider === 'codex') return await detachCodexAutomation(runId);
     if (provider === 'opencode') return await detachOpenCodeAutomation(runId);
+    if (provider === 'antigravity') return await detachAntigravityAutomation(runId);
   } catch {}
   return false;
 }
@@ -186,6 +192,7 @@ function deliverProviderEvent(message) {
       return handleClaudeAutomationEvent(run.runId, payload);
     }
     if (payload.provider === 'codex') return handleCodexAutomationEvent(run.runId, payload);
+    if (payload.provider === 'antigravity') return handleAntigravityAutomationEvent(run.runId, payload);
   } catch {}
   return false;
 }
@@ -355,7 +362,7 @@ async function reconcileRuns() {
     const newestFirst = (data.runs || [])
       .filter(hasIdentity)
       .sort((a, b) => String(b.updatedAt || b.startedAt || '').localeCompare(String(a.updatedAt || a.startedAt || '')));
-    const activeRuns = newestFirst.filter((run) => run.status === 'starting' || run.status === 'running');
+    const activeRuns = newestFirst.filter((run) => LIVE_STATUSES.has(run.status));
     const terminalRuns = newestFirst.filter((run) => {
       if (!TERMINAL_STATUSES.has(run.status)) return false;
       if (new Date(run.updatedAt || run.startedAt || 0).getTime() < cutoff) return false;
@@ -403,6 +410,9 @@ export function initNativeLoopRouter() {
   on('sync:sidepanel:run-completed', route);
   on('sync:sidepanel:run-failed', route);
   on('sync:sidepanel:run-stopped', route);
+  // The sync socket (re)connected (ui-sync.js 'connected'): after a server restart the runs are read again at once,
+  // not at the next 30 s heartbeat, so a tab whose run was suspended sees it resume (or end) as soon as it can.
+  on('session:info', () => { scheduleReconcile(); });
   on('sync:sidepanel:provider-event', (message) => {
     // An OpenCode worker's panel streams from its own serve: the sync copy of its tool calls is the Assistant's.
     if (message?.event?.provider === 'opencode') return;

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

@@ -1,12 +1,11 @@
 import { initDetachedAgentSessions } from './ui-sidepanel-sessions.js';
 // ═══════════════════════════════════════════
 // SynaBun Neural Interface — Navbar
-// Initializes the 2D/3D view toggle, right-side icon buttons, and menubar action buttons.
+// Initializes right-side icon buttons and menubar action buttons. The memory map is 3D only.
 // Menu items (View, Graph, Bookmarks, Layouts) are handled by ui-menubar.js.
 // ═══════════════════════════════════════════
 
 import { state, emit, on } from './state.js';
-import { getVariant } from './registry.js';
 import { KEYS } from './constants.js';
 import { storage } from './storage.js';
 import { t } from './i18n.js';
@@ -16,6 +15,7 @@ import { startTutorial } from './ui-tutorial.js';
 import { toggleClaudePanel, isClaudePanelOpen } from './ui-claude-panel.js';
 import { toggleCodexPanel, isCodexPanelOpen } from './ui-codex-panel.js';
 import { toggleOpencodePanel, isOpencodePanelOpen } from './ui-opencode-panel-v2.js';
+import { toggleAntigravityPanel, isAntigravityPanelOpen } from './ui-antigravity-panel.js';
 import { toggleAssistantPanel, isAssistantPanelOpen, initAssistantPanel } from './ui-assistant-panel.js';
 import { initAssistant } from './ui-assistant.js';
 import { toggleSessionMonitor, fetchLoopsForBadge, fetchNotificationsForBadge } from './ui-sessions.js';
@@ -23,40 +23,21 @@ import { toggleImageGallery } from './ui-image-gallery.js';
 import { toggleScheduleQueue } from './ui-schedule-queue.js';
 import { initUpdate } from './ui-update.js';
 import { initToolUpdates } from './ui-tool-updates.js';
+import { initCrashNotice } from './ui-crash-notice.js';
 import { initSidepanelTrayPlaceholders } from './ui-sidepanel-tray.js';
 import { initDesktopTitleBar } from './desktop-titlebar.js';
+import { initToprightOverflow } from './ui-topright-overflow.js';
 
 const $ = (id) => document.getElementById(id);
 
 export function initNavbar() {
   initDetachedAgentSessions();
-  const variant = getVariant() || '3d';
-
-  // ── View toggle ──
-  const nav2d = $('nav-2d-link');
-  const nav3d = $('nav-3d-link');
-
-  const activeLink = variant === '3d' ? nav3d : nav2d;
-  const inactiveLink = variant === '3d' ? nav2d : nav3d;
-
-  if (activeLink) {
-    activeLink.addEventListener('click', (e) => e.preventDefault());
-  }
-  if (inactiveLink) {
-    inactiveLink.addEventListener('click', (e) => {
-      e.preventDefault();
-      if (state.selectedNodeId) {
-        sessionStorage.setItem(KEYS.SELECTED_SWITCH, state.selectedNodeId);
-      }
-      window.location.href = inactiveLink.getAttribute('href');
-    });
-  }
-
   // ── Claude panel toggle (topright workspace toolbar) ──
   const assistantPanelBtn = $('topright-assistant-panel-btn');
   const claudePanelBtn = $('topright-claude-panel-btn');
   const codexPanelBtn = $('topright-codex-panel-btn');
   const opencodePanelBtn = $('topright-opencode-panel-btn');
+  const antigravityPanelBtn = $('topright-antigravity-panel-btn');
   initSidepanelTrayPlaceholders();
   // The Assistant: shared host wiring (terminal tab + sidepanel), then the
   // sidepanel host, which restores its saved tabs as tray pills.
@@ -84,6 +65,11 @@ export function initNavbar() {
       toggle: toggleOpencodePanel,
       button: opencodePanelBtn,
     },
+    antigravity: {
+      isOpen: isAntigravityPanelOpen,
+      toggle: toggleAntigravityPanel,
+      button: antigravityPanelBtn,
+    },
   };
 
   function syncAgentPanelButtons() {
@@ -135,6 +121,16 @@ export function initNavbar() {
       syncAgentPanelButtons();
     });
   }
+  if (antigravityPanelBtn) {
+    antigravityPanelBtn.addEventListener('click', async (e) => {
+      e.preventDefault();
+      await toggleAgentPanel('antigravity');
+    });
+    on('antigravity-panel:visibility', (visible) => {
+      antigravityPanelBtn.classList.toggle('active', !!visible);
+      syncAgentPanelButtons();
+    });
+  }
   on('claude-panel:visibility', () => syncAgentPanelButtons());
   on('opencode-child:visibility', () => syncAgentPanelButtons());
 
@@ -350,6 +346,33 @@ export function initNavbar() {
     });
   }
 
+  // ── The whiteboard rail toggle (#wb-hide-btn ↔ #toolbar-show-btn) ──
+  // Hides the whiteboard tool rail (#wb-toolbar, Focus Mode) behind a SynaBun logo button above the console button
+  // (#term-peek-dock). The workspace toolbar and the session pills (#term-minimized-tray) stay. Remembered across reloads.
+  const wbRail = $('wb-toolbar');
+  const hideBtn = $('wb-hide-btn');
+  const showBtn = $('toolbar-show-btn');
+  if (wbRail && hideBtn && showBtn) {
+    const setRailHidden = (hidden) => {
+      wbRail.classList.toggle('wb-rail-hidden', hidden);
+      wbRail.toggleAttribute('inert', hidden);
+      hideBtn.setAttribute('aria-pressed', String(hidden));
+      showBtn.setAttribute('aria-pressed', String(!hidden));
+      showBtn.hidden = !hidden;
+    };
+    setRailHidden(storage.getItem(KEYS.WHITEBOARD_TOOLBAR_HIDDEN) === 'true');
+    const toggle = (hidden) => {
+      setRailHidden(hidden);
+      storage.setItem(KEYS.WHITEBOARD_TOOLBAR_HIDDEN, String(hidden));
+      (hidden ? showBtn : hideBtn).focus({ preventScroll: true });
+    };
+    hideBtn.addEventListener('click', () => toggle(true));
+    showBtn.addEventListener('click', () => toggle(false));
+  }
+
+  // ── One row, always: what does not fit the band goes into the ⋯ menu ──
+  initToprightOverflow();
+
   // ── Session pills in the row: the whole name is the tooltip ──
   // Laid out in a row, a pill keeps its width on hover (styles.css): widening, it would push the others onto another
   // line under the pointer. A name cut short is read from the tooltip instead; a pill that brings a tooltip of its own
@@ -380,4 +403,6 @@ export function initNavbar() {
   // ── Update alert ──
   initUpdate();
   initToolUpdates();
+  // ── The notice after an automatic restart (the server crashed and its supervisor started it again) ──
+  initCrashNotice();
 }

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

@@ -49,6 +49,7 @@ const PANEL_SHOW_EVENTS = {
   claude: 'claude-panel:show',
   codex: 'codex-panel:show',
   opencode: 'opencode-panel:show',
+  antigravity: 'antigravity-panel:show',
   assistant: 'assistant-panel:show',
 };