#MoonHive

// 库核心与平台能力完全解耦：这里不 import 任何 C FFI 包
let outcome : @diagnose.CheckOutcome = { .. }
match @diagnose.classify(outcome) {
  ToolchainMismatch(why) => println("不是包的错：" + why)
  DoesNotCompile(why)    => println("包在当前工具链上不可用：" + why)
  Verified               => println("可以直接用")
  _                      => ()
}

#为什么归因是独立的一件事

$ moon check --target native
Failed with 0 warnings, 14 errors.
  Type Bytes has no method exact_view.

#库核心是全后端可移植的（构建期强制，不是文档口号）

./build.ps1 -CrossBackend   # => wasm / wasm-gc / js 各 93 测试全绿，native 146

#其它语言生态里的对标工具

#与 MoonBit 生态已有工具的关系

#结论分类

#特性

• 库核心零平台依赖：归因分类器与报告渲染是纯计算，可在 wasm / wasm-gc / js / native 四个后端编译运行（边界由 supported_targets 在构建期强制）
• 双获取方式：git clone 验证仓库最新代码，--registry 验证 mooncakes 发布版本
• 三种报告格式：Markdown（人读）、JSON（机器读，带 schemaVersion）、单文件 HTML（可直接托管）
• 隔离工作区：一次性临时目录 + 磁盘配额 + 超时上限，不执行仓库自带构建脚本
• 本地仪表盘：serve 把报告目录变成浏览器可访问的页面，仅监听 127.0.0.1
• 环境自检：doctor 检测工具链、git TLS 后端、临时目录并给出修复建议
• 收藏夹：keep / list / forget 收藏验证过的包，本地存 favorites.json
• 报告对比：report/compare 模块对比两轮验证结果，区分好转（不可用→可用）、恶化（可用→不可用）、新增、消失

#快速开始

#环境要求

• MoonBit 工具链（开发环境 moon 0.1.20260904）
• git

./build.ps1                 # 构建
./build.ps1 -Test           # 构建 + 测试
./build.ps1 -CrossBackend   # 额外验证库核心在 wasm / wasm-gc / js 上可用

#常用命令

# 环境自检
./build.ps1 -Run doctor

# 体检一个远端仓库（git clone 默认分支）
./build.ps1 -Run @("inspect", "moonbit-community/yaml")

# 体检注册表发布版本（moon fetch）
./build.ps1 -Run @("inspect", "--registry", "moonbit-community/yaml")

# 批量普查多个包
./build.ps1 -Run @("survey", "moonbit-community/yaml", "bobzhang/toml", "--out", "report.md", "--json", "report.json", "--site", "index.html")

# 本地仪表盘
./build.ps1 -Run @("serve", "--dir", "reports", "--port", "9090")

#输入格式

• owner/repo — 远端仓库（git clone）
• https://github.com/owner/repo — 完整 URL
• ./pkg — 本地目录，无需联网

#实测数据

#质量基线

#安全

1. 只调用 MoonBit 官方工具链的 check / build / test，不执行仓库自带构建脚本
2. 所有验证在一次性临时工作区内进行，结束后清理
3. 设超时上限与磁盘配额
4. 含 FFI 或自定义构建脚本的仓库仅做静态分析

#已知限制

• 参考 CLI 仅支持 native 后端：它需要起子进程、读文件、开 socket（C FFI 不支持 wasm）。库核心不受此限制——归因分类器与报告渲染在四个后端都能用
• Windows 下项目路径含中文时用 build.ps1（直接 moon build/run 会失败）。build.ps1 必须以 UTF-8 带 BOM 保存，否则 Windows PowerShell 5.1 会把中文注释按 GBK 解码而解析失败
• 远端克隆依赖本机 git 的 TLS 后端，doctor 可检测并修复
• 仪表盘仅监听 127.0.0.1，用 127.0.0.1 而非 localhost 访问

#文档

• 架构设计 — 分层边界与后端可移植性、九类结论判定逻辑、安全设计
• 开发记录 — 技术取舍与缺陷复盘
• 贡献指南 · 路线图 · 变更日志

#许可证