Seems like a cool project. Even after 15 plus years of using git I still get tripped up with some of the naming. I didnt check the internals but you mention not

Seems like a cool project. Even after 15 plus years of using git I still get tripped up with some of the naming. I didnt check the internals but you mention not being able to rewrite if you push to remote. I think this is sort of a mistake because git has the lovely push force-with-lease that only force pushes if no other modifications have been made to the remote which is quite useful in a lot of scenarios