VER-010
Verification
核验 CLM-010 配方稳定:§4.1 两引语(no loss spikes/did not tune)与 Table 4 超参列(lr 1e-4、batch 256)及 Fig.13 曲线一致。supported。
| id | VER-010 |
|---|---|
| type | verification |
| claim | CLM-010 |
| result | supported |
| basis | §4.1 原文两处引语(no loss spikes / did not tune)与 Table 4 超参列(lr 1e-4、batch 256 全表一致)及 Figure 13 loss 曲线核对一致 |
| checked | 2026-09-03 |
Checks
- 内部一致性:命题的配方清单(AdamW、恒定 lr 1e-4、无 weight decay、无 warmup、无正则化、batch 256、EMA 0.9999、仅水平翻转) 与 §4.1 逐项一致;"未调参"与原文("did not tune learning rates, decay/warm-up schedules, Adam β1/β2 or weight decays")一致。
- 证据链完整性:EVI-010 observation 精确到 §4.1 + Figure 13 + Table 4;"无 loss spike"在 Caveats 标注为作者定性观察(无计数 统计)——证据链忠实于源文强度。
- scope 匹配:命题限定全部配置的聚合经验——与 §4.1 的陈述 范围一致;TPU-v3/JAX 栈的限定在 scope/Caveats 声明,未外推 到其他硬件/框架。
- 跨来源核对:单源 KB,推迟至 T-RECONCILE。
Notes
supported = 源文声明与引用证据一致;"稳定性"作为工程经验,其 跨栈迁移性未被验证,已在 Caveats 记录。