Manuscript Oai280-B@1 · Oai280-B.tex · section · 6d92ab75
A sharp one-slot obstruction in a specified interface
Accessible circuits, streaming resources, and effect traps › A sharp one-slot obstruction in a specified interface · lines 930–936
The theorem reproduces, with a local proof, the specifically scoped streaming separation recorded in En02-C CheungEn02C. It is not unrestricted decoder optimality under an unspecified memory model.