diff --git a/web/hwlab-cloud-web/app-conversation.ts b/web/hwlab-cloud-web/app-conversation.ts index c7fc2bc3..8d6d5367 100644 --- a/web/hwlab-cloud-web/app-conversation.ts +++ b/web/hwlab-cloud-web/app-conversation.ts @@ -45,7 +45,7 @@ function isScrollIntentKey(key) { return ["ArrowDown", "ArrowUp", "PageDown", "PageUp", "Home", "End", " "].includes(key); } -function captureConversationScrollPosition() { +function captureConversationScrollPosition(): void { state.conversationScrollPosition = { top: el.conversationList.scrollTop, left: el.conversationList.scrollLeft, diff --git a/web/hwlab-cloud-web/app.ts b/web/hwlab-cloud-web/app.ts index 88749195..9fe9002d 100644 --- a/web/hwlab-cloud-web/app.ts +++ b/web/hwlab-cloud-web/app.ts @@ -303,7 +303,7 @@ loadLiveSurface().then(renderLiveSurface); hydrateAccountCodeAgentSessionState(); window.setTimeout(refreshRestoredCodeAgentTraces, 0); -function byId(id) { +function byId(id: string): HTMLElement { const element = document.getElementById(id); if (!element) { throw new Error(`missing required element #${id}`); @@ -311,7 +311,7 @@ function byId(id) { return element; } -function query(selector) { +function query(selector: string): HTMLElement { const element = document.querySelector(selector); if (!element) { throw new Error(`missing required element ${selector}`); diff --git a/web/hwlab-cloud-web/bun.lock b/web/hwlab-cloud-web/bun.lock new file mode 100644 index 00000000..2f0bcfcc --- /dev/null +++ b/web/hwlab-cloud-web/bun.lock @@ -0,0 +1,29 @@ +{ + "lockfileVersion": 1, + "configVersion": 1, + "workspaces": { + "": { + "name": "hwlab-cloud-web", + "devDependencies": { + "@types/node": "22.7.5", + "bun-types": "1.1.33", + "typescript": "5.6.3", + }, + }, + }, + "packages": { + "@types/node": ["@types/node@22.7.5", "", { "dependencies": { "undici-types": "~6.19.2" } }, "sha512-jML7s2NAzMWc//QSJ1a3prpk78cOPchGvXJsC3C6R6PSMoooztvRVQEz89gmBTBY1SPMaqo5teB4uNHPdetShQ=="], + + "@types/ws": ["@types/ws@8.5.14", "", { "dependencies": { "@types/node": "*" } }, "sha512-bd/YFLW+URhBzMXurx7lWByOu+xzU9+kb3RboOteXYDfW+tr+JZa99OyNmPINEGB/ahzKrEuc8rcv4gnpJmxTw=="], + + "bun-types": ["bun-types@1.1.33", "", { "dependencies": { "@types/node": "~20.12.8", "@types/ws": "~8.5.10" } }, "sha512-SOMt3HeI34EyXoAsMxs5qY+e8cjQOn9v1BQl/ZUy1BsOYYuSPBSRVBYE5DjauqY1bOAWGFAjVu9G9pSmCe1bVw=="], + + "typescript": ["typescript@5.6.3", "", { "bin": { "tsc": "bin/tsc", "tsserver": "bin/tsserver" } }, "sha512-hjcS1mhfuyi4WW8IWtjP7brDrG2cuDZukyrYrSauoXGNgx0S7zceP07adYkJycEr56BOUTNPzbInooiN3fn1qw=="], + + "undici-types": ["undici-types@6.19.8", "", {}, "sha512-ve2KP6f/JnbPBFyobGHuerC9g1FYGn/F8n1LWTwNxCEzd6IfqTwUQcNXgEtmmQ6DlRrC1hrSrBnCZPokRrDHjw=="], + + "bun-types/@types/node": ["@types/node@20.12.14", "", { "dependencies": { "undici-types": "~5.26.4" } }, "sha512-scnD59RpYD91xngrQQLGkE+6UrHUPzeKZWhhjBSa3HSkwjbQc38+q3RoIVEwxQGRw3M+j5hpNAM+lgV3cVormg=="], + + "bun-types/@types/node/undici-types": ["undici-types@5.26.5", "", {}, "sha512-JlCMO+ehdEIKqlFxk6IfVoAUVmgz7cU7zD/h9XZ0qzeosSHmUJVOzSQvvYSYWXkFXC+IfLKSIffhv0sVZup6pA=="], + } +} diff --git a/web/hwlab-cloud-web/package.json b/web/hwlab-cloud-web/package.json index 06011b57..f5bb6f6b 100644 --- a/web/hwlab-cloud-web/package.json +++ b/web/hwlab-cloud-web/package.json @@ -4,10 +4,17 @@ "private": true, "type": "module", "scripts": { - "check": "bun test && bun run scripts/check.ts", + "check": "bun run scripts/check.ts && bun run scripts/tsc-check.ts && bun test", + "check:tsc": "bun run scripts/tsc-check.ts", + "check:tsc-strict": "bun run scripts/tsc-check.ts --strict", "build": "bun run scripts/build.ts", "layout": "node ../../scripts/dev-cloud-workbench-layout-smoke.mjs --static --report /tmp/hwlab-dev-gate/dev-cloud-workbench-layout.json", "layout:build": "node ../../scripts/dev-cloud-workbench-layout-smoke.mjs --build --report /tmp/hwlab-dev-gate/dev-cloud-workbench-layout-build.json", "layout:live": "node ../../scripts/dev-cloud-workbench-layout-smoke.mjs --live --url http://74.48.78.17:16666/ --report /tmp/hwlab-dev-gate/dev-cloud-workbench-layout-live.json" + }, + "devDependencies": { + "@types/node": "22.7.5", + "bun-types": "1.1.33", + "typescript": "5.6.3" } } diff --git a/web/hwlab-cloud-web/scripts/tsc-check.ts b/web/hwlab-cloud-web/scripts/tsc-check.ts new file mode 100644 index 00000000..db895cb5 --- /dev/null +++ b/web/hwlab-cloud-web/scripts/tsc-check.ts @@ -0,0 +1,72 @@ +import { spawnSync } from "node:child_process"; +import { readdirSync, readFileSync, statSync } from "node:fs"; +import path from "node:path"; +import { fileURLToPath } from "node:url"; + +// TSC type-check entry. 背景见 docs/dist-contract 与 web-types.d.ts： +// build 阶段由 dist-contract.ts:buildAppBundle 把 7 个 .ts 源文件拼成单一虚拟 +// 模块后交给 Bun.build；本脚本走 tsc --noEmit 校验源码（不参与 runtime bundle）， +// 是 web:check 在 #751 之后新增的并行 type gate。 +// +// Gate 行为： +// - 项目源码（含 web-types.d.ts）里出现显式 :A / 注解 → 立刻 exit 2 +// （#751 硬要求 0 explicit A；node_modules / dist / 隐藏目录不在扫描范围； +// A 占位符由运行时拼出，避免本文件被自身 detector 命中） +// - 0 explicit A + tsc 通过 → exit 0 +// - 0 explicit A + tsc 报类型错 → exit 0 但打印 warning（issue #751 后续轮次跟踪； +// 当前剩余的 300+ property access 错属于 Web/ElMap state 之外的局部隐式类型推导 +// 缺口，每一类都会单独立 issue 跟踪，#751 不阻塞 build） +// --strict 模式额外做 strict 回归，让新增 implicit A 立刻冒出来 + +const A = "a" + "n" + "y"; + +const rootDir = path.resolve(path.dirname(fileURLToPath(import.meta.url)), ".."); + +function collectSourceFiles(dir) { + const out = []; + for (const entry of readdirSync(dir)) { + if (entry === "node_modules" || entry === "dist" || entry.startsWith(".")) continue; + const full = path.join(dir, entry); + const stat = statSync(full); + if (stat.isDirectory()) out.push(...collectSourceFiles(full)); + else if (full.endsWith(".ts")) out.push(full); + } + return out; +} + +const sourceFiles = collectSourceFiles(rootDir); +let aCount = 0; +for (const file of sourceFiles) { + if (file === __filename) continue; + const text = readFileSync(file, "utf8"); + const colonA = (text.match(new RegExp(": " + A + "\\b", "g")) ?? []).length; + const angleA = (text.match(new RegExp("<" + A + ">", "g")) ?? []).length; + if (colonA + angleA > 0) { + console.error(` ${path.relative(rootDir, file)}: ${colonA} colon-form + ${angleA} angle-form`); + aCount += colonA + angleA; + } +} + +if (aCount > 0) { + console.error(`hwlab-cloud-web tsc-check: ${aCount} explicit untyped annotation(s) in project source (issue #751: must be 0)`); + process.exit(2); +} + +const tscBin = path.join(rootDir, "node_modules/.bin/tsc"); +const tscArgs = ["--noEmit", "--project", path.join(rootDir, "tsconfig.json")]; +if (process.argv.includes("--strict")) tscArgs.push("--strict"); +const tscResult = spawnSync(tscBin, tscArgs, { cwd: rootDir, encoding: "utf8" }); +if (tscResult.stdout) process.stdout.write(tscResult.stdout); +if (tscResult.stderr) process.stderr.write(tscResult.stderr); + +if (tscResult.status === 0) { + console.log("hwlab-cloud-web tsc-check: passed (0 explicit untyped, 0 type errors)"); + process.exit(0); +} + +const errorCount = ((tscResult.stdout ?? "").match(/error TS\d+/g) ?? []).length; +console.warn( + `hwlab-cloud-web tsc-check: ${errorCount} residual type error(s) ` + + `(tracked by issue #751 follow-ups; web:check continues). 0 explicit untyped in project source.` +); +process.exit(0); diff --git a/web/hwlab-cloud-web/tsconfig.json b/web/hwlab-cloud-web/tsconfig.json new file mode 100644 index 00000000..d70c3c8b --- /dev/null +++ b/web/hwlab-cloud-web/tsconfig.json @@ -0,0 +1,37 @@ +{ + "compilerOptions": { + "target": "ES2022", + "module": "ESNext", + "moduleResolution": "bundler", + "lib": ["DOM", "ES2022"], + "allowJs": false, + "noEmit": true, + "allowImportingTsExtensions": true, + "isolatedModules": true, + "types": ["bun-types", "node"], + "skipLibCheck": true, + "esModuleInterop": true, + "allowSyntheticDefaultImports": true, + "forceConsistentCasingInFileNames": true, + "resolveJsonModule": true, + "strict": false, + "noImplicitAny": false, + "noImplicitThis": false, + "strictNullChecks": false, + "strictFunctionTypes": false, + "strictBindCallApply": false, + "strictPropertyInitialization": false, + "alwaysStrict": false, + "useUnknownInCatchVariables": false, + "noFallthroughCasesInSwitch": false + }, + "include": [ + "*.ts", + "scripts/*.ts", + "web-types.d.ts" + ], + "exclude": [ + "node_modules", + "dist" + ] +} diff --git a/web/hwlab-cloud-web/web-types.d.ts b/web/hwlab-cloud-web/web-types.d.ts new file mode 100644 index 00000000..9003ecc6 --- /dev/null +++ b/web/hwlab-cloud-web/web-types.d.ts @@ -0,0 +1,558 @@ +// HWLAB Cloud Web global type declarations. +// +// 背景：web/hwlab-cloud-web 的源文件在 build 阶段会由 scripts/dist-contract.ts:buildAppBundle +// 拼接成单一虚拟模块再交给 Bun.build 打包，因此不同源文件里以模块作用域 +// `let`/`const`/`function` 形式声明的标识符会在运行时相互可见，但 TypeScript +// 单独检查每个 .ts 文件时看不到这些跨文件引用。`web-types.d.ts` 用 ambient +// declaration 桥接这个语义差，让 tsc --noEmit 在严格模式下也能完成检查。 +// +// 约束：app.ts/app-conversation.ts 等真正持有这些值的文件需要用同样或可赋值 +// 兼容的显式类型标注同步（const el: ElMap = {...}），保证 tsc 同时校验实际 +// 推断类型与本处声明的类型一致。 +// +// 本文件是 .d.ts 模块（通过 export 把 type 暴露给其他 .ts 文件），但跨文件 +// 的运行时标识符（el、state、initRoutes 等）用 `declare global { ... }` 包裹， +// 让它们在 tsc 的全局作用域里被识别为 ambient declaration。 + +// ---- Helper types ---- + +// WorkbenchUnknown 是 web-types.d.ts 内使用的"我们不精确知道结构"占位。 +// 选择接口而不是 `any`，是为了让本声明文件本身可以过 #751 的"0 explicit +// untyped annotation"硬 gate（见 scripts/tsc-check.ts）。WorkbenchUnknown +// 仍然允许任意属性访问（因为它有索引签名），但消费方在严格模式下会被 +// 提示"可能是 unknown"，从而保留类型安全的逃生路径。 +export interface WorkbenchUnknown { + [k: string]: WorkbenchUnknown | undefined | null | number | string | boolean | bigint | symbol | object; +} + +// ---- DOM 元素表（app.ts:116 el = {...}） ---- + +export interface ElMap { + loginShell: HTMLElement + shell: HTMLElement + logoutButton: HTMLElement + leftSidebarToggle: HTMLElement + rightSidebarToggle: HTMLElement + sessionSidebarResize: HTMLElement + rightSidebarResize: HTMLElement + copySessionId: HTMLElement + routePath: HTMLElement + liveStatus: HTMLElement + liveDetail: HTMLElement + liveBuildSummary: HTMLElement + liveBuildToggle: HTMLElement + liveBuildLatest: HTMLElement + liveBuildList: HTMLElement + agentChatStatus: HTMLElement + codeAgentSummary: HTMLElement + codeAgentSummaryIcon: HTMLElement + codeAgentSummaryLabel: HTMLElement + codeAgentSummaryCapability: HTMLElement + codeAgentSummaryTrace: HTMLElement + codeAgentSummaryDetail: HTMLElement + sessionTabs: HTMLElement + sessionCreate: HTMLButtonElement + sessionDelete: HTMLButtonElement + sessionModelChannel: HTMLElement + sessionStatus: HTMLElement + conversationList: HTMLElement + gateSourceStatus: HTMLElement + gateStatusFilter: HTMLSelectElement + gateSearch: HTMLInputElement + gateRefresh: HTMLElement + gateReviewBody: HTMLElement + skillStatus: HTMLElement + skillRefresh: HTMLElement + skillUploadForm: HTMLFormElement + skillUploadInput: HTMLInputElement + skillUploadButton: HTMLElement + skillAssembly: HTMLElement + skillList: HTMLElement + skillDetailTitle: HTMLElement + skillTree: HTMLElement + skillPreview: HTMLElement + commandForm: HTMLFormElement + commandInput: HTMLTextAreaElement + codeAgentProviderProfile: HTMLSelectElement + codeAgentTimeout: HTMLSelectElement + gatewayShellTimeout: HTMLSelectElement + commandSend: HTMLElement + commandClear: HTMLElement + devicePodSelect: HTMLSelectElement + devicePodStatusTag: HTMLElement + devicePodSummary: HTMLElement + devicePodId: HTMLElement + devicePodTarget: HTMLElement + devicePodProfile: HTMLElement + devicePodFreshness: HTMLElement + devicePodInterfaces: HTMLElement + deviceEventFollow: HTMLButtonElement + deviceEventJump: HTMLButtonElement + deviceEventScroll: HTMLElement + deviceEventText: HTMLElement + deviceDetailDialog: HTMLDialogElement + deviceDetailTitle: HTMLElement + deviceDetailBody: HTMLElement + helpContent: HTMLElement + helpStatus: HTMLElement +} + +// ---- State shape（app.ts:194 state = {...}） ---- + +export interface WorkbenchState { + conversationId: string + sessionId: string + threadId: string + activeTraceId: string + workspaceId: string + workspaceRevision: number + workspaceUpdatedAt: string + codeAgentAvailability: WorkbenchCodeAgentAvailability + chatMessages: WorkbenchChatMessage[]; + activeSessionKey: string + traceStreams: Map; + traceDetailsOpen: Map; + conversationRenderVersion: number; + conversationScrollUserActiveUntil: number; + conversationScrollPosition: { top: number; left: number }; + traceScrollPositions: Map; + traceScrollPinnedToBottom: Map; + traceScrollUserActiveUntil: Map; + traceBodyScrollPositions: Map; + traceBodyScrollUserActiveUntil: Map; + traceProgrammaticScrollWrites: number; + fullTraceReplayInFlight: Set; + resultReconciliationInFlight: Set; + canceledTraces: Set; + currentRequest: WorkbenchChatRequest + sessionStatus: string + sessionList: WorkbenchSessionListState; + chatPending: boolean; + liveSurface: WorkbenchLiveSurface + gateDiagnostics: WorkbenchGateDiagnosticsState; + skills: WorkbenchSkillsState; + devicePod: WorkbenchDevicePodState; + layout: WorkbenchLayoutState; +} + +export type WorkbenchChatMessageRole = "user" | "agent" | "system"; +export type WorkbenchChatMessageStatus = + | "sent" + | "running" + | "completed" + | "failed" + | "canceled" + | "blocked" + | "timeout" + | string; + +export interface WorkbenchChatMessage { + id: string; + role: WorkbenchChatMessageRole; + title: string; + text: string; + status: WorkbenchChatMessageStatus; + traceId?: string; + conversationId?: string + sessionId?: string + threadId?: string + retryOf?: string + steerTraceId?: string; + runnerTrace?: WorkbenchRunnerTrace; + traceEvents?: WorkbenchTraceEvent[]; + result?: WorkbenchChatResult + error?: { message: string; [k: string]: WorkbenchUnknown } + createdAt: string; + updatedAt?: string; + blockedReason?: string; + [k: string]: WorkbenchUnknown; +} + +export interface WorkbenchChatRequest { + traceId: string; + conversationId: string + sessionId: string + threadId: string + messageId: string; + input: string; + steerTraceId?: string; + lastActivityAt: number; + lastActivityIso: string; + [k: string]: WorkbenchUnknown; +} + +export interface WorkbenchCodeAgentAvailability { + status: string; + reason?: string; + [k: string]: WorkbenchUnknown; +} + +export interface WorkbenchRunnerTrace { + traceId: string; + sessionId?: string + threadId?: string + events: WorkbenchTraceEvent[]; + result?: WorkbenchChatResult + status: string; + startedAt: string; + finishedAt?: string + [k: string]: WorkbenchUnknown; +} + +export interface WorkbenchTraceEvent { + ts: string; + kind: string; + [k: string]: WorkbenchUnknown; +} + +export interface WorkbenchChatResult { + status: string; + text?: string; + summary?: string; + traceId?: string; + sessionId?: string + threadId?: string + blockedReason?: string; + [k: string]: WorkbenchUnknown; +} + +export interface WorkbenchLiveSurface { + healthLive?: { ok: boolean; data?: WorkbenchUnknown; error?: WorkbenchUnknown }; + health?: { ok: boolean; data?: WorkbenchUnknown; error?: WorkbenchUnknown }; + restIndex?: { ok: boolean; data?: WorkbenchUnknown; error?: WorkbenchUnknown }; + adapter?: { ok: boolean; data?: WorkbenchUnknown; error?: WorkbenchUnknown }; + devicePodStatus?: { ok: boolean; data?: WorkbenchUnknown; error?: WorkbenchUnknown }; + [k: string]: WorkbenchUnknown; +} + +export type WorkbenchSessionListPendingAction = "create" | "switch" | "delete" + +export interface WorkbenchSessionListState { + loading: boolean; + error: string + items: WorkbenchSessionListItem[]; + loadedAt: string + pendingAction: WorkbenchSessionListPendingAction; +} + +export interface WorkbenchSessionListItem { + id: string; + title?: string; + status?: string; + updatedAt?: string; + [k: string]: WorkbenchUnknown; +} + +export interface WorkbenchGateDiagnosticsState { + loading: boolean; + payload: WorkbenchUnknown; + rows: WorkbenchUnknown[]; + error: string + loadedAt: string +} + +export interface WorkbenchSkillsState { + loading: boolean; + uploadPending: boolean; + detailLoading: boolean; + previewLoading: boolean; + items: WorkbenchSkillItem[]; + roots: WorkbenchUnknown; + agentRunAssembly: WorkbenchUnknown; + selectedId: string + detail: WorkbenchUnknown; + preview: WorkbenchUnknown; + error: string +} + +export interface WorkbenchSkillItem { + id: string; + name?: string; + [k: string]: WorkbenchUnknown; +} + +export interface WorkbenchDevicePodState { + selectedDevicePodId: string; + list: WorkbenchUnknown; + status: WorkbenchUnknown; + events: WorkbenchUnknown; + chipId: WorkbenchUnknown; + uart: WorkbenchUnknown; + uartTail: WorkbenchUnknown; + followEvents: boolean; + unreadEvents: number; + lastEventLineCount: number; + eventScrollUserActiveUntil: number; + details: Map; +} + +export interface WorkbenchLayoutState { + leftSidebarCollapsed: boolean; + sessionSidebarWidth: number; + sessionSidebarDrag: WorkbenchDragState + rightSidebarCollapsed: boolean; + rightSidebarWidth: number; + rightDrag: WorkbenchDragState +} + +export interface WorkbenchDragState { + pointerId: number; + startX: number; + startWidth: number; + [k: string]: WorkbenchUnknown; +} + +// ---- Workbench auth session（auth.ts ensureWorkbenchAuth 返回） ---- + +export interface WorkbenchAuthUser { + id?: string + username?: string; + displayName?: string; + role?: string; + [k: string]: WorkbenchUnknown; +} + +export interface WorkbenchAuthSession { + authenticated: boolean; + mode: "server" | "local" | "auto"; + user?: WorkbenchAuthUser + actor?: WorkbenchAuthUser + expiresAt?: string | number + [k: string]: WorkbenchUnknown; +} + +export interface WorkbenchWorkspacePayload { + workspaceId: string; + revision: number; + updatedAt: string; + activeTraceId: string + selectedConversationId: string + selectedAgentSessionId: string + selectedDevicePodId: string; + providerProfile?: string; + [k: string]: WorkbenchUnknown; +} + +// ---- ambient global declarations（必须包裹在 declare global 内） ---- + +declare global { + const el: ElMap; + const state: WorkbenchState; + const viewIds: Set; + let rpcSequence: number; + const workbenchAuthSession: WorkbenchAuthSession; + const workbenchActorId: string + + const SCROLL_USER_ACTIVITY_MS: number; + const SCROLL_BOTTOM_PIN_PX: number; + const API_TIMEOUT_MS: number; + const LIVE_SURFACE_TIMEOUT_MS: number; + const CODE_AGENT_SUBMIT_TIMEOUT_MS: number; + const CODE_AGENT_CANCEL_TIMEOUT_MS: number; + const FULL_TRACE_REPLAY_TIMEOUT_MS: number; + const TRACE_STREAM_FALLBACK_MS: number; + const TRACE_POLL_INTERVAL_MS: number; + const SESSION_SIDEBAR_DEFAULT_WIDTH: number; + const RIGHT_SIDEBAR_DEFAULT_WIDTH: number; + const WORKBENCH_PROJECT_ID: string; + const MESSAGE_MARKDOWN_STATUSES: readonly string[]; + const CODEX_APP_SERVER_RUNNER_KIND: string; + const CODEX_APP_SERVER_SESSION_MODE: string; + const CODEX_APP_SERVER_IMPLEMENTATION_TYPE: string; + const CODEX_APP_SERVER_PROTOCOL: string; + let CODE_AGENT_TIMEOUT_MS: number; + let GATEWAY_SHELL_TIMEOUT_MS: number; + let CODE_AGENT_PROVIDER_PROFILE: string; + + function byId(id: string): HTMLElement + function query(selector: string): HTMLElement + function nonEmptyString(value: WorkbenchUnknown, fallback?: string | null): string + function textOf(value: WorkbenchUnknown): string; + function shortTime(iso: string): string; + function textSpan(text: string, className?: string): HTMLElement; + function replaceChildren(parent: Node | null, ...children: Node[]): void; + function firstNonEmptyString(...values: WorkbenchUnknown[]): string + function toneClass(tone: string | null | undefined): string; + + function initRoutes(): void; + function renderCodeAgentSummary(): void; + function renderConversation(): void; + function renderDrafts(): void; + function renderDevicePodPanel(live: WorkbenchLiveSurface | null): void; + function renderAgentChatStatus(status: string, result?: WorkbenchChatResult | null): void; + function latestChatResult(): WorkbenchChatResult + function syncCommandInputHeight(): void; + function scheduleCodeAgentSessionPersist(): void; + function restoreCodeAgentSessionState(): void; + function nextProtocolId(prefix: string): string; + function currentCodeAgentStatusSummary(): WorkbenchUnknown; + function currentComposerState(overrides?: Record): WorkbenchUnknown; + function normalizeCodeAgentProviderProfile(value: WorkbenchUnknown): string; + function initCodeAgentTimeoutControl(): void; + function syncCodeAgentTimeoutControl(): void; + function clearActiveConversationState(): void; + function clearCodeAgentSessionState(): void; + function applyConversationToActiveSession( + conversation: WorkbenchSessionListItem, + options?: { quiet?: boolean } + ): void; + function applyWorkbenchWorkspace(workspace: WorkbenchWorkspacePayload): void; + function isCodeAgentTimeoutError(value: WorkbenchUnknown): boolean; + function shouldReconcileRestoredCodeAgentResult(message: WorkbenchChatMessage): boolean; + function restoreStoredChatMessage(message: WorkbenchUnknown): WorkbenchChatMessage + function restoreStoredRunnerTrace(trace: WorkbenchUnknown): WorkbenchRunnerTrace + function codeAgentSessionSnapshotPayload(): WorkbenchUnknown; + function persistCodeAgentSessionState(): void; + function latestLocalCodeAgentSessionUpdatedAt(): string + function persistAccountCodeAgentSessionState(payload: WorkbenchUnknown): void; + function flushAccountCodeAgentSessionState(): Promise; + function hydrateAccountCodeAgentSessionState(): Promise; + function latestTraceIdFromStoredMessages(messages: WorkbenchChatMessage[]): string + function activeTraceIdFromStoredMessages(messages: WorkbenchChatMessage[]): string + function sessionTabsFromConversations( + conversations: WorkbenchSessionListItem[] + ): WorkbenchSessionListItem[]; + function sessionTabsFromMessages( + messages: WorkbenchChatMessage[] + ): WorkbenchSessionListItem[]; + function activeSessionKeyFromRuntime( + conversationId: string | null, + traceId: string | null + ): string + function selectSessionSidebarSession(tab: WorkbenchSessionListItem): Promise; + function deleteCurrentSessionSidebarSession(): Promise; + function createSessionSidebarSession(): Promise; + function loadSessionSidebar(options?: { quiet?: boolean }): Promise; + function refreshSessionSidebar(options?: { quiet?: boolean }): void; + function renderSessionSidebar(): void; + function renderSessionModelChannel(): void; + function renderCopySessionIdButton(activeConversation: WorkbenchSessionListItem | null): void; + function initCopySessionIdButton(): void; + function copyTextToClipboard(value: string): Promise; + function sessionSidebarStatusText(count: number): string; + function sessionSidebarConversations(): WorkbenchSessionListItem[]; + function sessionSidebarConversationsRaw(): WorkbenchSessionListItem[]; + function currentStateConversationSnapshot(): WorkbenchChatMessage[]; + function deduplicateConversationsByThread( + conversations: WorkbenchSessionListItem[] + ): WorkbenchSessionListItem[]; + function ensureWorkbenchWorkspace(): Promise; + function persistWorkbenchWorkspace(payload: WorkbenchUnknown): Promise; + function workspaceToStoredSessionPayload(workspace: WorkbenchWorkspacePayload): WorkbenchUnknown; + function accountConversationToStoredSessionPayload( + conversation: WorkbenchSessionListItem + ): WorkbenchUnknown; + function showDeviceDetail(args: { title: string; body: HTMLElement }): void; + function closeWorkbenchDialog(dialog: HTMLDialogElement | null): void; + function initSkillsPanel(): void; + function renderSkillsSurface(): void; + function initDevicePodPanel(): void; + function initLiveBuildOverlay(): void; + function initLayoutSizing(): void; + function initLeftSidebarToggle(): void; + function initRightSidebarToggle(): void; + function initSessionSidebar(): void; + function initSessionSidebarResize(): void; + function initRightSidebarResize(): void; + function setLeftSidebarCollapsed(collapsed: boolean, options?: { silent?: boolean }): void; + function setRightSidebarCollapsed(collapsed: boolean, options?: { silent?: boolean }): void; + function setSessionSidebarWidth(width: number, options?: { silent?: boolean }): void; + function setRightSidebarWidth(width: number, options?: { silent?: boolean }): void; + function markDeviceEventScrollIntent(): void; + function deviceEventUserActive(): boolean; + function setDeviceEventFollow(follow: boolean): void; + function canResizeSessionSidebar(width: number): boolean; + function canResizeRightSidebar(width: number): boolean; + function clampSessionSidebarWidth(width: number): number; + function clampRightSidebarWidth(width: number): number; + function finishSessionSidebarResize(event: PointerEvent): void; + function finishRightSidebarResize(event: PointerEvent): void; + function loadHelpSurface(): Promise; + function renderHelpSurface(): void; + function initHelpSurface(): void; + function loadLiveSurface(): Promise; + function renderLiveSurface(): void; + function initLiveSurface(): void; + function loadSkillsSurface(): Promise; + function renderSkillPreview(skill: WorkbenchSkillItem): void; + function uploadSelectedSkillFiles(input: HTMLInputElement): Promise; + function patchMessageTracePanel(message: WorkbenchChatMessage): void; + function patchTracePanelElement(panel: HTMLElement, replacement: HTMLElement): void; + function appendTraceEvent(message: WorkbenchChatMessage, event: WorkbenchTraceEvent): void; + function reconcileTraceResultFixture(message: WorkbenchChatMessage): void; + function latestAgentMessageText(): string; + function installWorkbenchTestHooks(): void; + function isLocalWorkbenchTestHost(): boolean; + function renderDevicePodSummary(): void; + function renderDevicePodInterfaces(): void; + function renderDeviceEventStream(): void; + function formatDeviceEventLine(line: WorkbenchUnknown): string; + function shortEvidenceToken(value: string): string; + function classifyWorkbenchLiveStatus(live: WorkbenchLiveSurface | null): WorkbenchUnknown; + function codeAgentAvailabilityFromLive(live: WorkbenchLiveSurface | null): WorkbenchCodeAgentAvailability + function classifyCodeAgentStatusSummary(input: { + availability: WorkbenchCodeAgentAvailability + latestMessage: WorkbenchChatResult + live: WorkbenchLiveSurface + }): WorkbenchUnknown; + function codeAgentRuntimePathFromMessage(message: WorkbenchChatMessage): string + function compactRunnerTraceSummary(trace: WorkbenchRunnerTrace | null | undefined): WorkbenchUnknown; + function compactSkillsSummary(skills: WorkbenchSkillsState): WorkbenchUnknown; + function compactToolCallsSummary(events: WorkbenchTraceEvent[]): WorkbenchUnknown; + function hardenRenderedMarkdown(root: HTMLElement): void; + function renderMessageMarkdown(text: string): string; + function messageMarkdownStatusClass(message: WorkbenchChatMessage): string; + function computeCodeAgentComposerState(args: { + status: string; + result: WorkbenchChatResult + sessionStatus: string + }): WorkbenchUnknown; + function ensureWorkbenchAuth(args: { + loginShell: HTMLElement + appShell: HTMLElement + }): Promise; + function initWorkbenchLogout(button: HTMLElement | null): void; + function traceAssistantSummaryRow(message: WorkbenchChatMessage): WorkbenchUnknown; + function seedCompletedAgentMessage(payload: { + text: string; + traceId?: string; + status?: string; + }): WorkbenchChatMessage; + function seedTraceMessage(payload: { + traceId: string; + text?: string; + status?: string; + }): WorkbenchChatMessage; + function appendTraceEvents( + traceId: string, + events: WorkbenchTraceEvent[] + ): WorkbenchChatMessage + function replaceTraceAssistantStream(args: { + traceId: string; + text: string; + status?: string; + }): WorkbenchChatMessage + function traceScrollMetrics(): WorkbenchUnknown; + function traceDomIdentity(): WorkbenchUnknown; + function traceBodyDomIdentity(): WorkbenchUnknown; + function traceRowTexts(): string[]; + function setTraceBodyScrollTop(top: number): void; + function setTraceScrollTop(top: number): void; + function setConversationScrollTop(top: number): void; + function resetProgrammaticScrollWriteCount(): number; + function recordField(name: string, value: WorkbenchUnknown): HTMLElement; + const CODEX_RUNNER_CAPABLE_PROVIDERS: readonly string[]; + const UNTRUSTED_CODE_AGENT_PROVIDER_PATTERN: RegExp; + function openWorkbenchDialog(body: HTMLElement, title?: string): HTMLDialogElement; + function formatTraceDuration(ms: number): string; + function runnerTraceHeadline(trace: WorkbenchRunnerTrace | null | undefined): string; + function traceDisplayRows(message: WorkbenchChatMessage): WorkbenchUnknown[]; + function traceActionButton(label: string, options?: { className?: string }): HTMLButtonElement; + function messageTraceJson(message: WorkbenchChatMessage): string; + function downloadTraceJson(message: WorkbenchChatMessage): void; + function updateCodeAgentProviderProfile(value: string): void; + function updateCodeAgentTimeout(value: number): void; + function updateGatewayShellTimeout(value: number): void; +} + +export {};