boris
3.4 KiB
表达式缺失值与执行参数验收
根因
原数值执行器把 NaN 比较结果直接变成 false，外层 NOT 因而可能变成 true。
min(NaN, value) 还会返回另一个有效值，使缺失因子参与筛选。下单标量继续经过
max、clamp 或整数转换时，也可能把无效输入变成零仓位或零数量。
执行合同
数值 VM 使用带类型的 Missing 值，数值缺失及非有限运算结果不再提前变为布尔 false。
| 表达式 | 结果 |
|---|---|
| NOT unknown | unknown |
| false AND unknown | false |
| true AND unknown | unknown |
| true OR unknown | true |
| false OR unknown | unknown |
最终布尔筛选只接受 true；显式 if/iff 与 CASE WHEN 一样，只在条件确认为 true 时取真分支。
显式 nz 保留策略自己声明的缺失值替代含义，框架不会自行填零。
短路仍不读取未使用分支。非法 clamp 范围返回错误，不允许使进程 panic。
Rhai 的逻辑运算不能承载可空布尔，因此动态脚本遇到未知数值比较时明确报错，不能 返回错误的命中；缺失 map 属性同样报错。已关闭会绕过自定义比较保护的 Fast Operators。 有限浮点比较仍使用现有 epsilon 口径，混合整数/浮点比较也受保护。 Rhai 运算符文档说明了该分派边界。
下单数量、目标仓位、投入比例和筛选边界必须返回有限数值，否则记录
missing_numeric_result，包含表达式、证券、决策日和执行日。只有排名评估保留
独立的缺失值诊断路径；没有把数据源的缺行改写为价格或交易事实。
代码与测试
fda2e70：VM 三值逻辑及动态数值保护。ea58ab2：显式关闭 Rhai 快运算符，补齐缺失 map 保护。e3f1028：执行标量必须有限，排名与执行参数分离。- 177 引擎：585 项通过、8 项跳过。
- Runner：360 项通过、3 项跳过。
- 交易工作区链接 e3f1028：510 项通过、8 项跳过。
首次回归曾发现 Rhai 快路径仍绕过保护，修复后重新完整测试，未将失败候选部署。
真实回放
使用已保存的原始 strategy spec、初始资金、日期、基准、频率及全部执行配置， 通过独立 runner 真正重新执行。固定为服务实际使用的16个逻辑CPU、Rayon8线程、Tokio16线程。
- 五年日线：2021-08-23 至 2026-08-28，1,000万元，25,408笔成交。
- 分钟样本：2025-01-02 至 2025-11-17，100万元，156笔成交。
- 10次回放的 canonical 与 result-store 均等于各自同 frozen bundle 基准。
- 包含
e3f1028的最终回放为five-year-strict-1、minute-strict-1。
完整证据：/Users/boris/WorkSpace/fidc-backtest-service/docs/evidence/numeric-condition-replay-20260909.json。
日线源行6,918,227；分钟样本仅636行，不能用其亚秒耗时宣传全部分钟策略的性能。
边界
该候选尚未部署到常驻回测或交易服务。此验证证明两种已有策略在有效冻结数据下结果不变， 不证明所有策略、所有原始财务公告/vintage、全部缺失数据原因或真实券商交易均已验收。 Rhai 未提供与数值 VM 完全相同的 nullable 表达式能力，目前选择明确拒绝，不能称为所有 动态语言表达式都已支持三值逻辑。完整 typed Base Panel 与对象分配优化仍待完成。