Manuscript Hawk04-D@1 · Hawk04-D-v1.tex · section · 39b16f67
Stage 5: endpoint obligations and order of limits
Stage 5: endpoint obligations and order of limits · lines 1871–1878
This is a sufficient contract, not a necessary characterization of all possible endpoints. It is the four-obligation distinction in the supplied En07-B/C excerpts, with the finite-proxy option added to avoid an unproved infinite-output approximate-decoder assertion CheungEn07B,CheungEn07C.