# 架构与安全边界

## 分层

1. numeric/clr/alr/geometry：正数、有限数与对数空间运算；closure 用最大值缩放，逆变换用 softmax。
2. basis/sbp：不可变正交基；basis 验证维数、零和、单位正交。ILR 采用基的行作为坐标轴。
3. dataset/subcomposition/zeros：命名行列、防御复制、显式零处理及可追踪分组。
4. center/statistics/neighbors：Welford 协方差、加权几何中心、变化矩阵和有界二次距离。
5. eigen/cholesky：纯 MoonBit 线性代数。对称/正定条件不满足会报错；没有伪逆静默回退。
6. pca/kmeans/gaussian：拟合模型保存特征顺序，预测时强制一致；结果访问器复制数组。
7. protocol：受长度/嵌套/维数限制的无状态 JSON；cmd 为薄 argv 适配器，不计入核心 LOC。

## 数值与行为

- 内部 Double；不提供精度证明、任意精度、区间误差界或高维稀疏实现。
- PCA 在完整 ILR 空间拟合样本协方差，坐标旋转不改变谱；重复特征值时单个轴不唯一。
- 协方差显式对称化；Jacobi 先缩放后迭代，检查原矩阵相对残差，再返回原单位残差。
- 高斯用最大似然协方差加 ridge 和 Cholesky solves，避免显式求逆。
- 聚类明确报告非收敛和空簇，不保证全局最优；返回 capped-run 最近中心标签。
- 单行分析中的样本协方差没有定义，API/协议抛出 Invalid，不补假样本。

## 威胁模型

库和 CLI 无文件写入、shell 执行、网络请求或持久状态。调用方自行管理输入来源与权限。
JSON 错误不回显原输入，但成功结果包含业务标签/坐标；不要把含敏感业务信息的请求放在公开日志。
CLI 使用 argv，操作系统进程列表可能暴露数据；敏感数据应通过内存 API 调用，不使用 argv。
错误通过 JSON ok=false，进程通常仍退出 0。不可仅看 subprocess 成功与否。

一百万 code-unit 长度门禁只在分配输入字符串后生效；服务端应先限制传输大小。
内存/CPU 预算不是 OS 沙箱；直接调用对称特征分解等 API 也受各自维数限制。
不提供鉴权、恶意 JSON 重复键拒绝、文件格式导入或多租户限流。
凭据与本地私人资料从未作为运行依赖，不能加入仓库/包/发布附件。