# 同源分样工作流的贡献、近邻与证据边界

当前重点已从通用水相物种分配转为“同一原水经过分样和处理后，多瓶分析能否共享同一段历史，以及指定过程能否同时净转移为零”。根包与默认 CLI 实际切换到这一任务；原平衡代码保留在 equilibrium/，主任务无该依赖。移动目录不消除旧代码的科学先例。

可核查职责由三段具体代码承担：lineage.mbt 追踪真实分配体积、处理先后、共享原水和上游剂量、Na/Cl 反离子与实际样瓶检测；reconcile.mbt 同时约束所有样瓶，拒绝“每瓶各选一段历史”的错误拼接；claims.mbt 先检查基线，再检验指定净转移全为零，明确可能、被排除、基线冲突和未决。

反例改变了实际结论：两个单瓶都可行而共同历史冲突；删去 Na/Cl 后酸碱零转移仍可能，加入后被排除；删去 Ca/Cl 后 CO₂ 可以解释 DIC/TA，加入后需要其他净转移。可运行输入和独立验证支持这些有限职责，不能据此证明绝对独有。

## 五项职责及差异化证据

| 职责 | 对应实现 | 可复核反例 |
|---|---|---|
| 真实样瓶谱系与体积分配 | `lineage.mbt` | `lineage_wbtest.mbt`：兄弟分样超量、错误分支和样瓶身份拒绝。 |
| 共享原水与上游剂量 | `lineage.mbt`、`reconcile.mbt` | `reconcile_wbtest.mbt`：两个单瓶分别可行但联合冲突；上游气体剂量不能重复选择。 |
| 绑定样瓶的跨瓶检测 | `lineage.mbt` | Ca/DIC/TA/Na/Cl 范围绑定实际状态，并按体积换算。 |
| 基线后的联合零净转移检验 | `claims.mbt` | `claims_wbtest.mbt`：加入 Na/Cl 或 Ca/Cl 改变解释；基线冲突不作归因。 |
| 可复核输出与未决 | `reconcile.mbt`、`scripts/verify_aliquots.py` | 精确回放历史、重算非负加权矛盾，超预算明确未决。 |

差异化主张限定为这组任务组合，不能称各组成部分独有，也不能证明组合绝对独有。净转移为零不等于真实过程中从未发生正反反应。

## 与已有工作的具体关系

| 近邻 | 源码确认的共同基础 | 当前主任务的区别与保留交集 |
|---|---|---|
| Zxy666668/moonbit-vle@0.2.2 | 相平衡、活度、物料衡算和迭代诊断 | 主任务不求相分率、活度或 flash；原平衡支持包仍有科学领域交集。 |
| zhaoyuanjuns/moonbit_extractor@0.1.2 | 萃取/浸取、非理想相平衡、多级衡算 | 主任务以样瓶处理/反离子检测约束共同历史，不提供萃取或级数设计。 |
| lqlnvj/moonbit-biogeochem@0.1.2 | DIC、TA、气海 CO₂、碳循环 | DIC/TA 与碳转移仍是直接领域近邻；所核实源码的海洋箱模型未给出当前跨样瓶/共享上游量的输入与解释检验职责。 |
| jqlssg/moonkinetics@0.1.0 | 化学计量、守恒、质量作用、ODE/SSA/CME | 主任务不演化反应网络；净转移签名是已知计量，不能称发明。 |
| Lxxbv/moonbit-thermochem@0.1.3 | 反应/热物性及守恒求根 | 主任务不计算焓熵、温度或新增热力学模型。 |
| wskwsk68/membrane@0.2.2 | process/network.mbt 的并联溶质衡算，process/design.mbt 的可行设计 | 流量分配、守恒、网络、可行域已有；区别限于样瓶身份、完整反离子与具体净转移假设。 |
| Freon793/moonopt@0.4.0 | verify/verify.mbt 和测试已有 Farkas 不可行核验 | 可行性、证书和约束相加不是本项目创新；本项目只接受有限化学输入，没有通用 LP/任意矩阵/目标优化 API。 |
| Lyhdsba/moonbit-chemreport@0.3.1、lllg123/moonbit-chemreport@0.3.0 | 平衡检查、组分衡算、区间运算和化工报告 | 所读实现未确认当前跨瓶共同历史与联合零净转移职责；核对与区间方法已有。 |
| mjfmjf879/moonbit_constraint@0.1.0 | 有限域约束传播与搜索 | 一般可满足性已有；当前输入是有限化学模型，内部使用精确有理数线性约束。 |
| amor2025/fraction@0.2.1 | 分数算术 | 当前 BigInt 有理数服务于检测边界，精确算术概念并不独创。 |
| numsolve、curvefit 等 | 通用数值求根与拟合 | 主任务不暴露新求根/拟合接口。精确算术也属已有方法；只用于避免检测边界舍入。 |
| PHREEQC 等成熟软件 | 水相平衡、逆向地球化学、元素/反应转移衡算 | 不把逆向地球化学和碳酸盐科学称为新领域。本项目的公开范围审查限定为 Mooncakes 当前发布源码；不能据此断言世界首次。 |

实现没有将这些 Mooncakes 包作为依赖，没有从其源码改名搬入。MoonBit core BigInt/JSON 是标准依赖；支持包使用 PHREEQC 固定数据并保留通知。AI 辅助新增代码、样例和申报文档需要本人解释与审核。

逐批公开目录与源码证据在 audit/differentiation/。每批记录版本、SHA-256、读取错误、增量和人工判断；关键词只是候选召回。没有看到完整同职责工作流，只能支持“在该公开检查范围内尚未确认”，不能推导其他项目都没有。

目前仍不满足“任何领域、功能或数学机制都不能类似”的绝对门槛。可辩护的是上述专用任务实现及实质可用反例；比赛是否认可独立贡献、是否构成重复申报，由当期规则和组委会裁定。本地通过、远端 CI、发布、报名与验收是不同事实。

## 公开核查范围与申报口径

最近一次核查为 2026-10-27 17:34—17:36（北京时间）：3,351 个清单模块、280,882 个识别文本文件；14 个发布包没有 .mbt/.mbti，归档读取错误 0。只覆盖清单给出的发布版本；全量机器筛查不等于逐行语义排重，没有覆盖所有历史、私有或未发布项目。13 个重点模块的 24 份源码/接口/测试保存于 [本次审查](../audit/originality-review-2026-10-27/review.md)。

可用于申报的表述是：“针对明确声明的 Ca–碳酸盐–Na–Cl–水，联合约束同源样瓶、上游处理和检测，核对共同历史并检验联合零净转移假设。”不使用“空白原创”“独有算法”“零相似”“保证不判重”。

本次链接官网为十月赛，允许原创、移植或已有项目实质新增，并明确重复提交、拆分项目或仅做简单修改不计入验收与奖励。飞书正式章程正文在该次读取中未取得；不套用旧版规则或自设官方相似度阈值。审查无法得出客观的低/中/高概率，也不能用文档收窄声称实际重复风险已降低。需由组委会审查当前完整仓库与真实本期贡献。