VER-009
Verification
核验 CLM-009 架构论题：可检验部分（ViT 替换 U-Net 质量反升）与 Table 2/3/6 一致；'归纳偏置非关键'属作者诠释（非受控对比），按 A4 保留。partially-supported。
| id | VER-009 |
|---|---|
| type | verification |
| claim | CLM-009 |
| result | partially-supported |
| basis | 可检验部分（标准 ViT 替换 U-Net 且质量反升）与 Table 2/3/6 一致；'归纳偏置非关键'是论文诠释，证据为非受控对比——诠释部分按 A4 保留为作者判断，不记为已确立事实 |
| checked | 2026-09-03 |
Checks
- 内部一致性：命题的可检验部分（标准 ViT 可直接替换、同等 协议下质量更优）与 EVI-009（Table 2/3 + Table 6 Gflops）一致； "归纳偏置非关键"（not crucial）与 §1 原文一致。EVI-009 Caveats 已明确：这是论文的诠释，证据直接支撑的是"可替换且不劣化"。
- 证据链完整性：observation 精确到 §1 + Table 2/3/6；method 载明 ADM 套件统一口径；scope 载明"架构级对比而非受控消融"。
- scope 匹配：命题限定 class-conditional 256/512 latent diffusion——与证据范围一致；pixel-space / text-to-image 未验证 的边界已在 Notes 声明。但命题主句以"不是关键"的普遍否定式 表述了作者诠释，超出非受控证据的支撑强度——按弱化处理。
- 跨来源核对：单源 KB，推迟至 T-RECONCILE。
Notes
判定 partially-supported 的理由：可检验子命题完全成立；"非关键" 作为架构层普遍论断需要受控对比或跨设定复现（未来侧翼：LDM 的 U-Net 消融、后续 transformer-backbone 工作的独立复现）。CLM-009 的 Notes 已含此限定，epistemic 如实反映。