# 独立验证记录

已将 .moonbit-version 更新为 0.10.14+7d59c7ec9。格式检查、全目标 check、JS/Wasm-GC 测试（各21项）、release JS 构建、moon info、生成接口差异检查、Node CLI检查（16项）及 JS/Wasm-GC 质量示例均通过。本次仅复核编译器版本，未重跑 NumPy/segyio 参照矩阵和公开USGS检查；外部格式结果仍见下方 2026-09-27 回执。

## 先前验证记录

### Prior 0.2.0 reference verification (2026-09-27)

固定工具链见`.moonbit-version`；全目标检查、格式/API和release构建通过；JS/Wasm-GC各21测试，CLI16项。修改头解析和QC元信息后，独立旧矩阵重跑：332场景/1171检查通过，QC146场景/165检查/15CLI通过。

新增公开USGS节选：300道、225000个int32与独立struct/NumPy逐值一致，segyio1.9.14另核对float32读取、道数和选择输出；36个零振幅道及字节偏移一致。默认拒绝旧版版本字、显式允许后保留原字节和解释假设、未知版本与截断仍拒绝。当前源码/原始日志见[LOCAL-CHECKS](../evidence/public-20260927/LOCAL-CHECKS.json)，公开输入来源与限制见[PUBLIC-USGS](PUBLIC-USGS.md)。

公开任务实际输出report/CSV/manifest，CSV与JSON同时保留。首次QC尝试因新增兼容选项未加入白名单而失败，修复后通过。新鲜源下载HTTP403并未伪装为成功；节选范围和缓存来源明确记录。未运行远程CI、性能竞争、生产部署或整份调查验收。CI现固定Linux工具链并使用随包节选，无需在线取USGS数据。

## QC增强历史验证（2026-09-22）

- fmt/info、strict all-target check、release JS构建通过；JS/Wasm-GC各20个测试块（原13加7个QC契约测试）。
- 新verify-quality.py：146场景、165项检查、15项真实CLI通过。struct与segyio独立造文件，NumPy独立汇总，区分整数范围限制和非有限数据，包含大小端、三版本、CP037、变长道、坏样本、权重、原始定位、分组及截断。
- 原verify-reference.py在当前代码重新通过332场景/1171项，原CLI16项通过。没有重跑未变化的浏览器截图步骤，原SVG实现未改。
- 纯MoonBit QC示例在JS/Wasm-GC实际运行：8样本、两组、两条问题道；JSON与CSV原始道号一致。
- 新100/1000道各256样本的合成测量在quality-reference.json；时间包含解析、扫描和JSON通信，不含Python期望值计算，不是速度排名或实测数据质量证明。

总记录 `evidence/quality-20260922.json` 绑定全部非evidence源文件与两份参考回执，文本按CRLF→LF规范化。原 `reference.json`、SVG审查记录保留历史，不覆盖。
本次原参考回执 `quality-baseline-reference.json` 内部为Windows原始字节散列；跨平台归档以总记录的规范化源码散列为准。普通脚本运行不修改保存证据，需显式 `--evidence PATH`。
CI新增QC参考与两后端示例；仍未执行远程CI或发布，发布/人员/申报由团队负责，不阻止本地技术开发。

## 增强前基线（历史）

2026-09-22 Windows 11 本机执行；moon 0.1.20260920 / moonc 0.10.14，Node24.11.0。fmt/all-target check/info 无警告，JS/Wasm-GC各13组核心测试；CLI16项检查含真实创建/读取/窗口/导出、错误退出和拒绝覆盖。没有运行远程CI。

## 外部参照

Python3.12.14、NumPy2.5.3、segyio1.9.14，固定随机种子20260922。332场景、1171项通过；版本、计数、源码SHA-256及测量在 evidence/reference.json。

1. segyio 实际生成和读取大小端、样本码1/2/3/5/6/8/9；检查样本、缩放坐标、分组、统计、选择、窗口及新建/格式转换回读。
2. 独立 Python struct 覆盖 rev0/1/2、大小端、ASCII/CP037、定长/变长、IEEE64精度和int64极值。24位码7由独立三字节整数参考验证；未列为 segyio 通过，因为该版本会错误回退为IBM解释。
3. 3200字节完整CP037组合与Python codec互核，包含全部256字节；新建也核对原始编码。rev2独立版本字节、小于1微秒间隔、扩展字段和未知头拒绝。
4. 已知IBM字节与400个随机指数/尾数；200个非法样本码变体、截断、异常扩展/尾部/偏移/声明计数。变体不是独立实测地震记录。
5. SVG由独立XML解析器读取，并核对单点标记、正负位置、样本数、有限坐标和不伪造时间跨度。六类CLI生成样本另外在本机Chromium浏览器实际查看，详见[图形输出核查](SVG-REVIEW.md)；不是跨浏览器或全数据集认证。CSV保留int64十进制值，非有限数据不会伪装有效数值。

常规浮点比较相对容差2e-6/绝对1e-7，IEEE64 struct对照绝对1e-14，int64为整数精确比较。数学测试包含已知RMS/总体差、1e300幅度平方溢出反例及不能准确表示的时间窗。独立参考不会取代格式规范，也不承诺所有仪器专用变体。

## 合成工作量与复现

64道×1000样本，274960字节，记录“扫描+非有限验证+JSON进程通信”耗时；包括宿主开销，不是跨语言性能排名。本项目采用整文件内存模型。

普通 `python tools/verify-reference.py` 不改证据；加 `--evidence evidence/reference.json` 更新。新版源码必须重新绑定SHA，不把旧证据套在新实现上。其他OS的三系统CI只是配置，仍需真实远程运行。最后整批归档绑定Git SHA与源码，不能借此宣称公开发布或正式审查通过。

## 2026-09-27 后续完整测线

`python tools/verify-full-usgs.py /path/to/06c01.seg --output work/full-usgs-reference.json` 对固定62,075,520字节原始文件执行产品QC和完整独立参考。19158道/14368500样本的全局与分组统计、2667零道及segyio逐道读取通过。脚本还检查组集合完整、每组零道计数和明细截断，区别于只检查总体。说明及边界见 [FULL-USGS](FULL-USGS.md)。已有运行核心未改，标准核心测试沿用相同源码的历史回执，本轮新增实际任务与参考证据。