# 工程验收记录

2026-10-20，版本 0.1.0。以下区分本地观测和远程状态；不代表赛事验收或已报名。

## 已完成的本地工程检查

- 环境 Windows，moon 0.1.20260920 / compiler v0.10.14+7d59c7ec9。
- wasm-gc、wasm、js：check --deny-warn / test --deny-warn / build --deny-warn 与三个集成工作流均通过。
- native：check 通过；本地无 cc/gcc/clang，编译/测试/示例须由 Ubuntu CI 验证，不能记作本地 native 通过。
- 25 个测试声明，前三目标各 25/25。独立 Python 标准库预言机：seed6092026、48 组矩阵、168 次 Node CLI 请求通过。
- moon info 生成接口，检查 private model fields 未暴露；moon fmt 及 fmt --check。
- 无性能基准、用户部署或覆盖率百分比声明。测试只证明已检验行为，不保证任意输入。

## 规模口径

执行 `python tools/audit_source.py`。18 个根目录生产 .mbt，合计 **1833 物理行**。
包含正常空行但无机械填充、无 vendor/生成 .mbt；排除所有 *_test/_wbtest、examples、cmd 薄入口、.mbti、文档、Python 和配置。

| 文件 | 物理行 |
| --- | ---: |
| alr.mbt | 38 |
| basis.mbt | 100 |
| center.mbt | 86 |
| cholesky.mbt | 102 |
| clr.mbt | 46 |
| dataset.mbt | 127 |
| eigen.mbt | 152 |
| gaussian.mbt | 103 |
| geometry.mbt | 82 |
| kmeans.mbt | 174 |
| neighbors.mbt | 114 |
| numeric.mbt | 81 |
| pca.mbt | 130 |
| protocol.mbt | 184 |
| sbp.mbt | 81 |
| statistics.mbt | 94 |
| subcomposition.mbt | 73 |
| zeros.mbt | 66 |

## 保守有效提交审计

截至 `786016a` 共 21 个保守有效工程切片，均保留实际成果；每个 commit 前执行 moon fmt + moon test --deny-warn。
不是把文档、CI、格式化或后续发布修补加入最低计数。完整 raw 数使用 git rev-list --count HEAD，可能高于21。
CLI 实际 Node 参数差异由预言机发现并在其测试切片中修正，未伪称此前已跑通 CLI。

