Effective equidistribution of orbits under semisimple groups on congruence quotients | Synapse