General sample properties. The panels show the distributions of redshift (top left) and magnification (bottom left), together with the locations of the galaxies in the M_★–SFR (middle) and M_★–R_e (right) planes. Effective radii are corrected to rest-frame 5000 Å following Eqs. 1 and 2 of van der Wel et al. (2014), expressed relative to the size–mass relation of Nedkova et al. (2021) (interpolated with redshift), and scaled to z = 1. Similarly, SFRs are expressed relative to the star-forming main sequence of Boogaard et al. (2018), adjusted to the redshift and stellar mass of each galaxy, and normalised to z = 1. The shaded regions indicate the ±1σ (dark grey) and ±2σ (light grey) scatter around the corresponding relations. Open symbols and histogram segments mark galaxies that are either dispersion-dominated (v_1.8/σ₀ ≤ 1) or have poorly constrained velocities (Δv_1.8/v_1.8 ≥ 30%), where Δv_1.8 is the posterior standard deviation.