My daughter when 9.5 when I started with her and for Christmas I got her the SR-22. But funny how it has worked out... Her pride of ownership is VERY high but... she doesn't shoot it much (or often or well) when we go shooting.
Two reasons: it is so light that it (seemingly) requires firm, adult kind of strength/hold or it simply will not run properly. It feeds, fires and ejects well in my hands, but not in her hands.
The other obvious problem is that she, more than anyone, struggles with a heavy or even average trigger. So when we are shooting, she has FAR more success with my better/older .22 pistols... with MUCH better single action trigger breaks. My '52 Colt Challenger (Woodsman variant) is her favorite and a close runner-up is my Sig Trailside. She also very much enjoyed the trigger on my S&W 2206, but that is a 6" and all stainless pistol, so it's a bit heavy and gangly for her.
I realize that money/price is typically a part of the project. But if you have wiggle room, I would skip ALL of the guns you've considered. If it has to be new production, I would consider a 22/45, maybe the LITE model, and then put some Volquartsen parts in it to make the trigger normal... not new 2015 "normal" (which is heavy and horrendous.)