CMDFs for FGK and M stars hosting habitable terrestrial planets (N_★,mHC) in the solar vicinity predicted by models with stellar migration (solid lines). Model results are compared with the A&S data sample described in Appendix C for stars hosting only low mass planets (Mp < 30M_⊕, dashed lines). We display the contribution from predicted stars that were born in situ within the solar annulus (R_i = R_f = 8 kpc, solid blue lines), as well as those that migrated from 6 and 10 kpc (solid red and grey line, respectively) to ensure consistency with the observed local, inner, and outer populations. Model 3 (σ_RM=3.5) results are reported in the left panel. In the right one, we show the ‘model weak’ approach, adopting a weaker radial migration (σ_RM=1), while keeping all other model parameters identical to those of model 3.