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

对k-bit答案的验证，零错误需2^k-1次验证；通过求解相关源任务可降低这一代价，其最小因果信息由列表率失真函数刻画，且一次验证前观测即可达到。设计源在唯一答案下可在1+log₂5次调用内满足下界，一般情形仅差对数项；在F₂线性库中，零错误硬上限下超出信息价格的调用恰好用于冗余维度。