VER-011
Verification
核验 CLM-011 patchify 标度：推导链（patchify→T×4→Gflops≥×4、参数不变）与 §3.2 一致，Table 4 实测 3.9–4.3× 逐行核对。supported。
| id | VER-011 |
|---|---|
| type | verification |
| claim | CLM-011 |
| result | supported |
| basis | 推导链（patchify 定义→T×4→Gflops≥×4、参数量不变）与 §3.2 原文一致；Table 4 的 Gflops 列实测比率 3.9–4.3× 与参数量列近似不变逐行核对一致 |
| checked | 2026-09-03 |
Checks
- 内部一致性：命题的标度断言与 §3.2 原文（"halving p will quadruple T, and thus at least quadruple total transformer Gflops"、 "no meaningful impact on downstream parameter counts"）一致； EVI-011 的实测确认（S: 0.36/1.41/6.06；参数 33/33/33 等） 与 Table 4 一致，超线性部分归因注意力二次项的解释已注明。
- 证据链完整性：observation 精确到 §3.2 + Table 1 + Table 4； scope 载明 Gflops 不含 VAE、p ∈ {8,4,2}、p=1 未测。
- scope 匹配：命题为可推导的结构性质 + 数值确认——推导依据 （架构定义）与确认数据（Table 1/4）均在证据链内；作为 TH-1 服务于 CLM-003 的论证前提（FRM AR-1）。
- 跨来源核对：单源 KB，推迟至 T-RECONCILE。
Notes
"至少四倍"的下界证明来自 attention 对 T 的二次依赖——这是 结构推导而非实证拟合，是全库少数真正的定理型 claim。