WEFT_OS/infra/shell/system-ui.html

<!DOCTYPE html>
<html lang="en">
<head>
  <meta charset="utf-8" />
  <meta name="viewport" content="width=device-width, initial-scale=1" />
  <title>WEFT Desktop</title>
  <style>
    :root {
      color-scheme: dark;
      --surface-bg: rgba(255, 255, 255, 0.07);
      --surface-border: rgba(255, 255, 255, 0.12);
      --taskbar-height: 48px;
      --text-primary: rgba(255, 255, 255, 0.92);
      --text-secondary: rgba(255, 255, 255, 0.55);
      --accent: #5b8af5;
    }

    *, *::before, *::after {
      box-sizing: border-box;
    }

    body {
      margin: 0;
      overflow: hidden;
      background: #0f1117;
      font-family: system-ui, -apple-system, sans-serif;
      color: var(--text-primary);
      height: 100dvh;
      width: 100dvw;
    }

    weft-desktop {
      display: grid;
      grid-template-rows: 1fr var(--taskbar-height);
      height: 100dvh;
      width: 100dvw;
      contain: layout;
    }

    weft-wallpaper {
      display: block;
      grid-row: 1;
      background: linear-gradient(
        145deg,
        #0f1117 0%,
        #161b2e 40%,
        #0d2040 70%,
        #0a1a30 100%
      );
    }

    weft-taskbar {
      display: flex;
      align-items: center;
      grid-row: 2;
      height: var(--taskbar-height);
      padding: 0 12px;
      gap: 8px;
      background: var(--surface-bg);
      border-top: 1px solid var(--surface-border);
      backdrop-filter: blur(20px);
      -webkit-backdrop-filter: blur(20px);
    }

    weft-taskbar-launcher {
      display: flex;
      align-items: center;
      justify-content: center;
      width: 36px;
      height: 36px;
      border-radius: 8px;
      cursor: pointer;
      background: transparent;
      transition: background 0.15s;
    }

    weft-taskbar-launcher:hover {
      background: var(--surface-border);
    }

    weft-taskbar-clock {
      margin-left: auto;
      font-size: 13px;
      color: var(--text-secondary);
      font-variant-numeric: tabular-nums;
    }

    weft-launcher {
      display: none;
      position: fixed;
      inset: 0;
      bottom: var(--taskbar-height);
      background: rgba(10, 12, 20, 0.85);
      backdrop-filter: blur(32px);
      -webkit-backdrop-filter: blur(32px);
      z-index: 100;
      padding: 24px;
      overflow-y: auto;
    }

    weft-launcher:not([hidden]) {
      display: block;
    }

    weft-app-grid {
      display: grid;
      grid-template-columns: repeat(auto-fill, minmax(96px, 1fr));
      gap: 16px;
      max-width: 640px;
      margin: 0 auto;
    }

    weft-app-icon {
      display: flex;
      flex-direction: column;
      align-items: center;
      gap: 6px;
      padding: 12px 8px;
      border-radius: 12px;
      cursor: pointer;
      color: var(--text-primary);
      font-size: 12px;
      text-align: center;
      word-break: break-word;
      transition: background 0.15s;
    }

    weft-app-icon:hover {
      background: var(--surface-border);
    }

    weft-app-icon svg {
      flex-shrink: 0;
    }

    weft-taskbar-app {
      display: inline-flex;
      align-items: center;
      gap: 4px;
      font-size: 12px;
      color: var(--text-secondary);
      padding: 0 4px 0 6px;
      cursor: pointer;
      border-radius: 6px;
      transition: background 0.15s;
    }

    weft-taskbar-app:hover {
      background: var(--surface-border);
    }

    weft-taskbar-app .task-close {
      opacity: 0;
      font-size: 11px;
      line-height: 1;
      padding: 1px 3px;
      border-radius: 3px;
      transition: opacity 0.1s, background 0.1s;
    }

    weft-taskbar-app:hover .task-close {
      opacity: 1;
    }

    weft-taskbar-app .task-close:hover {
      background: rgba(255,80,80,0.3);
    }

    weft-notification-center {
      position: fixed;
      top: 8px;
      right: 8px;
      width: 360px;
      display: flex;
      flex-direction: column;
      gap: 8px;
      z-index: 200;
      pointer-events: none;
    }

    weft-window {
      display: none;
    }
  </style>
