VER-001
Verification
核验 CLM-001 DiT SOTA：Table 2/§5.1/App.A.1 数字（2.27、LDM-4-G 3.60、StyleGAN-XL 2.30）与 v2 源逐项一致，含审计修正史；scope 未超。supported。
| id | VER-001 |
|---|---|
| type | verification |
| claim | CLM-001 |
| result | supported |
| basis | Table 2/§5.1/App. A.1 数字逐项对照 v2 源核对一致；命题与源文表述一致（含审计修正史）；scope 未超证据范围 |
| checked | 2026-09-03 |
Checks
- 内部一致性：命题三组数字（2.27、LDM-4-G 3.60、StyleGAN-XL 2.30） 与 EVI-001 Result 一一对应；"含 StyleGAN-XL 在内的最低 FID"与 §5.1 原文（"including the previous state-of-the-art StyleGAN-XL"）一致。 审计修正记录：原命题曾误作"StyleGAN-XL 之外"，已在 T-FORMALIZE 前的审计中修正（commit 0edf4da）——本次验证针对修正后命题。
- 证据链完整性：EVI-001 observation 精确到 Table 2 + §5.1 + App. A.1；method 载明 ADM 套件、250 DDPM 步、ft-EMA decoder、 3 通道 guidance；7M/2.35M steps 预算条件在 Notes/Caveats。
- scope 匹配：命题限定 class-conditional 256、XL/2、7M steps、 cfg=1.50（3ch）——恰为 Table 2 对角单元格的设定；"all prior generative models"限 FID 单指标，sFID 反例与 decoder 条件已在 Notes/Caveats 记录，未升级普遍性（A5）。
- 跨来源核对：KB 当前仅 SRC-2212.09748 一源，无比对对象； 推迟至 T-RECONCILE（需 ADM/LDM 侧翼入库）。
Notes
result=supported 指 source 内证据链完备（DA8 文献级验证），非独立 复现；0.03 幅度对 StyleGAN-XL 的边界依赖已记录（EVI-001/007）。
引用（3）
- CLM-001 DiT-XL/2（cfg=1.50，3 通道 guidance）在 ImageNet 256×256 达 FID-50K 2.27，为包括 StyleGAN-XL 在内的最低 FID。
- EVI-001 Table 2/§5.1/App.A.1：DiT-XL/2-G 256 FID-50K 2.27（sFID 4.60/IS 278.24），3 通道 guidance 口径，优于 LDM-4-G 3.60 与 StyleGAN-XL 2.30（支撑 CLM-001）。
- SRC-2212.09748 DiT 原始论文（Peebles & Xie, ICCV 2023）：ViT 替换 LDM U-Net backbone，Gflops 视角的 scaling 研究。