ROUTEAUDIT：面向预算约束多验证器路由的交互感知识别

arXiv:2610.02808v1 公告类型：cross 摘要：自适应多验证器系统通常通过端点质量—成本差距进行比较，即使验证器目录、可用性、计费方式、信息过滤过程或评分器会随策略发生变化。我们将验证器路由形式化为一个合约条件下的识别问题。该合约记录请求支持集、验证器目录、实际可用性、资源计费、在线信息过滤过程和事后评分；匹配路由对比仅改变策略这一坐标。ROUTEAUDIT 在该合约中加入了三个可测量对象。合约格对每一种可行的桥接顺序取坐标增量的平均值，并报告所得归因及其路径敏感性。与策略无关的响应记录带可在自适应策略揭示不同观测时识别成对的序列对比。对于不完整匹配，请求级界限利用仍然可观测的潜在结果，并给出有限总体下的精确区间。该协议在与预言机合并之前提交付费观测和账本事件，并为每次比较返回一份归因证书。在两个留出的原始尾部缓存上，匹配的静态 SF+SA 与级联方案相当，从而将相对于完整静态方案的 0.1797 和 0.1250 的表观增益归因于验证器集合优势。在 1,319 个留出的任务请求上，学习方法和 RLVR 研究的质量分别为 0.9522 和 0.9553，而匹配静态方案为 0.9484；RLVR 与静态方案的请求配对差异为 +0.0068，请求配对区间为 $[0.0015,0.0122]$，训练种子—请求分层区间为 $[0.0006,0.0131]$。受控归因恢复得到的路由平均绝对误差为 0.0011，端点重构误差为 0.0004。因子实验、桥接顺序实验和随机提供方实验评估了证书接口；RLVR 则在相同识别合约下提供了针对学习策略的压力测试。