[tiye]

用户需要注意的影响

不需要转换已有聊天数据。本轮不改存档、状态模型、wire 协议、登录 key、密码／用户投影、备份路径及页面 hud!。继续使用现有正式 Calcit/procs 0.30.1 和精确正式依赖图，不切换到未发布编译器。

本轮只提交 PR，不合并或部署生产。合并仍会沿原流程复制前后端文件；/servers/paste-sharing/ 不变，工作流不安装服务依赖或重启进程，原 rollout 要求仍有效。PR 仅上传独立前缀的前端 dist/，不把 dist-server/ 上传 COS。

具体改动

• 三处生产计数改用 .len（credentials/records List、sessions Map），原 signup 测试中的 messages Map 计数也采用 .len；原测试名称、tags、输入、断言和预期保留。
• 两处备份日期的 Option 读取使用 .unwrap，缺失时仍报错，不增加默认值。
• 退出任务 List 使用 .foldl，以实际 Unit × FfiTask → Unit 合同补充原取消回调；不改 body、Unit 初值及 reset／persist／quit 顺序，不加 cast 或返回值覆盖。
• 规范格式门禁改用源码 Git blob 不变检查，仍拒绝 formatter 改动，失败时不再输出 Snapshot 文本。
• README 更新本轮范围，不再沿用上一轮“未修改应用 Snapshot”的陈述。

最终只有 Snapshot、README、原工作流三文件；依赖、锁、安全策略、其他 schemas/代码和全部原门禁保留。14 处通用 merge 不机械改写。不新增 checker、测试组、concurrently、预算或编译器规则；临时迁移脚本／工作流、完整视图和生成物不进入 PR。

已完成的独立验收

本项目官方 Linux 0.30.1 前后对照，精确准备提交 070aaed5f23fd2dd661f5ed2293e0c95f68897c0 成功：

• 原严格 Caps、不可变 Yarn、配对工具链；当前 ip-address 安全更新和原依赖图保留，未重写 lock。
• 完整 109 定义／19 命名空间视图精确符合七个调用头与一个真实 hint；六处生产接收者和核心方法由正式 CLI 单独查询验证。
• 前后原完整 strict 通过且 diagnostics 为空；browser 72、server 72 的真实定义 ID 并集恰好覆盖全部 109 个根定义。
• 原 native 测试前后各 8/8；本项目原五项 app.schema 契约 native/JS 前后各 5/5，无新增排除。不是套用 Timedrops 的四项共享测试结论。
• 原 Luxon 真实生成适配器与两种日期格式检查前后均通过，构建均通过；184 个实际浏览器生成模块逐文件 SHA256 完全一致，diff 为空。
• 成功 ZIP 先与 GitHub SHA256 核对，再验证完整视图／普通文件／Snapshot blob；失败产物不导入。另行只读查询成功 Snapshot 的所有定义，不依赖摘要或计数替代完整比较。

最终提交 5295f1ce3bbee35c1ee91b3496a370bc046c1369 的原 PR 工作流也已成功：双入口／两侧公开定义／完整 strict、原 native selected/executed/passed 均 8、共享 native/JS 各 5/5 且零排除、原 Luxon 适配器、构建和 COS 内置校验三文件均通过（HTML 719、CSS 66、JS 695963 bytes）。前端与后端生产 rsync 均 skipped。准备 CI 与最终 PR CI 分别验收，不混为一次。

风险与上游支持

正式 0.30.1 的方法 fold 上下文问题已有 Calcit #2341；该报告明确 main 已修复，但未回移／发布到 0.30.1。因此只声明本项目真实回调合同，不重复建 issue、添加专用 fix 规则或宣称当前 main 仍失败。

浏览器生成模块字节一致不证明 native 后端字节等价，也不是实际 WebSocket、SIGINT、冷启动或浏览器账户写存储的验收。本轮没有启动服务或操作真实账户／存档，原浏览器存储授权和生产 rollout 边界保留；不以此前 alpha 候选记录冒充本轮 E2E。

strict 前后仍有 77 项类型审阅提示和 1 处保留边界，数量未变，不宣称类型债务清零或放宽预算。