Whole-interval retention, including later rotor evolution

15 Whole-interval retention, including later rotor evolution

The outer regions are $\mathcal R_0=[-10,10]$ and $\mathcal R_1=[14,34]$. Four width-two bands separate them from the corresponding inner regions. After capture, the auxiliary comparison center stays within $.012$ of its intended value and has speed below $.07$. Its band wave and momentum norms are below $10^{-14}$ and $10^{-13}$.

The exact rotor waves are used during retention; no harmonic comparison is continued through a caustic. Their unit norms suffice. With $e_A=2\times10^{-13}$, $p_A=3\times10^{-9}$, $\mu_-=.00999$, the total actual probability of leaving after starting in an inner region is bounded by

This uses band-integrated absolute current and is simultaneous over $[1.28,3]$; Appendix A supplies the cutoff and Gaussian-tail calculation. Later rotor revival or source phase evolution is not frozen. The same-support actual-law neighbourhood adds $10^{-4}$ once to the complete history event.