synabun 2.1.0 → 2.2.0

package/neural-interface/public/shared/ui-cli-banner.js

@@ -12,8 +12,9 @@
 // (OpenCode); the panel element gets `<prefix>-cli-blocked` while sending is
 // off.
 //
-// What it says is cli-install-view.js (DOM-free, tested under node); the data
-// and the install stream are cli-status.js. A panel mounts one controller:
+// What it says is cli-install-view.js (DOM-free, tested under node); the state
+// (the answer, the install, Re-check, Add to PATH) is cli-install-controller.js,
+// which the Antigravity panel's setup card uses too. A panel mounts one banner:
 //
 //   const cli = mountCliBanner({ toolKey: 'codex', prefix: 'cxp',
 //     panel: () => panelEl, anchor: () => messagesContainer,
@@ -23,16 +24,12 @@
 //   cli.nudge();           a send that was held back
 //   cli.flagFailure(text); a session could not start the CLI
 
-import { subscribeCliStatus, recheckCliStatus, getCliDocUrl, getCliInstallCommand, getCliLabel, installCli, followCliInstall, getCliInstallJobs, addCliToPath } from './cli-status.js';
-import { cliBannerView, cliInstallText, cliStateOf, reduceInstallJob, setCliInstallTranslator, INSTALLABLE_CLIS } from './cli-install-view.js';
+import { cliInstallText, setCliInstallTranslator } from './cli-install-view.js';
+import { createCliInstallController, DONE_NOTICE_MS } from './cli-install-controller.js';
 import { t } from './i18n.js';
 
 setCliInstallTranslator((key, params) => t(`cliInstall.${key}`, params));
 
