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

论文为“验证加迁移源任务”的方案建立信息论与调用次数的前沿：在精确验证器下，交织源调用与 n 次验证所需的最少因果信息是一个 list rate-distortion 函数，可在首次验证前用一次观测达到；设计源对唯一答案的期望二元源调用数在 1+log_2 5 次以内，一般情形为对数级且无常数项。