建立单头纯位置注意力的可实现性理论，形式化解释不同位置编码方案在长度外推中的失效边界与机制。