minecodex 1.0.82 → 1.1.0

package/packages/runtime-host/src/codex-cdp.mjs

@@ -0,0 +1,153 @@
+// CDP (Chrome DevTools Protocol) 客户端：WebSocket 连接、表达式求值与进程等待。
+// 与注入内容无关；CodexRuntime 通过这里的 connectClient 与 Codex Renderer 通信。
+export async function connect(url) {
+  const socket = new WebSocket(url);
+  const pending = new Map();
+  const eventWaiters = new Map();
+  const eventListeners = new Map();
+  let nextId = 1;
+
+  await new Promise((resolve, reject) => {
+    socket.addEventListener("open", resolve, { once: true });
+    socket.addEventListener("error", reject, { once: true });
+  });
+  socket.addEventListener("message", (event) => {
+    const message = JSON.parse(String(event.data));
+    if (!message.id) {
+      for (const listener of eventListeners.get(message.method) ?? []) listener(message.params);
+      const waiters = eventWaiters.get(message.method) ?? [];
+      eventWaiters.delete(message.method);
+      for (const waiter of waiters) waiter.resolve(message.params);
+      return;
+    }
+    const request = pending.get(message.id);
+    if (!request) return;
+    pending.delete(message.id);
+    if (message.error) request.reject(new Error(message.error.message));
+    else request.resolve(message.result);
+  });
+  socket.addEventListener("close", () => {
+    const error = new Error("CDP WebSocket closed");
+    for (const request of pending.values()) request.reject(error);
+    pending.clear();
+    for (const waiters of eventWaiters.values()) {
+      for (const waiter of waiters) waiter.reject(error);
+    }
+    eventWaiters.clear();
+    eventListeners.clear();
+  });
+
+  return {
+    socket,
+    send(method, params = {}) {
+      const id = nextId++;
+      return new Promise((resolve, reject) => {
+        pending.set(id, { resolve, reject });
+        socket.send(JSON.stringify({ id, method, params }));
+      });
+    },
+    on(method, listener) {
+      const listeners = eventListeners.get(method) ?? new Set();
+      listeners.add(listener);
+      eventListeners.set(method, listeners);
+      return () => listeners.delete(listener);
+    },
+    waitFor(method, timeoutMs) {
+      return new Promise((resolve, reject) => {
+        const waiters = eventWaiters.get(method) ?? [];
+        const waiter = {
+          resolve(value) {
+            clearTimeout(timeout);
+            resolve(value);
+          },
+          reject,
+        };
+        const timeout = setTimeout(() => {
+          const remaining = (eventWaiters.get(method) ?? []).filter((item) => item !== waiter);
+          if (remaining.length) eventWaiters.set(method, remaining);
+          else eventWaiters.delete(method);
+          reject(new Error(`Timed out waiting for CDP event ${method}`));
+        }, timeoutMs);
+        waiters.push(waiter);
+        eventWaiters.set(method, waiters);
+      });
+    },
+  };
+}
+
+export async function waitForExpression(client, expression, timeoutMs = 20_000) {
+  const deadline = Date.now() + timeoutMs;
+  while (Date.now() < deadline) {
+    try {
+      const result = await client.send("Runtime.evaluate", { expression, returnByValue: true });
+      if (result.result?.value) return;
+    } catch {
+      // Reloading briefly destroys the previous execution context.
+    }
+    await new Promise((resolve) => setTimeout(resolve, 250));
+  }
+  throw new Error(`Timed out waiting for renderer state: ${expression}`);
+}
+
+export function evaluationValue(result) {
+  if (result.exceptionDetails) {
+    throw new Error(result.exceptionDetails.exception?.description ?? result.exceptionDetails.text);
+  }
+  return result.result?.value;
+}
+
+export function requireCdpWebSocketUrl(version, expectedCdpPort) {
+  const value = typeof version?.webSocketDebuggerUrl === "string"
+    ? version.webSocketDebuggerUrl.trim()
+    : "";
+  if (!value) {
+    throw new Error("Codex CDP /json/version is missing webSocketDebuggerUrl");
+  }
+  let parsed;
+  try {
+    parsed = new URL(value);
+  } catch {
+    throw new Error("Codex CDP webSocketDebuggerUrl is invalid");
+  }
+  if (!new Set(["ws:", "wss:"]).has(parsed.protocol) || !parsed.host) {
+    throw new Error("Codex CDP webSocketDebuggerUrl must use ws: or wss:");
+  }
+  const hostname = parsed.hostname.toLowerCase().replace(/^\[|\]$/g, "");
+  if (!new Set(["127.0.0.1", "localhost", "::1"]).has(hostname)) {
+    throw new Error("Codex CDP webSocketDebuggerUrl must use a loopback host");
+  }
+  const configuredPort = Number(expectedCdpPort);
+  const effectivePort = parsed.port
+    ? Number(parsed.port)
+    : parsed.protocol === "wss:" ? 443 : 80;
+  if (!Number.isInteger(configuredPort) || effectivePort !== configuredPort) {
+    throw new Error(`Codex CDP webSocketDebuggerUrl must use configured CDP port ${expectedCdpPort}`);
+  }
+  return value;
+}
+
+export function processChildHasExited(child) {
+  return child && (
+    (child.exitCode !== null && child.exitCode !== undefined)
+    || (child.signalCode !== null && child.signalCode !== undefined)
+  );
+}
+
+export function waitForProcessChildExit(child, timeoutMs) {
+  if (processChildHasExited(child)) return Promise.resolve(true);
+  return new Promise((resolve) => {
+    let settled = false;
+    let timer;
+    const finish = (exited) => {
+      if (settled) return;
+      settled = true;
+      clearTimeout(timer);
+      child.removeListener?.("exit", onExit);
+      resolve(exited || processChildHasExited(child));
+    };
+    const onExit = () => finish(true);
+    child.once?.("exit", onExit);
+    timer = setTimeout(() => finish(false), timeoutMs);
+  });
+}
+

