VER-005
Verification
核验 CLM-005 采样算力:§5.2 锚点(23.7 vs 25.9、15.2 vs 80.7 Tflops)与 Figure 10 一致,FID-10K 口径已声明。supported。
| id | |
|---|---|
| updated | |
| type | verification |
| claim | CLM-005 |
| result | supported |
| basis | §5.2 锚点数字(23.7 vs 25.9、15.2 vs 80.7 Tflops/图)与 Figure 10 核对一致;FID-10K 口径已在 scope 与 Caveats 声明 |
| checked | 2026-09-03 |
Checks
- 内部一致性:命题的锚点对照(XL/2@128 步 15.2 Tflops FID-10K 23.7 优于 L/2@1000 步 80.7 Tflops 25.9)与 §5.2 原文逐字一致;普适表述“cannot compensate”与论文一致且命题注明限于该模型族。
- 证据链完整性:EVI-005 observation 精确到 Figure 10 + §5.2;method 载明 [16..1000] 步网格;scope 载明 FID-10K(与主表 FID-50K 口径不同)。
- scope 匹配:命题限定 400K 步的 12 变体——与 Figure 10 数据范围一致;“不外推到其他模型族”的边界已在 Notes 声明。
- 跨来源核对:单源 KB,推迟至 T-RECONCILE。
Notes
“采样算力不可替代模型算力”是 DiT 族内的经验发现;与其他文献中 test-time compute 结论的关系(一致/冲突)留待侧翼比对。
Scope Note
2026-09-07 命题按 _issues/0001 重述(定性化);本 VER 基于旧范式(数字对照)审核,投影忠实度段待 T-VERIFY 补审。
投影忠实度复核(2026-09-07)
忠实。定性化后命题(“扩大采样算力不能补偿模型算力不足”)即论文 §5.2 原句的定性表述;锚点(XL/2@128 步 vs L/2@1000 步≈5×)与 [16,1000] 步网格覆盖均为旧审核逐项核对项,数字沉入 EVI-005 后断言范围未变。“不外推到其他模型族”边界未变。结论不变。