When working on the perl ORM DBIx::Class and its underlying SQL generator SQL::Abstract, we always took the principle "if you can't get it to generate the exact SQL you'd've written by hand, it's a bug" and lots of people I know who have since (for entirely understandable reasons) moved on to other languages as their daily driver continue to periodically complain about everybody else's ORMs to me (though when I've had beer with sqlalchemy devs at conferences they've been notable for having the same attitude, more power to 'em).

I have a horrible feeling I'll end up cracking and porting the whole stack to typescript at some point if nothing else because peer pressure/nerd sniping (and if I can make that work, probably also golang) but that's said in the spirit of "you are doing the right thing where so many people aren't".

I'm kinda waffling and not entirely sure how to best end this comment but I both hope you have great success and also that we get to have beer at a conference sometime to share war stories and trade-offs because you sound like you have the Right Ideas (because they're similar to mine and I'm always right, obviously, but still ;).