# 可复现基准记录

记录日期：2026-08-19。平台：Windows，测量时使用 MoonBit stable `moonc v0.10.7+bc794d341`；当前复核工具链为 `moonc v0.10.9+6e6c44045`。每个命令连续运行 5 次，时间来自 PowerShell `Measure-Command`，包含 `moon run` 的 CLI 启动和缓存检查开销。

| 场景 | 命令 | 最小 | 中位数 | 最大 |
|---|---|---:|---:|---:|
| casebook 20 项 | `moon run --target native cmd/benchmark` | 295.53 ms | 309.83 ms | 333.92 ms |

程序输出：`cases=20`、`average_recovery=0.3796434209968044`、`maximum_balance_residual=8.881784197001252e-16`。

## 正确性基准

- `moon test --target native --deny-warn`：733/733 通过。
- `moon check --target all --deny-warn`：通过。
- 650 个边界矩阵案例：每个案例的单级衡算残差 `< 1e-8`。
- casebook：20 个可复现工程输入，运行后最大衡算残差 `< 1e-8`。

参数型 `cmd/extractor` native 构建已通过；CLI 参数读取已迁移到 stable 工具链的 `moonbitlang/core/env`，同时保留 `moonbitlang/x/sys` 的退出接口。GitHub CI 继续在三平台执行 extractor native 构建、benchmark runner 和 smoke test。

## 复现

```powershell
moon version --all
moon test --deny-warn
moon run --target native cmd/benchmark
moon run --target native cmd/extractor -- single 100 0.10 50 2
```