[REQ-096] HTML 产物在零桥接隔离宿主中静态预览

[jinjunnn]

简明目的

HTML 文件可以看，但只能当作不可信静态内容：不能联网、不能调用 Alpha、不能留下可复用的浏览器状态。

Outcome（专业定义）

不可信 HTML artifact 经有界 worker sanitization 后，在 main-owned、短生命周期、独立 partition 的静态 preview host 中显示；宿主具备零 preload bridge、零 Node/Electron capability、零网络出口和完整导航/权限拒绝策略。核心隔离已存在，剩余工作是消除 main 同步读取、保证异常清理，并用恶意 packaged matrix 证明零出口/零桥接。

Complexity

L — 直接处理主动内容与 Electron 进程隔离，属于高风险安全 surface。

Context

#188 已交付核心 host；当前仍可能在 main 同步读取大内容、清理 storage 失败被吞掉，且缺少完整 malicious/packaged 证据。#299/#300 只覆盖 worker bound 和阻断提示，不能单独证明完整隔离。

Scope

• 在有界 worker 中解析/sanitize HTML，提供 timeout、取消和 crash recovery。
• 为每次预览创建 main-owned 静态 host/partition，并在关闭、崩溃、切换时可靠销毁。
• 强制无 preload、nodeIntegration=false、context isolation/sandbox 与零 Electron bridge。
• 拒绝网络、导航、redirect、popup、外部协议、permission、download/upload 与持久化 storage。
• 以异步、有界 descriptor stream 读取内容，不阻塞 Electron main。
• 明确显示被阻断资源和“复制链接到系统浏览器”等用户动作。

Non-goals

• 不实现交互式浏览器、登录、表单自动化、持久 profile 或 CDP；见 [REQ-106] 用户可安全接管隔离的交互式浏览器会话 #213。
• 不复用旧 preview URL、partition、savedPath、file URL 或主窗口 9222。
• 不执行 artifact JavaScript、宏、service worker 或 extension bridge。
• 不兼容旧 HTML host/storage；当前没有既有用户。

Acceptance criteria

AC1. HTML 只在独立沙箱预览进程内解析,应用界面进程不接触 HTML 内容;根文档有大小上限,超限拒绝并说明。 (2026-09-17 按 owner 裁决改写,原文见编辑历史)
AC2. 每次预览使用隔离、短生命周期的 main-owned host；关闭、切换或 crash 后 partition/storage/cache 不可恢复。
AC3. host 无 preload、Node/Electron API 或 Alpha IPC bridge，页面无法枚举/控制主窗口或其它 preview。
AC4. 所有网络、redirect、popup、外部协议、权限、download/upload、service worker 与持久 storage 默认拒绝。
AC5. main 通过异步有界 descriptor stream 读取；大 HTML、慢盘和取消不会阻塞应用事件循环。 —— 2026-09-17 删除(owner 裁决):读前已校验大小、单文件有上限,上限内的一次同步读取不产生用户可观察的卡顿;大小上限已并入 AC1。
AC6. 被删除/阻断资源、sanitize 结果与失败原因诚实显示，系统浏览器动作需要显式用户操作。
AC7. 每次预览使用独一份、不可复用的存储分区;关闭时清理,残留在下次启动时清除。 (2026-09-17 按 owner 裁决改写,原文见编辑历史)
AC8. 恶意 HTML 夹具下,预览保持零网络出口、零应用桥接、零跨预览存储(由隔离宿主行为测试判定;打包态冒烟随每个 Release Candidate 的清单执行)。 (2026-09-17 按 owner 裁决改写,原文见编辑历史)

Evidence map

AC	Evidence surface
AC1	#299(机制被取代)ArtifactHtmlPreview.tsx:3-4 + html-preview-host.ts:68/:319
AC2	html-preview-host.ts:15 + rail-preview-host.ts:127-150
AC3	html-preview-host.test.ts(精确 24 条,scripts/gate-files.tsv:253)
AC4	html-preview-host.test.ts(同上)
AC5	已删除(见 AC5)
AC6	#300、#907 artifact-html-preview.test.ts(gate-files.tsv:254)
AC7	html-preview-host.ts:15/:324 + rail-preview-host.ts:127-150
AC8	html-preview-host.test.ts 24 条 + 每个 RC 的 packaged checklist

