VER-016
Verification
f 甜区核验：f=4/8 最优与 §4.1 消融、FID gap 38（LDM-1 vs LDM-8 @2M）正文引语一致，scope 限 ImageNet/2M/单 A100。supported。
| id | VER-016 |
|---|---|
| type | verification |
| claim | CLM-016 |
| result | supported |
| basis | §4.1 消融 + Fig. cin_traincourse/speedplot + Tab. cin_hyperparams 一致；FID gap 38（LDM-1 vs LDM-8 @2M）为正文直接引语；scope（ImageNet, 单 A100, 2M, ~391-396M）未超 |
| checked | 2026-09-03 |
Checks
- 内部一致性：命题的"f=1/2 慢、f=16/32 损、f=4/8 为甜区、FID gap 38" 与 EVI-016 Result 一致；gap 38 是 §4.1 正文的逐字引语（"a significant FID gap of 38 between pixel-based (LDM-1) and LDM-8"），非演绎。
- 证据链完整性：EVI-016 observation 精确到 §4.1 + Fig. cin_traincourse/speedplot + Tab. cin_hyperparams；method 载明 f∈{1..32}、参数量对齐 ~391–396M、2M steps、单 A100、linear 调度。
- scope 匹配：命题限定 class-cond ImageNet 256、2M steps、单 A100、 "f=4/8 甜区"——未外推到其他数据集/预算；"ImageNet 需低压缩、 CelebA-HQ 可用高 f"的 dataset 相关边界在命题 Notes 中保留。
- 跨来源核对：DiT 选 f=8 作 first-stage（与"f=4/8 甜区"兼容）而非 更高 f，间接佐证甜区判断；无反向证据。基线源桩无 claim，暂无比对。
Notes
"甜区"是经验曲线（training progress + 渐近质量）上的折中判断，非封闭 区间；不同分辨率/数据集的甜区位置可能移动。命题已注明"复杂数据集需 更低压缩"，EVI-016 Caveats 补充了"参数量对齐≠算力对齐"（低 f 每步 更贵）——后者是甜区现象的结构性解释，不推翻命题。