[tiye]

用户需要注意

正常布局、存档格式与 relay 协议不变。MathML / Mermaid / ECharts 的非法宿主对象现在可能更早报错；已有数据不需要转换。保留 hud!、Mermaid 渲染锁/失败缓存和可选回调行为。仍使用配对正式 Calcit / procs 0.30.1 和原正式依赖。

本 PR 不部署后端、不改服务器路径、不发布 tag/npm。原 PR 工作流只构建并保留相对资源路径 artifact，不上传 COS；生产 COS 内置 verify 和 rsync 条件完全不变。

具体修改

• 35 处旧集合调用迁为 20 .len、6 .foldl、9 .merge；保持参数、求值/覆盖/累积顺序及 String Unicode 计数。
• 13 处 unchecked 强转改为实际 host 成员检查或现有 contract/expect-object，不新增验证框架/脚本/包装器。
• 仍保留 3 处真实 FFI 合同：两处 ECharts nullable host 返回、Mermaid 含可选 callback 的 Promise payload。ECharts 具体实例另经 js-cast 检查，不用 opaque JsObject 冒充已验证图表实例。
• 原 JS channel-cache 回归直接使用 Set .len()；原断言、名义 Enum 恢复回归均保留。

风险和上游

浅层成员检查不证明函数签名/Promise payload；这些外部声明仍依赖已审阅的 ECharts 6.1.0 / Mermaid 公开类型及真实浏览器验收。没有增加 proof/fix 规则或放宽类型门禁。

命名空间对象导入限制已向上游汇报：calcit-lang/calcit #2326。不把本项目候选调用清零当成全生态兼容入口可以退役的证明。

验收

• 官方 Linux 0.30.1 准备 run 40085751615 完成：原子 dry-run + scoped revision，110 个完整定义视图及配置/namespace/metadata 核对，普通/all-defs 检查、完整 strict、deprecated-call 0、108/108 公开定义、原构建和缓存/名义布局恢复回归通过。
• artifact SHA256 在提取前核对；最终 Snapshot blob 与官方输出一致，110 个本地只读 query views 再次全量核对。
• 新回环来源与专用合成频道：原四阶段 relay snapshot 通过，实际 MathML 公式显示正常。
• 最终独立 PR CI 40086078134 已完成 SUCCESS；原完整门禁、含新 Set .len() 的原缓存回归及构建通过。COS/rsync 生产步骤全部 skipped，不宣称本 PR 上传验证通过。
• 同源准备构建的实际 MathML、Mermaid SVG、ECharts、History 记录、正常 relay patch 和刷新恢复通过，捕获 warn/error 为空。Save/Library 和坏存档未执行，不沿用其他项目授权。
• 最终独立前端 artifact 12557066694 在解压前核对 SHA256 25e51db3aa8d14866059180ba29700308d28cda4ef87da3a5bedeb516d337611，与上述实测准备构建的整个 dist 逐文件完全一致。只启动自己的回环服务，已关闭；未删除合成存档或访问既有频道。

[tiye]

已完成 Ready：精确提交 9a11687 的独立 CI 40086078134 成功，最终 dist 与已实际验收的准备构建逐文件一致。请重点审阅 3 处仍保留的真实 FFI 合同和新增成员检查的错误时机；不宣称深层类型或 Promise payload 已被证明。当前无待处理评审意见，仍等待独立评审，不视为已获批准。未合并、部署或发版。