α_L

标量 α_L ∈ [0,1] 可以在任何训练之前，仅从 (Φ, t_n) 中读取出来，并充当分类法推导的可计算见证。

一个充分性定理（定理1）将 α_L 与长度泛化联系起来。

实验确认在受控单头机制中，α_L 精确地将分类法中泛化与非泛化的（PE，任务）单元分开，基于2625次训练模型测量，在词表大小64、维度128下稳定。

仅凭 α_L 这一标量，就能在训练前判断一个给定的位置编码与任务组合是否能够实现长度泛化。