package/packages/runtime-host/src/codex-design-contract.mjs

@@ -0,0 +1,116 @@
+// Codex 原生设计契约：token 名单与派生规则的单一事实来源。
+// 注入到 Codex Renderer 的 install 脚本必须自包含（install.toString() 序列化
+// 后经 CDP 注入），因此 install 内通过 config.themeTokens 拿到本模块的名单；
+// 名单只在这里维护，install 不再持有自己的字面量副本。
+
+export const CODEX_THEME_TOKENS = Object.freeze([
+  "--codex-base-accent",
+  "--codex-base-ink",
+  "--codex-base-surface",
+  "--codex-corner-radius-scale",
+  "--codex-corner-shape",
+  "--spacing",
+  "--radius-3xl-base",
+  "--elevation-prominent",
+  "--elevation-stroke",
+  "--color-token-main-surface-primary",
+  "--color-token-dropdown-background",
+  "--color-token-foreground",
+  "--color-token-text-secondary",
+  "--color-token-text-tertiary",
+  "--color-token-border",
+  "--color-token-focus-border",
+  "--color-token-conversation-summary-trailing",
+  "--color-token-bg-primary",
+  "--color-token-bg-secondary",
+  "--color-token-bg-tertiary",
+  "--color-surface-tertiary",
+  "--color-surface-elevated-secondary",
+  "--color-background-elevated-primary-opaque",
+  "--color-background-primary-ghost-hover",
+  "--color-chart-blue",
+  "--color-chart-purple",
+  "--color-background-panel",
+  "--color-background-control",
+  "--color-background-primary-solid",
+  "--color-text-primary-solid",
+  "--color-background-button-primary",
+  "--color-background-button-primary-hover",
+  "--color-background-button-secondary",
+  "--color-background-button-secondary-hover",
+  "--color-background-button-tertiary-hover",
+  "--color-text-button-tertiary",
+  "--color-token-button-background",
+  "--color-token-button-foreground",
+  "--color-text-foreground",
+  "--color-text-foreground-secondary",
+  "--color-text-foreground-tertiary",
+  "--color-text-inverse",
+  "--color-text-on-accent",
+  "--color-text-button-primary",
+  "--color-text-accent",
+  "--color-token-text-link-foreground",
+  "--color-border",
+  "--color-border-subtle",
+  "--color-border-heavy",
+  "--color-border-focus",
+  "--color-token-scrollbar-slider-background",
+  "--color-token-scrollbar-slider-hover-background",
+  "--color-token-scrollbar-slider-active-background",
+  "--color-icon-primary",
+  "--color-icon-secondary",
+  "--color-icon-tertiary",
+  "--color-token-list-hover-background",
+  "--color-token-input-background",
+  "--color-token-input-border",
+  "--color-token-input-foreground",
+  "--color-token-input-placeholder-foreground",
+  "--font-sans-default",
+  "--font-weight-normal",
+  "--vscode-font-weight",
+  "--default-mono-font-family",
+  "--text-heading-lg",
+  "--text-heading-md",
+  "--text-base",
+  "--text-base--line-height",
+  "--text-sm",
+  "--text-sm--line-height",
+  "--text-xs",
+  "--spacing-token-button-composer",
+  "--radius-sm",
+  "--radius-md",
+  "--radius-lg",
+  "--radius-xl",
+  "--radius-2xl",
+  "--shadow-md",
+  "--shadow-lg",
+  "--shadow-xl",
+]);
+
+// images 图片编辑器可用性依赖的宿主 token 子集。
+// 与 features/images/web/app.js 的 editorTokens 保持同一来源（一致性由测试锁定）。
+export const EDITOR_TOKEN_NAMES = Object.freeze([
+  "--color-surface-tertiary",
+  "--color-surface-elevated-secondary",
+  "--color-border-subtle",
+  "--color-background-primary-ghost-hover",
+  "--color-chart-blue",
+  "--color-text-inverse",
+  "--color-token-main-surface-primary",
+  "--color-token-input-foreground",
+  "--color-text-foreground",
+  "--color-text-foreground-tertiary",
+  "--color-text-on-accent",
+  "--color-border",
+  "--color-border-focus",
+  "--color-token-list-hover-background",
+  "--color-text-accent",
+  "--font-sans-default",
+  "--font-weight-normal",
+  "--text-sm",
+  "--text-sm--line-height",
+  "--radius-md",
+  "--radius-xl",
+  "--shadow-md",
+  "--shadow-xl",
+]);