Логгинг звука в формат PSG работает. И его даже понимает плеер Сергея Бульбы. Только играет его чуть быстрее, чем в эмуляторе, и вроде как на чуть более высокой частоте, чем у Ay на БК. Потому что в PSG не сохраняется ТЧ AY.
Все другие, более продвинутые, форматы требуют привязку к тактам ZX, а где их на БК взять, неизвестно.