Did you look at DBOS [0]?

It does everything you list here, and more, all locally. It's also MIT open source.

[0] https://github.com/dbos-inc/dbos-transact-py