WINDWAY DATA

WINDWAY DATA / 本地研究

范围有限的实验,可检查的协议。

实验性 · 非标准 · 未经同行评审

协议与分母

50 个固定布局 × 3 类失败 × 3 个策略 × 2 个种子 = 每次运行 900 个单元。重复两次:执行 1,800 次试验。每策略每次 300 个单元;共 150 个场景设计,而非 1,800 个独立问题。

  1. 重置固定测试夹具,按需执行其参考前缀。
  2. 注入类型正确但语义无效的动作,并要求预期拒绝。
  3. 运行策略直到到达目标或预算耗尽。
  4. 验证转换与原始精确成本目标预言机;回放完整序列。

动作预算:min(128, max(16, 剩余最短路径长度 + 8))。种子 0 和 1 仅影响随机游走。确定性策略的重复种子属于对照。

保留的证据

输入、预期目标与成本、实际状态、动作、观测、预算、指标与轨迹哈希。独立审计使用 Bellman–Ford 重算成本,而非运行器的 Dijkstra 规划器。

审计回放了 900/900 条轨迹,重算八项指标并拒绝 900 条损坏轨迹。运行器另行拒绝 100 个成本错误或伪造转换的对照。

复现边界

使用标准库在 Windows 11、CPython 3.13.5 上测量。未测量跨平台复现。本页仅提供脱敏摘要,完整本地研究包不公开下载。

声明的源文件哈希一致。历史源快照中一个未登记的额外缓存文件阻止了完整清洁清单的声明;该快照未修复。

解读限制

失败拒绝不会修改地图。完全可见性与精确成本验收使规划器成为阳性对照。不声称置信区间、跨模型排名或商业改善。

查看脱敏证据摘要 ↗

返回 WFRB 结果 ↗