I finished the rest of the receiver this afternoon. It is putting out sound. I need to put up some kind of an antenna to see if I can hear anything in the narrow range the receiver can tune: 7.030 and 7.0475 mHz +- a few kHz.
I’ve hooked the TPS up to the receiver and both seem to be working as advertised. Next I’ll start on the Pixie transceiver so perhaps it can provide a signal that the receiver can pick up to verify that it’s actually receiving something.