Skip to content

Jev 外部证据补充 v0

调研日期:2026-09-21

本文件是 Jev RFC 中文版 的非规范证据快照。RFC 仍是研究范围、系统边界和决策状态的唯一主文档。 本文件不批准实验、数据出站、支出、实现或产品采用。

外部证据没有改变产品方向排序

公开结果显示,Jev 在当前快照和有限候选中的局部判断值得验证。相同材料不能证明 Jev 能估计 Todo 的未来目标贡献、比较分支组合,或归因长轨迹失败。现有证据因此 不支持把 D4 或 D5 提升为 LoopX 的产品优先方向,也不支持 D7 或 D8 已具备模型资格。

对 Q1 的建议是按目标 caller 做有界比较。D4 形状的固定候选测试可以作为可选预筛, 用于发现问题表述、输入或校准缺陷,但其通过或失败都不构成 D7/D8 的研究资格。 owner 可以直接选择获准的 D7/D8 A/B/C 比较,在目标任务中同时测量提供方增量和 完整流程价值。跨任务迁移分数或阈值仍缺少证据。

这是研究建议,不改变 RFC 的 accepted-for-discussion 状态。Q1 至 Q7 仍待 owner 决定。

证据登记

本轮没有调用 Jev。下列结果来自官方资料或社区报告,均未在 LoopX 中复跑。

来源和任务 报告结果 方法限制 对 LoopX 的含义
TypeSafe 产品资料 jev-1.13.0;每百万 input tokens 0.042 美元;state + 全部 questions ≤ 64k,且 state + 最长 question ≤ 32k tokens 厂商资料会更新;本次访问日期为 2026-09-21 可用于估算输入预算和 API 费用;不证明质量或完整流程成本
LangChain 天气 Agent 评估 5 条轨迹,每条重复 100 次;500 次二元判断匹配一位人工标注者 只有 5 条不同轨迹;连续分数只测稳定性;运行来自 41d821f-dirty;未记录实际 Jev 版本 支持在小型固定集上研究重复性;不支持通用结果判断
SciFact 重排 60 个查询,每个 15 个候选;MRR 从 0.622 升至 0.843 抽样 900 对;报告未提供独立留出集 支持测试有限候选重排,不支持 D4 产品价值
MetaTool 路由 200 个查询各测 random、similar 两种模式,共 400 次判断;5 个相似候选时 193/200 正确,即 96.5% 固定工具目录;重复模式不是独立查询 支持测试小集合 Choice,不支持 D7 Todo 价值排序
SkillRetBench 501 个 Skill,500 个查询;报告的 Hybrid recall@1 宏平均为 75.8% 代码计量前 k 项是否命中任一金标;BM25 38.0% 取自外部基线,未在同批样本重跑;方法在同一评测中迭代 可提出竞争与验证的假设,不能视为同样本收益对照
InjecAgent 注入检测 1,105 条,其中良性样本 51 条;所选阈值下 precision 和 recall 为 100% 阈值在同一语料上扫描;属于开发集结果 只能提出附加风险信号假设
Shell 风险判断 自建 130 条命令;v2 危险拦截 100%,正常放行 98.2% 查看 v1 错例后修改 criteria,并在同一集合报告 v2 说明代码规则与局部问题可以组合;不是样本外安全证明
RouterBench 模型路由 825 条;准确率 51.3%;报告中中文切片低于英文 汇总未单列语言分母,也未建立同内容翻译对照 该配置未显示可靠路由收益;差异不能单独归因于语言
Who&When 失败归因 1,403 个步骤;AUROC 为 0.560 单一社区实现 不支持长轨迹失败归因
judge-audit 路由消融 同一批 120 行任务仅增加选项说明,准确率从 66.7% 变为 97.5% 只有 61 种不同文本;难度标签由作者构造,未运行强弱模型;事后消融 问题定义会改变结果,不能把提示收益归因于模型替换
Backnotprop 注入评测 误报率固定为 5% 时,精选集检出率 74.4%,真人攻击混合集为 19.9% 两集合分别含 1,688 和 6,115 条;阈值各自扫描,非冻结阈值迁移实验;有标签争议,本轮未复跑 即使分别调阈值,可达效果也依赖分布;不支持跨场景复用阈值

jev-harness-lab 的摘要称约 22,500 次调用和 2.19 美元,方法章节另称 13,616 次调用和 0.45 美元。本文不使用这两组冲突总量推导平均成本。MetaTool 的分母见 明细报告, SkillRetBench 的指标与基线读取方式见 评测代码。

三个实现说明了不同边界

browser-use/jev-ultrafast 只让 Jev 从当前 DOM 快照的编号候选中选择动作。 执行器 再次检查快照是否过期,并在 执行前检查遮挡和几何信息。 仓库只报告三对 Google Flights 运行,因此该案例证明实现路径,不证明稳定性能收益。

fast-jev-compaction 会根据 Jev 分数执行 drop_result 或 drop_call。它固定保留 pinned 和最近消息, 并在调用失败或压缩率不足时回退。 实现没有证明被删材料可重新获取,也不识别 LoopX 的验收证据或权威历史。 该案例是 D4 的边界反例,不能作为删除材料的正向依据。

pi-jev-auto-mode 先执行确定性策略, 再把未决调用交给 Jev。缺少引擎、取消、异常或 无效响应 都会阻止高风险调用。这个案例支持语义判断不能覆盖确定性拒绝,不证明 Jev 可以取得安全 authority。

三个实现的失败策略和动作影响不同,不能归纳成一个已经验证的通用 provider 接口。

对 Q1 至 Q7 的增量影响

待决问题 外部证据带来的变化 仍未成立的结论
Q1:研究方向 D4 预筛可选;可以直接开展获准的目标 caller 比较 D4 结果不能授予或否定 D7/D8 研究资格
Q2、Q3:问题与对照 在相同证据、标准和选项含义下比较模型;将问题改写另作消融 不能把输入整理或提示优化收益归因于 Jev
Q4:模型、数据和支出 研究可以固定 jev-1.13.0;官方价格只用于预算估算 移动别名不能用于长期校准;数据出站仍未获批准
Q5:采用证据 在目标任务的独立留出集评价质量与成本,并按来源或时间检查阈值稳定性 同数据集调阈值后的最好成绩不证明样本外表现
Q6、Q7:机制与执行 社区案例支持按 caller 定义边界和失败行为 没有证据要求通用接口,也没有证据支持转移 LoopX authority

另一项机制类比来自 TypeSafe 的 特征发现案例: 大模型提出问题,Jev 提取局部语义特征,CatBoost 从标签学习目标,独立留出集评价结果。 该厂商案例使用 jev-1.12 和葡萄酒评论,只说明可组合的实现方式。对 LoopX, 局部语义信号能否预测工程结果仍需目标任务数据,不能直接把 Jev 概率当作 Todo 预期价值。它也不构成新增监督模型或通用框架的实施建议。

来源