Formal power-allocation result is explicit
Appendix D proves that FTS confidence sets minimize expected interval length under the focus-induced marginal while maintaining coverage constraints. This connects the proposed statistic to a clear optimality target rather than only empirical performance.
↳ Appendix D, Theorem 1