Software Tonoscope ((full)) 〈Verified Source〉