VER-023
Verification
局限核验：§10 原文（顺序采样慢于 GAN；f=4 AE 非逐像素精确成瓶颈、SR 已受限，'assume' 措辞）与命题一致，推断性质已声明。supported。
| id | VER-023 |
|---|---|
| type | verification |
| claim | CLM-023 |
| result | supported |
| basis | §10 原文（sequential sampling 慢于 GAN；f=4 AE 非逐像素精确成瓶颈、SR 已受限，'we assume' 措辞）与命题一致；推断性质已在 EVI Caveats 明确，未升级为已验证事实 |
| checked | 2026-09-03 |
Checks
- 内部一致性：命题的"f=4 AE 非逐像素精确 → 细粒度像素任务上限、SR 已受限；顺序采样慢于 GAN"与 EVI-023 Result 的 §10 原文引述（"sequential sampling process is still slower than that of GANs... can become a bottleneck for tasks that require fine-grained accuracy in pixel space. We assume that our superresolution models... are already somewhat limited"）逐句对应。
- 证据链完整性：EVI-023 observation 精确到 §10（ms.tex 1442-1477）+ Fig. firststagecomparison；method 载明这是作者自述 + "we assume"的 推断（非专设对照实验）。
- scope 匹配：命题如实保留"SR 已受限是作者的假设/推断"这一性质， 未把"assume"升级为已验证事实；限定于 f=4 AE 与 pixel-precision 任务，未泛化到所有下游。
- 跨来源核对：DiT 用 ft-MSE/ft-EMA decoder（CPT-005，decoder 微调） ——恰是对"原 f8 AE 保真不足"的缓解动作，与"AE 是瓶颈"的局限判断 同向补强而非冲突（DiT 换 decoder 的动机之一即原 AE 重建精度）； 无反向证据。
Notes
"SR 已受限"是作者推断（assume），证据是 f=4 AE 存在逐像素残差 + SR 属 pixel-precision 任务的推理，非"AE 残差 vs 退化信息损失 vs 模型 容量"三者贡献比例的定量拆解——EVI-023 Caveats 已把这一未解耦因素写清， 命题与卡保持一致，未越证据。