Formulation and verification of multiscale gyrokinetic simulation of kinetic-MHD processes in toroidal plasmas | Synapse