Functional State Machines in QubesOS via copy-to-VM error reporting backchannel

This os is supposed to be the spec. I still think that is the best way to develop software that works.