fix: reconcile batch b smoke evidence

2026-05-21 11:53:31 +08:00
parent 175b69db79
commit a0823a7e53
18 changed files with 1045 additions and 41 deletions
@@ -340,3 +340,38 @@
 在此之前，正确口径都应保持为：

 > **`leptos-tiptap` 主编辑区已基本可用，但页面聚合仍未收口，当前仍处于从混合态向 Rust 单一真源过渡的过程中。**
+
+---
+
+## 11. 审计记录（2026-05-21 Batch B Worker D）
+
+### 11.1 各 Phase 完成状态
+
+| Phase | 审计结论 | 说明 |
+|-------|---------|------|
+| F（冻结 Page Aggregate Contract） | ✅ 全部完成 | 设计层和代码层标准均已锁定，读取链已 Rust-first |
+| G（主文档页消费统一聚合） | ✅ 基本完成 | 加载链路、散落 props、退出标准 1 已满足；exit 2（新增字段不扩容 props 链）为 P2 方向目标 |
+| H（pageOptions 进入 island） | ✅ 基本完成 | 优先级项已 wired，Inspector 口径统一，AI 写回白名单限制；`protectEditing/showBlockRefCount` 仍为 planned |
+| I（树域与页面域标题统一） | ✅ 全部完成 | task110 smoke 验证全部标题同步场景 |
+| J（AI 写入口对齐 Page Aggregate） | ⚠️ 命令面完成，权限面待验 | 命令名已收口；`allowedRoots` / 路径 escape 检查不在本审计范围内 |
+
+### 11.2 2.2 节未成立事实的状态更新
+
+| 项 | 审计状态 | 说明 |
+|---|---------|------|
+| 页面树/文件树/页面头部/页面设置/主编辑区尚未消费同一份 projection | ⚠️ 部分解决 | 主编辑区和页头已统一；页面树/文件树的标题已同源，但页面设置面板与主编辑区的 `pageOptions` 运行时消费仍有 gap |
+| 写侧未完全退出 `/api/documents/save` | ⚠️ 部分解决 | `local_folder` 已切到 `/api/page-body/write`；Convex workspace 仍走 `/api/documents/save`（作为正式路径而非 compat） |
+| tiptap dirty + AI/外部变更的 VSCode-like conflict UI | ❌ 未完成 | DOM 侧已经插入 conflict 面板元素（`web_shell.rs:4990-5015`），但前端测试/Playwright smoke 未覆盖 |
+| `pageOptions` 收口到 island 运行时语义 | ⚠️ 部分完成 | `page-option-semantics.ts` 分类已落地；`protectEditing/showBlockRefCount` 为 planned |
+| AI 写入口对齐授权/白名单/后台写入/前台同步 | ⚠️ 命令面已收口，权限面待验 | 本审计未确认 Hermes 侧的 `allowedRoots` 和路径 escape 实现 |
+
+### 11.3 退出标准状态
+
+- Section 9："当前推荐实施顺序" 中的约束：Phase G 和 H 的 [ ] 项可以部分追认——Phase G 和 H 的主体工作已完成，但 exit criterion 的严格表述（"已经统一聚合完成" / "大量打钩为正式可用"）仍不完全满足。建议保持现状不勾选，等 J 完成后统一收尾。
+- Section 10 总退出标准："标题/正文/页面设置不再是三条分裂真相链" 仍 [ ]——命令执行面已统一，但 projection 回流和 AI 页面设置写入口未完全统一，符合当前描述。
+
+### 11.4 建议
+
+1. **Phase G exit 2 降级为 P2**：新增字段仍需改 loader→state→consumer 链是当前架构的自然限制，不应作为 P1 block。
+2. **补充 Conflict UI Playwright smoke**：DOM 元素已经存在，只差自动化验收流程。
+3. **明确 `/api/documents/save` 的正式定位**：如果它是 Convex workspace 的正式路径，则在文档中调整口径；如果它是要移除的 compat，则排期删除。