VER-015
Verification
重建核验：LDM f=8 R-FID 1.14 vs DALL·E 32.01 / VQGAN 4.98、f=2 0.16 与 Tab.423 一致，f=16 打平边界已声明。supported。
| id | VER-015 |
|---|---|
| type | verification |
| claim | CLM-015 |
| result | supported |
| basis | firststage 重建表数字（LDM f=8 R-FID 1.14 vs DALL·E 32.01 / VQGAN f=16 4.98；f=2 0.16）与命题一致；'2D-conv 容忍低 f'的设计论证与经验佐证分置；f=16 打平 VQGAN 的边界已声明 |
| checked | 2026-09-03 |
Checks
- 内部一致性：命题"2D-conv 容忍更低 f、重建更保真"与其三个数字 （LDM f=8 1.14、DALL·E f=8 32.01、VQGAN f=16 4.98、LDM f=16 5.15、 f=2 0.16）在 EVI-015 Result 中逐一对应，未发现数值错位。
- 证据链完整性：EVI-015 observation 精确到 Tab.423（firststage， OpenImages→ImageNet-Val，R-FID/PSNR/LPIPS/SSIM 各列），method 载明 对比对象（DALL·E f=8、VQGAN f=16 k=1024/256）与评估口径。
- scope 匹配：命题限定"低压缩区间（f=2/8）优势明显、f=16 与 VQGAN 打平"——未把"LDM 处处更优"升级为普遍结论；"matched 设定下 更保真"限 OpenImages→ImageNet-Val 的 f=8 同压缩对比。
- 跨来源核对：DiT 直接沿用本源 f=8 VAE 作 first-stage（FRM-2212.09748 AX-2），故"LDM f=8 重建可用的设定"在 DiT 侧被实际消费，两源一致； VQGAN（2012.09841）/DALL·E（2102.12092）为源桩无 claim，暂无比对。
Notes
"2D-conv 归纳偏置"是设计层论证（TH-2 的结构推导），"更低 f 下更保真" 是经验佐证（Tab.423）——两层在 FRM/claim 中分置，本条验证的是经验 半边的数字与范围；设计半边的可证伪性有限（无法闭式证明归纳偏置）， 故该部分按作者设计论断保留而非"已验证事实"。