docs(firstrun): App 首屏三段式 —— AGENTS.md 规则 2/3 窄化修订 + 交互规约新一节 + 语音包时机

[belliedmonkey]

按仓库的治理条：动交互要画布先行（画布见 #533），且领域设计改动必须先改文档、过评审，代码才动。这是那一版文档。跟踪 issue：#532。

1 · AGENTS.md 规则 2/3 —— 窄化修订（保留原文，加日期化注）

规则 2 加注（要点）：承重的不动点「永远不付费的人有完整产品」保持不变；被削掉的是它的后半句「也永远不登录」—— App 现在要先登录。浏览器扩展不受影响（仍免登录、自带 key），所以「免费路径不依赖我们的服务端」这条承重线没动，免费路径的家仍在扩展侧。代价如实写：App 的未登录用户不再有完整产品。

规则 3 加注（要点）：「产品必须对未登录用户完整」自 2026-10-01 起只对浏览器扩展成立；App 改为「登录是前提」。服务器仍只承担本机做不了的事；账号与同步仍免费；不付费仍然完整 —— 变的只是「不登录」。

这两条是宪法级改动，所以我不动证据链：原文一字不改，只在下面加日期化注，写明理由（#532 的实测）与代价。

2 · docs/interaction-spec.md —— 新增「App 首屏三段式（2026-10-01，#532）」

屏	守卫	内容	可跳过
屏 1 · 登录	!isLoggedIn	只有登录：品牌 + 一句话 + Apple / Google / 邮箱。无设置、无功能入口、无复习入口	否
屏 2 · 资源包	已登录且缺包	识别语言包 + 高质量朗读包：体积 · 进度 · 失败重试 · 网络前提	否
屏 3 · 引导	就绪且没看过	现有 welcome → firstuse → ext	是

• 就绪 = 登录 ∧ 引擎可解析 ∧ 识别语言包 ∧ 朗读包（不含 Safari 扩展，#485 口径不变）
• 老用户直进首页；已登录缺包 ⇒ 只出补齐单屏；唯一降级：该语种不支持识别 ⇒ 只下朗读包
• 六条红线（判据原文在 design/firstrun-3step/firstrun-spec.html）

另：给旧节「首次运行引导（App 侧）」加 2026-10-01 注（signin 已移出为屏 1），并把该节所在的额度段里「登录永远不是墙」限定为「只对浏览器扩展成立」。

3 · docs/learning-design.md

• §8.10.1 标「✅ 2026-09-30 用户裁定：通过」，并写明 1.19.0 范围内含中国版额度翻转（境内后端自 1.15.0 已在线；缺的是账本落进同一台机器 + 部署中继 + 翻 grant.china.ready）
• §9.1.1 记前置入口：屏 2 是硬门；原来那四处懒加载入口仍保留，用于「模型被系统清掉」「用户后来换语言」

没动的

docs/domain-design.md §10 不改 —— 这次不碰 store 契约 / 共享面单源 / hidden 纪律 / 注入 UI 边界，所以那层没有变更。

验证

npm test → 2317 passed, 0 failed。没有动任何代码。

这是一道门，不是一次提交

按规矩，代码要等这份文档过评审。你确认（尤其是 AGENTS.md 那两段注的措辞）之后，我才往下走：门禁先红（六条）→ 代码 → 中国版额度翻转 → 全矩阵 → 重打包 120/62/70/62。