模型验证原语 xiciyang/ai-infra-core

ai-infra-core

七个零依赖原语，用来证明模型的某些性质——证明不成立时就大声报错。

这里每个库的存在，都源于同一个 bug 在推理栈里被发现了两次：某个数字被当作结果报了出来，可它实际上是一次无效测量。一个被截断的模型量化了 436 s，却被签字确认为「0% 精度损失」，因为它的输出是均匀的，两个困惑度也逐位相同。正是这起事故，让 testing-core 在取值门之前先设了一道有效性门。

这些库支撑着已发布的 inference-serving / inference-quantization / inference-tuning 插件，以及 DSH 训练栈。把它们单独抽出来放在这里，是为了让这些判断规则可以脱离任何 GPU 被审查、复用和攻击。

- 零运行时依赖 —— 只用 Node 内置模块
- 库与库之间零耦合 —— 每个包都不从兄弟包导入任何东西
- 契约冻结 —— 每个包都附带一份 CONTRACT.md，写明版本和明确的导出清单；新增算小版本，删除或改变语义算大版本
- 对覆盖率诚实 —— 在你机器上跑不起来的检查，会带原因报成 SKIP，绝不报成通过

包

| 包 | 它判定什么 | 为什么存在 |
| @xiciyang/testing-core | NLL / 困惑度 / 均匀签名 / 相对变化 / 双门 / 浮点指纹 / 遗忘门 | 先确立有效性，一个取值才算数 |
| @xiciyang/data-core | 内容哈希、去重、确定性切分、泄漏剔除、血缘、PII 扫描 | 校准集和测试集不能有交集 |
| @xiciyang/state-core | 共享 YAML 方言、schema 校验、原子写入、乐观并发 | 三个插件曾有三种方言 |
| @xiciyang/audit-core | 只追加哈希链（两种变体）+ 独立复验 | 「已审计」意味着第三方能重算出来 |
| @xiciyang/sandbox-core | 三级沙箱行为探测与降级策略 | 「已沙箱化」必须实测，不能假设 |
| @xiciyang/training-core | 公开训练循环、检查点、资源限制、审计钩子 | 框架代码不留在插件里 |
| @xiciyang/evidence-core | 事实 → 关系 → 推导 → 案例库 | 推断不能冒充事实 |

每个包位于 packages/<name>/，内含 src/、tests/contract.mjs 和 CONTRACT.md。

安装 / Install

还没有发布到 registry 的包——按源码依赖或工作区检出使用：

git clone https://github.com/xiciyang/ai-infra-core.git
cd ai-infra-core
node --version # >= 20

每个包都是标准 ESM，可以按路径引用（"@xiciyang/testing-core": "file:../ai-infra-core/packages/testing-core"），也可以复制进 monorepo。没有构建步骤，没有安装步骤。

用法 / Usage

node scripts/run-all.mjs # contract suite
node scripts/run-all.mjs --json # machine-readable, includes expected/declared listsbash
node scripts/run-all.mjs audit-core # one package
js
import { dualGate, uniformSignature, perplexity } from '@xiciyang/testing-core'
import { splitDeterministic, assertNoLeak } from '@xiciyang/data-core'
import { appendAudit, verifyChain } from '@xiciyang/audit-core'

每个包里的 CONTRACT.md 是权威的导出接口，请把它当作冻结内容。

配置 / Config

套件只靠环境变量配置（全部可选）：

| 变量 | 作用 | 默认 |
| AI_INFRA_ROOT | 在该根目录下重新计算真实审计链 | 未设置 → 跳过并报告 |
| AI_INFRA_STATE | 用真实状态文件交叉核对 YAML 方言 | 未设置 → 跳过并报告 |
| INFERENCE_WORKSPACE | 用同类插件的解析器对比该方言 | 未设置 → 跳过并报告 |

跳过的检查会打印原因，且不计入断言数。没有隐藏的配置文件。

兼容 / Compatibility

- Node ≥ 20，仅支持 ESM，Linux/macOS（无原生插件）。
- 零运行时依赖；测试中不访问网络。
- 已在 Node 24.18 上验证，并对照 DSH 0.2.0-rc.2 推理栈验证（真实审计链 + 同类 YAML 方言）。
- DSH 是使用方，不是必需项。

运行契约 bash
node scripts/run-all.mjs # human-readable
node scripts/run-all.mjs --json # machine-readable

干净机器上的预期结果：264 条断言，0 失败，4 跳过。跳过项会明确说明。

如果机器上装了完整推理栈，把套件指向它的真实状态，就能额外重算线上审计链，并用同类实现交叉核对 YAML 方言： bash
AI_INFRA_ROOT=~/.ai-infra \
AI_INFRA_STATE=~/.ai-infra/state \
INFERENCE_WORKSPACE=~/deepseek_harness \
node scripts/run-all.mjs

这次运行还会重算真实审计分片（这是这里最强的检查：规范 JSON 改一个字符，就会让磁盘上数百条记录的校验失败），并报告 359 条断言。

断言数刻意不是固定值：有两个库校验的状态在本仓库之外。可复现的标准是 0 失败，并列出跳过项。

套件地图 / Suite map

以下是同一技术栈的公开部分。每个插件都是可独立安装的 DSH 包：它依赖带版本号的 @xiciyang/ 库，从不依赖同级仓库的检出。

| 层 | 组件 | 安装 |
| 基础原语 | @xiciyang/{testing,data,state,audit,sandbox,training,evidence}-core | npm i @xiciyang/testing-core |
| 推理 | inference-serving | dsh plugin add github:xiciyang/inference-serving |
| 推理 | inference-quantization | dsh plugin add github:xiciyang/inference-quantization |
| 推理 | inference-tuning | dsh plugin add github:xiciyang/inference-tuning |
| 推理 | inference-diagnose | dsh plugin add github:xiciyang/inference-diagnose |
| 训练 | @xiciyang/training-sft | dsh plugin add github:xiciyang/training-sft |
| training | @xiciyang/training-rl | dsh plugin add github:xiciyang/training-rl |
| training | @xiciyang/training-qat | dsh plugin add github:xiciyang/training-qat |
| training | @xiciyang/training-pretrain | dsh plugin add github:xiciyang/training-pretrain |
| judgment（实验性） | @xiciyang/rsi-contract | npm i @xiciyang/rsi-contract |

共用的判断规则随库一起走；插件承担面向硬件的工作（服务、量化、调优、训练），并且始终可替换。这里没有任何地方硬编码设备路径、模型名或机器布局：模型根目录、数据集路径和加速器都由调用方配置（DSH_MODEL_ROOTS、DSH_BASE_MODEL、DSH_SHARD_PATH、…），配置缺失时按缺少前置条件报错，不做猜测。

这不是什么

- 不是框架。没有调度器，没有插件加载器，没有模型运行时。
- 不是基准测试。它包含判断原语，不包含数据集或排行榜。
- 不与 DSH 耦合。这些库是纯 ESM，在 Node ≥ 20 下运行；DSH 是使用方，不是必需条件。

来源

从私有的 inference- 套件中提取（2026-09/10）。契约版本按冻结状态保留；本仓库今后是公开主页。不包含任何绝对路径、凭据或机器产物；测试使用的唯一 file: 锚点指向本仓库内的一个 fixture。

许可证

BSD-3-Clause。见 LICENSE。