# 本轮实现与逐批 Mooncakes 复查

本轮已把主库和默认命令改成同源分样/处理历史核对。可验证差异是同一原水、同一次上游处理在各实际样瓶之间保持共享，并联合使用 Ca/DIC/TA/Na/Cl 及已知体积检验具体零净转移解释。现有理论和数学方法仍有先例；当前公开检查尚未确认完整同职责实现，不能写成只有本项目拥有、空白原创或比赛保证不判重。

## 实际完成的职责

1. 根目录 `lineage.mbt`：实际取样体积分配、纯水稀释/蒸发、CO₂/方解石净转移、HCl/NaOH 的反离子与加液体积；检测绑定实际状态，所有后代继承同一个源样/上游剂量。
2. `reconcile.mbt`：同时满足全部样瓶的共同历史判定；拒绝“各瓶分别可行，所以共同可行”的推断；精确回放历史或输出原始约束矛盾，资源超限为未决。
3. `claims.mbt`：基线可行后再检验指定步骤能否全部净转移为零。可区分体积校正后 TA 抵消但 Na/Cl 或 Ca/Cl 留下的证据，也保留缺少这些检测时的歧义。联合零解释被排除只说明至少一项非零。
4. 默认 `cmd/main` 与 `scripts/aliquots.py` 接收主任务输入。原 17 个非方法平衡入口移到独立 equilibrium/ 支持包，根库不导入它；保留代码仍有领域交集，未把移动目录当作消除先例。
5. 五个合成文件示例、独立 Fraction 检查、单位基向量约束重建、高斯顶点枚举、错误输出注入及三后端运行。没有把报告、CLI、一般约束/证书包装成领域原创。

## 修改后逐批复查

以一个可独立审查的功能批次为修改单位；每批包含其测试、格式与必要修正。批次完成后在线获取当前 Mooncakes 清单，按清单版本重读全部发布 ZIP，并在下一批前判断增量和近邻。不是只看项目名称/README，也不是每个字符保存一次就做一轮扫描。

| 批次 | 本地功能状态 | 在线清单获取时间（北京时间，2026-10-27） | 模块数 | 源码/归档读取失败 | 相对前批的目录变化 |
|---|---|---|---:|---:|---|
| [00-before](00-before/coverage.json) | 修改前基线 | 16:33:42 | 3,350 | 0 | 相对前次审计新增 5、更新 21；详见 coverage.json。 |
| [01-lineage](01-lineage/decision.md) | 分样与处理物质量回放，34 项测试 | 16:37:25 | 3,350 | 0 | 无。 |
| [02-joint](02-joint/decision.md) | 共同历史联合判定，43 项测试 | 16:45:19 | 3,350 | 0 | 无。 |
| [03-claims](03-claims/decision.md) | 零净转移解释检验，52 项测试 | 16:49:17 | 3,350 | 0 | moonvision 更新，已读源确认图像处理职责。 |
| [04-main-workflow](04-main-workflow/decision.md) | 主入口切换、文件示例、独立验证，55 项测试 | 17:03:47 | 3,351 | 0 | interjson 新增，已读源确认 JSON/LLM 职责。 |
| [05-portability-and-final](05-portability-and-final/decision.md) | 修复 JS 参数入口，补充过程顺序反例，完成三后端核验 | 17:09:06 | 3,351 | 0 | moonasgi、moonctl 更新，已读 HTTP/ASGI 与代码生成实现。 |

最终完整读取于 17:11:13 完成，280,882 个识别的源码/接口/测试/文档/配置等文本文件；94 个 yanked 也在清单中。每批保存 catalog.json、archive-manifest.json、source-scan.json、coverage.json 和 project-hashes.json。归档来自 Mooncakes 官方下载域名，缓存复用时仍验 SHA-256，所有外层 ZIP 成员均读取并校验 CRC。检查脚本见 `scripts/check_ecosystem.py`，目录不是永久实时监控。

复跑下一批（PREVIOUS 替换成上一个批次路径，OUTPUT 为尚不存在的新目录）：

```bash
python3 scripts/check_ecosystem.py --previous PREVIOUS --output-dir OUTPUT
```

