@vibelord/lanes 1.0.0

package/payload/lanes/web/mobile.js

@@ -0,0 +1,367 @@
+/* Lanes mobile shell. Uses the public window hooks in the pinned Zellij 0.45.1 client.
+ * Authentication, terminal input, rendering, and transport remain in the upstream client. */
+(() => {
+  'use strict';
+  const isPhone = /iPhone|iPod|Android.*Mobile/i.test(navigator.userAgent) ||
+    (matchMedia('(pointer: coarse)').matches && innerWidth <= 600);
+  if (!isPhone) return;
+  const root = document.documentElement;
+  root.classList.add('lanes-mobile');
+
+  // Only a browser's native tap/focus on an input may summon the keyboard. Zellij
+  // otherwise refocuses a hidden input on touchstart, touchend, click and server
+  // SetSoftKeyboard messages. Install before its first terminal or login modal.
+  const elementFocus = HTMLElement.prototype.focus;
+  HTMLElement.prototype.focus = function(...args) {
+    const textInput = this instanceof HTMLInputElement &&
+      ['text', 'search', 'email', 'number', 'password', 'tel', 'url'].includes(this.type);
+    if (textInput || this instanceof HTMLTextAreaElement || this.isContentEditable) return;
+    return elementFocus.apply(this, args);
+  };
+  Object.defineProperty(window, '__zjSoftKbdEnabled', {
+    configurable: false,
+    get: () => false,
+    set: () => {},
+  });
+  try {
+    const theme = localStorage.getItem('zellij:mobile-theme') || 'dark';
+    localStorage.setItem('zellij:mobile-theme', theme);
+    root.dataset.zjTheme = theme;
+  } catch (_) {}
+  const icons = {
+    workspaces: '<rect x="3" y="3" width="7" height="7" rx="2"/><rect x="14" y="3" width="7" height="7" rx="2"/><rect x="3" y="14" width="7" height="7" rx="2"/><rect x="14" y="14" width="7" height="7" rx="2"/>',
+    lanes: '<path d="M8 5h13M8 12h13M8 19h13"/><path d="M3 5h.01M3 12h.01M3 19h.01"/>',
+    panes: '<rect x="3" y="4" width="18" height="16" rx="3"/><path d="M12 4v16"/>',
+    keyboard: '<rect x="2" y="5" width="20" height="14" rx="3"/><path d="M6 9h.01M10 9h.01M14 9h.01M18 9h.01M6 13h.01M10 13h.01M14 13h.01M18 13h.01M8 16h8"/>',
+    more: '<circle cx="5" cy="12" r="1"/><circle cx="12" cy="12" r="1"/><circle cx="19" cy="12" r="1"/>',
+    close: '<path d="m6 6 12 12M6 18 18 6"/>',
+    arrow: '<path d="m9 5 7 7-7 7"/>',
+    check: '<path d="m5 12 4 4L19 6"/>',
+    search: '<circle cx="10.5" cy="10.5" r="6.5"/><path d="m16 16 5 5"/>',
+  };
+  const svg = name => `<svg viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.7" stroke-linecap="round" stroke-linejoin="round" aria-hidden="true">${icons[name]}</svg>`;
+  const make = (tag, cls, text) => {
+    const el = document.createElement(tag);
+    if (cls) el.className = cls;
+    if (text !== undefined) el.textContent = text;
+    return el;
+  };
+  const text = (el, value) => { if (el.textContent !== value) el.textContent = value; };
+  const button = (label, icon, action) => {
+    const el = make('button', 'lanes-button');
+    el.type = 'button';
+    el.setAttribute('aria-label', label);
+    el.innerHTML = svg(icon);
+    el.append(make('span', '', label));
+    el.addEventListener('click', action);
+    return el;
+  };
+  let shell, heading, subtitle, dock, sheet, list, search, count, lanesButton, typingField;
+  let laneFilterBar, laneFilterInput, laneFilterPrev = '';
+  let api, term, previousCards = '', sheetOpen = false, returnFocus;
+  let fontSize = 16;
+  try {
+    const stored = Number(localStorage.getItem('lanes:font-size'));
+    if (stored >= 14 && stored <= 24) fontSize = stored;
+  } catch (_) {}
+  const state = () => api?.getState();
+  const data = () => state()?.data;
+  const nativeClick = selector => document.querySelector(selector)?.click();
+  const resize = () => window.dispatchEvent(new Event('zellij:rendering-resize'));
+
+  function viewport() {
+    const vv = window.visualViewport;
+    root.style.setProperty('--lanes-vh', `${vv?.height ?? innerHeight}px`);
+    root.style.setProperty('--lanes-vw', `${vv?.width ?? innerWidth}px`);
+    root.style.setProperty('--lanes-offset-top', `${vv?.offsetTop ?? 0}px`);
+    root.style.setProperty('--lanes-offset-left', `${vv?.offsetLeft ?? 0}px`);
+    // Browser toolbars alone must not put the UI into keyboard mode.
+    const occluded = !!vv && innerHeight - vv.height - vv.offsetTop > 120;
+    // Zellij's keyboard input lives in a closed shadow root, so activeElement is its host.
+    const focused = window.__zjSoftKbdCapture?.isFocused || document.activeElement?.matches('input, textarea');
+    setKeyboard(occluded && focused);
+  }
+  function setKeyboard(visible) {
+    if (root.classList.contains('lanes-keyboard') !== !!visible) {
+      root.classList.toggle('lanes-keyboard', !!visible);
+      resize();
+    }
+    typingField?.classList.toggle('is-typing', !!window.__zjSoftKbdCapture?.isFocused);
+  }
+  function buildTypingField() {
+    const capture = window.__zjSoftKbdCapture?.element;
+    const host = document.getElementById('zj-mobile-capture-host');
+    if (!capture || !host) return null;
+    const field = make('div', 'lanes-terminal-input');
+    const label = make('span', 'lanes-input-label');
+    label.innerHTML = svg('keyboard');
+    label.append(make('span', '', 'Type here'));
+    label.setAttribute('aria-hidden', 'true');
+    // Keep the original input and its event handlers inside its closed shadow
+    // root (including its protection from password-manager extensions). Make it
+    // a real, tappable field instead of a 1px invisible focus target. Keystrokes
+    // appear in the terminal; its internal padding/history stays invisible.
+    host.removeAttribute('aria-hidden');
+    host.style.cssText = 'position:absolute;inset:0;width:100%;height:100%;opacity:1;pointer-events:auto;';
+    capture.removeAttribute('aria-hidden');
+    capture.setAttribute('aria-label', 'Type in terminal');
+    capture.tabIndex = 0;
+    capture.style.cssText = 'position:absolute;inset:0;width:100%;height:100%;box-sizing:border-box;' +
+      'font-size:16px;border:0;border-radius:12px;padding:0;margin:0;opacity:1;' +
+      'background:transparent;color:transparent;caret-color:transparent;outline:none;' +
+      'pointer-events:auto;user-select:text;-webkit-user-select:text;';
+    field.append(label, host);
+    capture.addEventListener('focus', () => field.classList.add('is-typing'));
+    capture.addEventListener('blur', () => field.classList.remove('is-typing'));
+    return field;
+  }
+  function focusTab(tab) {
+    const pane = data()?.panes.find(p => p.tab_position === tab?.position && !p.is_plugin);
+    if (!pane) return;
+    window.__zjSendControl?.({type: 'FocusPane', pane_id: pane.pane_id, is_plugin: false});
+    closeSheet();
+  }
+  function currentTab() {
+    return data()?.tabs.find(t => t.position === data()?.active_pane?.tab_position);
+  }
+  function workspaces() {
+    const tabs = data()?.tabs || [];
+    const pickers = tabs.filter(t => t.name.endsWith(' ☰'));
+    const names = new Set(pickers.map(t => t.name.slice(0, -2)));
+    return [
+      ...pickers.map(t => ({tab: t, name: t.name.slice(0, -2), picker: true})),
+      ...tabs.filter(t => !t.name.endsWith(' ☰') && !names.has(t.name)).map(t => ({tab: t, name: t.name, picker: false})),
+    ];
+  }
+  function openSheet() {
+    returnFocus = document.activeElement;
+    window.__zjSoftKbdCapture?.element.blur();
+    document.activeElement?.blur();
+    sheetOpen = true;
+    sheet.hidden = false;
+    sheet.setAttribute('aria-modal', 'true');
+    document.getElementById('terminal').setAttribute('inert', '');
+    search.value = '';
+    previousCards = '';
+    renderCards();
+    sheet.querySelector('button').focus({preventScroll: true});
+  }
+  function closeSheet() {
+    if (!sheetOpen) return;
+    sheetOpen = false;
+    sheet.hidden = true;
+    document.getElementById('terminal').removeAttribute('inert');
+    document.activeElement?.blur();
+    if (returnFocus?.isConnected && returnFocus.tagName === 'BUTTON') returnFocus.focus({preventScroll: true});
+  }
+  function renderCards() {
+    if (!sheetOpen) return;
+    const items = workspaces();
+    const activeName = (currentTab()?.name || '').replace(/ ☰$/, '');
+    const query = search.value.trim().toLocaleLowerCase();
+    const signature = JSON.stringify([items, activeName, query]);
+    if (signature === previousCards) return;
+    previousCards = signature;
+    list.replaceChildren();
+    text(count, `${items.length} workspaces`);
+    for (const item of items.filter(w => w.name.toLocaleLowerCase().includes(query))) {
+      const active = item.name === activeName;
+      const card = make('button', `lanes-workspace${active ? ' is-current' : ''}`);
+      card.type = 'button';
+      card.setAttribute('aria-label', `${item.name}${active ? ', current workspace' : ''}`);
+      if (active) card.setAttribute('aria-current', 'true');
+      const monogram = make('span', 'lanes-monogram', Array.from(item.name)[0]?.toUpperCase() || 'L');
+      const copy = make('span', 'lanes-workspace-copy');
+      copy.append(make('strong', '', item.name), make('small', '', item.picker ? 'Choose a lane' : 'Open workspace'));
+      const arrow = make('span', 'lanes-workspace-arrow');
+      arrow.innerHTML = svg(active ? 'check' : 'arrow');
+      card.append(monogram, copy, arrow);
+      card.addEventListener('click', () => focusTab(item.tab));
+      list.append(card);
+    }
+    if (!list.childElementCount) list.append(make('p', 'lanes-empty', 'No matching workspaces'));
+  }
+  function build() {
+    shell = make('div', 'lanes-shell zj-mobile-chrome');
+    shell.id = 'lanes-shell';
+    const header = make('header', 'lanes-header');
+    const brand = make('img', 'lanes-brand');
+    brand.src = '/lanes-assets/icon.svg'; brand.alt = 'Lanes';
+    const context = make('button', 'lanes-context');
+    context.type = 'button'; context.setAttribute('aria-label', 'Choose workspace');
+    heading = make('strong', '', 'Lanes'); subtitle = make('span', '', 'Connecting…');
+    context.append(heading, subtitle); context.addEventListener('click', openSheet);
+    const more = button('More options', 'more', () => nativeClick('.zj-hamburger'));
+    more.classList.add('lanes-more');
+    header.append(brand, context, more);
+    dock = make('nav', 'lanes-dock'); dock.setAttribute('aria-label', 'Workspace controls');
+    const spaces = button('Workspaces', 'workspaces', openSheet);
+    lanesButton = button('Lanes', 'lanes', () => {
+      const name = (currentTab()?.name || '').replace(/ ☰$/, '');
+      const picker = data()?.tabs.find(t => t.name === `${name} ☰`);
+      if (picker) focusTab(picker); else openSheet();
+    });
+    const panes = button('Panes', 'panes', () => nativeClick('.zj-pane'));
+    typingField = buildTypingField();
+    laneFilterBar = buildLaneFilterBar();
+    dock.append(spaces, lanesButton, panes, laneFilterBar, typingField);
+    sheet = make('div', 'lanes-sheet'); sheet.hidden = true;
+    sheet.setAttribute('role', 'dialog'); sheet.setAttribute('aria-labelledby', 'lanes-sheet-title');
+    const panel = make('section', 'lanes-sheet-panel');
+    const sheetHead = make('div', 'lanes-sheet-head');
+    const titleGroup = make('div');
+    const title = make('h2', '', 'Workspaces'); title.id = 'lanes-sheet-title';
+    count = make('p', '', ''); titleGroup.append(title, count);
+    const close = button('Close workspaces', 'close', closeSheet);
+    close.classList.add('lanes-close'); sheetHead.append(titleGroup, close);
+    const searchWrap = make('label', 'lanes-search');
+    searchWrap.innerHTML = svg('search');
+    search = make('input'); search.type = 'search'; search.placeholder = 'Find a workspace';
+    search.autocomplete = 'off'; search.spellcheck = false;
+    search.setAttribute('aria-label', 'Find a workspace');
+    search.addEventListener('input', renderCards); searchWrap.append(search);
+    list = make('div', 'lanes-workspaces');
+    const sessionButton = make('button', 'lanes-session-link', 'Switch session');
+    sessionButton.addEventListener('click', () => {closeSheet(); nativeClick('.zj-session');});
+    panel.append(sheetHead, searchWrap, list, sessionButton); sheet.append(panel);
+    sheet.addEventListener('click', ev => {if (ev.target === sheet) closeSheet();});
+    sheet.addEventListener('keydown', ev => {
+      if (ev.key === 'Escape') {ev.preventDefault(); closeSheet();}
+      if (ev.key !== 'Tab') return;
+      const controls = [...sheet.querySelectorAll('button, input')];
+      const first = controls[0], last = controls.at(-1);
+      if (ev.shiftKey && document.activeElement === first) {ev.preventDefault(); last.focus();}
+      else if (!ev.shiftKey && document.activeElement === last) {ev.preventDefault(); first.focus();}
+    });
+    shell.append(header, dock, sheet); document.body.append(shell);
+    root.classList.add('lanes-ready');
+    // Upstream cancels pointerdown on extra keys, which also suppresses their
+    // touch click in Safari. Cancel mousedown instead: keep typing focus while
+    // allowing the native click to activate CTRL, arrows, and the other keys.
+    for (const key of document.querySelectorAll('.zj-mobile-modbar button')) {
+      key.addEventListener('pointerdown', ev => ev.stopImmediatePropagation(), true);
+      key.addEventListener('mousedown', ev => ev.preventDefault());
+    }
+    installFontControls();
+    resize();
+  }
+  function sendToTerminal(bytes) {
+    // Inject bytes into the active Zellij terminal. Try the control API first,
+    // then fall back to the keyboard capture element.
+    if (window.__zjSendControl) {
+      try { window.__zjSendControl({type: 'Write', bytes}); return; } catch (_) {}
+    }
+    const el = window.__zjSoftKbdCapture?.element;
+    if (!el) return;
+    const text = String.fromCharCode(...bytes);
+    el.focus({preventScroll: true});
+    try { document.execCommand('insertText', false, text); } catch (_) {}
+  }
+  function applyLaneFilter(query) {
+    const esc = [0x1b], slash = [0x2f];
+    const bytes = [...esc, ...slash, ...Array.from(query).map(c => c.charCodeAt(0) & 0x7f).filter(b => b >= 0x20)];
+    sendToTerminal(bytes);
+  }
+  function clearLaneFilter() {
+    sendToTerminal([0x1b]);   // Esc clears the sidebar's filter mode
+    laneFilterPrev = '';
+    if (laneFilterInput) laneFilterInput.value = '';
+  }
+  function buildLaneFilterBar() {
+    const bar = make('div', 'lanes-filter-bar');
+    bar.setAttribute('aria-label', 'Filter lanes');
+    bar.setAttribute('hidden', '');
+    bar.innerHTML = svg('search');
+    laneFilterInput = make('input');
+    laneFilterInput.type = 'search'; laneFilterInput.placeholder = 'Filter lanes';
+    laneFilterInput.autocomplete = 'off'; laneFilterInput.spellcheck = false;
+    laneFilterInput.setAttribute('aria-label', 'Filter lanes in this workspace');
+    laneFilterInput.addEventListener('input', () => {
+      const q = laneFilterInput.value;
+      if (q !== laneFilterPrev) { applyLaneFilter(q); laneFilterPrev = q; }
+    });
+    laneFilterInput.addEventListener('keydown', ev => {
+      if (ev.key === 'Escape') { ev.preventDefault(); clearLaneFilter(); laneFilterInput.blur(); }
+      if (ev.key === 'Enter') { ev.preventDefault(); laneFilterInput.blur(); }
+    });
+    bar.append(laneFilterInput);
+    return bar;
+  }
+  function updateLaneFilterBar(isPicker) {
+    if (!laneFilterBar) return;
+    laneFilterBar.hidden = !isPicker;
+    if (!isPicker && laneFilterPrev) clearLaneFilter();
+  }
+  function applyFont() {
+    term.options.fontSize = fontSize;
+    term.options.lineHeight = 1.1;
+    try {localStorage.setItem('lanes:font-size', String(fontSize));} catch (_) {}
+    text(document.getElementById('lanes-font-value'), `${fontSize} px`);
+    resize();
+  }
+  function installFontControls() {
+    const row = make('div', 'lanes-font-controls');
+    row.append(make('span', '', 'Text size'));
+    const smaller = make('button', '', 'A−'), larger = make('button', '', 'A+');
+    smaller.setAttribute('aria-label', 'Smaller terminal text');
+    larger.setAttribute('aria-label', 'Larger terminal text');
+    const value = make('output', '', `${fontSize} px`); value.id = 'lanes-font-value';
+    smaller.addEventListener('click', () => {fontSize = Math.max(14, fontSize - 1); applyFont();});
+    larger.addEventListener('click', () => {fontSize = Math.min(24, fontSize + 1); applyFont();});
+    row.append(smaller, value, larger);
+    document.querySelector('.zj-mobile-menu')?.prepend(row);
+  }
+  function refresh() {
+    if (!api || !shell) return;
+    const active = !!state()?.active;
+    root.classList.toggle('lanes-ready', active);
+    shell.hidden = !active;
+    const tab = currentTab();
+    const name = tab?.name.replace(/ ☰$/, '') || 'Lanes';
+    const picker = tab?.name.endsWith(' ☰');
+    const pane = data()?.panes.find(p => p.pane_id === data()?.active_pane?.pane_id && !p.is_plugin);
+    text(heading, name);
+    text(subtitle, picker ? 'Choose a lane to continue' : pane?.title || 'Your workspace');
+    lanesButton.setAttribute('aria-pressed', String(!!picker));
+    updateLaneFilterBar(picker);
+    document.title = `${name} · Lanes`;
+    renderCards();
+  }
+  function connect() {
+    if (api || !window.__zjMobileUi || !window.term || !window.__zjSoftKbdCapture?.element) return;
+    // Wait for server state: resizing before the control socket opens makes 0.45.1
+    // throw InvalidStateError and leaves the server with the old terminal size.
+    if (!window.__zjMobileUi.getState()?.data?.tabs?.length) return;
+    api = window.__zjMobileUi; term = window.term;
+    build(); applyFont();
+    const setData = api.setData;
+    api.setData = function(value) {setData.call(api, value); refresh();};
+    const nativeRoot = document.getElementById('zj-mobile-root');
+    new MutationObserver(refresh).observe(nativeRoot, {attributes: true, attributeFilter: ['class'], subtree: true});
+    refresh(); viewport();
+  }
+  function styleLogin() {
+    const token = document.getElementById('token');
+    if (!token || token.dataset.lanes) return;
+    token.dataset.lanes = 'true';
+    token.autocomplete = 'current-password'; token.setAttribute('aria-label', 'Login token');
+    token.closest('.security-modal-content').querySelector('h3').textContent = 'Connect to Lanes';
+    token.closest('.security-modal-content').querySelector('.submit-btn').textContent = 'Connect';
+  }
+  viewport();
+  window.addEventListener('resize', viewport);
+  window.visualViewport?.addEventListener('resize', viewport);
+  window.visualViewport?.addEventListener('scroll', viewport);
+  window.addEventListener('zellij:soft-keyboard-visibility', () => {
+    viewport();
+    // A rotation also shrinks the viewport. Correct upstream's height-only keyboard heuristic.
+    requestAnimationFrame(() => window.__zjSendControl?.({
+      type: 'SoftKeyboardVisibilityChanged', visible: root.classList.contains('lanes-keyboard'),
+    }));
+  });
+  document.addEventListener('focusout', () => requestAnimationFrame(viewport));
+  new MutationObserver(() => {styleLogin(); connect();}).observe(document.body, {childList: true});
+  // The upstream window hooks are installed just after it appends its mobile root.
+  const awaitingClient = setInterval(() => {connect(); if (api) clearInterval(awaitingClient);}, 200);
+  styleLogin(); connect();
+})();

