When a new instrument (not on an upgrade) is received and denied, unpatch prints an error message and cannot load any more instrument afterwards. When an upgrade to an instrument is denied, the old version is loaded an no other side effects appear. Unpatch should continue to work even after denying a new instrument.
Generally speaking, it's not clear what should happen after denying a download (abstraction or instrument). In either case, the session is out-of-sync and thus broken.
When a new instrument (not on an upgrade) is received and denied, unpatch prints an error message and cannot load any more instrument afterwards. When an upgrade to an instrument is denied, the old version is loaded an no other side effects appear. Unpatch should continue to work even after denying a new instrument.
Generally speaking, it's not clear what should happen after denying a download (abstraction or instrument). In either case, the session is out-of-sync and thus broken.