Yeah, this is more difficult than I thought. I looked into IRO, but again it doesn't have the lugged fork and they're out of stock. Surly Steamroller has a lugged fork, but their smallest size is 49cm and the geo isn't much smaller than what she currently has.
I looked into an affinity lo pro xs the top tube is alot shorter, however the seat tube is alot higher 46cm vs 51.5cm.
Finding an ideal frame without a sloping top tube seems impossible right now.