Are there other planetary systems where gas giants are on the inside to rocky planet orbits? I understand that formation theories for gas giants suggest they should be born further away where there is more gas for them to monopolize vs the sun, and then to form Hot Jupiters they need to migrate inwards, which would disrupt the orbits of rocky planets.

Are there any quibbles with this? Out of all the extrasolar systems is there even one where you have hot or warm gas giants and then cold Earth or Super-Earth sized terrestrials? Bodies like we have in the Kuiper belt lie beyond our gas giants but they are mostly made of ices and represent a small leftover fraction of the system mass, so they don't really count here.
The Kepler-20 system has planets with masses in the following order, going outwards from the star:


Kepler 20b:  $\approx 10 M_\oplus$
Kepler 20e:  $\approx M_\oplus$
Kepler 20c:  $\approx 16 M_\oplus$
Kepler 20f:  $\approx 1.5 M_\oplus$
Kepler 20g:  $\approx 20 M_\oplus$
Kepler 20d:  $&lt; 20 M_\oplus$


If Wikipedia is to be believed, Kepler 20b may be a rocky world;  but at the very least, Kepler 20c is a hot Neptune and has a rocky planet (Kepler 20f) outside its orbit.