# 有界需求与语义查重记录

日期：2026-10-20。方向：2026 年 9 月黑客松新生态项目建设；本记录不是主办方查重裁决。
已阅读并实际执行本机安装的 osc2026-guide 的 Project Research Guide，结合 MoonCakes、GitHub 源码/测试、
awesome-moonbit 与本地永久项目注册表，而非只读技能描述或凭项目名判断。
在实现前已原子预留 MoonCoDA 指纹；本记录公开去秘密结论，不上传原始账号状态、私人检索日志或申请资料。

## 真实任务与成熟依据

组成各部分总量受约束，原始比例相关性不能直接当作独立变量相关性。成熟的
[scikit-bio composition](https://scikit.bio/docs/latest/generated/skbio.stats.composition.html) 已提供
closure、log-ratio、balances 与 Aitchison 几何。这证明跨生态存在稳定任务/数学接口，但不证明 MoonBit 内没有重复。
本项目未做用户访谈或生产部署；材料、表格、资源份额三类需求为基于公开方法的合理使用推断，
通过可运行例子验证技术闭环，不编造已服务客户。

最小完整核心：命名组成→显式零策略→可逆 ILR/SBP→中心/变化矩阵→PCA 重建、聚类、独立样本评分；
通过库 API 和稳定有界 JSON 在多个项目复用。难点为正数/尺度边界、基正交性、特征顺序、
奇异协方差和迭代非收敛，而非薄格式转换。验收使用数学不变量、解析矩阵、独立 Gauss-Jordan 预言机及真实示例。

## 三个不同领域候选与淘汰

以下分数是本次工程选题比较，非赛事评分；每项 0..5，重复风险分数越高越不适合独立实现。

| 候选 | 用户广度 | 成熟需求依据 | 可完成核心 | 重复风险 | 处置 |
| --- | ---: | ---: | ---: | ---: | --- |
| VCD 数字波形解析/分析（EDA） | 4 | 5 | 5 | 5 | 拒绝；已有可维护直接替代 |
| 生存/可靠性分析（统计推断） | 4 | 5 | 4 | 5 | 拒绝；KM 等核心已有直接替代 |
| CoDA 组成几何与多变量分析 | 4 | 5 | 4 | 2 | 选中，但明确排除 BioSeqs 的差异丰度推断 |

### VCD

真实任务：芯片/仿真用户把 VCD 文本转为信号、时序和转换事件；成熟基线是通用 Value Change Dump 工作流。
MoonCakes 命中 `lqhy1234567/moonbit-vcd@0.3.1`、`alicedhaha/minivcd_mbt@0.1.6`。
读取前者真实 parser 与 parser tests，不仅 README：已有声明、事件、时间和值变更的解析与验证。
拟议核心与现有输入、输出及下游任务直接同构。优先参与维护比新建同质库合理，因此不立项。
来源：[moonbit-vcd](https://github.com/lqhy1234567/moonbit-vcd)。

### 生存分析

真实任务：研究/可靠性系统从持续时间与删失标记估计生存曲线和汇总。
MoonCakes 命中 `Lyl66655/moon-survival@0.2.4` 与 `wcx789ll/moon-reliability@0.3.3`。
读取前者 Kaplan-Meier 实现与测试，确认不是占位；拟议 KM 核心存在直接替代。
不以另加展示或换命名绕过，拒绝独立实现。来源：[moon-survival](https://github.com/Lyl66655/moon-survival)。

其他早期筛除：URDF（moon_rapier 的 urdf/moonrobo）、NMF（moon-certified/ml/nmf）、
Procrustes（moon-geometry/src/procrustes）；均不作为胜出方案扩展模块。

## 检索范围、反向查重与局限

MoonCakes 使用 `moon search TERM --limit 100 --json`，从名字到能力/术语扩展：
`compositional data`、`compositional`、`coda`、`Aitchison`、`logratio`、`log-ratio`、
`centered log ratio`、`isometric log ratio`、`geometric mean`、`multiplicative replacement`、`sbp_basis`；
另查 VCD/waveform、survival/kaplan、URDF、NMF、Procrustes，并检查关联包摘要。

发布前同日复查：Aitchison/logratio/ILR 各 0 条；compositional data 51 条；balance 56 条；simplex 达 100 条上限。
simplex 结果混入优化单纯形、噪声、几何与模糊 simple 匹配，不能作为穷尽性证明。
使用精确 log-ratio/ILR/Aitchison 术语及代码搜索补充；不把零命中等同于不存在。
compositional data 的大部分结果是文本组合、UI、Unicode、着色器与数据表，而非统计组成几何。
相关数值/生物包进一步看真实源码。

GitHub code search 每页 100，记录 `incomplete_results=false`：
- `"Aitchison" language:MoonBit`：1，BioSeqs 的 aldex2_demo；同日发布前再次核对仍为 1。
- `"logratio" language:MoonBit`：3，BioSeqs 的相关生物分析代码。
- `"clr" "composition" language:MoonBit`：22，逐项判别，BioSeqs ALDEx2 为最近统计邻居，其余含非统计 composition。
- `"sbp_basis" language:MoonBit`：0。

另搜索 compositional/logratio/Aitchison 仓库，阅读官方
[awesome-moonbit](https://github.com/moonbitlang/awesome-moonbit)；不因项目未列入该清单就判定新颖。
注册表按输入、模型、求解任务和非目标读取相关完整指纹，区别 MoonNormal（数据库范式）、MoonQP、MoonChoice、
MoonBelief，以及有限支持正则化最优传输（moonot）；不复制其核心求解/工作流。
未覆盖私有、未索引、新出现或名称完全不同的实现；检索是时间点有界证据。

## 相邻实现能力矩阵

`有` 表示源码/接口观察到，`非目标` 不代表该项目缺陷；`未见` 仅限已阅读范围，非整库否定。

| 实现/精确版本 | 核心任务与输入输出 | CLR/Aitchison 邻接 | 通用命名 ILR/SBP | PCA 重建/聚类/独立评分 | 与本次关系 |
| --- | --- | --- | --- | --- | --- |
| IvanAXu/BioSeqs 0.1.9 | 生物计数→Dirichlet MC/ALDEx2 推断 | 有，CLR 与期望距离 | 在 aldex2 及 demo 中未见本次通用接口 | 不等同于本次工作流 | 最近邻；排除其核心推断 |
| ihb2032/MoonFrame 0.7.0 | 通用表格表达式、数值聚合 | 通用统计原语 | frame/stats 未见组成基验证 | 非该文件的组成分析核心 | 可作上游表格输入，不是本次引擎 |
| Juwan-Hwang/moon-certified 0.1.1 | 算法集合，NMF 矩阵分解 | 非 NMF 的核心 | NMF 文件未见 | NMF fit/reconstruct/transform 存在 | 因此拒绝 NMF；不把它重命名为本项目 |
| walkzzz/moon-geometry 0.231.0 | 空间计算几何、Procrustes | 空间几何非 Aitchison 比例几何 | 已读范围非 log-ratio 基 | 不等同于比例模型 | 拒绝 Procrustes，不竞争几何库 |
| MoonCoDA 0.1.0 | 通用正数组成→几何特征/多变量模型 | 有 | 有、可逆、顺序验证 | 有、显式边界 | 本次交付 |

### BioSeqs 源码级比较与独立建设必要性

实际仓库不是根据 namespace 猜测的 IvanAXu/BioSeqs，而由公开 metadata 定位为
[paipai-Studio/BioSeqs](https://github.com/paipai-Studio/BioSeqs)。读取
`src/aldex2.mbt`、ALDEx2 demo 和相关测试；ALDEx2 围绕 Dirichlet Monte Carlo 生物差异丰度分析，
确有 CLR 与距离，绝不声称现有生态从无 CLR。

如只需要生物差异丰度分析，应优先复用/参与 BioSeqs，本项目不能替代它。
独立库的理由是材料/监测/通用表格无需依赖生物推断语义，需要用户给定正交基、特征顺序契约、
完整逆变换、PCA 重建、确定性聚类和 ILR 正则化模型。选择不做 ALDEx2/ANCOM、Dirichlet MC、p 值，
避免与邻居同主任务；共享基础数学原语的重合被明确承认。

MoonFrame 读取 `frame/stats.mbt`；moon-certified 读取 `ml/nmf` 实现，不因一般矩阵/均值工具存在就拒绝所有统计应用。
moon_rapier 曾按旧 owner 路径返回 404，后依据 manifest 解析为 moonbit-community/moon_rapier，未把 404 当作不存在。

## 交付兑现与结论

三类完整工作流均由 `examples/workflows/main.mbt` 真实执行：材料 balance/逆变换、分析 PCA 重建/聚类、
资源份额独立训练与评分；协议/库是复用入口，而非单一演示界面。
25 个测试与 48 个固定种子数据集的 168 次独立预言机请求已本地通过。
未复制参考实现，运行仅依赖 core。明确不做生物推断、一般优化、用户部署和官方验收认证。

结论：**在上述已记录检索范围内，未发现本次完整通用组成几何/模型工作流的成熟直接替代**。
存在 CLR/ALDEx2 相邻能力；该结论不是绝对唯一性或主办方最终验收保证。后续若出现更近方案，应重新评估协作边界。