# 当前项目与 Mooncakes 原创性、重复风险复核

审查日期：2026-10-27，北京时间。对象为当前工作区实际文件，包含未提交的新主库和 equilibrium 支持包，不仅是 Git HEAD 或早期规划书。未修改实现、接口或已有审计记录；新增本目录审查证据。

## 结论

1. 不能称为空白原创，也不能称没有任何类似项目。科学领域、局部功能和数学方法都有确定近邻。
2. 在本次公开发布版本筛查与重点源码复核范围，尚未确认完整覆盖“同源分样共同处理历史 + 多瓶检测联合约束 + 指定步骤联合零净转移解释检验”的同职责实现。这是有限的未发现结论，不是全站语义等价排除证明。
3. 若采用任何主题、功能、算法重叠即淘汰的严格自选门槛，本项目不通过。按当前官网允许原创、移植、已有项目实质新增的口径，已有科学基础不等于自动判重；但没有材料支持保证审核通过或赛事免判重。
4. 必须区分本期公开官网与技能保存的五月主赛、八月黑客松文本。本次用户链接指向十月赛，旧文本不作为十月赛正式章程的已核实条款。

## 本次全站范围

在线清单取得：2026-10-27T17:34:39.053566+08:00；完成：2026-10-27T17:36:53.763227+08:00。

- 清单 3351 个模块，包括 94 个 yanked；每个只取索引提供的版本。
- 3351 个发布 ZIP 重新核验 SHA-256、读取外层成员并校验 CRC；扫描 280882 个识别的文本文件，包括源码、接口、测试、配置与文档。
- 相对上一批：新增、版本更新、移除均为 0。清单字节哈希变化不等于发布版本变化。
- 读取错误 0；14 个包不含 .mbt/.mbti，明细在 coverage.json，不能说源码覆盖无缺口。
- 关键词筛查用于召回，另查化学、约束、分数与水文包；重点人工复核来源在 neighbor-sources.json，保存 24 份来自 13 个模块的源码、接口或测试原文件。
- 全量机器读取不等于逐项目人工证明无语义重复；未覆盖全部历史版本、私有/未发布/未来项目、完整外部 Git 仓库，未反编译二进制或递归分析嵌套归档，也未执行第三方包的测试。

## 当前实现与差异的真实证据

- lineage.mbt:59 compile_study 将共同原水与上游剂量保持为共享未知量，处理实际取样、体积、CO2/方解石与 HCl/NaOH 的反离子计量，并绑定检测瓶。
- reconcile.mbt:106 eliminate 使用既有 Fourier–Motzkin 方法和精确分数；reconcile_aliquots:305 判定全部检测是否有共同历史，或输出约束非负加权矛盾，资源超限为未决。
- claims.mbt:37 challenge_zero_transfer 先验证基线，再添加指定步骤剂量等于零的联合假设；联合零被排除不意味着每一步必然非零，更不证明真实因果。
- reconcile_wbtest.mbt:41：两瓶单独可行但联合冲突。claims_wbtest.mbt:44：TA 不变不能排除酸碱加入，加入 Na/Cl 后可以改变结论。claims_wbtest.mbt:73：Ca/Cl 检测可区分矿物/酸与仅 CO2 的解释。
- 本次实际运行 .moon/bin/moon test --deny-warn：55/55 通过。不是原创性、实验准确性或第三方软件等价性证明。
- 根包只依赖 MoonBit core BigInt/debug/JSON，未导入 equilibrium。保留平衡代码仍属于当前仓库，移动目录不能消除既有交集。
- 当前 86 个受上批 project-hashes.json 跟踪文件全部与上批哈希一致。本次独立读取支持当前判断，而非照抄旧报告。

## 重点近邻源码比较

