# MoonAqueousSpec：同源分样处理历史核对与零净转移检验

> AI 辅助申报草稿，待参赛者本人改写、核对和确认，未代替人工撰写与审核。

姓名：　　　　　　　　学校/年级：　　　　　　　　联系方式：
参赛账号：　　　　　　　　　　公开仓库地址：

**问题**：同一原水分成不同样瓶，经稀释、蒸发、加酸/碱、CO₂ 或矿物净转移后，各瓶分别符合检测不代表存在同一个共同解释；TA 表观抵消也可能隐藏反离子变化。

**核心交付**：MoonBit 主库以实际分样体积、处理谱系、Ca/DIC/TA/Na/Cl 范围建立共享原水与上游剂量，输出共同历史或可复算矛盾；另检验指定步骤净转移能否同时为零。基线冲突不作过程归因，证据不足保留可能解释，资源不足返回未决。

**功能例证**：单瓶可行而同源联合冲突；上游加酸后分瓶/稀释的共同核对；体积校正 TA 相同但 Na/Cl 排除酸碱都为零；Ca/Cl 区分矿物+酸与 CO₂ 解释；宽 DIC 范围保留零气体转移。均有可运行合成输入，不冒充实验数据。

**新增贡献边界**：新增价值限定为样瓶谱系、共享原水与上游剂量、跨瓶检测约束、基线后的联合零净转移检验及可复核输出这组专用工作流。碳酸盐计量、物料衡算、逆向地球化学、精确分数、Fourier–Motzkin/Farkas 均已有先例；Mooncakes 的 biogeochem、kinetics、membrane、moonopt 构成领域/机制近邻。2026-10-27 的公开发布包审查尚未确认完整同职责实现，存在源码覆盖缺口，不保证全球唯一或赛事不判重。biogeochem 的海洋箱模型不同于本项目跨瓶共同历史；moonopt 的通用证书不同于本项目有限化学输入，方法本身不作原创主张。

**本期范围与原有基础**：参赛核心展示根包、默认 CLI 和 examples/aliquots/，不把支持包的物种表、活度、SI 纳入本期新增贡献。原物种平衡、活度、SI 和敏感性保存在独立 equilibrium/ 支持包；主入口与根库不依赖它，不作为此次重点贡献。保留 PHREEQC 数据来源、许可与数值回归。

**验证**：三个重点反例为“单瓶可行而联合冲突”“Na/Cl 改变酸碱零转移判断”“Ca/Cl 改变矿物/酸解释”；MoonBit 严格构建/测试；Python Fraction 独立物质量模拟、单位基约束重建、三维以内顶点枚举、历史/矛盾逐项核验、反例和错误注入；按批刷新 Mooncakes 清单及源码复查。命令与本地证据见 README 和 audit/differentiation/。

**范围**：只支持完整声明的 Ca–碳酸盐–Na–Cl–水、精确已知体积与列明过程；不求 pH、真实动力学、热力学发生性或任意天然水来源。代码 Apache-2.0，支持包数据保留原 PHREEQC 通知。

本人撰写/审核日期：　　　　　　　　本人确认：　　　　　　　　（未确认，不预签）