Path-level error control for greedy admission
Establish path-level error control for greedy admission of forecasters, together with corresponding selective-inference adjustments that account for the data-dependent incumbent, initial forecaster, and candidate family at successive selection steps.
References
A theorem establishing path-level error control for greedy admission, together with selective-inference adjustments, remains for future work.
Two open questions are central here: (i) power, namely the resolution limit $\Delta_{\min}(n,\hat\sigma)$ of a finite held-out set, which is what actually binds late-training improvement (our Proposition~D companion); and (ii) multi-candidate selection bias, since planners proposing 5--8 pipelines per round break the single-candidate assumption, and the Vovk--Wang merge must be invoked (made explicit in our gate).