VER-010
Verification
核验 CLM-010 配方稳定：§4.1 两引语（no loss spikes/did not tune）与 Table 4 超参列（lr 1e-4、batch 256）及 Fig.13 曲线一致。supported。
| id | |
|---|---|
| updated | |
| 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 记录。
Scope Note
2026-09-07 命题按 _issues/0001 重述（定性化）；本 VER 基于旧范式（数字对照）审核，投影忠实度段待 T-VERIFY 补审。
投影忠实度复核（2026-09-07）
忠实。定性化后命题（未调参 ADM 配方、恒定 lr、无 warmup/正则、全程无 loss spike、超参默认沿用）与旧审核逐项核对的 §4.1 两引语 + Table 4 超参列 + Figure 13 曲线一一对应；“无 loss spike 为作者定性观察”的强度限定（EVI-010 Caveats）继续由证据层承接，未新增断言。结论不变。