Design Discussion Note - sfc-aqua/quisp GitHub Wiki how should we distinguish PurificationResults? related to #249 #250 problem solution