VER-009 Verification

Checks

1. 内部一致性：命题的可检验部分（标准 ViT 可直接替换、同等协议下质量更优）与 EVI-009（Table 2/3 + Table 6 Gflops）一致；“归纳偏置非关键”（not crucial）与 §1 原文一致。EVI-009 Caveats 已明确：这是论文的诠释，证据直接支撑的是“可替换且不劣化”。
2. 证据链完整性：observation 精确到 §1 + Table 2/3/6；method 载明 ADM 套件统一口径；scope 载明“架构级对比而非受控消融”。
3. scope 匹配：命题限定 class-conditional 256/512 latent diffusion——与证据范围一致；pixel-space / text-to-image 未验证的边界已在 Notes 声明。但命题主句以“不是关键”的普遍否定式表述了作者诠释，超出非受控证据的支撑强度——按弱化处理。
4. 跨来源核对：单源 KB，推迟至 T-RECONCILE。

Notes

判定 partially-supported 的理由：可检验子命题完全成立；“非关键”作为架构层普遍论断需要受控对比或跨设定复现（未来侧翼：LDM 的 U-Net 消融、后续 transformer-backbone 工作的独立复现）。CLM-009 的 Notes 已含此限定，epistemic 如实反映。

Scope Note

2026-09-07 命题按 _issues/0001 重述（定性化）；本 VER 基于旧范式（数字对照）审核，投影忠实度段待 T-VERIFY 补审。

投影忠实度复核（2026-09-07）

需修正。命题主半句（标准 ViT 可直接替换 U-Net、同等协议下质量更优）仍在旧审核面（EVI-009：§1 + Table 2/3/6）内；但 reframe 后证据 refs 显式纳入 EVI-001/EVI-004（原 CLM-001/CLM-004 于 2026-09-07 并入，256/512 主结果）与 EVI-007（decoder 稳健性），超出了本卡旧审核的证据面：EVI-001/EVI-004 的原 VER 随删除卡移除，其 512 上 StyleGAN-XL 仍占优（EVI-004 Caveats，新命题“不涵盖 GAN 基线”限定所本）等边界现无 VER 审计承接（EVI-007 另有存活 VER-007 覆盖，非孤链）。建议：epistemic 复议前先补一次覆盖 EVI-001/EVI-004 的验证或扩本卡审核面；“归纳偏置非关键”属作者诠释的 A4 处理维持不变。