VER-016
Verification
f 甜区核验：f=4/8 最优与 §4.1 消融、FID gap 38（LDM-1 vs LDM-8 @2M）正文引语一致，scope 限 ImageNet/2M/单 A100。supported。
| id | |
|---|---|
| updated | |
| 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 \in \{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 每步更贵）——后者是甜区现象的结构性解释，不推翻命题。
Scope Note
2026-09-07 命题按 _issues/0001 重述（定性化）；本 VER 基于旧范式（数字对照）审核，投影忠实度段待 T-VERIFY 补审。
投影忠实度复核（2026-09-07）
忠实。定性化后命题（数据集相关甜区：f 过小训练缓慢、f 过大早期停滞、ImageNet 甜区 f=4/8、简单数据可用更高 f）与旧审核核对的 §4.1 逐句依据 + 曲线 + FID gap 38 一一对应；“CelebA-HQ 可用更高 f”的 dataset 边界在旧审核 Notes 已固定。EVI-016 Caveats 的“参数量对齐≠算力对齐”限定已随命题 Notes 保留为引用限定，未新增断言。结论不变。