In the bottom-left corner of the Audacity window, change Project Rate to 8000Hz.
File → Export Audio
Save as type: Custom FFmpeg Export
Options → Click: Show All Formats and select wav.
Click: Show All Codecs and select pcm_alaw or pcm_mulaw, and click OK. (There is a box for entering bitrate, but I assume that will be ignored.)
8kHz, 8 Resolution Bits and 64 Kbps.
8-bits at 8kHz, uncompressed mono is 64kbps. And if you select the above options, it will show “G.711”, so again I assume everything will be compliant with your requirements.