2026-W42 周报

保持总验证调用预算不变,当任务来自同一模板或同一缺陷家族时,反复选择技能的实际误收率是否超过按任务数估计的水平?

在预先构造的零真实增益候选上,把同模板任务当独立样本将低估误收;按任务家族分组、限制反馈次数并留一次独立确认,可使整轮错误采用比例至少下降一半,同时保留至少80%的有益候选。两项阈值都是拟议标准。

不主张首次研究验证集复用、反例或长期门。候选贡献是一个固定预算、候选数×任务相关性的交叉压力试验,校验现有门的经验适用范围;分组确认是待比较的工程策略,不宣称新统计定理。若近邻已有同一交叉对照,撤回机制新颖性,仅作复现。

复用验收面板和独立性已有理论;工程上仍需知道同仓库近似任务会怎样改变门槛的实际误收率。负结果能防止把许多重复样本误当充分证据。

4–6周。取3个可本地重建的小型开源仓库,每库设计20个独立缺陷家族并为每家族构造近似变体;由维护者先验确认有效、无效和有害规则。固定模型及曝光方式,比较10与40次带反馈选择、低与高任务相关性,至少5个独立选择种子。各方法分配相同总验证调用上限;调用不足记未判定,不补成通过。选择后一次运行封存的新家族任务,按仓库/家族聚类分析。先用小试估方差,若无法达到预注册精度则停止而非报告“无差异”。

冻结Cortex式净收益/最差退步门;按VALVE原假设实现的验证门;SkillEvoReg式候选反例。另保留不更新与固定每轮独立确认,不能只与全部接受比较。

主要指标是预先判为无增益/有害候选的整轮误收率及按仓库/任务家族重抽样的95%区间;同时报有益候选保留率、旧成功任务损失、总调用费与未判定比例。独立确认集仅在选择结束后打开。

若原门在相关性与查询次数增加后仍保持预定误收上限,或分组确认不能在相同预算下降低误收,假设不成立;若只是牺牲超过20%的有益候选或大量拒判获得低误收,工程目标也失败。

Cortex(2026):曝光、净收益与旧成功保护:沿用其可回放和曝光记录;操纵任务家族相关性及反馈查询数,比较整次选择的误收,而非再提出相同门槛。

VALVE(2026):长期验证门与复用面板界:已明确处理自适应复用及样本量;本候选不重复理论贡献,检验仓库簇相关任务与相同预算下的经验校准,需逐项检查独立同分布假设。

SkillEvoReg(2026):正则化与候选反例:已有反例和验证选择检查点;本试验固定候选流,把相关样本与选择反馈当自变量,避免把候选生成质量差异当作门的效果。

Dwork等(2015):自适应分析和留出复用:统计问题及原理完全继承;新增对象是有调用成本、曝光缺失和任务簇的Agent实际验收,不能将经典方法改名为新算法。

Cortex:先确认规则被读到,再判断是否值得留下

ECDSA曲线种子有了可重算的来历,选择历史仍有空白