VER-023
Verification
局限核验：§10 原文（顺序采样慢于 GAN；f=4 AE 非逐像素精确成瓶颈、SR 已受限，'assume' 措辞）与命题一致，推断性质已声明。supported。
| id | |
|---|---|
| updated | |
| 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 已把这一未解耦因素写清，命题与卡保持一致，未越证据。
Scope Note
2026-09-07 命题按 _issues/0001 重述（定性化）；本 VER 基于旧范式（数字对照）审核，投影忠实度段待 T-VERIFY 补审。
投影忠实度复核（2026-09-07）
忠实。定性化后命题（f=4 AE 非逐像素精确限细粒度像素任务、SR 已受限为作者推断、顺序采样慢于 GAN 一步）与旧审核逐句核对的 §10 原文引述一一对应；“assume 的推断性质”与“三因素贡献未解耦”的限定（EVI-023 Caveats）继续由证据层承接，未升级。结论不变。