</head>
<body>
  <weft-desktop>
    <weft-wallpaper></weft-wallpaper>
    <weft-taskbar>
      <weft-taskbar-launcher id="launcher-btn" title="Apps">
        <svg width="18" height="18" viewBox="0 0 18 18" fill="none"
             xmlns="http://www.w3.org/2000/svg" aria-hidden="true">
          <rect x="1" y="1" width="6" height="6" rx="1.5"
                fill="rgba(255,255,255,0.7)" />
          <rect x="11" y="1" width="6" height="6" rx="1.5"
                fill="rgba(255,255,255,0.7)" />
          <rect x="1" y="11" width="6" height="6" rx="1.5"
                fill="rgba(255,255,255,0.7)" />
          <rect x="11" y="11" width="6" height="6" rx="1.5"
                fill="rgba(255,255,255,0.7)" />
        </svg>
      </weft-taskbar-launcher>
      <weft-taskbar-clock id="clock"></weft-taskbar-clock>
    </weft-taskbar>
  </weft-desktop>

  <weft-launcher hidden id="launcher">
    <weft-app-grid id="app-grid"></weft-app-grid>
  </weft-launcher>
  <weft-notification-center id="notifications"></weft-notification-center>

  <script>
    (function () {
      var clockEl = document.getElementById('clock');
      function updateClock() {
        clockEl.textContent = new Date().toLocaleTimeString([], {
          hour: '2-digit',
          minute: '2-digit',
        });
      }
      updateClock();
      setInterval(updateClock, 10000);

      document.getElementById('launcher-btn').addEventListener('click', function () {
        var launcher = document.getElementById('launcher');
        if (launcher.hasAttribute('hidden')) {
          launcher.removeAttribute('hidden');
          if (ws && ws.readyState === WebSocket.OPEN) {
            ws.send(JSON.stringify({ type: 'QUERY_INSTALLED_APPS' }));
          }
        } else {
          launcher.setAttribute('hidden', '');
        }
      });

      document.addEventListener('keydown', function (e) {
        if (e.key === 'Escape') {
          document.getElementById('launcher').setAttribute('hidden', '');
        }
      });

      document.getElementById('launcher').addEventListener('click', function (e) {
        if (e.target === this) {
          this.setAttribute('hidden', '');
        }
      });

      var APPD_WS_PORT = window.WEFT_APPD_WS_PORT || 7410;
      var ws = null;
      var wsReconnectDelay = 1000;

      function appdConnect() {
        try {
          ws = new WebSocket('ws://127.0.0.1:' + APPD_WS_PORT + '/appd');
        } catch (e) {
          scheduleReconnect();
          return;
        }

        ws.addEventListener('open', function () {
          wsReconnectDelay = 1000;
          document.querySelectorAll('weft-taskbar-app').forEach(function (el) { el.remove(); });
          ws.send(JSON.stringify({ type: 'QUERY_RUNNING' }));
          ws.send(JSON.stringify({ type: 'QUERY_INSTALLED_APPS' }));
        });

        ws.addEventListener('message', function (ev) {
          var msg;
          try { msg = JSON.parse(ev.data); } catch (e) { return; }
          handleAppdMessage(msg);
        });

        ws.addEventListener('close', function () {
          ws = null;
          scheduleReconnect();
        });

        ws.addEventListener('error', function () {
          ws = null;
        });
      }

      function scheduleReconnect() {
        setTimeout(appdConnect, wsReconnectDelay);
        wsReconnectDelay = Math.min(wsReconnectDelay * 2, 16000);
      }

      function handleAppdMessage(msg) {
        if (msg.type === 'INSTALLED_APPS') {
          renderLauncher(msg.apps || []);
        } else if (msg.type === 'APP_READY') {
          var label = msg.app_id ? msg.app_id.split('.').pop() : String(msg.session_id);
          showNotification(label + ' is ready');
        } else if (msg.type === 'APP_STATE') {
          if (msg.state === 'stopped') {
            removeTaskbarEntry(msg.session_id);
          }
        } else if (msg.type === 'RUNNING_APPS') {
          msg.sessions.forEach(function (s) {
            ensureTaskbarEntry(s.session_id, s.app_id);
          });
        } else if (msg.type === 'LAUNCH_ACK') {
          ensureTaskbarEntry(msg.session_id, msg.app_id || null);
        } else if (msg.type === 'NAVIGATION_GESTURE') {
          document.dispatchEvent(new CustomEvent('weft:navigation-gesture', {
            detail: {
              gesture_type: msg.gesture_type,
              fingers: msg.fingers,
              dx: msg.dx,
              dy: msg.dy,
            },
          }));
        } else if (msg.type === 'ERROR') {
          console.warn('appd error', msg.code, msg.message);
        }
      }

      function renderLauncher(apps) {
        var grid = document.getElementById('app-grid');
        grid.innerHTML = '';
        if (apps.length === 0) {
          var empty = document.createElement('p');
          empty.textContent = 'No apps installed';
          empty.style.cssText = 'color:var(--text-secondary);font-size:13px;';
          grid.appendChild(empty);
          return;
        }
        apps.forEach(function (app) {
          var icon = document.createElement('weft-app-icon');
          icon.dataset.appId = app.app_id;
          icon.title = app.app_id + (app.version ? ' v' + app.version : '');
          icon.innerHTML =
            '<svg width="40" height="40" viewBox="0 0 40 40" fill="none"' +
            ' xmlns="http://www.w3.org/2000/svg" aria-hidden="true">' +
            '<rect width="40" height="40" rx="10" fill="rgba(91,138,245,0.25)"/>' +
            '<text x="20" y="27" text-anchor="middle" font-size="18" fill="rgba(255,255,255,0.8)">' +
            (app.name ? app.name.charAt(0).toUpperCase() : '?') +
            '</text></svg>' +
            '<span>' + (app.name || app.app_id) + '</span>';
          icon.addEventListener('click', function () {
            if (ws && ws.readyState === WebSocket.OPEN) {
              ws.send(JSON.stringify({ type: 'LAUNCH_APP', app_id: app.app_id, surface_id: 0 }));
            }
            document.getElementById('launcher').setAttribute('hidden', '');
          });
          grid.appendChild(icon);
        });
      }

      function ensureTaskbarEntry(sessionId, appId) {
        var id = 'task-' + sessionId;
        if (document.getElementById(id)) { return; }
        var label = appId ? appId.split('.').pop() : String(sessionId);
        var el = document.createElement('weft-taskbar-app');
        el.id = id;
        el.dataset.sessionId = sessionId;
        if (appId) { el.dataset.appId = appId; }
        el.title = appId ? appId + ' (session ' + sessionId + ')' : 'Session ' + sessionId;
        var span = document.createElement('span');
        span.textContent = '● ' + label;
        var close = document.createElement('span');
        close.className = 'task-close';
        close.textContent = '×';
        close.title = 'Terminate';
        close.addEventListener('click', function (e) {
          e.stopPropagation();
          if (ws && ws.readyState === WebSocket.OPEN) {
            ws.send(JSON.stringify({ type: 'TERMINATE_APP', session_id: sessionId }));
          }
        });
        el.appendChild(span);
        el.appendChild(close);
        var taskbar = document.querySelector('weft-taskbar');
        var clock = document.getElementById('clock');
        taskbar.insertBefore(el, clock);
      }

      function removeTaskbarEntry(sessionId) {
        var el = document.getElementById('task-' + sessionId);
        if (el) { el.remove(); }
      }

      function showNotification(text) {
        var center = document.getElementById('notifications');
        var note = document.createElement('div');
        note.textContent = text;
        note.style.cssText = [
          'background:var(--surface-bg)',
          'border:1px solid var(--surface-border)',
          'border-radius:8px',
          'padding:10px 14px',
          'font-size:13px',
          'color:var(--text-primary)',
          'pointer-events:auto',
          'backdrop-filter:blur(20px)',
        ].join(';');
        center.appendChild(note);
        setTimeout(function () { note.remove(); }, 4000);
      }

      appdConnect();
    }());
  </script>
</body>
</html>
-												feat(servo-shell): add servo-shell skeleton, system UI, service unit, and Wayland input audit

Includes winit Wayland input audit for servo-shell integration planning.

New files:
- crates/weft-servo-shell/: new workspace member
 - Cargo.toml: anyhow + tracing deps; no servo dep yet (requires git
 dependency on github.com/servo/servo with multi-minute build; deferred
 until embedder contract is confirmed)
 - src/main.rs: reads WAYLAND_DISPLAY and WEFT_SYSTEM_UI_HTML, locates
 system-ui.html from packaged path, calls embed_servo() stub that
 returns a descriptive error explaining the integration work remaining
- infra/shell/system-ui.html: system UI document per blueprint Section 5
 DOM structure (weft-desktop, weft-wallpaper, weft-taskbar, weft-launcher,
 weft-notification-center, weft-window); includes clock and launcher toggle
- infra/systemd/servo-shell.service: Requires+After weft-compositor.service,
 Type=simple, Restart=on-failure
- docs/architecture/winit-wayland-audit.md: audit of winit 0.30.x Wayland
 backend against WEFT input requirements; identifies keyboard shortcut
 inhibit gap, touch gesture gap, IME incomplete (zwp_text_input_v3),
 frame pacing absent (wp_presentation_time), DMA-BUF unverified;
 none block initial integration; all tracked as pre-GA work items

Modified:
- Cargo.toml: add weft-servo-shell to workspace members
- scripts/wsl-check.sh: switch to --workspace for all three gates

											
										
										
											2026-03-10 23:34:26 +00:00
+								<!DOCTYPE html>
 								<html lang="en">
 								<head>
 								  <meta charset="utf-8" />
 								  <meta name="viewport" content="width=device-width, initial-scale=1" />
 								  <title>WEFT Desktop</title>
 								  <style>
 								    :root {
 								      color-scheme: dark;
 								      --surface-bg: rgba(255, 255, 255, 0.07);
 								      --surface-border: rgba(255, 255, 255, 0.12);
 								      --taskbar-height: 48px;
 								      --text-primary: rgba(255, 255, 255, 0.92);
 								      --text-secondary: rgba(255, 255, 255, 0.55);
 								      --accent: #5b8af5;
 								    }
 								    *, *::before, *::after {
 								      box-sizing: border-box;
 								    }
 								    body {
 								      margin: 0;
 								      overflow: hidden;
 								      background: #0f1117;
 								      font-family: system-ui, -apple-system, sans-serif;
 								      color: var(--text-primary);
 								      height: 100dvh;
 								      width: 100dvw;
 								    }
 								    weft-desktop {
 								      display: grid;
 								      grid-template-rows: 1fr var(--taskbar-height);
 								      height: 100dvh;
 								      width: 100dvw;
 								      contain: layout;
 								    }
 								    weft-wallpaper {
 								      display: block;
 								      grid-row: 1;
 								      background: linear-gradient(
 deg,
 								        #0f1117 0%,
 								        #161b2e 40%,
 								        #0d2040 70%,
 								        #0a1a30 100%
 								      );
 								    }
 								    weft-taskbar {
 								      display: flex;
 								      align-items: center;
 								      grid-row: 2;
 								      height: var(--taskbar-height);
 								      padding: 0 12px;
 								      gap: 8px;
 								      background: var(--surface-bg);
 								      border-top: 1px solid var(--surface-border);
 								      backdrop-filter: blur(20px);
 								      -webkit-backdrop-filter: blur(20px);
 								    }
 								    weft-taskbar-launcher {
 								      display: flex;
 								      align-items: center;
 								      justify-content: center;
 								      width: 36px;
 								      height: 36px;
 								      border-radius: 8px;
 								      cursor: pointer;
 								      background: transparent;
 								      transition: background 0.15s;
 								    }
 								    weft-taskbar-launcher:hover {
 								      background: var(--surface-border);
 								    }
 								    weft-taskbar-clock {
 								      margin-left: auto;
 								      font-size: 13px;
 								      color: var(--text-secondary);
 								      font-variant-numeric: tabular-nums;
 								    }
 								    weft-launcher {
 								      display: none;
 								      position: fixed;
 								      inset: 0;
 								      bottom: var(--taskbar-height);
 								      background: rgba(10, 12, 20, 0.85);
 								      backdrop-filter: blur(32px);
 								      -webkit-backdrop-filter: blur(32px);
 								      z-index: 100;
-												feat(appd): add QueryInstalledApps IPC request; wire launcher in system UI

											
										
										
											2026-03-11 10:23:46 +00:00
+								      padding: 24px;
 								      overflow-y: auto;
-												feat(servo-shell): add servo-shell skeleton, system UI, service unit, and Wayland input audit

Includes winit Wayland input audit for servo-shell integration planning.

New files:
- crates/weft-servo-shell/: new workspace member
 - Cargo.toml: anyhow + tracing deps; no servo dep yet (requires git
 dependency on github.com/servo/servo with multi-minute build; deferred
 until embedder contract is confirmed)
 - src/main.rs: reads WAYLAND_DISPLAY and WEFT_SYSTEM_UI_HTML, locates
 system-ui.html from packaged path, calls embed_servo() stub that
 returns a descriptive error explaining the integration work remaining
- infra/shell/system-ui.html: system UI document per blueprint Section 5
 DOM structure (weft-desktop, weft-wallpaper, weft-taskbar, weft-launcher,
 weft-notification-center, weft-window); includes clock and launcher toggle
- infra/systemd/servo-shell.service: Requires+After weft-compositor.service,
 Type=simple, Restart=on-failure
- docs/architecture/winit-wayland-audit.md: audit of winit 0.30.x Wayland
 backend against WEFT input requirements; identifies keyboard shortcut
 inhibit gap, touch gesture gap, IME incomplete (zwp_text_input_v3),
 frame pacing absent (wp_presentation_time), DMA-BUF unverified;
 none block initial integration; all tracked as pre-GA work items

Modified:
- Cargo.toml: add weft-servo-shell to workspace members
- scripts/wsl-check.sh: switch to --workspace for all three gates

											
										
										
											2026-03-10 23:34:26 +00:00
+								    }
 								    weft-launcher:not([hidden]) {
 								      display: block;
 								    }