package/payload/lanes/workspaces.example/README.md

@@ -0,0 +1,27 @@
+# Site data: which boards exist
+
+The server reads its boards from a **site directory**, not from the package:
+
+1. `$LANES_WORKSPACES`, if set;
+2. `~/.config/lanes/workspaces/` on the server, if it contains a `catalog.json`;
+3. `workspaces/` inside the checkout (what a single-site checkout uses).
+
+Copy this folder to `~/.config/lanes/workspaces/` and edit it.
+
+| File | What it says |
+|---|---|
+| `catalog.json` | The boards, in tab order: `id` (also the uploads/watch-folder name), `title` (the tab), `manifest`. |
+| `workspaces.<board>.json` | Where the board's lanes come from: one or more `repositories`, each naming the workspace **container** (`host`) and the board's terminal registry (`registry`: the repository's `.vscode/terminals.json`). Optional per repository: `prefix` (prepended to lane titles), `displayNames`, `bindingOverrides` (tmux socket/session for a terminal whose registry entry has none), `cursor` (a second file to project the board into, for boards whose registry lives outside a repository). `monitor` adds the full-pane Throttle monitor tab. |
+| `commit-targets.json` | Only for `lanes cursor-commit`: repository, branch and author for committing the normalized registries. |
+
+A lane is whatever the registry says it is: `lanes sync` (every two minutes, read-only) turns each terminal into a
+lane with a stable id `<board>--<slug of the terminal name>`. Adding a lane = adding a terminal to the repository's
+`.vscode/terminals.json`; nothing in this folder changes.
+
+After editing: `lanes sync && lanes doctor`.
+
+`terminals.example.json` is a complete starting registry: copy it to the repository's
+`.vscode/terminals.json` inside its container. Edit the command and explicit `tmux` binding together.
+For the Product example, its Shell becomes `product--shell`. Registry sync only discovers the lane;
+opening the editor terminal (or `lane open product--shell`) starts its saved recipe if absent.
+The optional `monitor` configuration is needed only if you run Throttle in that container.

package/payload/lanes/workspaces.example/catalog.json

@@ -0,0 +1,7 @@
+{
+  "version": 1,
+  "workspaces": [
+    { "id": "product", "title": "Product", "manifest": "workspaces.product.json" },
+    { "id": "research", "title": "Research", "manifest": "workspaces.research.json" }
+  ]
+}

package/payload/lanes/workspaces.example/commit-targets.json

@@ -0,0 +1,8 @@
+{
+  "author": { "name": "Your Name", "email": "you@example.com" },
+  "targets": {
+    "product": { "container": "coder-dev-work", "folder": "/home/coder/product", "branch": "main" },
+    "research": { "container": "coder-dev-personal", "folder": "/home/coder/research", "branch": "main", "options": ["remote-only"] }
+  },
+  "skip": { "some-board": "why its registry is not committed" }
+}

package/payload/lanes/workspaces.example/terminals.example.json

@@ -0,0 +1,19 @@
+{
+  "terminals": [
+    {
+      "name": "Shell",
+      "command": "TMUX= tmux -L project new -ADs shell bash -l",
+      "focus": true
+    }
+  ],
+  "lanes": {
+    "version": 1,
+    "terminals": {
+      "Shell": {
+        "holder": "tmux",
+        "tmux": { "socketName": "project", "sessionName": "shell" },
+        "create": "TMUX= tmux -L project new -ADs shell bash -l"
+      }
+    }
+  }
+}

package/payload/lanes/workspaces.example/workspaces.product.json

@@ -0,0 +1,15 @@
+{
+  "session": "product",
+  "remoteShell": {
+    "name": "Shell",
+    "cwd": "/home/coder/product"
+  },
+  "repositories": [
+    {
+      "id": "product",
+      "host": "coder-dev-work",
+      "registry": "/home/coder/product/.vscode/terminals.json",
+      "prefix": ""
+    }
+  ]
+}

package/payload/lanes/workspaces.example/workspaces.research.json

@@ -0,0 +1,16 @@
+{
+  "session": "research",
+  "remoteShell": { "name": "Shell", "cwd": "/home/coder/research" },
+  "repositories": [
+    {
+      "id": "research",
+      "host": "coder-dev-personal",
+      "registry": "/home/coder/research/.vscode/terminals.json",
+      "prefix": "",
+      "displayNames": { "A very long terminal name": "Short name" },
+      "bindingOverrides": {
+        "A lane without its own binding": { "tmux": { "socketName": "research_waves", "sessionName": "research_lane_1" } }
+      }
+    }
+  ]
+}