迁移验证：精确信息前沿及其调用代价

该研究针对迁移验证推导了信息与调用代价的精确前沿，证明达成概率 s 所需的最小因果信息由列表率失真函数确定。在精确验证器下，设计源可在 1+\log_2 5 次调用内逼近下界，绝大多数结论已在 Lean 4 中完成机器验证。测试表明小型 Transformer 在潜在维度 5 时利用了全部传输比特，而在维度 11 时则完全无法利用。