Acceptance owner

@jinjunnn — 按 AC 逐条验收并手工关闭；PR 不得关闭父需求。

设计要点

• sanitize 不是唯一边界；即使 sanitizer 漏洞存在，宿主仍须零网络、零 bridge。
• partition 标识不可从 artifact 输入派生或跨预览复用。
• main 线程不做同步大文件读取/解析。
• cleanup 失败需要 quarantine/新 partition，而不是 best-effort 吞错。

潜在问题与风险

• 同步 main read 会冻结整个桌面应用。
• 只靠 CSP/sanitizer 会受 parser differential 或新标签能力影响。
• storage cleanup 吞错会让恶意状态跨预览存活。
• 与 [REQ-106] 用户可安全接管隔离的交互式浏览器会话 #213 复用交互式浏览器能力会扩大静态 artifact 权限。

过时性与兼容性结论

需求有效且核心隔离已部分实现。旧 preview URL/partition/storage、savedPath 和主窗口调试端口复用均直接删除。保留异常清理、取消、崩溃恢复与未来不认识内容 fail-closed。

关联与职责边界

• [REQ-095] 常用本地产物按安全规则稳定预览 #207：format registry；[REQ-096] HTML 产物在零桥接隔离宿主中静态预览 #208 仅拥有静态 HTML host。
• [REQ-094] Session Workbench 统一承载产物与上下文工具 #206：Workbench 容器，不拥有安全 host。
• [REQ-106] 用户可安全接管隔离的交互式浏览器会话 #213：交互式 Browser，必须使用完全独立的 broker/host/profile。
• alpha-work#1/#2：descriptor transport/registry。

Delivery plan / 建议子票

• [REQ-096] Isolated static HTML artifact preview #188 — 静态 HTML host 核心。
• [REQ-096][CODE] Bound HTML sanitization and parsing in a worker with timeout and crash recovery #299 — worker bound、timeout 与 crash recovery（机制被独立沙箱进程取代，已关）。
• [REQ-096][CODE] Surface blocked preview resources and an explicit system-browser copy action #300 — 阻断状态与显式系统浏览器动作（已关）。
• 建议 CODE：异步 main descriptor read + 强制 cleanup/quarantine。 从未建票；2026-09-17 AC5 删除、AC7 改写后不再需要。
• 建议 VERIFY：恶意 fixture 与 macOS/Windows packaged 零出口/零桥接矩阵。 从未建票；2026-09-17 AC8 改写后由隔离宿主测试 + RC checklist 承载。

Dependencies

• 原生依赖：[REQ-094] Session Workbench 统一承载产物与上下文工具 #206。
• 不以 [REQ-106] 用户可安全接管隔离的交互式浏览器会话 #213 为依赖，也不得向 [REQ-106] 用户可安全接管隔离的交互式浏览器会话 #213 输出可复用权限 profile。

[jinjunnn]

需求收口(REQ-096,S44):唯一实现子项 #188 已交付并关闭(PR #241,证据见该 issue 评论 + docs/audits/2026-07-12-s44-visual/)。残项已在子 issue 逐条登记(不阻断收口,分别归 REQ-088 批次/后续 renderer 扩充/打包发布批次)。按交付标准关闭为 completed。

[jinjunnn]

按 2026-07-14 逐需求独立审计(alpha-work/governance/audits/2026-07-14-s40-s49-per-requirement-audit.md),REQ-096 完整度 = partial,未满足全部原始 AC,故 reopen 并移出 Done。

核心缺口:四层隔离核心扎实;恶意语料矩阵/sanitizer worker/packaged smoke 缺

处置(v2 关闭契约):残余工作以本 REQ 身份补窄 [REQ-096][CODE|VERIFY] 子票(待 triage,不换 REQ 编号)。完整 file:line 证据见审计档同名目录 REQ-096.md。父需求在全部 required 子票关闭且每条 AC 有证据 PASS 前保持 open;安全类缺口如已单列 bug 票以其为准。