-												feat(appd): add QueryInstalledApps IPC request; wire launcher in system UI

											
										
										
											2026-03-11 10:23:46 +00:00
+								    weft-app-grid {
 								      display: grid;
 								      grid-template-columns: repeat(auto-fill, minmax(96px, 1fr));
 								      gap: 16px;
 								      max-width: 640px;
 								      margin: 0 auto;
 								    }
 								    weft-app-icon {
 								      display: flex;
 								      flex-direction: column;
 								      align-items: center;
 								      gap: 6px;
 								      padding: 12px 8px;
 								      border-radius: 12px;
 								      cursor: pointer;
 								      color: var(--text-primary);
 								      font-size: 12px;
 								      text-align: center;
 								      word-break: break-word;
 								      transition: background 0.15s;
 								    }
 								    weft-app-icon:hover {
 								      background: var(--surface-border);
 								    }
 								    weft-app-icon svg {
 								      flex-shrink: 0;
 								    }
-												feat(shell): add terminate button to taskbar app entries

ensureTaskbarEntry() now creates a label span and an inline x close
button. The x button is hidden until the taskbar entry is hovered, then
sends TERMINATE_APP via WebSocket on click. CSS for weft-taskbar-app
and .task-close added (flex layout, hover reveal, red tint on x hover).

											
										
										
											2026-03-11 10:40:25 +00:00
+								    weft-taskbar-app {
 								      display: inline-flex;
 								      align-items: center;
 								      gap: 4px;
 								      font-size: 12px;
 								      color: var(--text-secondary);
 								      padding: 0 4px 0 6px;
 								      cursor: pointer;
 								      border-radius: 6px;
 								      transition: background 0.15s;
 								    }
 								    weft-taskbar-app:hover {
 								      background: var(--surface-border);
 								    }
 								    weft-taskbar-app .task-close {
 								      opacity: 0;
 								      font-size: 11px;
 								      line-height: 1;
 								      padding: 1px 3px;
 								      border-radius: 3px;
 								      transition: opacity 0.1s, background 0.1s;
 								    }
 								    weft-taskbar-app:hover .task-close {
 								      opacity: 1;
 								    }
 								    weft-taskbar-app .task-close:hover {
 								      background: rgba(255,80,80,0.3);
 								    }
-												feat(servo-shell): add servo-shell skeleton, system UI, service unit, and Wayland input audit

Includes winit Wayland input audit for servo-shell integration planning.

New files:
- crates/weft-servo-shell/: new workspace member
 - Cargo.toml: anyhow + tracing deps; no servo dep yet (requires git
 dependency on github.com/servo/servo with multi-minute build; deferred
 until embedder contract is confirmed)
 - src/main.rs: reads WAYLAND_DISPLAY and WEFT_SYSTEM_UI_HTML, locates
 system-ui.html from packaged path, calls embed_servo() stub that
 returns a descriptive error explaining the integration work remaining
- infra/shell/system-ui.html: system UI document per blueprint Section 5
 DOM structure (weft-desktop, weft-wallpaper, weft-taskbar, weft-launcher,
 weft-notification-center, weft-window); includes clock and launcher toggle
- infra/systemd/servo-shell.service: Requires+After weft-compositor.service,
 Type=simple, Restart=on-failure
- docs/architecture/winit-wayland-audit.md: audit of winit 0.30.x Wayland
 backend against WEFT input requirements; identifies keyboard shortcut
 inhibit gap, touch gesture gap, IME incomplete (zwp_text_input_v3),
 frame pacing absent (wp_presentation_time), DMA-BUF unverified;
 none block initial integration; all tracked as pre-GA work items

Modified:
- Cargo.toml: add weft-servo-shell to workspace members
- scripts/wsl-check.sh: switch to --workspace for all three gates

											
										
										
											2026-03-10 23:34:26 +00:00
+								    weft-notification-center {
 								      position: fixed;
 								      top: 8px;
 								      right: 8px;
 								      width: 360px;
 								      display: flex;
 								      flex-direction: column;
 								      gap: 8px;
 								      z-index: 200;
 								      pointer-events: none;
 								    }
 								    weft-window {
 								      display: none;
 								    }
 								  </style>
 								</head>
 								<body>
 								  <weft-desktop>
 								    <weft-wallpaper></weft-wallpaper>
 								    <weft-taskbar>
 								      <weft-taskbar-launcher id="launcher-btn" title="Apps">
 								        <svg width="18" height="18" viewBox="0 0 18 18" fill="none"
 								             xmlns="http://www.w3.org/2000/svg" aria-hidden="true">
 								          <rect x="1" y="1" width="6" height="6" rx="1.5"
 								                fill="rgba(255,255,255,0.7)" />
 								          <rect x="11" y="1" width="6" height="6" rx="1.5"
 								                fill="rgba(255,255,255,0.7)" />
 								          <rect x="1" y="11" width="6" height="6" rx="1.5"
 								                fill="rgba(255,255,255,0.7)" />
 								          <rect x="11" y="11" width="6" height="6" rx="1.5"
 								                fill="rgba(255,255,255,0.7)" />
 								        </svg>
 								      </weft-taskbar-launcher>
 								      <weft-taskbar-clock id="clock"></weft-taskbar-clock>
 								    </weft-taskbar>
 								  </weft-desktop>
-												feat(appd): add QueryInstalledApps IPC request; wire launcher in system UI

											
										
										
											2026-03-11 10:23:46 +00:00
+								  <weft-launcher hidden id="launcher">
 								    <weft-app-grid id="app-grid"></weft-app-grid>
 								  </weft-launcher>
-												feat(servo-shell): add servo-shell skeleton, system UI, service unit, and Wayland input audit

Includes winit Wayland input audit for servo-shell integration planning.

New files:
- crates/weft-servo-shell/: new workspace member
 - Cargo.toml: anyhow + tracing deps; no servo dep yet (requires git
 dependency on github.com/servo/servo with multi-minute build; deferred
 until embedder contract is confirmed)
 - src/main.rs: reads WAYLAND_DISPLAY and WEFT_SYSTEM_UI_HTML, locates
 system-ui.html from packaged path, calls embed_servo() stub that
 returns a descriptive error explaining the integration work remaining
