Treat restoreRequired as a delivery condition, retry one fresh attach, and keep the remote lease detached after repeated delivery failure. Preserve exited classification only for authoritative PTY absence, humanize the live-session recovery path, and pin the invariant in the reliability gate.