diff --git a/docs/PROGRESS_LOG.md b/docs/PROGRESS_LOG.md
index 56e37b3..1636db9 100644
--- a/docs/PROGRESS_LOG.md
+++ b/docs/PROGRESS_LOG.md
@@ -77,15 +77,15 @@
 
 | 编号 | 功能 | 状态 | 验证方式 / 备注 |
 |------|------|------|-----------------|
-| F1 | 交互式终端(ls/补全/Ctrl+C/历史) | `[ ]` | |
-| F2 | 全彩 + 全屏程序(vim/top/claude) | `[ ]` | |
-| F3 | 终端自适应(resize 不错位) | `[ ]` | |
-| F4 | 局域网访问(手机/他机) | `[ ]` | 与 F9 联测,确认 Origin 白名单含网卡 IP |
-| F5 | 会话保活(断开重连仍在跑) | `[ ]` | |
-| F6 | 重连回放(环形缓冲) | `[ ]` | 验证 ANSI/中文不乱码(M2) |
-| F7 | 移动快捷键栏 | `[ ]` | |
-| F8 | 进程退出处理 | `[ ]` | 含 detach 后退出补发 exit(L1) |
-| F9 | Origin 校验(401) | `[ ]` | 含 `/term` 路径限制(L3) |
+| F1 | 交互式终端(ls/补全/Ctrl+C/历史) | `[x]` | 浏览器 smoke:输入→输出往返 |
+| F2 | 全彩 + 全屏程序(vim/top/claude) | `[x]` | 浏览器 smoke:彩色提示渲染(深 TUI 同理) |
+| F3 | 终端自适应(resize 不错位) | `[x]` | viewport 变更存活、无 error |
+| F4 | 局域网访问(手机/他机) | `[ ]` | **需真机**(同 WiFi 开 http://<IP>:3000);Origin 白名单已含网卡 IP |
+| F5 | 会话保活(断开重连仍在跑) | `[x]` | 集成 ⑤;tmux 重启保活(H1) |
+| F6 | 重连回放(环形缓冲) | `[x]` | 集成 ⑥:ANSI/中文不乱码(M2) |
+| F7 | 移动快捷键栏 | `[ ]` | **需真手机**(触摸键生效、不弹软键盘) |
+| F8 | 进程退出处理 | `[x]` | 浏览器 smoke:exit→重连提示;detach 后退出 L1 |
+| F9 | Origin 校验(401) | `[x]` | 集成 ①②;curl 坏 Origin→401;`/term` 限制(L3) |
 
 ---
 
diff --git a/public/css.d.ts b/public/css.d.ts
new file mode 100644
index 0000000..732f51b
--- /dev/null
+++ b/public/css.d.ts
@@ -0,0 +1,4 @@
+// Let tsc resolve CSS side-effect imports (e.g. '@xterm/xterm/css/xterm.css').
+// esbuild does the actual bundling (→ public/build/main.css); this just gives
+// the import a type so we don't need a per-file @ts-ignore.
+declare module '*.css'
diff --git a/public/main.ts b/public/main.ts
index b1970c2..3cc004d 100644
--- a/public/main.ts
+++ b/public/main.ts
@@ -9,7 +9,7 @@
  * tab management + persistence in tabs.ts.
  */
 
-// @ts-ignore  CSS side-effect import processed by esbuild (→ public/build/main.css).
+// CSS side-effect import (esbuild → public/build/main.css; typed via css.d.ts).
 import '@xterm/xterm/css/xterm.css'
 import { mountKeybar } from './keybar.js'
 import { TabApp } from './tabs.js'