| 发布模块 | 已确认交集及源码 | 当前可辨别的职责差异 |
|---|---|---|
| lqlnvj/moonbit-biogeochem@0.1.2 | src/models/carbon.mbt:16、:84；coupled_carbon_npzd.mbt:194：DIC、TA、CO2 气海交换 | 海洋箱模型演化；所读实现未给出当前跨样瓶共享原水/剂量及检测解释检验。直接领域相似仍存在。 |
| jqlssg/moonkinetics@0.1.0 | conservation.mbt:42 的计量矩阵守恒基；公开接口有 ODE/SSA/CME | 当前是有限净转移历史一致性，不演化一般反应网络；计量/守恒不独创。 |
| wskwsk68/membrane@0.2.2 | process/network.mbt:237 并联流溶质衡算；process/design.mbt:201 feasible_envelope | 当前不是膜工艺设计；网络、流量、守恒、可行性已有。 |
| Freon793/moonopt@0.4.0 | verify/verify.mbt:463、verify_test.mbt：Farkas 不可行核验 | 通用优化/证书与专用化学输入不同；证书和约束相加不独创。 |
| Zxy666668/moonbit-vle@0.2.2 | activity_models.mbt:136、:299 与 flash_nonideal.mbt：活度/相平衡 | 当前主任务不求 flash；equilibrium 支持包仍有平衡求解领域交集，具体活度模型不必相同。 |
| zhaoyuanjuns/moonbit_extractor@0.1.2 | thermo/activity_models.mbt:102、process/mass_balance.mbt：非理想活度/物料衡算 | 不同于样瓶解释检验；保留平衡与衡算有交集。 |
| Lxxbv/moonbit-thermochem@0.1.3 | pkg.generated.mbti：热化学、反应与求根 API | 当前主任务不求焓熵和温度；热力学/数值基础并非空白。 |
| Lyhdsba/moonbit-chemreport@0.3.1 | balance.mbt:28、templates.mbt:101：平衡检查、混合报告 | 通用化工报告与当前联合可行历史不同。 |
| lllg123/moonbit-chemreport@0.3.0 | balance.mbt:81、uncertainty.mbt:234：组分衡算与区间运算 | 物料核对及检测区间已有基础；未确认同源样瓶职责。 |
| mjfmjf879/moonbit_constraint@0.1.0 | solver.mbt:1376、:1401：有限域传播和搜索 | 通用可满足性已有；当前精确有理数线性约束与专用化学编译不同。 |
| amor2025/fraction@0.2.1 | src/fraction/arithmetic.mbt：分数四则运算 | 当前用 BigInt 有理数；精确分数概念不独创。 |
| WB-ai-nb/constraint-lens@0.2.0 | engine.mbt、review.mbt：文本规则与审核反馈整理 | 名含 constraint，但实际是文本审计，不是化学可行性求解。 |
| walkzzz/moon_hydro@0.8.1 | shared/utils.mbt:98、ml/hybrid.mbt:63：单位线与降雨径流 | 水文模型与水样化学不同，仅名称水相关不足以认定重复。 |

此外，PHREEQC 等软件代表成熟水相及逆向地球化学先例；不能把科学理论、物料衡算、碳酸盐计量、Fourier–Motzkin 或 Farkas 宣称为本项目发明。本轮完整枚举范围仅 Mooncakes，未做全球同类软件穷尽比较。

## 赛事证据与判重边界

用户官网：https://moonbitlang.github.io/Hackathon2026/
正式章程链接：https://bxup9uklfcb.feishu.cn/wiki/Dx4Bwd6D1i3GfHkajQCcF7SznEd

官网 HTML 及其实际加载的 index-Cb3Bwakq.js 已下载保留。JS 的中文产品文案确认：当前十月赛，2026-10-31 截止报名与验收；原创项目与成熟生态库的 MoonBit 移植均可参与；原创、移植或已有项目均可参与，已有项目须包含本期实质新增工作。与重复最直接的原文为：

> 重复提交、拆分项目或仅做简单修改，不计入验收与奖励。

官网还写明最终执行口径以正式赛事章程和官方通知为准。飞书链接本次只取得登录/页面框架，未取得可核实章程正文；不能推测章程没有其他判重条件、自动套用五月/八月规则，或给出官方相似度阈值。

本地 git remote -v 没有输出，moon.mod repository 为空，大量当前实现处于未提交状态。可以核查本地功能；不能用本地代码或旧历史代替本期公开提交记录、已发布或已被接收证据。此处不是完整验收审查。

## 申报建议

可使用的有限定位：

> 面向明确声明的 Ca–碳酸盐–Na–Cl–水，使用 MoonBit 实现同源分样处理历史核对。联合约束共同原水、上游剂量、实际分配体积和多瓶 Ca/DIC/TA/Na/Cl 检测区间，返回共同可行历史或可复算矛盾，并检验指定处理步骤能否同时净转移为零。

需要披露通用化学/数学先例和保留平衡包，并用两个能改变判断的反例展示独立价值。不得写全站没有类似、世界首创、原创算法、保证不判重。对十月赛正式章程与项目边界的最终认可，应由本人向组委会说明并取得回复；本次未对外发送信息或提交。