| SHA | 保留的工程目的 | 路径 | 当时验证 |
| --- | --- | --- | --- |
| `6a104055dac904d968a90ecd7cd89689beba8646` | feat: validate bounded compositions and scale-safe closure | `.gitattributes`, `.gitignore`, `README.md`, `moon.mod`, `moon.pkg`, `numeric.mbt`, `numeric_wbtest.mbt` | fmt + strict tests |
| `71d327b85628004a08266f50eecea0f187810ede` | feat: add stable centered log-ratio transforms and geometric means | `clr.mbt`, `clr_wbtest.mbt`, `moon.pkg` | fmt + strict tests |
| `00ea1b8b1f1be1ea47a9fb2796893a4455a0c2bf` | feat: implement Aitchison arithmetic metric and geodesic interpolation | `geometry.mbt`, `geometry_wbtest.mbt` | fmt + strict tests |
| `478e644ee9f71596300f092814be6ed0dc8b41df` | feat: add denominator-explicit additive log-ratio transforms | `alr.mbt`, `alr_wbtest.mbt` | fmt + strict tests |
| `7bb8d1a901ec588c7399ee253783d833d1e6b042` | feat: validate orthonormal contrast bases and implement isometric coordinates | `basis.mbt`, `basis_wbtest.mbt` | fmt + strict tests |
| `1b4876ca5abf6f7ca61fa8bc0893c06133d9a9f6` | feat: support validated binary partitions and interpretable balances | `sbp.mbt`, `sbp_wbtest.mbt` | fmt + strict tests |
| `112bcf20a4cf268fd29f6a9ae647639e9af73ce2` | feat: make zero replacement explicit auditable and ratio preserving | `zeros.mbt`, `zeros_wbtest.mbt` | fmt + strict tests |
| `e6c02b7f254fa10a87f009c5bd9b4913d40efe30` | feat: implement coherent feature selection permutations and amalgamation | `subcomposition.mbt`, `subcomposition_wbtest.mbt` | fmt + strict tests |
| `f4425a4f15ed14cadc24c3ea35aa585730a962a0` | feat: introduce bounded feature-aware immutable composition datasets | `dataset.mbt`, `dataset_wbtest.mbt` | fmt + strict tests |
| `35d26f4a7287908968b746d8a9fbf994bcbee7f5` | feat: compute weighted geometric centers and Aitchison dispersion | `center.mbt`, `center_wbtest.mbt` | fmt + strict tests |
| `d001f5f9975f9e5da046d069035cb1c10a9c83a4` | feat: add online covariance variation matrices and total compositional variance | `statistics.mbt`, `statistics_wbtest.mbt` | fmt + strict tests |
| `2fd33979f433ead35022c5763755126c0b6c64d9` | feat: provide bounded pairwise metrics stable neighbors and medoid selection | `neighbors.mbt`, `neighbors_wbtest.mbt` | fmt + strict tests |
| `78671f821be2abb39e4be2ab2eea1af95e4951da` | feat: solve bounded symmetric eigensystems with residual validation | `eigen.mbt`, `eigen_wbtest.mbt` | fmt + strict tests |
| `af4b3f4e46d46a42379ab148d8b751d77d0fc819` | feat: fit reusable ILR PCA models with reconstruction and feature alignment | `pca.mbt`, `pca_wbtest.mbt` | fmt + strict tests |
| `69b56e437f4c4f52f7546f09df6c685382d3e7d4` | feat: add checked positive definite factorization and triangular solves | `cholesky.mbt`, `cholesky_wbtest.mbt` | fmt + strict tests |
| `274328d69bbab0ddd22cf8dee450fa8da4900800` | feat: fit regularized ILR Gaussian scores with stable anomaly ranking | `gaussian.mbt`, `gaussian_wbtest.mbt` | fmt + strict tests |
| `904dcb212632a93429e66d0cb7f0349817c45d98` | feat: implement deterministic bounded Aitchison k-means and reusable prediction | `kmeans.mbt`, `kmeans_wbtest.mbt` | fmt + strict tests |
| `d09c972879378bc046bbb912f7b5405c303d4c49` | feat: expose bounded JSON analysis protocol with typed error responses | `moon.pkg`, `protocol.mbt`, `protocol_wbtest.mbt` | fmt + strict tests |
| `13d3b652eb0d4d336d4e4c9b911cb2dd996ec888` | feat: deliver CLI and three executable downstream analysis workflows | `cmd/mooncoda/main.mbt`, `cmd/mooncoda/moon.pkg`, `examples/workflows/main.mbt`, `examples/workflows/moon.pkg` | fmt + strict tests |
| `aa418373afd88e570ae11bb9dbd3178d35776549` | test: strengthen numerical invariants budgets immutability and medoid semantics | `neighbors.mbt`, `properties_wbtest.mbt` | fmt + strict tests |
| `786016aba2dd4fcb6e0cf6845ebd5c32acdcbab2` | test: differential-check 168 requests and normalize target-specific CLI arguments | `cmd/mooncoda/main.mbt`, `tools/verify_oracle.py` | fmt + strict tests |

## 发布门禁和复现入口

- `.github/workflows/ci.yml` 在四后端执行 check/test/build/三个工作流，JS 另运行数值预言机。
  本地结果不是远程 CI 证据；实际状态见该发布提交的 GitHub Actions。
- 发布要求指定账号双平台一致、干净同一 commit、真实 CI 绿灯、私密/历史扫描与实际 ZIP 内容审查；
  具体结果由 GitHub Release 和 MoonCakes 精确版本给出，不在这里预先宣告成功。
- 发布后须从无凭据、无旧依赖缓存的新消费者安装 0.1.0、check/run，核对公开归档与源码。
- 私人文档不在仓库/包/Release 中，公开仓库仅保留工程与去秘密查重说明。