# 工程验收映射

这是可复现的工程自检，不替代主办方验收，也不证明报名或赛程资格。自检日期 2026-11-11。

| 要求 | 可检查交付物或步骤 |
| --- | --- |
| MoonBit 主实现，moonc >=0.10.16 | 根目录生产 `.mbt`；CI 固定 v0.10.18+6c83a7f62 |
| 独立公开仓库、清晰历史 | `yujieMamba/moonmatroid`；各模型、求交、见证、枚举、格式、样例、独立 oracle 分别提交 |
| 核心功能可完成 | 六类表示、变换、结构分析、加权选择、无权求交和并集分解、快照、不变量 |
| 完整中文 README | 根 README 的安装、精确版本、可复制快速开始、边界与归属；三个例子 |
| CI 检查/构建/测试 | `.github/workflows/ci.yml` 的 js/wasm/wasm-gc/native 矩阵；真实运行另存于最终本地报告 |
| 可运行样例 | `examples/quotas`、`examples/network`、`examples/features` |
| 核心与错误测试 | `*_wbtest.mbt`；22 个测试块及独立穷举，见 oracle-metrics.json |
| MoonCakes 发布 | `yujieMamba/moonmatroid@0.1.0`；必须公开精确版本和无凭据消费者均验证后才报告完成 |
| OSI 许可和来源边界 | MIT LICENSE、NOTICE.md；原创，无第三方源码移植 |
| 附加工程门槛 | 至少 1500 物理行非测试核心 `.mbt`，排除生成接口、例子、测试和工具；至少 20 个保守有效工程提交，逐 SHA 审计保存在本地 |
| 身份和隐私 | 项目本地 Git 身份、账号绑定包装器、两端服务端身份复核；工作树/历史/实际 ZIP 扫描；私人材料仅在仓库外 |

本地与公网证据分开：本机通过不会被写作远程 CI 通过；打包不会被写作已发布；上传响应不会被写作新消费者安装成功。最终报告记录精确 commit/tag、真实 CI、归档摘要与新消费者结果，不向公共仓库加入私人材料。