Heavy QCD axions at high-energy muon colliders | Synapse