status: accepted
assurance: draft
round: 2

# 方法/协议草稿验收约定

这份约定针对当前草稿，不把“方法有效”作为可凭空满足的写作要求。最终提交阶段必须在真实终评后重新建立结果版本的约定；不能把本草稿验收等同投稿就绪。

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

## 待审阅

第二轮接受并冻结；审阅线程`/root/paper_contract_review`；same-family/provisional。见`.aris/traces/paper-writing/2026-09-27_contract/round2.md`。