# 验证范围

0.3.0 使用 MoonBit 0.1.20261023 / moonc 0.10.17、Node.js 24.22.1，在 Ubuntu WSL 2 验证。公开检查入口为：

```bash
bash scripts/verify.sh
```

需要 MoonBit、Node.js 24 LTS 与 C 工具链，无需 Python。入口检查格式、零警告编译、四目标测试、公共 API 文件、消费示例及文件 CLI；GitHub Actions 使用同一入口，工具链 stable 可能随时间更新。

## 测试覆盖

- 地址：文本/字节/大整数往返、IPv6 scope、特殊地址分类与例外、mapped/6to4/Teredo、格式、溢出及 Map 键。
- 网络：严格默认值、点分掩码/反掩码、所有前缀长度、2^128 地址计数、负索引、子网/超网、包含/重叠、排除与归并。
- 接口：主机与网络分离、scope、配置格式、算术和混合输入；惰性迭代测试只取有限项，覆盖 /31、/32、/127、/128。
- 旧功能：集合代数、最小 CIDR 覆盖、CLI JSONL/文件协议、错误恢复和退出码。公开 MoonBit 测试保留有限空间集合检查。

## 2026-10-29 本地验证

| 检查 | 结果 |
| --- | --- |
| 格式与四目标零警告编译 | 通过 |
| wasm / wasm-gc / native | 各 79/79 |
| JavaScript | 92/92 |
| 独立消费示例 | 地址清单、子网规划、双栈接口和集合排除 |
| 旧 CLI 专项检查 | 协议 15 项、文件 24 项通过 |
| 旧集合差分 / CIDR 有限空间检查 | 3,557 / 131,072 项通过 |
| 新 IP API 严格 CPython 差分 | 20,195/20,195 |
| 独立统计的明确行为适配 | 830/830 |
| 开发包解包与独立消费者 | 通过；包含新地址、网络、接口和旧集合 API |
| Windows 便携 CLI | Node.js 24.22.1，空 PATH 下六项检查通过 |

四目标共 329 次测试执行，包含跨后端重复执行；不是 329 个不同测试定义。Python 参考固定为官方 CPython v3.13.2，开发用对照程序与生成报告只保留在本地，不作为公开仓库的复现入口；有意不同的行为与严格差分分开统计，见 [兼容说明](COMPATIBILITY.md)。

有限用例、固定随机输入与有限空间穷举不构成对所有 IPv4/IPv6 输入的形式证明。未宣称实际防火墙集成、长期负载或持续同步 IANA 分类。CLI 是批处理地址集合工具，不是防火墙规则解释器。