# 验证口径与限制

## 工具链及平台

基线：moonc v0.10.18+6c83a7f62，moon 0.1.20261028；主语言 MoonBit。Windows 本地已实际完成 wasm-gc、wasm、js 的严格 check/build/test 和三个工作流；native 的 check 通过，但本机缺少 MSVC C++/Windows SDK，不能把它描述成本地 native 构建或运行通过。Linux native 由公开四目标 CI 实测；交付以精确提交的实际 Actions 结果为准。

## 核心功能路径

- 三角：维度、增量/累计互换、复制隔离、历史截面、日历/发展聚合。
- 因子：Volume/Simple/Regression，窗口、排除、覆盖、零基数、尾因子、溢出。
- 四模型：手算 CL/BF、Benktander 迭代定义、Cape Cod 调整暴露量。
- 输出：逐事故期准备金、支付日历、尾支付、完整累计投影、组合重述、贴现和会计/现金流对账。
- 复核：逐配对残差、描述统计、截面重新拟合的历史留出、压力比较。
- 入口：严格 JSON/CSV、全部请求 action/estimator、三个工作流和 CLI。

仓库有 24 个测试块，测试不依赖联网。不同测试块内包含多个边界和数值断言，不能把测试块数等同独立输入数。

## 独立预期

`tools/differential.py` 使用 Python 标准库 Fraction，以固定种子 20261109 生成 12 个 2–9 阶正整数三角。独立公式生成三种发展因子的 CDF 和四种模型的最终赔款，包含尾因子 1.1、Benktander 三次迭代及 Cape Cod 暴露量。通过实际 CLI 发起 144 个请求，逐事故期比较 780 项结果；本地最大相对误差 8.125828050905859e-16，容许阈值 1e-10。每请求另外核对支付总额等于准备金。没有使用上游夹具。

手算样本 [[100,150,180],[120,180],[140]]：因子 [1.5,1.2]，CL 最终赔款 [180,216,252]，准备金 [0,36,112]。留出测试替换未来观测而保持相同预测，检查无未来泄漏。

## 成熟参考库对照

`tools/reference_chainladder.py` 在独立 Python 3.12 环境使用 chainladder 0.8.24；`tools/reference-requirements.txt` 固定直接兼容依赖。最初最新 sparse 的内部接口与该版本不兼容，固定 sparse 0.17.0 后实际运行成功，未修改参考库源代码。复现命令：`python -m pip install -r tools/reference-requirements.txt`，再执行 `python tools/reference_chainladder.py`（MoonBit 在 PATH）。

固定种子 20261111，6 个自生成年度三角，三种拟合和四模型，共 72 个 CLI 请求、348 项事故期最终赔款比较；最大相对误差 6.96240583614938e-16，阈值 1e-10。明确仅比较正值年度三角、tail=1、无配对排除、无趋势的共同语义；尾因子由上节 Fraction 独立测试验证。没有复制参考库的源码、注释、数据或测试夹具。此可选测试不增加 MoonBit 模块运行依赖。

## 覆盖率

执行 `moon coverage clean`、`moon test --enable-coverage --deny-warn`、`moon coverage report -- -f summary`。本地一次实测为 649/768 个工具报告覆盖点，包含未作为单元测试执行的示例/CLI 入口，不把该值当行覆盖率或分支覆盖率；工具摘要未列出的文件也不能从此推定为零覆盖或全覆盖。CI 重新生成当前提交的摘要。覆盖率仅辅助，不替代独立预期和完整工作流执行。

## 源码量及历史口径

只计根目录实际生产 `.mbt`，排除 `_test.mbt`、`_wbtest.mbt`、生成接口、示例、薄 CLI、Python 工具、配置和文档；计物理行并另外列非空非注释行。发布前实测 1817 物理行，1580 非空非注释行，无填充。发布验收报告提供逐文件清单和实际提交摘要。

历史按独立工程切片检查，原始数量与保守有效数量分开。初始 CLI 示例严格 Double 相等断言曾失败，后续改为容差断言；历史保留，保守计数不认领该失败切片为独立已验证成果。不会重写历史或通过空提交补数量。

## 结论边界

查重是有界检索，不保证全球唯一；自检、CI 和安装验证均不是官方验收通过。没有性能排名、Mack 标准误、bootstrap、监管准确性或金融建议的声明。全部客户数据均由调用者负责，本项目测试数据为自生成。