# 本地验收

2026-09-21。完成编码前固定范围的本地实现和验证，尚未公开发布或获得主办方认可。

2026-09-22 更新：当前工具链和源码散列见 `evidence/toolchain-20260922.json`，
`local-checks.json` 是旧工具链历史快照。`differential.json` 已实际重跑；
两后端各8组与README文件示例仍通过，远程CI未运行。

宿主有界读取修复阶段，以 `evidence/host-input-20260922.json` 绑定当时源码。
该回执验证MoonBit核心相对工具链回执未变，并记录宿主输入9项、独立对照和README示例复验；
未把宿主专项修复说成重新运行核心两后端全量测试。

时间窗口增强后，以 `evidence/time-window-20260922.json` 绑定当前源码；
前述工具链、宿主专项回执保留为历史，不代表新增API已在旧回执中验证。
本轮两后端各12个测试块、严格静态检查、原16组/190项参考、更新后的CLI示例，
以及新时间窗口专项1008项批量对照和5项真实CLI检查均已运行通过。
纯MoonBit事件窗口示例也在JS/Wasm-GC执行通过。

参照MoonCurveFit的独立参考验证、真实CLI与边界文档，及gerberkit/pcap/vcd的领域数据工具组织；不以代码行数或测试数代替完整流程。

| 固定范围 | 实际证据 |
|---|---|
| EDF/BDF普通与plus、16/24位 | pyedflib生成16组文件，数字极值与物理值对照，新建/复制输出再由C库读取 |
| 负增益与不同采样率 | 两通道不同记录样本数、两种记录时长、正负物理增益；CSV独立解析 |
| TAL注释与时间 | UTF-8中文/希腊字符、持续时间、空timekeeping注释、间断与零时长特殊记录 |
| 筛选与裁剪 | C库读取选择/裁剪输出；跨午夜闰日，EDF+D独立字段布局及TAL重定位；BDF+D核心测试 |
| 统计与质量检查 | 与NumPy比较均值、总体方差、RMS、极值；饱和/超范围计数，平坦段不跨间断 |
| 坏输入与资源 | 完整文件逐字节截断、畸形长度/数字、1000个确定性头变异、UTF-8/TAL/选择/日期边界 |
| 用户流程 | README命令实际运行，每个写出文件由pyedflib读取；错误与已存在输出拒绝 |
| 事件时间窗口 | 半开区间、部分记录、多采样率、原始索引、间断交集；独立字节和枚举对照；零时长/浮点端点/限额/非有限值边界 |

详见 `evidence/differential.json`、`evidence/window-reference.json` 和 `evidence/time-window-20260922.json`。12个核心测试块包含多组样例及循环语料；测试块数量不等于覆盖情况数量。原独立脚本190项比较、CLI2项，时间窗口专项另行统计；README示例包含新命令。

性能证据为4096与262144样本的文件解析+统计，记录本机单次耗时和参考结果。没有做宣传性吞吐推断，也不宣称优于其他语言库。

所有格式限制与时间精度见README。pyedflib不支持间断格式是已实际确认的参考库边界；没有把自编读写互相通过当作外部验证。CI只有配置，没有远程运行结论。模块名peng-jun21/edf为本地审查身份。