文档中心 / 保证与边界 【建模约定】

定义

UVR=Nunsafe_acceptedNunsafe,FRR=Nvalid_rejectedNvalid\mathrm{UVR} = \frac{N_{\text{unsafe\_accepted}}}{N_{\text{unsafe}}}, \qquad \mathrm{FRR} = \frac{N_{\text{valid\_rejected}}}{N_{\text{valid}}}
  • UVR(Unsafe Validation Rate):不安全/不合规任务被错误放行的比例——安全性指标
  • FRR(False Rejection Rate):有效任务被误拒的比例——活性/可用性指标

为什么必须成对

单独优化任何一个都会产生退化解:

  • 只看 UVR:把门槛拉满,永不行动的系统 UVR = 0——安全但无用
  • 只看 FRR:放行一切,FRR = 0——可用但危险

任何阈值优化必须同时报告 UVR 与 FRR 的变化,不能只展示放行风险下降而隐藏可用性代价(V0.2 命题 P12)。这与生物识别的 FAR/FRR、检测理论的 ROC 是同一结构——我们采用这一成熟范式,不另造指标。

配套报告项

指标说明
UNKNOWN / 人工复核率三值门控的第三态占比,反映知识与感知覆盖缺口
任务成功率放行任务中实际完成的比例
紧急停止率执行中触发 FAILSAFE 的比例
约束最小裕度执行轨迹距约束边界的最小距离分布
证据完整率EvidencePack 字段完整的执行比例

报告口径(初步约定)

  • 站点只报基准集 UVR,并附样本量与置信区间;不以现场数据外推 UVR
  • 现场侧报运行时长、拒绝率、急停率与裕度分布
  • 感知侧配套报告置信度可靠性图、ECE/Brier、误差上界覆盖率——否则 ε_perc 与鲁棒裕度不可信

当前证据状态

【建模约定】。指标定义已冻结,但尚无任何实测数值——167 闭环的域内问答集、必须拒绝域外集、规范编译测试集建成后产出首批数据。在此之前,本站任何页面不得出现 UVR/FRR 的具体数字。