-/** How long the note about where an install put the CLI stays, when it has one. */
-const DONE_NOTICE_MS = 12000;
-const NUDGE_MS = 700;
-
 /**
  * @param {object} o
  * @param {'claude-code' | 'codex' | 'opencode'} o.toolKey
@@ -44,29 +41,10 @@ const NUDGE_MS = 700;
  */
 export function mountCliBanner({ toolKey, prefix, panel, anchor, onBlockedChange = () => {}, doneNoticeMs = DONE_NOTICE_MS } = {}) {
   const p = String(prefix || 'cp');
-  let info = null;        // this CLI in the latest answer of /api/system/tool-versions (null: none yet)
-  let forced = null;      // { reason }: a session could not start it, and the server was not asked again yet
-  let job = null;         // the install under way or just ended (cli-install-view.js reduceInstallJob)
-  let installing = false;
-  let addingPath = false;
-  let pathError = '';
-  let looked = false;     // asked whether the server is already installing it since it went missing
   let el = null;
-  let doneTimer = null;
-  let nudgeTimer = null;
   let lastBlocked = null;
   let destroyed = false;
-
-  const view = () => cliBannerView({
-    toolKey,
-    label: getCliLabel(toolKey),
-    info,
-    forced,
-    job,
-    addingPath, pathError,
-    guideUrl: getCliDocUrl(toolKey),
-    installCommand: getCliInstallCommand(toolKey),
-  }, { t: cliInstallText });
+  let controller = null;
 
   const cls = (name) => `${p}-cli-banner-${name}`;
 
@@ -93,10 +71,10 @@ export function mountCliBanner({ toolKey, prefix, panel, anchor, onBlockedChange
         </div>
       </div>
     `;
-    root.querySelector(`.${cls('install')}`).addEventListener('click', () => { startInstall(); });
-    root.querySelector(`.${cls('recheck')}`).addEventListener('click', () => { recheck(); });
-    root.querySelector(`.${cls('path')}`).addEventListener('click', () => { addPath(); });
-    root.querySelector(`.${cls('dismiss')}`).addEventListener('click', () => { clearDone(); });
+    root.querySelector(`.${cls('install')}`).addEventListener('click', () => { controller?.install(); });
+    root.querySelector(`.${cls('recheck')}`).addEventListener('click', () => { controller?.recheck(); });
+    root.querySelector(`.${cls('path')}`).addEventListener('click', () => { controller?.addPath(); });
+    root.querySelector(`.${cls('dismiss')}`).addEventListener('click', () => { controller?.clearDone(); });
     root.querySelector(`.${cls('copy')}`).addEventListener('click', async (event) => {
       const button = event.currentTarget;
       const command = root.querySelector(`.${cls('command')} code`)?.textContent || '';
@@ -117,7 +95,7 @@ export function mountCliBanner({ toolKey, prefix, panel, anchor, onBlockedChange
   }
 
   function paint(v) {
-    el.className = `${p}-cli-banner ${p}-cli-banner--${v.kind}${nudgeTimer ? ` ${p}-cli-banner--nudge` : ''}`;
+    el.className = `${p}-cli-banner ${p}-cli-banner--${v.kind}${v.nudging ? ` ${p}-cli-banner--nudge` : ''}`;
     el.setAttribute('role', v.live === 'assertive' ? 'alert' : 'status');
     el.setAttribute('aria-live', v.live);
     el.querySelector(`.${cls('icon')}`).textContent = v.icon;
@@ -180,7 +158,8 @@ export function mountCliBanner({ toolKey, prefix, panel, anchor, onBlockedChange
     else link.removeAttribute('href');
     const recheckButton = el.querySelector(`.${cls('recheck')}`);
     recheckButton.hidden = !v.recheck;
-    if (!recheckButton.disabled) recheckButton.textContent = cliInstallText('recheck');
+    recheckButton.disabled = !!v.checking;
+    recheckButton.textContent = cliInstallText(v.checking ? 'checking' : 'recheck');
     const pathButton = el.querySelector(`.${cls('path')}`);
     pathButton.hidden = !v.addPath;
     pathButton.textContent = v.addPath?.label || '';
@@ -191,8 +170,8 @@ export function mountCliBanner({ toolKey, prefix, panel, anchor, onBlockedChange
   }
 
   function render() {
-    if (destroyed) return;
-    const v = view();
+    if (destroyed || !controller) return;
+    const v = controller.view();
     const panelEl = panel?.();
     if (panelEl) panelEl.classList.toggle(`${p}-cli-blocked`, v.blocked);
     if (v.show && place()) paint(v);
@@ -203,151 +182,28 @@ export function mountCliBanner({ toolKey, prefix, panel, anchor, onBlockedChange
     }
   }
 
-  function clearDone() {
-    clearTimeout(doneTimer);
-    doneTimer = null;
-    if (job?.phase === 'done') job = null;
-    render();
-  }
-
-  function apply(event) {
-    if (!job && event?.type !== 'start') job = reduceInstallJob(null, { type: 'start' });
-    job = reduceInstallJob(job, event);
-    if (event?.type === 'done' && event.ok && event.status && typeof event.status === 'object') {
-      info = event.status;
-      forced = null;
-    }
-    render();
-  }
-
-  function settle(final) {
-    if (job?.phase === 'running' && final) job = reduceInstallJob(job, final);
-    if (job?.phase === 'done') {
-      clearTimeout(doneTimer);
-      const where = job.path;
-      if (where && (where.onPath === false || where.added === true)) doneTimer = setTimeout(clearDone, doneNoticeMs);
-      else job = null;
-    }
-    render();
-  }
-
-  async function startInstall() {
-    if (installing || !INSTALLABLE_CLIS.includes(toolKey)) return;
-    installing = true;
-    clearTimeout(doneTimer);
-    job = reduceInstallJob(null, { type: 'start' });
-    render();
-    let final = null;
-    try {
-      final = await installCli(toolKey, { onEvent: apply });
-    } catch (error) {
-      final = { type: 'done', ok: false, code: 'internal', error: error?.message || null };
-    } finally {
-      installing = false;
-      settle(final);
-    }
-  }
-
-  async function addPath() {
-    if (addingPath) return;
-    addingPath = true; pathError = ''; render();
-    try {
-      const result = await addCliToPath(toolKey);
-      info = { ...info, pathStatus: { dir: result.dir, onPath: true, canAdd: false } };
-      job = reduceInstallJob(null, { type: 'done', ok: true, status: info, path: { ...result, added: true } });
-      settle();
-    } catch (error) { pathError = error.message; }
-    finally { addingPath = false; render(); }
-  }
-
-  // An install the server is already running (another window started it, or this page was reloaded during
-  // one): followed here as if this banner had started it.
-  async function followRunning() {
-    if (installing) return;
-    const jobs = await getCliInstallJobs();
-    if (destroyed || installing || jobs?.[toolKey]?.state !== 'running') return;
-    installing = true;
-    job = reduceInstallJob(null, { type: 'start' });
-    render();
-    let final = null;
-    try {
-      final = await followCliInstall(toolKey, { onEvent: apply });
-    } catch (error) {
-      final = { type: 'done', ok: false, code: 'connection', error: error?.message || null };
-    } finally {
-      installing = false;
-      settle(final);
-    }
-  }
-
-  async function recheck() {
-    const button = el?.querySelector(`.${cls('recheck')}`);
-    if (button) { button.disabled = true; button.textContent = cliInstallText('checking'); }
-    // Asking again starts over: an earlier failure is not repeated over a fresh answer.
-    if (job?.phase === 'failed') job = null;
-    try {
-      const next = await recheckCliStatus(toolKey);
-      info = next || info;
-      if (cliStateOf(info) === 'installed' || cliStateOf(info) === 'broken') forced = null;
-    } catch { /* the banner stays as it is */ }
-    finally {
-      if (button?.isConnected) { button.disabled = false; button.textContent = cliInstallText('recheck'); }
-      render();
-    }
-  }
-
-  const unsubscribe = subscribeCliStatus(toolKey, (next) => {
-    info = next || null;
-    const state = cliStateOf(info);
-    if (state === 'installed') {
-      forced = null;
-      if (job?.phase === 'failed') job = null;
-    }
-    if (state === 'missing') {
-      if (!looked) { looked = true; followRunning().catch(() => {}); }
-    } else {
-      looked = false;
-    }
-    render();
-  });
+  controller = createCliInstallController({ toolKey, doneNoticeMs, onChange: () => render() });
+  render();
 
   return {
     /** Draw again (the panel was shown, or rebuilt). */
     refresh: render,
     /** Sending is held back: the CLI is missing, broken, failed to install, or being installed. */
-    blocked: () => view().blocked,
+    blocked: () => controller.blocked(),
     /** What the banner shows now (cli-install-view.js cliBannerView). */
-    view,
+    view: () => controller.view(),
     /** A send was held back: draw attention to the banner for a moment. */
-    nudge() {
-      if (!view().show) return;
-      clearTimeout(nudgeTimer);
-      nudgeTimer = setTimeout(() => { nudgeTimer = null; render(); }, NUDGE_MS);
-      render();
-    },
+    nudge: () => controller.nudge(),
     /**
      * A session could not start the CLI ("Claude CLI not found", a spawn error): show "failed to start" with its
      * words at once, then ask the server again; its answer decides what stays.
      */
-    flagFailure(reason = null) {
-      forced = { reason: reason ? String(reason).slice(0, 300) : null };
-      render();
-      recheckCliStatus(toolKey)
-        .then((next) => {
-          info = next || info;
-          const state = cliStateOf(info);
-          if (state === 'installed' || state === 'broken') forced = null;
-          render();
-        })
-        .catch(() => {});
-    },
+    flagFailure: (reason = null) => controller.flagFailure(reason),
     /** Install from the banner's own button (for a panel's own entry point). */
-    install: startInstall,
+    install: () => controller.install(),
     destroy() {
       destroyed = true;
-      unsubscribe();
-      clearTimeout(doneTimer);
-      clearTimeout(nudgeTimer);
+      controller.destroy();
       el?.remove();
       el = null;
     },

package/neural-interface/public/shared/ui-file-explorer.js

@@ -18,6 +18,7 @@ import { registerAction } from './ui-keybinds.js';
 import { storage } from './storage.js';
 import { sendToPanel as sendToClaudePanel } from './ui-claude-panel.js';
 import { attachPathToOpencode } from './ui-opencode-panel-v2.js';
+import { attachPathToAntigravity, isAntigravityPanelOpen, toggleAntigravityPanel } from './ui-antigravity-panel.js';
 import { isCodexPanelOpen, toggleCodexPanel } from './cdx/cdx-panel.js';
 import { addPathChip as addCodexPathChip } from './cdx/cdx-tabs.js';
 import { on, emit, state } from './state.js';
@@ -35,6 +36,7 @@ const SEND = {
   claude: (path) => sendToClaudePanel(path, { asFile: true }),
   codex: async (path) => { if (!isCodexPanelOpen()) await toggleCodexPanel(); addCodexPathChip(path); },
   opencode: (path) => attachPathToOpencode(path),
+  antigravity: async (path) => { if (!isAntigravityPanelOpen()) await toggleAntigravityPanel(); return attachPathToAntigravity(path); },
   assistant: (path) => attachToAssistant('assistant', path),
 };
 function attachToAssistant(target, filePath) {
@@ -289,6 +291,13 @@ async function showTree() {
   }
 }
 
+// What each scan state says, in words. The header never shows them while a branch is on screen (that would
+// move the row): there they are a dot on the branch button, its tooltip and label, and a line of the git popover.
+const SCAN_STATE_TEXT = { scanning: 'fileExplorer.branch.scanning', 'timed-out': 'fileExplorer.branch.timedOut', failed: 'fileExplorer.branch.scanFailed' };
+function scanStateText(git) {
+  return git && SCAN_STATE_TEXT[git.scanState] ? tr(SCAN_STATE_TEXT[git.scanState]) : '';
+}
+
 function updateBranchLabel(git) {
   _git = git;
   const btn = $('fe-branch-btn');
@@ -296,15 +305,33 @@ function updateBranchLabel(git) {
   const badge = $('fe-branch-btn-badge');
   if (!btn) return;
 
-  if (git.isGit && git.branch) {
+  const state = SCAN_STATE_TEXT[git.scanState] ? git.scanState : '';
+  const message = scanStateText(git);
+  const hasBranch = !!(git.isGit && git.branch);
+  // Nothing on screen yet (the project's first scan): the state, in one truncated line, where the branch will be.
+  const placeholder = !hasBranch && !git.shown && !!message;
+  let dot = btn.querySelector('.fe-branch-btn-state');
+  if (!dot) { dot = document.createElement('span'); dot.className = 'fe-branch-btn-state'; dot.setAttribute('aria-hidden', 'true'); btn.appendChild(dot); }
+  if (state) btn.dataset.scanState = state; else delete btn.dataset.scanState;
+  btn.setAttribute('aria-busy', String(state === 'scanning'));
+  // Read out, never drawn: only what the owner is waiting for (a first scan, a Refresh), or how one ended.
+  const live = $('fe-git-scan-live');
+  // A background scan clears it (that is not read out) rather than leave an old sentence there.
+  if (live) { const said = git.loud ? message : ''; if (live.textContent !== said) live.textContent = said; }
+
+  if (hasBranch || placeholder) {
     btn.style.display = '';
-    if (nameEl) nameEl.textContent = git.branch;
-    if (badge) badge.textContent = git.count > 0 ? git.count : '';
-    btn.setAttribute('aria-label', tr('fileExplorer.branch.label', { branch: git.branch, count: git.count }));
-    btn.dataset.tooltip = tr('fileExplorer.branch.label', { branch: git.branch, count: git.count });
+    btn.classList.toggle('fe-branch-btn--placeholder', placeholder);
+    if (nameEl) nameEl.textContent = hasBranch ? git.branch : message;
+    if (badge) badge.textContent = hasBranch && git.count > 0 ? git.count : '';
+    const label = hasBranch ? tr('fileExplorer.branch.label', { branch: git.branch, count: git.count }) : '';
+    const full = label && message ? tr('fileExplorer.branch.withState', { label, state: message }) : label || message;
+    btn.setAttribute('aria-label', full);
+    btn.dataset.tooltip = full;
     if (_gitPopoverOpen) renderGitSummary();
   } else {
     btn.style.display = 'none';
+    btn.classList.remove('fe-branch-btn--placeholder');
     closeGitPopover();
   }
 }
@@ -358,7 +385,8 @@ function openGitPopover() {
   requestAnimationFrame(() => pop.classList.add('visible'));
   loadGitBranches();
   renderGitSummary();
-  _fx?.refresh();
+  // Fresh counts for the popover, without a word in the header: nobody pressed Refresh.
+  _fx?.refresh({ quiet: true });
 }
 
 function closeGitPopover() {
@@ -379,6 +407,7 @@ function toggleGitPopover() {
 
 // What changed, in words and counts: from the git state the tree already holds.
 function renderGitSummary() {
+  renderGitScanState();
   const summary = $('fe-git-summary');
   if (!summary) return;
   const changes = _fx?.state.git.changed() || [];
@@ -405,6 +434,18 @@ function renderGitSummary() {
   }
 }
 
+// How the last scan went, in the popover (the header has no room for words): a timeout or a failure always,
+// a scan under way only when the owner is waiting for it (the first one, a Refresh).
+function renderGitScanState() {
+  const line = $('fe-git-scan-state');
+  if (!line) return;
+  const state = _git?.scanState;
+  const message = state === 'scanning' && !_git.loud ? '' : scanStateText(_git);
+  line.textContent = message;
+  line.hidden = !message;
+  if (message) line.dataset.tone = state; else delete line.dataset.tone;
+}
+
 async function loadGitBranches() {
   if (!_selectedProject) return;
   const sel = $('fe-git-branch-select');
@@ -561,6 +602,7 @@ function createGitPopover() {
       </div>
       <div class="fe-git-pop-sep"></div>
       <div class="fe-git-pop-section">
+        <div class="fe-git-scan-state" id="fe-git-scan-state" hidden></div>
         <div class="fe-git-summary" id="fe-git-summary"></div>
       </div>
     </div>

package/neural-interface/public/shared/ui-file-links.js

@@ -2,8 +2,8 @@
 // SynaBun Neural Interface — File links in agent messages: the page side
 // ═══════════════════════════════════════════
 //
-// One click handler for the links in the messages of the four side panels
-// (Assistant, Claude, Codex, OpenCode). A link that points at a file the code
+// One click handler for the links in the messages of the five side panels
+// (Assistant, Claude, Codex, OpenCode, Antigravity). A link that points at a file the code
 // editor can open opens it there (`open-file-editor`), at its line and column;
 // every other link keeps what its panel did with it. What a target means and
 // what a click does are decided in file-links.js; this module gives it the

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

@@ -197,12 +197,12 @@ function detectActiveGame() {
 // ── SVG icons for opponent picker ──
 const ICON_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 ICON_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 ICON_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 ICON_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 OPPONENTS = [
   { id: 'claude-code', icon: ICON_CLAUDE, label: 'Claude' },
   { id: 'codex',       icon: ICON_OPENAI, label: 'OpenAI' },
-  { id: 'gemini',      icon: ICON_GEMINI, label: 'Gemini' },
+  { id: 'antigravity', icon: ICON_ANTIGRAVITY, label: 'Antigravity' },
 ];
 
 // ── Opponent picker overlay ──

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', 'toggle-minimap'];
+// "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 ──
 
@@ -447,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

@@ -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',
@@ -572,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([

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,
@@ -161,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' };
 }
 
@@ -169,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;
 }
@@ -189,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;
 }

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

@@ -15,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';
@@ -25,6 +26,7 @@ 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);
 
@@ -35,6 +37,7 @@ export function initNavbar() {
   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.
@@ -62,6 +65,11 @@ export function initNavbar() {
       toggle: toggleOpencodePanel,
       button: opencodePanelBtn,
     },
+    antigravity: {
+      isOpen: isAntigravityPanelOpen,
+      toggle: toggleAntigravityPanel,
+      button: antigravityPanelBtn,
+    },
   };
 
   function syncAgentPanelButtons() {
@@ -113,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());
 
@@ -328,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

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',
 };