该脚本只召回候选并记录版本/覆盖，不能自动宣布原创通过；必须另外人工读源并写 decision.md。全量读取不等于对每一行都完成语义等价证明。

## 近邻与保留交集

- biogeochem 仍是 DIC/TA、CO₂ 和碳酸盐领域近邻；kinetics 已有计量和守恒；membrane 已有流量/溶质网络和可行设计。没有把这些称作首次实现。
- moonopt 已有 Farkas 不可行核验。本轮新增的精确共同约束与矛盾有一般数学近邻，已在第二批明确披露；原来的 Newton/求根移出主接口，当前也没有新增通用 LP 或任意矩阵优化 API。
- VLE、extractor、thermochem 的相平衡、萃取、热物性求解均没有扩展进主任务。支持包仍保存原平衡实现，无法诚实声称整个仓库与其无类似。
- PHREEQC 等成熟软件已有水相与逆向地球化学。区别限定为已实现的 MoonBit 分样/处理职责，不是新化学、物料衡算、可行性方法或全球首创。

具体输入输出区别见 [当前贡献说明](../../docs/independent-contribution.md)，逐批 decision.md 给出实际读过的发布源码路径和判断。第三方包的测试仅作静态源码证据，没有执行其测试。

## 最终验证

| 检查 | 结果与证据 |
|---|---|
| 主工程/支持包 MoonBit 测试 | 同一套 55/55 在 wasm-gc、native、js 分别通过。日志见 verification/logs/test-wasm.log、test-native.log 及 verification-js-final/target-tests.log。 |
| 完整本地门禁 | [29/29 通过](verification/verification.json)：严格检查、构建、格式、生成数据与样例、独立核验、CLI 正反例。 |
| 独立主任务核验 | [53 个案例](verification/aliquots/report.json)，逐瓶重算共同历史、逐约束重算矛盾，并用不同求解方法交叉判定；五个主例与 Native 精确输出一致。 |
| JS 端到端 | [53 个案例](verification-js-final/report.json)，五个主例与 JS 精确输出一致。 |
| 非法输入与坏结果 | 10 项输入/回放拒绝、11 项反离子/体积/计量/样瓶/证明/截断输出错误注入拒绝，见以上报告。 |
| 保留数值回归 | [35 个工况、930 个物种字段和 5 组敏感性](verification/equilibrium/reference-report.json) 通过，不是 PHREEQC 可执行程序或实验认证。 |
| 最终文件对应 | [final-integrity.json](final-integrity.json) 核对第五批代码哈希与当前文件，以及验证清单中的实现文件。 |

缺 Node 与 JS argv 的早期失败报告保留在 verification-attempt-1、verification-js；后者是库测试通过而 CLI 未通过的真实反例，最终修正没有覆盖这些记录。当前数值输出不冒充实验数据。

Native 运行使用本机已有 MacOSX26.5 SDK；JS 运行使用本机已有 Node 并加入本次进程 PATH。没有修改系统 SDK 或安装全局运行时。Linux CI 配置已更新，远端 CI 尚不以本地日志代替。

## 覆盖限制与可用表述

14 个发布包没有 .mbt/.mbti，二进制未反编译，嵌套归档未递归语义分析；只覆盖清单给出的发布版本，未覆盖全部历史、私有、未发布或未来项目。关键词有假阳性和漏召回；项目名不同或无命中都不是无类似证明。文件哈希、模块数和测试数也不证明原创。

本轮可用的主张是：“为完整声明的 Ca–碳酸盐–Na–Cl–水，实现共享原水与上游剂量的多样瓶处理历史核对，并用反离子与实际分配体积检验指定净转移解释；在本次 Mooncakes 公开检查范围尚未确认完整同职责实现。”

不能使用“其他项目都没有、空白原创、零相似、保证不判重”。若门槛仍是任何领域/局部功能/数学机制类似即淘汰，本项目仍不能宣告通过。模型只有已知体积、有限离子与明确候选过程，不推断真实因果、反应动力学、热力学发生性或任意天然水成因。

修改限于本地工程和证据，未制造开发历史，未推送、发布、报名或提交；本人贡献关系、人工申报审核与赛事最终判定需真实材料支持。