执行视界的权衡由两个共享同一控制变量的成本构成：摊销成本（每步查询成本按 λ_c/L 下降）与陈旧度成本（跟踪误差随视界增长）。