* orchestration: cancel and bound native PTY input

* orchestration: verify canceled writer queues on current main

* orchestration: record bounded input integration proof

---------

Co-authored-by: Simone <185146821+Lucenx9@users.noreply.github.com>