VER-020
Verification
无条件合成核验：CelebA-HQ 5.11 SOTA、FFHQ 4.98、LSUN-Bedrooms 2.95 vs ADM 1.90 与无条件表一致，SOTA 限 CelebA-HQ、P/R 逐数据集。supported。
| id | VER-020 |
|---|---|
| type | verification |
| claim | CLM-020 |
| result | supported |
| basis | 无条件表（CelebA-HQ 5.11 SOTA; FFHQ 4.98; LSUN-Bedrooms 2.95 vs ADM 1.90）+ §4.2 与命题一致；SOTA 限 CelebA-HQ、P/R 对 GAN 逐数据集成立、对 ADM 不占优等边界已在 Notes/Caveats 声明 |
| checked | 2026-09-03 |
Checks
- 内部一致性：命题的"CelebA-HQ 5.11 新 SOTA""FFHQ/LSUN 竞争""P/R 优于 GAN"与 EVI-020 Result 对应——VQGAN 10.2/PGGAN 8.0/LSGM 7.22/ UDM 7.16（CelebA-HQ 基线）、LDM-4 4.98（FFHQ）、LSUN-Bedrooms 2.95 vs ADM 1.90/ProjectedGAN 1.52，全部在无条件表中。
- 证据链完整性：EVI-020 observation 精确到无条件表（256²，FID+ Precision+Recall）+ §4.2；method 载明 DDIM 步数（CelebA-HQ 500、 FFHQ/LSUN 200）与对比集合（GAN/likelihood 两族）。
- scope 匹配：命题把"SOTA"严格限定于 CelebA-HQ（5.11 低于全表）， 对 FFHQ/LSUN 用"竞争"而非"领先"（FFHQ 的 ProjectedGAN 3.08、Bedrooms 的 ADM 1.90 均低于 LDM 4.98/2.95）；"P/R 优于 GAN"限定为逐数据集对 GAN 成立，且 Notes 声明对 ADM（likelihood）的 Recall 并不占优。
- 跨来源核对：DiT 侧 CLM-001 的 "LDM-4-G 3.60" 是 class-cond ImageNet，与本条的无条件 CelebA-HQ 5.11 无直接交叠、不冲突； 无条件任务的 GAN 基线（StyleGAN/ProjectedGAN 等）为源桩无 claim， 数值级核对已在本表完成，推迟 T-RECONCILE。
Notes
"5.11 新 SOTA"严格是 CelebA-HQ 单数据集上的（对比表内）最优；把 "无条件 SOTA"误读为跨数据集一律领先即超出证据。mode-covering 优势 的强度（Recall 0.48 vs ADM 0.51 在 Bedrooms 上不占优）已在命题/EVI-020 如实保留，避免字面过强。