Fixed finite proxies return

This is the fixed-proxy obstruction of CheungHawk02E (prop:recurrence), refined using the complete-channel distances. It gives recurrent nonresponse failure when the initial task has that failure. It neither proves monotone leakage nor identifies its origin as magic.

A finite acyclic program denoting $U(t)$ terminates at each fixed $t$. That syntactic fact proves no asymptotic endpoint, no permanent release, and no disappearance of $B$. A finite-time regulator must precede a controlled outgoing limit.