VER-011
Verification
核验 CLM-011 patchify 标度：推导链（patchify→T×4→Gflops≥×4、参数不变）与 §3.2 一致，Table 4 实测 3.9–4.3× 逐行核对。supported。
| id | |
|---|---|
| updated | |
| 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 \in \{8,4,2\}\)、p=1 未测。
- scope 匹配：命题为可推导的结构性质 + 数值确认——推导依据（架构定义）与确认数据（Table 1/4）均在证据链内；作为 TH-1 服务于 CLM-003 的论证前提（FRM AR-1）。
- 跨来源核对：单源 KB，推迟至 T-RECONCILE。
Notes
“至少四倍”的下界证明来自 attention 对 T 的二次依赖——这是结构推导而非实证拟合，是全库少数真正的定理型 claim。
Scope Note
2026-09-07 命题按 _issues/0001 重述（定性化）；本 VER 基于旧范式（数字对照）审核，投影忠实度段待 T-VERIFY 补审。
投影忠实度复核（2026-09-07）
忠实。定性化后命题新增的“p 是以参数量近似不变换算力的结构杠杆”是对旧审核证据面（§3.2 推导链 + Table 1/4 实测比率 3.9–4.3×、参数 33/33/33）的概括而非新断言；“实测略降”在旧核对数字内。作为 TH-1 服务 CLM-003 的地位未变。结论不变。