status: accepted assurance: draft round: 2
方法/协议草稿验收约定
这份约定针对当前草稿，不把“方法有效”作为可凭空满足的写作要求。最终提交阶段必须在真实终评后重新建立结果版本的约定；不能把本草稿验收等同投稿就绪。
- 标题明确Counterfactual Edit Credit和软件代理范围，不含first、causal-optimal或未经测量的improvement承诺。
- PDF首页有可见draft/empirical-results-pending标记；摘要无任何尚不存在的效果百分比或胜负结论。
- 主文包含大纲的7个编号节；方法在Related Work之后立即出现，Fig1引用可解析。
- 编辑块资格、与判分无关的单块选择和逐路径恢复操作均有文字定义，生成token与观测token有区别。
- 效用公式
Y+.25F-.25G与固定F2P分母、固定P2P名单上的二元非通过指示G、报告不可用处理一致；不把缺失报告构造为已测0效用。 - M/B系数公式包含L、m、λ、cap与共享s；D=0和m=0的处理明确。
- 质量等式限定为同一冻结轨迹的原始辅助系数；正文说明质量等式不保证平方质量/梯度/DPPO裁剪也相等，在线M/B轨迹并不共享。
- 方法正文明确每条准入轨迹至多一个额外反事实verifier trial且无需额外策略续写；方法表明确O共同终局规则，E公式为clip(λ*A*L/m,-c,c)的加性终局优势聚焦且无CF查询；不把E写成替换终局项或基于CF的选择。
- 数据表明确实际训练149、2384别名、dev39；官方500及holdout100分母不变；原150映射与未用于后继训练的351不混用。
- 80步、三种子计划、E42、n=2/n=16及当前执行状态明确区分；成功率按每条rollout求均值，绝不取best-of-n，计划的holdout100 n=16明确包含B；不声称未运行的重复实验已经完成。
- 所有主结果/成本空缺使用Pending或破折号并解释未测量，不使用模拟数字、臆测曲线或旧无效O/B/M成绩。全文任何位置都不能给出尚未测得的本方法胜负/泛化提升或更低总成本结论。
- 技术验证若进入PDF，120重建/298控制/20 CPU检查分别指向对应结果材料，明确它们不证明性能提升；完整pilot统计未完成前不将分片比例泛化。
- Fig1说明是正delta示意，不是实测；其他实测图只能来自指定原始记录，缺数据时不生成图。
- 引用元数据来自现有bib或可核验主源；未知CRR全文不被编造描述；不写无依据的优先权断言。
- Limitations涵盖最终产物条件干预、跨路径相互依赖、原始系数与梯度的区别，以及O/B/M/E不能单独证明的强归因主张。
- 匿名PDF不包含用户名、服务器名、本地绝对路径；已有旧稿/PDF留存归档，不混入本稿有效结果表。
- 草稿编译成功、无未定义引用/文献、无正文越界；内部正文预算（包括标题、图表和公式）不超过9页，不宣称已满足某个尚未确认投稿年份的规则。
- 最终报告说明这是方法/协议draft、实证未完成、same-family/provisional审阅；保持用户要求的真实结果后完整改稿循环为未完成工作。
待审阅
第二轮接受并冻结；审阅线程/root/paper_contract_review；same-family/provisional。见.aris/traces/paper-writing/2026-09-27_contract/round2.md。