ROUTEAUDIT：预算化多验证器路由的交互感知识别

摘要

自适应多验证器系统常以端点质量-成本差距比较，即使验证器目录、可用性、核算、信息过滤或评分器随策略变化。我们把验证器路由形式化为契约条件的识别问题：契约记录请求支持、验证器目录、实现可用性、资源核算、在线过滤与轨迹后评分；匹配路由对比只改变策略坐标。ROUTEAUDIT为该契约增加三个可测对象：契约格（对每个可行桥序平均坐标增量并报告归因及其路径敏感度）、独立于策略的响应带（当自适应策略揭示不同观测时识别配对序贯对比）、以及不完整匹配下用仍被观测的潜在结果给出有限总体锐区间的请求级界。该协议在oracle连接前提交付费观测与台账事件，为每个比较返回归因证书。在两个留出raw-tail缓存上，匹配静态SF+SA等于级联，把0.1797与0.1250的表观增益归给验证器集合优势。在1319条留出任务请求上，学习与RLVR研究报告质量0.9522与0.9553对匹配静态的0.9484；RLVR-静态配对差+0.0068，请求配对区间[0.0015,0.0122]、训练种子×请求层次区间[0.0006,0.0131]。受控归因恢复的路径平均绝对误差0.0011、端点重构误差0.0004。因子、桥序与随机提供方研究评估证书接口；RLVR在同一识别契约下提供学习策略压力测试。