- infra/shell/system-ui.html: system UI document per blueprint Section 5
 DOM structure (weft-desktop, weft-wallpaper, weft-taskbar, weft-launcher,
 weft-notification-center, weft-window); includes clock and launcher toggle
- infra/systemd/servo-shell.service: Requires+After weft-compositor.service,
 Type=simple, Restart=on-failure
- docs/architecture/winit-wayland-audit.md: audit of winit 0.30.x Wayland
 backend against WEFT input requirements; identifies keyboard shortcut
 inhibit gap, touch gesture gap, IME incomplete (zwp_text_input_v3),
 frame pacing absent (wp_presentation_time), DMA-BUF unverified;
 none block initial integration; all tracked as pre-GA work items

Modified:
- Cargo.toml: add weft-servo-shell to workspace members
- scripts/wsl-check.sh: switch to --workspace for all three gates

											
										
										
											2026-03-10 23:34:26 +00:00
+								  <weft-notification-center id="notifications"></weft-notification-center>
 								  <script>
 								    (function () {
 								      var clockEl = document.getElementById('clock');
 								      function updateClock() {
 								        clockEl.textContent = new Date().toLocaleTimeString([], {
 								          hour: '2-digit',
 								          minute: '2-digit',
 								        });
 								      }
 								      updateClock();
 								      setInterval(updateClock, 10000);
 								      document.getElementById('launcher-btn').addEventListener('click', function () {
 								        var launcher = document.getElementById('launcher');
 								        if (launcher.hasAttribute('hidden')) {
 								          launcher.removeAttribute('hidden');
-												feat(shell): refresh installed apps list on every launcher open

											
										
										
											2026-03-11 11:02:11 +00:00
+								          if (ws && ws.readyState === WebSocket.OPEN) {
 								            ws.send(JSON.stringify({ type: 'QUERY_INSTALLED_APPS' }));
 								          }
-												feat(servo-shell): add servo-shell skeleton, system UI, service unit, and Wayland input audit

Includes winit Wayland input audit for servo-shell integration planning.

New files:
- crates/weft-servo-shell/: new workspace member
 - Cargo.toml: anyhow + tracing deps; no servo dep yet (requires git
 dependency on github.com/servo/servo with multi-minute build; deferred
 until embedder contract is confirmed)
 - src/main.rs: reads WAYLAND_DISPLAY and WEFT_SYSTEM_UI_HTML, locates
 system-ui.html from packaged path, calls embed_servo() stub that
 returns a descriptive error explaining the integration work remaining
- infra/shell/system-ui.html: system UI document per blueprint Section 5
 DOM structure (weft-desktop, weft-wallpaper, weft-taskbar, weft-launcher,
 weft-notification-center, weft-window); includes clock and launcher toggle
- infra/systemd/servo-shell.service: Requires+After weft-compositor.service,
 Type=simple, Restart=on-failure
- docs/architecture/winit-wayland-audit.md: audit of winit 0.30.x Wayland
 backend against WEFT input requirements; identifies keyboard shortcut
 inhibit gap, touch gesture gap, IME incomplete (zwp_text_input_v3),
 frame pacing absent (wp_presentation_time), DMA-BUF unverified;
 none block initial integration; all tracked as pre-GA work items

Modified:
- Cargo.toml: add weft-servo-shell to workspace members
- scripts/wsl-check.sh: switch to --workspace for all three gates

											
										
										
											2026-03-10 23:34:26 +00:00
+								        } else {
 								          launcher.setAttribute('hidden', '');
 								        }
 								      });
-												feat(appd): add WebSocket UI endpoint for Servo shell integration

Implements the weft-appd WebSocket server that allows the system-ui.html
page running inside Servo to send requests and receive push notifications
without requiring custom SpiderMonkey bindings.

ws.rs — WebSocket connection handler:
- Accepts a tokio TcpStream, performs WebSocket handshake via
  tokio-tungstenite accept_async.
- Reads JSON Text frames, deserializes as Request (serde_json), calls
  dispatch(), sends Response as JSON Text.
- Subscribes to a broadcast::Receiver<Response> for server-push
  notifications (APP_READY, etc.); forwards to client via select!.
- Handles close frames, partial errors, and lagged broadcast gracefully.

main.rs — server changes:
- broadcast::channel(16) created at startup; WebSocket handlers
  subscribe for push delivery.
- TcpListener bound on 127.0.0.1:7410 (default) or WEFT_APPD_WS_PORT.
- ws_port() / write_ws_port(): port written to
  XDG_RUNTIME_DIR/weft/appd.wsport for runtime discovery.
- WS accept branch added to the main select! loop alongside Unix socket.

ipc.rs — Response and AppStateKind now derive Clone (required by
broadcast::Sender<Response>).

system-ui.html — appd WebSocket client:
- appdConnect(): opens ws://127.0.0.1:<port>/appd with exponential
  backoff reconnect (1s → 16s max).
- On open: sends QUERY_RUNNING to populate taskbar with live sessions.
- handleAppdMessage(): maps LAUNCH_ACK and RUNNING_APPS to taskbar
  entries; APP_READY shows a timed notification; APP_STATE::stopped
  removes the taskbar entry.
- WEFT_APPD_WS_PORT window global overrides the default port.

New deps: tokio-tungstenite 0.24, futures-util 0.3 (sink+std),
serde_json 1.

											
										
										
											2026-03-11 08:01:54 +00:00
-												feat(shell): close launcher on Escape key and click-outside

											
										
										
											2026-03-11 10:39:21 +00:00
+								      document.addEventListener('keydown', function (e) {
 								        if (e.key === 'Escape') {
 								          document.getElementById('launcher').setAttribute('hidden', '');
 								        }
 								      });
 								      document.getElementById('launcher').addEventListener('click', function (e) {
 								        if (e.target === this) {
 								          this.setAttribute('hidden', '');
 								        }
 								      });
-												feat(appd): add WebSocket UI endpoint for Servo shell integration

Implements the weft-appd WebSocket server that allows the system-ui.html
page running inside Servo to send requests and receive push notifications
without requiring custom SpiderMonkey bindings.

ws.rs — WebSocket connection handler:
- Accepts a tokio TcpStream, performs WebSocket handshake via
  tokio-tungstenite accept_async.
- Reads JSON Text frames, deserializes as Request (serde_json), calls
  dispatch(), sends Response as JSON Text.
- Subscribes to a broadcast::Receiver<Response> for server-push
  notifications (APP_READY, etc.); forwards to client via select!.
- Handles close frames, partial errors, and lagged broadcast gracefully.

main.rs — server changes:
- broadcast::channel(16) created at startup; WebSocket handlers
  subscribe for push delivery.
- TcpListener bound on 127.0.0.1:7410 (default) or WEFT_APPD_WS_PORT.
- ws_port() / write_ws_port(): port written to
  XDG_RUNTIME_DIR/weft/appd.wsport for runtime discovery.
- WS accept branch added to the main select! loop alongside Unix socket.

ipc.rs — Response and AppStateKind now derive Clone (required by
broadcast::Sender<Response>).

system-ui.html — appd WebSocket client:
- appdConnect(): opens ws://127.0.0.1:<port>/appd with exponential
  backoff reconnect (1s → 16s max).
- On open: sends QUERY_RUNNING to populate taskbar with live sessions.
- handleAppdMessage(): maps LAUNCH_ACK and RUNNING_APPS to taskbar
  entries; APP_READY shows a timed notification; APP_STATE::stopped
  removes the taskbar entry.
- WEFT_APPD_WS_PORT window global overrides the default port.

New deps: tokio-tungstenite 0.24, futures-util 0.3 (sink+std),
serde_json 1.

											
										
										
											2026-03-11 08:01:54 +00:00
+								      var APPD_WS_PORT = window.WEFT_APPD_WS_PORT || 7410;
 								      var ws = null;
 								      var wsReconnectDelay = 1000;
 								      function appdConnect() {
 								        try {
 								          ws = new WebSocket('ws://127.0.0.1:' + APPD_WS_PORT + '/appd');
 								        } catch (e) {
 								          scheduleReconnect();
 								          return;
 								        }
 								        ws.addEventListener('open', function () {
 								          wsReconnectDelay = 1000;
-												fix(shell): clear stale taskbar entries on WebSocket reconnect

When weft-appd restarts, session IDs reset to 0. Without clearing,
RUNNING_APPS repopulation after reconnect would coexist with stale
entries from the previous session. Removing all weft-taskbar-app
elements on the open event ensures the taskbar reflects only the
current appd session registry.

											
										
										
											2026-03-11 11:01:33 +00:00
+								          document.querySelectorAll('weft-taskbar-app').forEach(function (el) { el.remove(); });
-												feat(appd): add WebSocket UI endpoint for Servo shell integration

Implements the weft-appd WebSocket server that allows the system-ui.html
page running inside Servo to send requests and receive push notifications
without requiring custom SpiderMonkey bindings.

ws.rs — WebSocket connection handler:
- Accepts a tokio TcpStream, performs WebSocket handshake via
  tokio-tungstenite accept_async.
- Reads JSON Text frames, deserializes as Request (serde_json), calls
  dispatch(), sends Response as JSON Text.
- Subscribes to a broadcast::Receiver<Response> for server-push
  notifications (APP_READY, etc.); forwards to client via select!.
- Handles close frames, partial errors, and lagged broadcast gracefully.

main.rs — server changes:
- broadcast::channel(16) created at startup; WebSocket handlers
  subscribe for push delivery.
- TcpListener bound on 127.0.0.1:7410 (default) or WEFT_APPD_WS_PORT.
- ws_port() / write_ws_port(): port written to
  XDG_RUNTIME_DIR/weft/appd.wsport for runtime discovery.
- WS accept branch added to the main select! loop alongside Unix socket.

ipc.rs — Response and AppStateKind now derive Clone (required by
broadcast::Sender<Response>).

system-ui.html — appd WebSocket client:
- appdConnect(): opens ws://127.0.0.1:<port>/appd with exponential
  backoff reconnect (1s → 16s max).
- On open: sends QUERY_RUNNING to populate taskbar with live sessions.
- handleAppdMessage(): maps LAUNCH_ACK and RUNNING_APPS to taskbar
  entries; APP_READY shows a timed notification; APP_STATE::stopped
  removes the taskbar entry.
- WEFT_APPD_WS_PORT window global overrides the default port.

New deps: tokio-tungstenite 0.24, futures-util 0.3 (sink+std),
serde_json 1.

											
										
										
											2026-03-11 08:01:54 +00:00
+								          ws.send(JSON.stringify({ type: 'QUERY_RUNNING' }));
-												feat(appd): add QueryInstalledApps IPC request; wire launcher in system UI

											
										
										
											2026-03-11 10:23:46 +00:00
+								          ws.send(JSON.stringify({ type: 'QUERY_INSTALLED_APPS' }));
-												feat(appd): add WebSocket UI endpoint for Servo shell integration

Implements the weft-appd WebSocket server that allows the system-ui.html
page running inside Servo to send requests and receive push notifications
without requiring custom SpiderMonkey bindings.

ws.rs — WebSocket connection handler:
- Accepts a tokio TcpStream, performs WebSocket handshake via
  tokio-tungstenite accept_async.
- Reads JSON Text frames, deserializes as Request (serde_json), calls
  dispatch(), sends Response as JSON Text.
- Subscribes to a broadcast::Receiver<Response> for server-push
  notifications (APP_READY, etc.); forwards to client via select!.
- Handles close frames, partial errors, and lagged broadcast gracefully.

main.rs — server changes:
- broadcast::channel(16) created at startup; WebSocket handlers
  subscribe for push delivery.
- TcpListener bound on 127.0.0.1:7410 (default) or WEFT_APPD_WS_PORT.
- ws_port() / write_ws_port(): port written to
  XDG_RUNTIME_DIR/weft/appd.wsport for runtime discovery.
- WS accept branch added to the main select! loop alongside Unix socket.

ipc.rs — Response and AppStateKind now derive Clone (required by
broadcast::Sender<Response>).

system-ui.html — appd WebSocket client:
- appdConnect(): opens ws://127.0.0.1:<port>/appd with exponential
  backoff reconnect (1s → 16s max).
- On open: sends QUERY_RUNNING to populate taskbar with live sessions.
- handleAppdMessage(): maps LAUNCH_ACK and RUNNING_APPS to taskbar
  entries; APP_READY shows a timed notification; APP_STATE::stopped
  removes the taskbar entry.
- WEFT_APPD_WS_PORT window global overrides the default port.

New deps: tokio-tungstenite 0.24, futures-util 0.3 (sink+std),
serde_json 1.

											
										
										
											2026-03-11 08:01:54 +00:00
+								        });
 								        ws.addEventListener('message', function (ev) {
 								          var msg;
 								          try { msg = JSON.parse(ev.data); } catch (e) { return; }
 								          handleAppdMessage(msg);
 								        });
 								        ws.addEventListener('close', function () {
 								          ws = null;
 								          scheduleReconnect();
 								        });
 								        ws.addEventListener('error', function () {
 								          ws = null;
 								        });
 								      }
 								      function scheduleReconnect() {
 								        setTimeout(appdConnect, wsReconnectDelay);
 								        wsReconnectDelay = Math.min(wsReconnectDelay * 2, 16000);
 								      }
 								      function handleAppdMessage(msg) {
-												feat(appd): add QueryInstalledApps IPC request; wire launcher in system UI

											
										
										
											2026-03-11 10:23:46 +00:00
+								        if (msg.type === 'INSTALLED_APPS') {
 								          renderLauncher(msg.apps || []);
 								        } else if (msg.type === 'APP_READY') {
-												fix(servo-shell): show app name in APP_READY notification

system-ui.html: APP_READY handler extracts the last component of
msg.app_id (e.g. 'notes' from 'com.example.notes') and shows
'<name> is ready'. Falls back to the session_id if app_id is absent.

											
										
										
											2026-03-11 09:51:16 +00:00
+								          var label = msg.app_id ? msg.app_id.split('.').pop() : String(msg.session_id);
 								          showNotification(label + ' is ready');
-												feat(appd): add WebSocket UI endpoint for Servo shell integration

Implements the weft-appd WebSocket server that allows the system-ui.html
page running inside Servo to send requests and receive push notifications
without requiring custom SpiderMonkey bindings.

ws.rs — WebSocket connection handler:
- Accepts a tokio TcpStream, performs WebSocket handshake via
  tokio-tungstenite accept_async.
- Reads JSON Text frames, deserializes as Request (serde_json), calls
  dispatch(), sends Response as JSON Text.
- Subscribes to a broadcast::Receiver<Response> for server-push
  notifications (APP_READY, etc.); forwards to client via select!.
- Handles close frames, partial errors, and lagged broadcast gracefully.

main.rs — server changes:
- broadcast::channel(16) created at startup; WebSocket handlers
  subscribe for push delivery.
- TcpListener bound on 127.0.0.1:7410 (default) or WEFT_APPD_WS_PORT.
- ws_port() / write_ws_port(): port written to
  XDG_RUNTIME_DIR/weft/appd.wsport for runtime discovery.
- WS accept branch added to the main select! loop alongside Unix socket.

ipc.rs — Response and AppStateKind now derive Clone (required by
broadcast::Sender<Response>).

system-ui.html — appd WebSocket client:
- appdConnect(): opens ws://127.0.0.1:<port>/appd with exponential
  backoff reconnect (1s → 16s max).
- On open: sends QUERY_RUNNING to populate taskbar with live sessions.
- handleAppdMessage(): maps LAUNCH_ACK and RUNNING_APPS to taskbar
  entries; APP_READY shows a timed notification; APP_STATE::stopped
  removes the taskbar entry.
- WEFT_APPD_WS_PORT window global overrides the default port.

New deps: tokio-tungstenite 0.24, futures-util 0.3 (sink+std),
serde_json 1.

											
										
										
											2026-03-11 08:01:54 +00:00
+								        } else if (msg.type === 'APP_STATE') {
 								          if (msg.state === 'stopped') {
 								            removeTaskbarEntry(msg.session_id);
 								          }
 								        } else if (msg.type === 'RUNNING_APPS') {
-												feat(appd): include app_id in RunningApps response; update system UI

ipc.rs:
- Add SessionInfo { session_id: u64, app_id: String } struct.
- Change RunningApps { session_ids: Vec<u64> } to
  RunningApps { sessions: Vec<SessionInfo> } so callers can display
  meaningful app names without a follow-up QueryAppState round-trip.
- Add session_info_roundtrip test.

main.rs:
- Add SessionEntry { app_id: String, state: AppStateKind } to store
  app_id alongside state in SessionRegistry.
- launch() stores app_id in the entry.
- running_sessions() replaces running_ids(); returns Vec<SessionInfo>.
- state() reads from SessionEntry.state.
- set_state() writes to SessionEntry.state.
- QueryRunning dispatch uses running_sessions().
- Test registry_running_ids_reflects_live_sessions renamed to
  registry_running_sessions_reflects_live_sessions and updated to
  assert both session_id and app_id fields.
- dispatch_query_running test asserts app_id values are present.

system-ui.html:
- RUNNING_APPS handler uses msg.sessions[].{session_id,app_id}.
- ensureTaskbarEntry(sessionId, appId): shows the last component of the
  reverse-domain app ID as the taskbar label; sets data-app-id attribute;
  tooltip shows full app ID and session number.
- LAUNCH_ACK handler passes null for appId (session ID only available
  at launch time; app_id arrives in RUNNING_APPS on reconnect).

											
										
										
											2026-03-11 09:42:40 +00:00
+								          msg.sessions.forEach(function (s) {
 								            ensureTaskbarEntry(s.session_id, s.app_id);
-												feat(appd): add WebSocket UI endpoint for Servo shell integration

Implements the weft-appd WebSocket server that allows the system-ui.html
page running inside Servo to send requests and receive push notifications
without requiring custom SpiderMonkey bindings.

ws.rs — WebSocket connection handler:
- Accepts a tokio TcpStream, performs WebSocket handshake via
  tokio-tungstenite accept_async.
- Reads JSON Text frames, deserializes as Request (serde_json), calls
  dispatch(), sends Response as JSON Text.
- Subscribes to a broadcast::Receiver<Response> for server-push
  notifications (APP_READY, etc.); forwards to client via select!.
- Handles close frames, partial errors, and lagged broadcast gracefully.

main.rs — server changes:
- broadcast::channel(16) created at startup; WebSocket handlers
  subscribe for push delivery.
- TcpListener bound on 127.0.0.1:7410 (default) or WEFT_APPD_WS_PORT.
- ws_port() / write_ws_port(): port written to
  XDG_RUNTIME_DIR/weft/appd.wsport for runtime discovery.
- WS accept branch added to the main select! loop alongside Unix socket.

ipc.rs — Response and AppStateKind now derive Clone (required by
broadcast::Sender<Response>).

system-ui.html — appd WebSocket client:
- appdConnect(): opens ws://127.0.0.1:<port>/appd with exponential
  backoff reconnect (1s → 16s max).
- On open: sends QUERY_RUNNING to populate taskbar with live sessions.
- handleAppdMessage(): maps LAUNCH_ACK and RUNNING_APPS to taskbar
  entries; APP_READY shows a timed notification; APP_STATE::stopped
  removes the taskbar entry.
- WEFT_APPD_WS_PORT window global overrides the default port.

New deps: tokio-tungstenite 0.24, futures-util 0.3 (sink+std),
serde_json 1.

											
										
										
											2026-03-11 08:01:54 +00:00
+								          });
 								        } else if (msg.type === 'LAUNCH_ACK') {
-												fix(servo-shell): pass app_id from LAUNCH_ACK to taskbar entry

system-ui.html: LAUNCH_ACK handler now passes msg.app_id to
ensureTaskbarEntry so the taskbar label shows the app name
immediately on launch, matching the behaviour of RUNNING_APPS.

											
										
										
											2026-03-11 09:46:54 +00:00
+								          ensureTaskbarEntry(msg.session_id, msg.app_id || null);
-												feat: appd IPC relay, WIT interfaces, UI kit, gesture routing, and CI hardening

- weft-appd: per-session IPC socket paths; bidirectional Wasm-HTML JSON relay
  via spawn_ipc_relay; SO_PEERCRED UID check on Unix socket connections;
  PanelGesture request and NavigationGesture broadcast for compositor gestures
- weft-runtime: weft:app/ipc, weft:app/fetch, weft:app/notifications WIT
  interfaces; IpcState non-blocking Unix socket host functions; ureq-backed
  net:fetch host function (net-fetch feature); notify-send notifications host
- weft-file-portal: spawn a thread per accepted connection for concurrent access
- weft-app-shell: weft-system:// URL translation; WEFT UI Kit UserScript
  injection; resolve_weft_system_url helper
- weft-servo-shell: forward compositor navigation gestures to weft-appd
  WebSocket as PanelGesture; WEFT UI Kit UserScript injection
- infra/shell: weft-ui-kit.js with 11 custom elements (weft-button, weft-card,
  weft-dialog, weft-icon, weft-list, weft-list-item, weft-menu, weft-menu-item,
  weft-progress, weft-input, weft-label); system-ui.html handles
  NAVIGATION_GESTURE messages and dispatches weft:navigation-gesture CustomEvent
- infra/systemd: add missing env vars to weft-appd.service; correct
  servo-shell.service binary path and system-ui.html argument
- .github/workflows/ci.yml: exclude weft-servo-shell and weft-app-shell from
  cross-platform job; add them to linux-only job with libsystemd-dev dependency

											
										
										
											2026-03-12 11:49:45 +00:00
+								        } else if (msg.type === 'NAVIGATION_GESTURE') {
 								          document.dispatchEvent(new CustomEvent('weft:navigation-gesture', {
 								            detail: {
 								              gesture_type: msg.gesture_type,
 								              fingers: msg.fingers,
 								              dx: msg.dx,
 								              dy: msg.dy,
 								            },
 								          }));
-												fix(shell): log IPC ERROR responses to console

											
										
										
											2026-03-11 11:06:56 +00:00
+								        } else if (msg.type === 'ERROR') {
 								          console.warn('appd error', msg.code, msg.message);
-												feat(appd): add WebSocket UI endpoint for Servo shell integration

Implements the weft-appd WebSocket server that allows the system-ui.html
page running inside Servo to send requests and receive push notifications
without requiring custom SpiderMonkey bindings.

ws.rs — WebSocket connection handler:
- Accepts a tokio TcpStream, performs WebSocket handshake via
  tokio-tungstenite accept_async.
- Reads JSON Text frames, deserializes as Request (serde_json), calls
  dispatch(), sends Response as JSON Text.
- Subscribes to a broadcast::Receiver<Response> for server-push
  notifications (APP_READY, etc.); forwards to client via select!.
- Handles close frames, partial errors, and lagged broadcast gracefully.

main.rs — server changes:
- broadcast::channel(16) created at startup; WebSocket handlers
  subscribe for push delivery.
- TcpListener bound on 127.0.0.1:7410 (default) or WEFT_APPD_WS_PORT.
- ws_port() / write_ws_port(): port written to
  XDG_RUNTIME_DIR/weft/appd.wsport for runtime discovery.
- WS accept branch added to the main select! loop alongside Unix socket.

ipc.rs — Response and AppStateKind now derive Clone (required by
broadcast::Sender<Response>).

system-ui.html — appd WebSocket client:
- appdConnect(): opens ws://127.0.0.1:<port>/appd with exponential
  backoff reconnect (1s → 16s max).
- On open: sends QUERY_RUNNING to populate taskbar with live sessions.
- handleAppdMessage(): maps LAUNCH_ACK and RUNNING_APPS to taskbar
  entries; APP_READY shows a timed notification; APP_STATE::stopped
  removes the taskbar entry.
- WEFT_APPD_WS_PORT window global overrides the default port.

New deps: tokio-tungstenite 0.24, futures-util 0.3 (sink+std),
serde_json 1.

											
										
										
											2026-03-11 08:01:54 +00:00
+								        }
 								      }
-												feat(appd): add QueryInstalledApps IPC request; wire launcher in system UI

											
										
										
											2026-03-11 10:23:46 +00:00
+								      function renderLauncher(apps) {
 								        var grid = document.getElementById('app-grid');
 								        grid.innerHTML = '';
 								        if (apps.length === 0) {
 								          var empty = document.createElement('p');
 								          empty.textContent = 'No apps installed';
 								          empty.style.cssText = 'color:var(--text-secondary);font-size:13px;';
 								          grid.appendChild(empty);
 								          return;
 								        }
 								        apps.forEach(function (app) {
 								          var icon = document.createElement('weft-app-icon');
 								          icon.dataset.appId = app.app_id;
-												feat(appd): add version field to AppInfo; surface it in launcher tile tooltip

WappPackage and AppInfo both gain a version field. scan_installed_apps()
reads it from wapp.toml and includes it in InstalledApps responses.
system-ui.html shows it in the title tooltip as 'com.example.app v1.0.0'.
All roundtrip and integration tests updated.

											
										
										
											2026-03-11 12:15:09 +00:00
+								          icon.title = app.app_id + (app.version ? ' v' + app.version : '');
-												feat(appd): add QueryInstalledApps IPC request; wire launcher in system UI

											
										
										
											2026-03-11 10:23:46 +00:00
+								          icon.innerHTML =
 								            '<svg width="40" height="40" viewBox="0 0 40 40" fill="none"' +
 								            ' xmlns="http://www.w3.org/2000/svg" aria-hidden="true">' +
 								            '<rect width="40" height="40" rx="10" fill="rgba(91,138,245,0.25)"/>' +
 								            '<text x="20" y="27" text-anchor="middle" font-size="18" fill="rgba(255,255,255,0.8)">' +
 								            (app.name ? app.name.charAt(0).toUpperCase() : '?') +
 								            '</text></svg>' +
 								            '<span>' + (app.name || app.app_id) + '</span>';
 								          icon.addEventListener('click', function () {
 								            if (ws && ws.readyState === WebSocket.OPEN) {
 								              ws.send(JSON.stringify({ type: 'LAUNCH_APP', app_id: app.app_id, surface_id: 0 }));
 								            }
 								            document.getElementById('launcher').setAttribute('hidden', '');
 								          });
 								          grid.appendChild(icon);
 								        });
 								      }
-												feat(appd): include app_id in RunningApps response; update system UI

ipc.rs:
- Add SessionInfo { session_id: u64, app_id: String } struct.
- Change RunningApps { session_ids: Vec<u64> } to
  RunningApps { sessions: Vec<SessionInfo> } so callers can display
  meaningful app names without a follow-up QueryAppState round-trip.
- Add session_info_roundtrip test.

main.rs:
- Add SessionEntry { app_id: String, state: AppStateKind } to store
  app_id alongside state in SessionRegistry.
- launch() stores app_id in the entry.
- running_sessions() replaces running_ids(); returns Vec<SessionInfo>.
- state() reads from SessionEntry.state.
- set_state() writes to SessionEntry.state.
- QueryRunning dispatch uses running_sessions().
- Test registry_running_ids_reflects_live_sessions renamed to
  registry_running_sessions_reflects_live_sessions and updated to
  assert both session_id and app_id fields.
- dispatch_query_running test asserts app_id values are present.

system-ui.html:
- RUNNING_APPS handler uses msg.sessions[].{session_id,app_id}.
- ensureTaskbarEntry(sessionId, appId): shows the last component of the
  reverse-domain app ID as the taskbar label; sets data-app-id attribute;
  tooltip shows full app ID and session number.
- LAUNCH_ACK handler passes null for appId (session ID only available
  at launch time; app_id arrives in RUNNING_APPS on reconnect).

											
										
										
											2026-03-11 09:42:40 +00:00
+								      function ensureTaskbarEntry(sessionId, appId) {
-												feat(appd): add WebSocket UI endpoint for Servo shell integration

Implements the weft-appd WebSocket server that allows the system-ui.html
page running inside Servo to send requests and receive push notifications
without requiring custom SpiderMonkey bindings.

ws.rs — WebSocket connection handler:
- Accepts a tokio TcpStream, performs WebSocket handshake via
  tokio-tungstenite accept_async.
- Reads JSON Text frames, deserializes as Request (serde_json), calls
  dispatch(), sends Response as JSON Text.
- Subscribes to a broadcast::Receiver<Response> for server-push
  notifications (APP_READY, etc.); forwards to client via select!.
- Handles close frames, partial errors, and lagged broadcast gracefully.

main.rs — server changes:
- broadcast::channel(16) created at startup; WebSocket handlers
  subscribe for push delivery.
- TcpListener bound on 127.0.0.1:7410 (default) or WEFT_APPD_WS_PORT.
- ws_port() / write_ws_port(): port written to
  XDG_RUNTIME_DIR/weft/appd.wsport for runtime discovery.
- WS accept branch added to the main select! loop alongside Unix socket.

ipc.rs — Response and AppStateKind now derive Clone (required by
broadcast::Sender<Response>).

system-ui.html — appd WebSocket client:
- appdConnect(): opens ws://127.0.0.1:<port>/appd with exponential
  backoff reconnect (1s → 16s max).
- On open: sends QUERY_RUNNING to populate taskbar with live sessions.
- handleAppdMessage(): maps LAUNCH_ACK and RUNNING_APPS to taskbar
  entries; APP_READY shows a timed notification; APP_STATE::stopped
  removes the taskbar entry.
- WEFT_APPD_WS_PORT window global overrides the default port.

New deps: tokio-tungstenite 0.24, futures-util 0.3 (sink+std),
serde_json 1.

											
										
										
											2026-03-11 08:01:54 +00:00
+								        var id = 'task-' + sessionId;
 								        if (document.getElementById(id)) { return; }
-												feat(appd): include app_id in RunningApps response; update system UI

ipc.rs:
- Add SessionInfo { session_id: u64, app_id: String } struct.
- Change RunningApps { session_ids: Vec<u64> } to
  RunningApps { sessions: Vec<SessionInfo> } so callers can display
  meaningful app names without a follow-up QueryAppState round-trip.
- Add session_info_roundtrip test.

main.rs:
- Add SessionEntry { app_id: String, state: AppStateKind } to store
  app_id alongside state in SessionRegistry.
- launch() stores app_id in the entry.
- running_sessions() replaces running_ids(); returns Vec<SessionInfo>.
- state() reads from SessionEntry.state.
- set_state() writes to SessionEntry.state.
- QueryRunning dispatch uses running_sessions().
- Test registry_running_ids_reflects_live_sessions renamed to
  registry_running_sessions_reflects_live_sessions and updated to
  assert both session_id and app_id fields.
- dispatch_query_running test asserts app_id values are present.

system-ui.html:
- RUNNING_APPS handler uses msg.sessions[].{session_id,app_id}.
- ensureTaskbarEntry(sessionId, appId): shows the last component of the
  reverse-domain app ID as the taskbar label; sets data-app-id attribute;
  tooltip shows full app ID and session number.
- LAUNCH_ACK handler passes null for appId (session ID only available
  at launch time; app_id arrives in RUNNING_APPS on reconnect).

											
										
										
											2026-03-11 09:42:40 +00:00
+								        var label = appId ? appId.split('.').pop() : String(sessionId);
-												feat(appd): add WebSocket UI endpoint for Servo shell integration

Implements the weft-appd WebSocket server that allows the system-ui.html
page running inside Servo to send requests and receive push notifications
without requiring custom SpiderMonkey bindings.

ws.rs — WebSocket connection handler:
- Accepts a tokio TcpStream, performs WebSocket handshake via
  tokio-tungstenite accept_async.
- Reads JSON Text frames, deserializes as Request (serde_json), calls
  dispatch(), sends Response as JSON Text.
- Subscribes to a broadcast::Receiver<Response> for server-push
  notifications (APP_READY, etc.); forwards to client via select!.
- Handles close frames, partial errors, and lagged broadcast gracefully.

main.rs — server changes:
- broadcast::channel(16) created at startup; WebSocket handlers
  subscribe for push delivery.
- TcpListener bound on 127.0.0.1:7410 (default) or WEFT_APPD_WS_PORT.
- ws_port() / write_ws_port(): port written to
  XDG_RUNTIME_DIR/weft/appd.wsport for runtime discovery.
- WS accept branch added to the main select! loop alongside Unix socket.

ipc.rs — Response and AppStateKind now derive Clone (required by
broadcast::Sender<Response>).

system-ui.html — appd WebSocket client:
- appdConnect(): opens ws://127.0.0.1:<port>/appd with exponential
  backoff reconnect (1s → 16s max).
- On open: sends QUERY_RUNNING to populate taskbar with live sessions.
- handleAppdMessage(): maps LAUNCH_ACK and RUNNING_APPS to taskbar
  entries; APP_READY shows a timed notification; APP_STATE::stopped
  removes the taskbar entry.
- WEFT_APPD_WS_PORT window global overrides the default port.

New deps: tokio-tungstenite 0.24, futures-util 0.3 (sink+std),
serde_json 1.

											
										
										
											2026-03-11 08:01:54 +00:00
+								        var el = document.createElement('weft-taskbar-app');
 								        el.id = id;
 								        el.dataset.sessionId = sessionId;
-												feat(appd): include app_id in RunningApps response; update system UI

ipc.rs:
- Add SessionInfo { session_id: u64, app_id: String } struct.
- Change RunningApps { session_ids: Vec<u64> } to
  RunningApps { sessions: Vec<SessionInfo> } so callers can display
  meaningful app names without a follow-up QueryAppState round-trip.
- Add session_info_roundtrip test.

main.rs:
- Add SessionEntry { app_id: String, state: AppStateKind } to store
  app_id alongside state in SessionRegistry.
- launch() stores app_id in the entry.
- running_sessions() replaces running_ids(); returns Vec<SessionInfo>.
- state() reads from SessionEntry.state.
- set_state() writes to SessionEntry.state.
- QueryRunning dispatch uses running_sessions().
- Test registry_running_ids_reflects_live_sessions renamed to
  registry_running_sessions_reflects_live_sessions and updated to
  assert both session_id and app_id fields.
- dispatch_query_running test asserts app_id values are present.

system-ui.html:
- RUNNING_APPS handler uses msg.sessions[].{session_id,app_id}.
- ensureTaskbarEntry(sessionId, appId): shows the last component of the
  reverse-domain app ID as the taskbar label; sets data-app-id attribute;
  tooltip shows full app ID and session number.
- LAUNCH_ACK handler passes null for appId (session ID only available
  at launch time; app_id arrives in RUNNING_APPS on reconnect).

											
										
										
											2026-03-11 09:42:40 +00:00
+								        if (appId) { el.dataset.appId = appId; }
 								        el.title = appId ? appId + ' (session ' + sessionId + ')' : 'Session ' + sessionId;
-												feat(shell): add terminate button to taskbar app entries

ensureTaskbarEntry() now creates a label span and an inline x close
button. The x button is hidden until the taskbar entry is hovered, then
sends TERMINATE_APP via WebSocket on click. CSS for weft-taskbar-app
and .task-close added (flex layout, hover reveal, red tint on x hover).

											
										
										
											2026-03-11 10:40:25 +00:00
+								        var span = document.createElement('span');
 								        span.textContent = '● ' + label;
 								        var close = document.createElement('span');
 								        close.className = 'task-close';
 								        close.textContent = '×';
 								        close.title = 'Terminate';
 								        close.addEventListener('click', function (e) {
 								          e.stopPropagation();
 								          if (ws && ws.readyState === WebSocket.OPEN) {
 								            ws.send(JSON.stringify({ type: 'TERMINATE_APP', session_id: sessionId }));
 								          }
 								        });
 								        el.appendChild(span);
 								        el.appendChild(close);
-												feat(appd): add WebSocket UI endpoint for Servo shell integration

Implements the weft-appd WebSocket server that allows the system-ui.html
page running inside Servo to send requests and receive push notifications
without requiring custom SpiderMonkey bindings.

ws.rs — WebSocket connection handler:
- Accepts a tokio TcpStream, performs WebSocket handshake via
  tokio-tungstenite accept_async.
- Reads JSON Text frames, deserializes as Request (serde_json), calls
  dispatch(), sends Response as JSON Text.
- Subscribes to a broadcast::Receiver<Response> for server-push
  notifications (APP_READY, etc.); forwards to client via select!.
- Handles close frames, partial errors, and lagged broadcast gracefully.

main.rs — server changes:
- broadcast::channel(16) created at startup; WebSocket handlers
  subscribe for push delivery.
- TcpListener bound on 127.0.0.1:7410 (default) or WEFT_APPD_WS_PORT.
- ws_port() / write_ws_port(): port written to
  XDG_RUNTIME_DIR/weft/appd.wsport for runtime discovery.
- WS accept branch added to the main select! loop alongside Unix socket.

ipc.rs — Response and AppStateKind now derive Clone (required by
broadcast::Sender<Response>).

system-ui.html — appd WebSocket client:
- appdConnect(): opens ws://127.0.0.1:<port>/appd with exponential
  backoff reconnect (1s → 16s max).
- On open: sends QUERY_RUNNING to populate taskbar with live sessions.
- handleAppdMessage(): maps LAUNCH_ACK and RUNNING_APPS to taskbar
  entries; APP_READY shows a timed notification; APP_STATE::stopped
  removes the taskbar entry.
- WEFT_APPD_WS_PORT window global overrides the default port.

New deps: tokio-tungstenite 0.24, futures-util 0.3 (sink+std),
serde_json 1.

											
										
										
											2026-03-11 08:01:54 +00:00
+								        var taskbar = document.querySelector('weft-taskbar');
 								        var clock = document.getElementById('clock');
 								        taskbar.insertBefore(el, clock);
 								      }
 								      function removeTaskbarEntry(sessionId) {
 								        var el = document.getElementById('task-' + sessionId);
 								        if (el) { el.remove(); }
 								      }
 								      function showNotification(text) {
 								        var center = document.getElementById('notifications');
 								        var note = document.createElement('div');
 								        note.textContent = text;
 								        note.style.cssText = [
 								          'background:var(--surface-bg)',
 								          'border:1px solid var(--surface-border)',
 								          'border-radius:8px',
 								          'padding:10px 14px',
 								          'font-size:13px',
 								          'color:var(--text-primary)',
 								          'pointer-events:auto',
 								          'backdrop-filter:blur(20px)',
 								        ].join(';');
 								        center.appendChild(note);
 								        setTimeout(function () { note.remove(); }, 4000);
 								      }
 								      appdConnect();
-												feat(servo-shell): add servo-shell skeleton, system UI, service unit, and Wayland input audit

Includes winit Wayland input audit for servo-shell integration planning.

New files:
- crates/weft-servo-shell/: new workspace member
 - Cargo.toml: anyhow + tracing deps; no servo dep yet (requires git
 dependency on github.com/servo/servo with multi-minute build; deferred
 until embedder contract is confirmed)
 - src/main.rs: reads WAYLAND_DISPLAY and WEFT_SYSTEM_UI_HTML, locates
 system-ui.html from packaged path, calls embed_servo() stub that
 returns a descriptive error explaining the integration work remaining
- infra/shell/system-ui.html: system UI document per blueprint Section 5
 DOM structure (weft-desktop, weft-wallpaper, weft-taskbar, weft-launcher,
 weft-notification-center, weft-window); includes clock and launcher toggle
- infra/systemd/servo-shell.service: Requires+After weft-compositor.service,
 Type=simple, Restart=on-failure
- docs/architecture/winit-wayland-audit.md: audit of winit 0.30.x Wayland
 backend against WEFT input requirements; identifies keyboard shortcut
 inhibit gap, touch gesture gap, IME incomplete (zwp_text_input_v3),
 frame pacing absent (wp_presentation_time), DMA-BUF unverified;
 none block initial integration; all tracked as pre-GA work items

Modified:
- Cargo.toml: add weft-servo-shell to workspace members
- scripts/wsl-check.sh: switch to --workspace for all three gates

											
										
										
											2026-03-10 23:34:26 +00:00
+								    }());
 								  </script>
 								</body>
 								</html>