[tiye]

使用者需要注意

CLI/procs 保持正式 0.30.1，升级后请重新安装完整模块图、生成前端并刷新，不混用 alpha 缓存。UI 更新可能有样式差异。

register-language! 的语言定义参数修正为实际 Fn，而非 JsObject；直接调用者需传 Highlight.js LanguageFn 函数，不传普通对象。原始 JS 导入先通过 fn? 检查，再传递同一函数值，不假装已证明具体参数/返回签名。见 #20。

导航、内容、Logo、展示用 content/*.cljs、高亮算法、Store/Action、Map 存档字段与 key 保持。启动仍随机选择展示项，刷新不保证停留同一示例；恢复仍先于渲染/保存注册。原 reload 成功/错误 HUD 与 main.mjs 保留，不替换成 raise。坏存档专项尚未完成，不新增清空或回退功能。

具体修改

• 六处 Map merge 改用 .merge，一处单参数恒等包装直接去掉；53 处静态 CSS 值改为等价 String，font-weight 不加 px。
• 真实 DOM logo、两处 Ref State<Action,Store> watcher、EventHost 回调补充 hint；原无声明的 render-app! 补齐零参 Unit/js-ffi 合同。
• 纠正 HighlightHost/register-language! 的语言函数参数，并检查原始导入值确为函数。其余公开 schema、定义数量、宏、全部原测试断言、导入、配置保持，unsafe 仍为 0。
• 固定正式 Respo 0.16.126、Reel 0.6.42、Markdown 0.4.60、UI 0.8.1、JS-FFI 0.2.6，传递 Router 0.8.38；Vite 精确 8.3.3。
• 保留 all-defs/完整 strict、原两项测试与 dynamic/deprecated 门禁，删除已被 all-defs 覆盖的七 namespace 重复检查。移除 procs 安装预批准，不加 helper、预算、强转、concurrently、检查脚本或编译器规则。
• 原 artifact Action SHA、权限和前端/后端边界不改。PR 仅保存相对路径 artifact，不启用 COS/rsync 或部署凭据；生产 COS 内置 verify 与路径不变。不合并、不发布或部署。

验收说明

全部 33 个本地定义、8 个 namespace、元数据和配置受完整前后守卫；68 项结构化操作通过 dry-run/scoped revision，不在本地编译或文本改写 Snapshot。最终正式准备 CI 完整 strict 前后 passed/diagnostics=[]，原两项测试均 executed/pass 2、fail 0，all-defs、dynamic/deprecated 门禁、JS/Vite 通过。独立只读审阅最终提交无 actionable 新问题，不等同外部批准。

初始方法/CSS 候选虽通过 CI，但不代表 JsObject 语言参数正确。进一步修正真实 Fn 合同时，正式 CI 揭示原始 JS 导入不透明、闭合数据 decoder 不支持函数、且直接守卫 Import 不会窄化；本轮先绑定局部值再用现有 fn? 解决，不退回假类型，不发明迁移规则。只导入最终成功产物，其他候选不冒充完成证明。诊断改进建议见 Calcit #2355，不要求新 fix/proof 特性。

隔离 localhost 实际语言注册、高亮、Logo 点击切换 Transducers→EDN，以及真实刷新随机选择 JS Dependencies 通过，warn/error=[]。点击切换实际走过 DOM/dispatcher/watcher；Clojure 代码有真实 hljs span 输出。未点击 Copy 或外链，不声称所有十个示例、异常存档、HMR 错误注入或 Reel 全部操作通过。原匿名枚举/Map 与 Fn 边界仍开放，不宣称零类型债务。

[tiye]

最终精确提交 68bbecd 的 正式 CI 成功：all-defs JSON 306/306（failed/blocked/cascaded=0）、完整 strict passed/diagnostics=[]、原两项测试 executed/pass 2、fail 0、dynamic/deprecated 门禁与构建通过。最终 artifact 官方 SHA 已核对，全部文件与真实验收构建字节一致。实际语言函数注册、高亮、Logo 切换 Transducers→EDN、刷新随机选择 JS Dependencies，warn/error=[]。原 HUD/存档/随机选择保持，真正 LanguageFn 用局部 fn? 检查而非伪 JsObject/unsafe。上游诊断建议见 calcit-lang/calcit#2355。生产 upload 明确跳过；未点 Copy/外链、未做坏存档/HMR/所有示例验收，未合并/发布/部署。当前评审和行内意见为空，不等同外部批准。